diff options
Diffstat (limited to 'src/algebra/mring.spad.pamphlet')
-rw-r--r-- | src/algebra/mring.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/mring.spad.pamphlet b/src/algebra/mring.spad.pamphlet index ba63134c..679cdae4 100644 --- a/src/algebra/mring.spad.pamphlet +++ b/src/algebra/mring.spad.pamphlet @@ -224,13 +224,13 @@ MonoidRing(R: Ring, M: Monoid): MRcategory == MRdefinition where ta := first a; tb := first b ra := rest a; rb := rest b c := - ta.Mn > tb.Mn => (a := ra; concat_!(c, ta)) - ta.Mn < tb.Mn => (b := rb; concat_!(c, tb)) + ta.Mn > tb.Mn => (a := ra; concat!(c, ta)) + ta.Mn < tb.Mn => (b := rb; concat!(c, tb)) a := ra; b := rb not zero?(r := ta.Cf+tb.Cf) => - concat_!(c, [r, ta.Mn]) + concat!(c, [r, ta.Mn]) c - concat_!(c, concat(a, b)) + concat!(c, concat(a, b)) coefficient(a, m) == for t in a repeat @@ -306,7 +306,7 @@ MonoidRing(R: Ring, M: Monoid): MRcategory == MRdefinition where addterm(Tabl: AssociationList(M,R), r:R, m:M):R == (u := search(m, Tabl)) case "failed" => Tabl.m := r - zero?(r := r + u::R) => (remove_!(m, Tabl); 0) + zero?(r := r + u::R) => (remove!(m, Tabl); 0) Tabl.m := r a + b == |