For smooth functions of a single variable, Maxima has zeroequiv. It works
all right for simple cases, but quickly breaks down. Some current
limitations are documented in
https://sourceforge.net/tracker/index.php?func=detail&aid=593530&group_id=4933&atid=104933
:
x-atan(x) => Dontknow, but this is perfectly well-behaved and numerically
nonzero for abs(x) > 1.0e-8.
sin(1/1000) => true
sin(asin(x)+1/1000)-x => true
sin(x+1/1000)-sin(x) => true
atan(x)^1000 => internal error
-s
On Wed, Feb 8, 2012 at 13:45, Paul Channell <pchannell at lanl.gov> wrote:
> In Maple there is a command, testeq, that checks a purported identity by
> numerically substituting random values
> for variables to establish falsehood with certainty or truth (with high
> probability). Is there an equivalent
> command in Maxima?
>
> Paul Channell
>
> ______________________________**_________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/**mailman/listinfo/maxima<http://www.math.utexas.edu/mailman/listinfo/maxima>;
>