From 9aafe6c5ce226436c5fe69fb05d309d3a95843e0 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 26 Jun 2011 23:41:58 +0000
Subject: 	* algebra/sf.spad.pamphlet (DoubleFloat) [nan?]: New export. 
 * algebra/clip.spad.pamphlet (TwoDimensionalPlotClipping): Use it          
 instead of %fNan?. 	* algebra/plot.spad.pamphlet (Plot): Likewise.

---
 src/algebra/sf.spad.pamphlet | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/algebra/sf.spad.pamphlet')

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}
-- 
cgit v1.2.3