From 0f2fe8a37ab42191fa2b871e0ce8bd05c701eed7 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 10 May 2013 09:21:22 +0000
Subject: Add opposite? and annihilate? exports.

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

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

diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet
index 5806c706..ba924720 100644
--- a/src/algebra/integer.spad.pamphlet
+++ b/src/algebra/integer.spad.pamphlet
@@ -205,6 +205,8 @@ Integer: IntegerNumberSystem with
          zero? p => unitCanonical q
          zero? q => unitCanonical p
          gcd([p,q])$HeuGcd(ZP)
+      opposite?(x,y) == x = -y
+      annihilate?(x,y) == zero? x or zero? y
 --    myNextPrime: (%,NonNegativeInteger) -> %
 --    myNextPrime(x,n) ==
 --       nextPrime(x)$IntegerPrimesPackage(%)
-- 
cgit v1.2.3