[Date Index] [Thread Index] [Author Index]

Re: FindInstance does not abort with TimeConstrained

• To: mathgroup at smc.vnet.net
• Subject: [mg115493] Re: FindInstance does not abort with TimeConstrained
• From: leongz <leongz86 at gmail.com>
• Date: Wed, 12 Jan 2011 04:09:21 -0500 (EST)
• References: <igis66$pl0$1@smc.vnet.net>

Thanks for everyone's replies. Indeed, the equations which I provided
have no root. I included the Chop + FullSimplify because that is when
FindInstance hangs and can only be aborted by killing the kernel.
After further investigation, I realize that this happens in version 8
but not in version 7, which returns the correct output (no solution)
instantly. Hence, I have reverted back to version 7 for the moment.

Nevertheless, could there possibly be a bug in version 8's
FindInstance? Thanks.