From: SourceForge.net <noreply@so...>  20030414 02:03:24

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 