Subject: Work on the complex components: abs, carg, ...
From: Robert Dodier
Date: Mon, 27 Apr 2009 21:50:00 -0600
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