MathGroup Archive 2011

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

Search the Archive

Re: FindInstance does not abort with TimeConstrained

  • To: mathgroup at
  • Subject: [mg115511] Re: FindInstance does not abort with TimeConstrained
  • From: Albert Retey <awnl at>
  • Date: Thu, 13 Jan 2011 03:26:24 -0500 (EST)
  • References: <igis66$pl0$> <igjr3t$95j$>


> 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.

I'm really no expert in that field, but from the documentation and name
of FindInstance I would not expect that if it returns an empty list that
means there are no instances, it merely means that it gave up in trying
to find one. So I wouldn't in that case consider version 7's behaviour
to be better than that of 8: both mean that it couldn't find an instance
(in finite time). That can of course be because there is none, it could
also mean that the algorithms in FindInstance just can't find them. If
you want to "proof" that there are no solutions I don't think that
FindInstance can do more for you than possibly find contradicting



  • Prev by Date: Re: Extracting graphics from notebook
  • Next by Date: Re: Curl and Div problems
  • Previous by thread: Re: FindInstance does not abort with TimeConstrained
  • Next by thread: Re: Simple PDE with side conditions