diff options
Diffstat (limited to 'src/algebra/polycat.spad.pamphlet')
| -rw-r--r-- | src/algebra/polycat.spad.pamphlet | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/algebra/polycat.spad.pamphlet b/src/algebra/polycat.spad.pamphlet index 4cdd3572..9f86558a 100644 --- a/src/algebra/polycat.spad.pamphlet +++ b/src/algebra/polycat.spad.pamphlet @@ -78,6 +78,9 @@ AbelianMonoidRing(R:Ring, E:OrderedAbelianMonoid): Category == @ \section{category FAMR FiniteAbelianMonoidRing} <<category FAMR FiniteAbelianMonoidRing>>= +import Boolean +import NonNegativeInteger +import List )abbrev category FAMR FiniteAbelianMonoidRing ++ Author: ++ Date Created: @@ -162,7 +165,7 @@ FiniteAbelianMonoidRing(R:Ring, E:OrderedAbelianMonoid): Category == if R has Field then x/r == map(#1/r,x) if R has IntegralDomain then - x exquo r == + (x: %) exquo (r: R) == -- probably not a very good definition in most special cases zero? x => 0 ans:% :=0 |