From 4e02059131e34a2c09f60273244d22a6f6afbd1c Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 29 May 2008 04:08:13 +0000
Subject: 	* algebra/catdef.spad.pamphlet (OrderedMonoid): Nown 
 OrderedSemiGroup and a Monoid. 	* share/algebra: Updata databases.

---
 src/algebra/catdef.spad.pamphlet | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/algebra')

diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet
index 403716e4..c9634478 100644
--- a/src/algebra/catdef.spad.pamphlet
+++ b/src/algebra/catdef.spad.pamphlet
@@ -3025,7 +3025,7 @@ Note that this code is not included in the generated catdef.spad file.
 )abbrev category ORDMON OrderedMonoid
 ++ Author:
 ++ Date Created:
-++ Date Last Updated:
+++ Date Last Updated: May 28, 2008
 ++ Basic Functions:
 ++ Related Constructors:
 ++ Also See:
@@ -3040,7 +3040,7 @@ Note that this code is not included in the generated catdef.spad file.
 ++   \spad{x < y => x*z < y*z}
 ++   \spad{x < y => z*x < z*y}
 
-OrderedMonoid(): Category == Join(OrderedSet, Monoid)
+OrderedMonoid(): Category == Join(OrderedSemiGroup, Monoid)
 
 @
 \section{category ORDRING OrderedRing}
-- 
cgit v1.2.3