Maxima comparison



-----maxima-admin@math.utexas.edu wrote: -----

>A number of the "deficiencies" of Maxima in that
>article seem to revolve around misconceptions of what it
>means to declare something.

declare(x,complex) does nothing that I know of. Actually,
Maxima believes that nearly everything is complex:

(%i1) featurep(5,complex);
(%o1) true
(%i2) featurep(inf,complex);
(%o2) true
(%i3) featurep(true,complex);
(%o3) true

I think most of the declare(x,complex) statments in the article
should be changed to domain : 'complex.  But the only behavior that
domain : 'complex changes that I know of is

(%i6) sqrt(x^2), domain : 'real;
(%o6) abs(x)
(%i7) sqrt(x^2), domain : 'complex;
(%o7) sqrt(x^2)

Barton