[Axiom-developer] [#221 'PI' does not have 'OASGP'] (nouveau)

[kratt6]

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/address@hidden