Changes
http://page.axiom-developer.org/zope/mathaction/221PIDoesNotHaveOASGP/diff
--
Strange enough, the current definitions of 'OrderedAbelianSemiGroup' and
'OrderedAbelianMonoid' coincide::
)abbrev category OASGP OrderedAbelianSemiGroup
++ Ordered sets which are also abelian semigroups, such that the addition
++ preserves the ordering.
++ \spad{ x < y => x+z < y+z}
OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianMonoid)
)abbrev category OAMON OrderedAbelianMonoid
++ Ordered sets which are also abelian monoids, such that the addition
++ preserves the ordering.
OrderedAbelianMonoid(): Category ==
Join(OrderedAbelianSemiGroup, AbelianMonoid)
The definition of 'OASGP' should read::
OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianSemiGroup)
Martin
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
