diff options
author | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
commit | 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 (patch) | |
tree | da9e2fe5d81ff4cd7709d12e44b8c3e348b8a8e3 /src/algebra/kl.spad.pamphlet | |
parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/kl.spad.pamphlet')
-rw-r--r-- | src/algebra/kl.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/kl.spad.pamphlet b/src/algebra/kl.spad.pamphlet index 0ebb9578..26a8b374 100644 --- a/src/algebra/kl.spad.pamphlet +++ b/src/algebra/kl.spad.pamphlet @@ -233,7 +233,7 @@ Kernel(S:OrderedSet): Exports == Implementation where k1.posit < k2.posit kernel(fn, x, n) == - ((u := arity fn) case N) and (#x ^= u::N) + ((u := arity fn) case N) and (#x ~= u::N) => error "Wrong number of arguments" enterInCache([fn, x, n, 0]$Rep, triage) @@ -249,13 +249,13 @@ Kernel(S:OrderedSet): Exports == Implementation where (u::(List OutputForm -> OutputForm)) l triage(k1, k2) == - k1.nest ^= k2.nest => B2Z(k1.nest < k2.nest) - k1.op ^= k2.op => B2Z(k1.op < k2.op) - (n1 := #(argument k1)) ^= (n2 := #(argument k2)) => B2Z(n1 < n2) + k1.nest ~= k2.nest => B2Z(k1.nest < k2.nest) + k1.op ~= k2.op => B2Z(k1.op < k2.op) + (n1 := #(argument k1)) ~= (n2 := #(argument k2)) => B2Z(n1 < n2) ((func := property(operator k1, SPECIALEQUAL)) case None) and (((func::None) pretend ((%, %) -> Boolean)) (k1, k2)) => 0 for x1 in argument(k1) for x2 in argument(k2) repeat - x1 ^= x2 => return B2Z(x1 < x2) + x1 ~= x2 => return B2Z(x1 < x2) 0 if S has ConvertibleTo InputForm then |