aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/sf.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-06-26 23:41:58 +0000
committerdos-reis <gdr@axiomatics.org>2011-06-26 23:41:58 +0000
commit9aafe6c5ce226436c5fe69fb05d309d3a95843e0 (patch)
tree20c9a746c0ed51988386b1ef1f03ed8a4b322b34 /src/algebra/sf.spad.pamphlet
parent459f3ea9524cf70969e440638b4fc91d9a305276 (diff)
downloadopen-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.pamphlet6
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}