diff options
Diffstat (limited to 'src/algebra/modring.spad.pamphlet')
| -rw-r--r-- | src/algebra/modring.spad.pamphlet | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/src/algebra/modring.spad.pamphlet b/src/algebra/modring.spad.pamphlet index a802176d..19edbc9d 100644 --- a/src/algebra/modring.spad.pamphlet +++ b/src/algebra/modring.spad.pamphlet @@ -34,11 +34,9 @@ ModularRing(R,Mod,reduction:(R,Mod) -> R, R : CommutativeRing Mod : AbelianMonoid - C == Ring with + C == Join(Ring,CoercibleTo R) with modulus : % -> Mod ++ modulus(x) \undocumented - coerce : % -> R - ++ coerce(x) \undocumented reduce : (R,Mod) -> % ++ reduce(r,m) \undocumented exQuo : (%,%) -> Union(%,"failed") @@ -114,11 +112,9 @@ EuclideanModularRing(S,R,Mod,reduction:(R,Mod) -> R, R : UnivariatePolynomialCategory S Mod : AbelianMonoid - C == Join(EuclideanDomain, Eltable(R,R)) with + C == Join(EuclideanDomain, Eltable(R,R),CoercibleTo R) with modulus : % -> Mod ++ modulus(x) \undocumented - coerce : % -> R - ++ coerce(x) \undocumented reduce : (R,Mod) -> % ++ reduce(r,m) \undocumented exQuo : (%,%) -> Union(%,"failed") @@ -208,11 +204,9 @@ ModularField(R,Mod,reduction:(R,Mod) -> R, R : CommutativeRing Mod : AbelianMonoid - C == Field with + C == Join(Field,CoercibleTo R) with modulus : % -> Mod ++ modulus(x) \undocumented - coerce : % -> R - ++ coerce(x) \undocumented reduce : (R,Mod) -> % ++ reduce(r,m) \undocumented exQuo : (%,%) -> Union(%,"failed") |