From 67eb28e8fcfd246d7f149c00bdd3089e2f606676 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 21 May 2009 19:33:24 +0000
Subject: 	* algebra/catdef.spad.pamphlet (before?$SetCategory): New.

---
 src/algebra/catdef.spad.pamphlet | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'src/algebra/catdef.spad.pamphlet')

diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet
index aec301d8..7170da6e 100644
--- a/src/algebra/catdef.spad.pamphlet
+++ b/src/algebra/catdef.spad.pamphlet
@@ -1286,9 +1286,7 @@ OrderedSet(): Category == SetCategory with
     min: (%,%) -> %
       ++ min(x,y) returns the minimum of x and y relative to "<".
   add
-  --declarations
-    x,y: %
-  --definitions
+    before?(x,y) == x < y
   -- These really ought to become some sort of macro
     max(x,y) ==
       x > y => x
@@ -1613,6 +1611,7 @@ SemiGroup(): Category == SetCategory with
 ++ Date Created:
 ++ Date Last Updated:
 ++   09/09/92   RSS   added latex and hash
+++   May 21, 2009: added before? -- gdr
 ++ Basic Functions:
 ++ Related Constructors:
 ++ Also See:
@@ -1630,6 +1629,9 @@ SetCategory(): Category == Join(BasicType,CoercibleTo OutputForm) with
       hash: % -> SingleInteger  ++ hash(s) calculates a hash code for s.
       latex: % -> String       ++ latex(s) returns a LaTeX-printable output
                                ++ representation of s.
+      before?: (%,%) -> Boolean
+        ++ spad{before?(x,y)} holds if \spad{x} comes before \spad{y}
+        ++ in the internal total ordering used by OpenAxiom.
   add
       hash(s : %):  SingleInteger == SXHASH(s)$Lisp
       latex(s : %): String       == "\mbox{\bf Unimplemented}"
-- 
cgit v1.2.3