[Maxima] Work on the complex components: abs, carg, ...
robert.dodier at gmail.com
Mon Apr 27 22:50:00 CDT 2009
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!
More information about the Maxima