From d739b05adf4ab0b012db9334ad2e406e5979fdaa Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 11 May 2013 15:08:29 +0000
Subject: Fix location of opposite? implementation

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

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

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