|
|
|
last edited 17 years ago by japp |
Edit detail for #221 'PI' does not have 'OASGP' revision 6 of 6
| 1 2 3 4 5 6 | ||
|
Editor: japp
Time: 2008/10/16 11:28:51 GMT-7 |
||
| Note: | ||
removed:
-From japp Thu Oct 16 11:08:13 -0700 2008
-From: japp
-Date: Thu, 16 Oct 2008 11:08:13 -0700
-Subject:
-Message-ID: <20081016110813-0700@axiom-wiki.newsynthesis.org>
-
-Status: fix proposed => fixed somewhere
-
-
-From japp Thu Oct 16 11:28:36 -0700 2008
-From: japp
-Date: Thu, 16 Oct 2008 11:28:36 -0700
-Subject:
-Message-ID: <20081016112836-0700@axiom-wiki.newsynthesis.org>
-
-Status: fixed somewhere => fix proposed
-
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