aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/fspace.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-04-03 04:23:42 +0000
committerdos-reis <gdr@axiomatics.org>2008-04-03 04:23:42 +0000
commit001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 (patch)
treeda9e2fe5d81ff4cd7709d12e44b8c3e348b8a8e3 /src/algebra/fspace.spad.pamphlet
parenta7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff)
downloadopen-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/fspace.spad.pamphlet')
-rw-r--r--src/algebra/fspace.spad.pamphlet14
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet
index 902aa197..d044d256 100644
--- a/src/algebra/fspace.spad.pamphlet
+++ b/src/algebra/fspace.spad.pamphlet
@@ -256,19 +256,19 @@ ExpressionSpace(): Category == Defn where
elt(op:OP, args:List %) ==
not belong? op => error "Unknown operator"
- ((u := arity op) case N) and (#args ^= u::N)
+ ((u := arity op) case N) and (#args ~= u::N)
=> error "Wrong number of arguments"
(v := evaluate(op,args)$BasicOperatorFunctions1(%)) case % => v::%
okkernel(op, args)
retract f ==
(k := mainKernel f) case "failed" => error "not a kernel"
- k::K::% ^= f => error "not a kernel"
+ k::K::% ~= f => error "not a kernel"
k::K
retractIfCan f ==
(k := mainKernel f) case "failed" => "failed"
- k::K::% ^= f => "failed"
+ k::K::% ~= f => "failed"
k
is?(f:%, s:SY) ==
@@ -1572,7 +1572,7 @@ FunctionSpace(R:OrderedSet): Category == Definition where
a:% := 0
f := eval((lfunc.n) arg, lop, lexp, lfunc)
e := lexp.n
- while q ^= 0 repeat
+ while q ~= 0 repeat
m := degree q
qr := divide(m, e)
t1 := f ** (qr.quotient)::N
@@ -1621,14 +1621,14 @@ FunctionSpace(R:OrderedSet): Category == Definition where
u := third l
arg := argument k
ans:% := 0
- if (not member?(u,done)) and (ans := differentiate(u,x))^=0 then
+ if (not member?(u,done)) and (ans := differentiate(u,x))~=0 then
ans := ans * kernel(opdiff,
[subst(expr, [kd], [kernel(opdiff, [first l, gg, gg])]),
gg, u])
done := concat(gg, done)
is?(k, opdiff) => ans + diffdiff0(arg, x, expr, k, done)
for i in minIndex arg .. maxIndex arg for b in arg repeat
- if (not member?(b,done)) and (bp:=differentiate(b,x))^=0 then
+ if (not member?(b,done)) and (bp:=differentiate(b,x))~=0 then
g := symsub(gendiff, i)::%
ans := ans + bp * kernel(opdiff, [subst(expr, [kd],
[kernel(opdiff, [substArg(op, arg, i, g), gg, u])]), g, b])
@@ -1676,7 +1676,7 @@ FunctionSpace(R:OrderedSet): Category == Definition where
grad :=
(u := derivative op) case "failed" => opderiv(op, n)
u::List(List % -> %)
- if #grad ^= n then grad := opderiv(op, n)
+ if #grad ~= n then grad := opderiv(op, n)
[g args for g in grad]
-- SPECIALDIFF contains a map (List %, Symbol) -> %