diff options
Diffstat (limited to 'src/algebra/mring.spad.pamphlet')
| -rw-r--r-- | src/algebra/mring.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/mring.spad.pamphlet b/src/algebra/mring.spad.pamphlet index 3d2ca1c7..ba63134c 100644 --- a/src/algebra/mring.spad.pamphlet +++ b/src/algebra/mring.spad.pamphlet @@ -175,13 +175,11 @@ MonoidRing(R: Ring, M: Monoid): MRcategory == MRdefinition where numberOfMonomials a == #a retractIfCan(a:%):Union(M, "failed") == --- one?(#a) and one?(a.first.Cf) => a.first.Mn - ((#a) = 1) and ((a.first.Cf) = 1) => a.first.Mn + one?(#a) and one?(a.first.Cf) => a.first.Mn "failed" retractIfCan(a:%):Union(R, "failed") == --- one?(#a) and one?(a.first.Mn) => a.first.Cf - ((#a) = 1) and ((a.first.Mn) = 1) => a.first.Cf + one?(#a) and one?(a.first.Mn) => a.first.Cf "failed" if R has noZeroDivisors then |