Bugs item #720875, was opened at 20030413 22:19
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=720875&group_id=4933
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Stavros Macrakis (macrakis)
Assigned to: Nobody/Anonymous (nobody)
Summary: Improving Compar: trig, max, etc.
Initial Comment:
Currently,
sign(cos(x)1) => pnz (should be nz)
sign(max(x,1)) => pnz (should be pos)
etc.
It would be nice if COMPAR knew a few things about the
range of common functions, e.g. that 1 <= sin/cos(x)
<= 1, %pi/2 < atan(x) < %pi/2, %pi/2 <= asin(x) <= %
pi/2, 0<=acos(x)<=%pi, 1 <= cosh(x), 1 < tanh(x) < 1, 
1 <= signum(x) <= 1, etc.
It does know that 0< exp(x) and 0<=abs(x), for example 
 though this is specialcased, not tabledriven. But it
should also know about max, min. And that entier(x) <=
x.

You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=720875&group_id=4933
