diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-02 20:04:09 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-02 20:04:09 +0000 |
commit | c97234cc6573b74f42454b09b7a0297960c9fdf4 (patch) | |
tree | 74a8990a1831e02f995e5240b00e3a2d5a24b694 /src/interp | |
parent | 4ac600edddd39335715c053ded118a59c804778d (diff) | |
download | open-axiom-c97234cc6573b74f42454b09b7a0297960c9fdf4.tar.gz |
* interp/nrungo.boot (NRTisRecurrenceRelation): Lookup "not" with
signature % -> %.
* interp/br-con.boot: Use "~=" for inequality.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/br-con.boot | 2 | ||||
-rw-r--r-- | src/interp/nrungo.boot | 7 |
2 files changed, 4 insertions, 5 deletions
diff --git a/src/interp/br-con.boot b/src/interp/br-con.boot index 5c84cc7c..117ed0a3 100644 --- a/src/interp/br-con.boot +++ b/src/interp/br-con.boot @@ -1295,7 +1295,7 @@ PUT('Enumeration, 'documentation, substitute(MESSAGE, 'MESSAGE, '( (constructor (NIL MESSAGE)) (_= (((Boolean) _$ _$) "\spad{e = f} tests for equality of two enumerations \spad{e} and \spad{f}")) - (_^_= (((Boolean) _$ _$) + (_~_= (((Boolean) _$ _$) "\spad{e ^= f} tests that two enumerations \spad{e} and \spad{f} are nont equal")) (coerce (((OutputForm) _$) "\spad{coerce(e)} returns a representation of enumeration \spad{r} as an output form") diff --git a/src/interp/nrungo.boot b/src/interp/nrungo.boot index cefb3dbd..fd7c9b99 100644 --- a/src/interp/nrungo.boot +++ b/src/interp/nrungo.boot @@ -346,10 +346,9 @@ NRTisRecurrenceRelation(op,body,minivectorName) == (CONTAINED('throwMessage,mess) or CONTAINED('throwKeyedMsg,mess)))] integer := EVALFUN $Integer - iequalSlot:=compiledLookupCheck("=",'((Boolean) $ $),integer) - lesspSlot:=compiledLookupCheck("<",'((Boolean) $ $),integer) - bf := $Boolean - notpSlot:= compiledLookupCheck("not",'((Boolean)(Boolean)),EVALFUN bf) + iequalSlot:=compiledLookupCheck("=",[$Boolean,"$","$"],integer) + lesspSlot:=compiledLookupCheck("<",[$Boolean,"$","$"],integer) + notpSlot:= compiledLookupCheck("not",["$","$"],EVALFUN $Boolean) for [p,c] in pcl repeat p is ['SPADCALL,sharpVar,n1,['ELT,=minivectorName,slot]] and EQ(iequalSlot,$minivector.slot) => |