diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 10:59:32 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 10:59:32 -0800 |
| commit | 853eb071dce89161c796d81b24eddd9e073687af (patch) | |
| tree | 32087791713be9e19d9d895a647904a9fe5f1634 /src/algebra/modring.spad.pamphlet | |
| parent | 93910b392982db0452864f30db17267e0f30ea41 (diff) | |
| download | open-axiom-853eb071dce89161c796d81b24eddd9e073687af.tar.gz | |
Use CoercibleTo category instances instead of ad-hoc hard-wired 'coerce: % -> T' signatures.
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") |