aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/modring.spad.pamphlet
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2015-12-30 04:43:21 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2015-12-30 04:43:21 -0800
commit93910b392982db0452864f30db17267e0f30ea41 (patch)
tree6d84abecac20178b06a7ea087bf25fe9075e5d04 /src/algebra/modring.spad.pamphlet
parentbd1588b379e4c9c4bc63ad59296ad531ebc52994 (diff)
downloadopen-axiom-93910b392982db0452864f30db17267e0f30ea41.tar.gz
Remove redundant 'recip' signature from ModularRing and EuclideanModularRing
Diffstat (limited to 'src/algebra/modring.spad.pamphlet')
-rw-r--r--src/algebra/modring.spad.pamphlet4
1 files changed, 0 insertions, 4 deletions
diff --git a/src/algebra/modring.spad.pamphlet b/src/algebra/modring.spad.pamphlet
index a4013304..a802176d 100644
--- a/src/algebra/modring.spad.pamphlet
+++ b/src/algebra/modring.spad.pamphlet
@@ -43,8 +43,6 @@ ModularRing(R,Mod,reduction:(R,Mod) -> R,
++ reduce(r,m) \undocumented
exQuo : (%,%) -> Union(%,"failed")
++ exQuo(x,y) \undocumented
- recip : % -> Union(%,"failed")
- ++ recip(x) \undocumented
inv : % -> %
++ inv(x) \undocumented
@@ -125,8 +123,6 @@ EuclideanModularRing(S,R,Mod,reduction:(R,Mod) -> R,
++ reduce(r,m) \undocumented
exQuo : (%,%) -> Union(%,"failed")
++ exQuo(x,y) \undocumented
- recip : % -> Union(%,"failed")
- ++ recip(x) \undocumented
inv : % -> %
++ inv(x) \undocumented