aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/symbol.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/symbol.spad.pamphlet')
-rw-r--r--src/algebra/symbol.spad.pamphlet5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/algebra/symbol.spad.pamphlet b/src/algebra/symbol.spad.pamphlet
index 404465fe..28deb174 100644
--- a/src/algebra/symbol.spad.pamphlet
+++ b/src/algebra/symbol.spad.pamphlet
@@ -70,7 +70,8 @@ Symbol(): Exports == Implementation where
++ sample() returns a sample of %
Implementation ==> add
- import %equal: (%,%) -> Boolean from Foreign Builtin
+ import %equal: (%,%) -> Boolean from Foreign Builtin
+ import %before?: (%,%) -> Boolean from Foreign Builtin
count: Reference(Integer) := ref 0
xcount: AssociationList(%, Integer) := empty()
@@ -134,7 +135,7 @@ Symbol(): Exports == Implementation where
convert(s:%):Symbol == s pretend Symbol
coerce(s:String):% == VALUES(INTERN(s)$Lisp)$Lisp
x = y == %equal(x,y)
- x < y == GGREATERP(y, x)$Lisp
+ x < y == %before?(x,y)
coerce(x:%):OutputForm == outputForm(x pretend Symbol)
subscript(sy, lx) == script(sy, [lx, nil, nil(), nil(), nil()])
elt(sy,lx) == subscript(sy,lx)