From 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 3 Apr 2008 04:23:42 +0000 Subject: Replace `^=' with `~='. --- src/algebra/kl.spad.pamphlet | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src/algebra/kl.spad.pamphlet') 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 -- cgit v1.2.3