diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-21 19:33:24 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-21 19:33:24 +0000 |
| commit | 67eb28e8fcfd246d7f149c00bdd3089e2f606676 (patch) | |
| tree | 156e78c30a13c788a7bb194aba20fb7ac8a6996b /src/algebra/catdef.spad.pamphlet | |
| parent | 0fd61f7b731145923414f6fe21a511f2304bd9d9 (diff) | |
| download | open-axiom-67eb28e8fcfd246d7f149c00bdd3089e2f606676.tar.gz | |
* algebra/catdef.spad.pamphlet (before?$SetCategory): New.
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 8 |
1 files changed, 5 insertions, 3 deletions
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}" |