Subject: find minima and maxima points of a function
From: Richard Fateman
Date: Fri, 06 Feb 2009 09:07:38 -0800
Leo Butler wrote:
> .....
> < > I believe that maxima does this
> < > implicitly.
>
I think it would be more correct to say that maxima does this by being
oblivious to the issue.
> That is clearly a bug.
Well, the notion of solving and the output of the solve command are not
necessarily the same.
The solve command does not check that all the solutions it returns are
actually solutions.
One good reason for this is that substituting back and checking is too
hard in general.
A bug suggests that the program doesn't meet its specifications.
In this case I think the specification should be made more explicit.