Strange enough, the current definitions of )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 OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianSemiGroup) Martin Tim Furthermore, we should have:PositiveInteger: Join(OrderedAbelianSemiGroup,Monoid) with instead of: PositiveInteger: Join(AbelianSemiGroup,OrderedSet,Monoid) as Waldek noticed... Martin Fixed in OpenAxiom |

...--Tim Daly, Sun, 30 Oct 2005 11:04:12 -0600 reply