diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-07-23 02:23:43 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-07-23 02:23:43 +0000 |
| commit | e6a83a9d4ebfb2abf0254ca7c41f2828fafa7b19 (patch) | |
| tree | 8874a4d52e29a43bc0412ae24d454ef3049ca4d1 /src/algebra/sf.spad.pamphlet | |
| parent | 95d7a3a8c107a8b722f97afdc0266449aad3a5bc (diff) | |
| download | open-axiom-e6a83a9d4ebfb2abf0254ca7c41f2828fafa7b19.tar.gz | |
* interp/g-util.boot (expandFeq): New.
* algebra/sf.spad.pamphlet (DoubleFloat): Tidy.
Diffstat (limited to 'src/algebra/sf.spad.pamphlet')
| -rw-r--r-- | src/algebra/sf.spad.pamphlet | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/sf.spad.pamphlet b/src/algebra/sf.spad.pamphlet index 1b36780f..1b51d3a0 100644 --- a/src/algebra/sf.spad.pamphlet +++ b/src/algebra/sf.spad.pamphlet @@ -406,8 +406,8 @@ DoubleFloat(): Join(FloatingPointSystem, DifferentialRing, OpenMath, acoth x == checkComplex ACOTH(x)$Lisp asech x == checkComplex ASECH(x)$Lisp x:% / y:% == %fdiv(x,y) - negative? x == MINUSP(x)$Lisp - zero? x == ZEROP(x)$Lisp + negative? x == x < 0 + zero? x == x = 0 one? x == x = 1 hash x == HASHEQ(x)$Lisp recip(x) == (zero? x => "failed"; 1 / x) @@ -426,14 +426,14 @@ DoubleFloat(): Join(FloatingPointSystem, DifferentialRing, OpenMath, rationalApproximation(x, d) == rationalApproximation(x, d, 10) atan(x,y) == - x = 0 => + zero? x => y > 0 => pi()/2 - y < 0 => -pi()/2 + negative? y => -pi()/2 0 -- Only count on first quadrant being on principal branch. theta := atan abs(y/x) - if x < 0 then theta := pi() - theta - if y < 0 then theta := - theta + if negative? x then theta := pi() - theta + if negative? y then theta := - theta theta retract(x:%):Fraction(Integer) == |