From: SourceForge.net <no...@so...> - 2003-04-14 02:03:24
|
Bugs item #720875, was opened at 2003-04-13 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 special-cased, not table-driven. 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 |