aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/sf.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-05-11 15:08:29 +0000
committerdos-reis <gdr@axiomatics.org>2013-05-11 15:08:29 +0000
commitd739b05adf4ab0b012db9334ad2e406e5979fdaa (patch)
tree61a88f149f99a03b91fae46d32237cd0ab314d76 /src/algebra/sf.spad.pamphlet
parentfd5af990d05dc4a3534a1e4d83a6fdbcd150ef6a (diff)
downloadopen-axiom-d739b05adf4ab0b012db9334ad2e406e5979fdaa.tar.gz
Fix location of opposite? implementation
Diffstat (limited to 'src/algebra/sf.spad.pamphlet')
-rw-r--r--src/algebra/sf.spad.pamphlet2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/algebra/sf.spad.pamphlet b/src/algebra/sf.spad.pamphlet
index fc01b769..c64c6cba 100644
--- a/src/algebra/sf.spad.pamphlet
+++ b/src/algebra/sf.spad.pamphlet
@@ -506,6 +506,8 @@ DoubleFloat(): Join(FloatingPointSystem, DifferentialRing,
x ** (n::% / d::%)
nan? x == %fNaN? x
+ opposite?(x,y) == x = -y
+ annihilate?(x,y) == zero? x or zero? y
@
\section{License}