diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-05-18 18:49:32 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-05-18 18:49:32 +0000 |
| commit | 0e24179347ef7fd64e624e6fa5b4592e9ab6fc87 (patch) | |
| tree | b5c14465e194b92c400b1212e95c6f6a9e907bbe /src/algebra/catdef.spad.pamphlet | |
| parent | 38982ebf4d9b23fe336bd4880ef0f4d59dbc7684 (diff) | |
| download | open-axiom-0e24179347ef7fd64e624e6fa5b4592e9ab6fc87.tar.gz | |
Fix AW/221
* algebra/catdef.spad.pamphlet (OrderedAbelianSemiGroup): Now a
join of OrderedSet and AbelianSemiGroup.
* algebra/integer.spad.pamphlet (PositiveInteger): Now belongs to
both OrderedAbelianSemiGroup and Monoid. Update cached Lisp
translation.
* shared/algebra: Update databases.
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index b75dc4b5..58198cd9 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -2917,7 +2917,7 @@ OrderedAbelianMonoidSup(): Category == OrderedCancellationAbelianMonoid with ++ preserves the ordering. ++ \spad{ x < y => x+z < y+z} -OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianMonoid) +OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianSemiGroup) @ \section{category OCAMON OrderedCancellationAbelianMonoid} |