From 93910b392982db0452864f30db17267e0f30ea41 Mon Sep 17 00:00:00 2001 From: Gabriel Dos Reis Date: Wed, 30 Dec 2015 04:43:21 -0800 Subject: Remove redundant 'recip' signature from ModularRing and EuclideanModularRing --- src/algebra/modring.spad.pamphlet | 4 ---- 1 file changed, 4 deletions(-) (limited to 'src/algebra') 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 -- cgit v1.2.3