diff options
Diffstat (limited to 'src/algebra/sf.spad.pamphlet')
-rw-r--r-- | src/algebra/sf.spad.pamphlet | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/algebra/sf.spad.pamphlet b/src/algebra/sf.spad.pamphlet index 3fae80c1..b104b7f5 100644 --- a/src/algebra/sf.spad.pamphlet +++ b/src/algebra/sf.spad.pamphlet @@ -386,6 +386,7 @@ DoubleFloat(): Join(FloatingPointSystem, DifferentialRing, OpenMath, x:% / y:% == (x/y)$Lisp negative? x == MINUSP(x)$Lisp zero? x == ZEROP(x)$Lisp + one? x == x = 1 hash x == HASHEQ(x)$Lisp recip(x) == (zero? x => "failed"; 1 / x) differentiate x == 0 @@ -483,10 +484,8 @@ DoubleFloat(): Join(FloatingPointSystem, DifferentialRing, OpenMath, zero? r => error "0**0 is undefined" negative? r => error "division by 0" 0 --- zero? r or one? x => 1 - zero? r or (x = 1) => 1 --- one? r => x - (r = 1) => x + zero? r or one? x => 1 + one? r => x n := numer r d := denom r negative? x => |