numerical testing of identity



No, Maxima doesn't have nothing quite like that.   Likely, Maxima has the 
tools to build such a function:

    (1) float or bfloat with various values of fpprec (or maybe nfloat),
   (2) rectform -- for complex values (float / bfloat don't always give a 
rectangular form),
   (3) random
   (4)  errcatch -- deal with overflow, divsion by zero, ...
   (5) float_approx_equal and bfloat_approx_equal (undocumented, I think)

--Barton

maxima-bounces at math.utexas.edu wrote on 02/08/2012 12:45:59 PM:

> From: Paul Channell <pchannell at lanl.gov>
> To: maxima at math.utexas.edu
> Date: 02/13/2012 02:44 PM
> Subject: numerical testing of identity
> Sent by: maxima-bounces at math.utexas.edu
> 
> 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