diff options
author | dos-reis <gdr@axiomatics.org> | 2011-06-26 23:41:58 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-06-26 23:41:58 +0000 |
commit | 9aafe6c5ce226436c5fe69fb05d309d3a95843e0 (patch) | |
tree | 20c9a746c0ed51988386b1ef1f03ed8a4b322b34 /src/algebra/sf.spad.pamphlet | |
parent | 459f3ea9524cf70969e440638b4fc91d9a305276 (diff) | |
download | open-axiom-9aafe6c5ce226436c5fe69fb05d309d3a95843e0.tar.gz |
* algebra/sf.spad.pamphlet (DoubleFloat) [nan?]: New export.
* algebra/clip.spad.pamphlet (TwoDimensionalPlotClipping): Use it
instead of %fNan?.
* algebra/plot.spad.pamphlet (Plot): Likewise.
Diffstat (limited to 'src/algebra/sf.spad.pamphlet')
-rw-r--r-- | src/algebra/sf.spad.pamphlet | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/algebra/sf.spad.pamphlet b/src/algebra/sf.spad.pamphlet index ce5b6032..a6ed7e59 100644 --- a/src/algebra/sf.spad.pamphlet +++ b/src/algebra/sf.spad.pamphlet @@ -209,6 +209,7 @@ FloatingPointSystem(): Category == RealNumberSystem() with ++ Author: Michael Monagan ++ Date Created: ++ January 1988 +++ Date Last Modified: June 26, 2011. ++ Change History: ++ Basic Operations: exp1, hash, log2, log10, rationalApproximation, / , ** ++ Related Constructors: @@ -274,6 +275,9 @@ DoubleFloat(): Join(FloatingPointSystem, DifferentialRing, OpenMath, ++ rationalApproximation(f, n, b) computes a rational ++ approximation r to f with relative error \spad{< b**(-n)} ++ (that is, \spad{|(r-f)/f| < b**(-n)}). + nan?: % -> Boolean + ++ \spad{nan? x} holds if \spad{x} is a Not a Number floating + ++ point data in the IEEE 754 sense. == add macro MER == Record(MANTISSA:Integer,EXPONENT:Integer) @@ -322,6 +326,7 @@ DoubleFloat(): Join(FloatingPointSystem, DifferentialRing, OpenMath, import %facosh: % -> % from Foreign Builtin import %fatanh: % -> % from Foreign Builtin import %fcstpi: () -> % from Foreign Builtin + import %fNaN?: % -> Boolean from Foreign Builtin manexp: % -> MER @@ -537,6 +542,7 @@ DoubleFloat(): Join(FloatingPointSystem, DifferentialRing, OpenMath, d = 2 => sqrt(x) ** n x ** (n::% / d::%) + nan? x == %fNaN? x @ \section{License} |