[Maxima] Work on the complex components: abs, carg, ...

[Robert Dodier]

On 4/23/09, Dieter Kaiser <drdieterkaiser at web.de> wrote:

> atan2 does not recognize that abs(x) is a positive (or zero) value.

I'd like to see something like assert(abs(x) > 0 if x # 0, abs(0) = 0)
i.e. declarations which directly state conditions in which some
predicate is satisfied. Something to think about.

I;m in agreement with the proposed changes.

Thanks a lot and keep up the good work!

Robert Dodier