|
|
|
last edited 17 years ago by japp |
Edit detail for #221 'PI' does not have 'OASGP' revision 3 of 6
| 1 2 3 4 5 6 | ||
|
Editor: gdr
Time: 2008/05/18 11:49:37 GMT-7 |
||
| Note: | ||
added:
From gdr Sun May 18 11:49:37 -0700 2008
From: gdr
Date: Sun, 18 May 2008 11:49:37 -0700
Subject:
Message-ID: <20080518114937-0700@axiom-wiki.newsynthesis.org>
Fixed in OpenAxiom
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
... --Tim Daly, Sun, 30 Oct 2005 11:04:12 -0600 reply
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
Furthermore, we should have:
PositiveInteger: Join(OrderedAbelianSemiGroup,Monoid) with
instead of:
PositiveInteger: Join(AbelianSemiGroup,OrderedSet,Monoid)
as Waldek noticed...
Martin
Fixed in OpenAxiom?