diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 04:43:21 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 04:43:21 -0800 |
| commit | 93910b392982db0452864f30db17267e0f30ea41 (patch) | |
| tree | 6d84abecac20178b06a7ea087bf25fe9075e5d04 | |
| parent | bd1588b379e4c9c4bc63ad59296ad531ebc52994 (diff) | |
| download | open-axiom-93910b392982db0452864f30db17267e0f30ea41.tar.gz | |
Remove redundant 'recip' signature from ModularRing and EuclideanModularRing
| -rw-r--r-- | src/algebra/modring.spad.pamphlet | 4 |
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 |