From 5eebd42bedc639efb11826fcc56520afbb4637ca Mon Sep 17 00:00:00 2001 From: dos-reis <gdr@axiomatics.org> Date: Sat, 5 Feb 2011 03:52:54 +0000 Subject: * interp/g-opt.boot ($VMsideEffectFreeOperators): Remove CGREATERP and GGREATERP. Add VM-level complex number operators. * interp/lisp-backend.boot: Expand them. * algebra/gaussian.spad.pamphlet (ComplexCategory): Use VM form instead of Lisp level forms. * algebra/pfr.spad.pamphlet (PartialFraction): Likewise. * algebra/si.spad.pamphlet (SingleInteger): Likewise. * algebra/symbol.spad.pamphlet (Symbol): Likewise. --- src/algebra/symbol.spad.pamphlet | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/algebra/symbol.spad.pamphlet') 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) -- cgit v1.2.3