[Date Index] [Thread Index] [Author Index]
Re: FindInstance does not abort with TimeConstrained
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.