Edit detail for #221 'PI' does not have 'OASGP' revision 1 of 6

changed:
-
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


From TimDaly Sun Oct 30 11:04:12 -0600 2005
From: Tim Daly
Date: Sun, 30 Oct 2005 11:04:12 -0600
Subject: 
Message-ID: <20051030110412-0600@wiki.axiom-developer.org>

This is a very deep change and I'm going to have to devote 
a fair bit of time to testing the system before this one
gets released into the wild.

Tim

  )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)

    OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianSemiGroup)