From 77d293322d11ad09575a85f421796da7db471797 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 29 Jun 2010 16:22:49 +0000
Subject: 	* algebra/catdef.spad.pamphlet (BasicType) [before?]: Declare
 here. 	(OrderedType) [max,min]: Export and provide defaults. 	(OrderedSet):
 Simplify. 	(SetCategory) [before?]: Move to BasicType.

---
 src/algebra/strap/SINT.lsp | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'src/algebra/strap/SINT.lsp')

diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp
index 32a69f40..d37ff34e 100644
--- a/src/algebra/strap/SINT.lsp
+++ b/src/algebra/strap/SINT.lsp
@@ -626,16 +626,16 @@
           (CONS (|makeByteWordVec2| 1
                     '(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
                       0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
-                      0 0 0 0 0 0 0 0 0))
+                      0 0 0 0 0 0 0 0 0 0))
                 (CONS '#(|IntegerNumberSystem&| |EuclideanDomain&|
                          |UniqueFactorizationDomain&| NIL NIL
                          |GcdDomain&| |IntegralDomain&| |Algebra&| NIL
                          NIL |OrderedRing&| NIL NIL |Module&| NIL NIL
                          |Ring&| NIL NIL NIL NIL NIL NIL
                          |AbelianGroup&| NIL NIL NIL NIL NIL
-                         |AbelianMonoid&| |Monoid&| NIL NIL NIL
-                         |OrderedSet&| NIL NIL |AbelianSemiGroup&|
-                         |SemiGroup&| NIL |Logic&| |DifferentialSpace&|
+                         |AbelianMonoid&| |Monoid&| NIL NIL NIL NIL NIL
+                         NIL |AbelianSemiGroup&| |SemiGroup&| NIL
+                         |Logic&| |DifferentialSpace&| |OrderedType&|
                          |SetCategory&| NIL NIL |RetractableTo&|
                          |DifferentialDomain&| |BasicType&| NIL NIL NIL
                          NIL NIL NIL NIL NIL NIL NIL NIL)
@@ -667,9 +667,9 @@
                                (|RightLinearSet| $$)
                                (|AbelianSemiGroup|) (|SemiGroup|)
                                (|LeftLinearSet| 5) (|Logic|)
-                               (|DifferentialSpace|) (|SetCategory|)
-                               (|BooleanLogic|) (|RealConstant|)
-                               (|RetractableTo| 5)
+                               (|DifferentialSpace|) (|OrderedType|)
+                               (|SetCategory|) (|BooleanLogic|)
+                               (|RealConstant|) (|RetractableTo| 5)
                                (|DifferentialDomain| $$) (|BasicType|)
                                (|OpenMath|) (|ConvertibleTo| 102)
                                (|ConvertibleTo| 103)
-- 
cgit v1.2.3