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/efstruc.spad.pamphlet | |
| parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
| download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz | |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/efstruc.spad.pamphlet')
| -rw-r--r-- | src/algebra/efstruc.spad.pamphlet | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/src/algebra/efstruc.spad.pamphlet b/src/algebra/efstruc.spad.pamphlet index 6ac57be1..9a015122 100644 --- a/src/algebra/efstruc.spad.pamphlet +++ b/src/algebra/efstruc.spad.pamphlet @@ -205,10 +205,10 @@ ElementaryFunctionStructurePackage(R,F): Exports == Implementation where realElem(f, l) == smpElem(numer f, l) / smpElem(denom f, l) realElementary(f, x) == realElem(f, [x]) realElementary f == realElem(f, variables f) - toY ker == [func for k in ker | (func := ktoY k) ^= 0] - toZ ker == [func for k in ker | (func := ktoZ k) ^= 0] - toU ker == [func for k in ker | (func := ktoU k) ^= 0] - toV ker == [func for k in ker | (func := ktoV k) ^= 0] + toY ker == [func for k in ker | (func := ktoY k) ~= 0] + toZ ker == [func for k in ker | (func := ktoZ k) ~= 0] + toU ker == [func for k in ker | (func := ktoU k) ~= 0] + toV ker == [func for k in ker | (func := ktoV k) ~= 0] rtNormalize f == rootNormalize0(f).func toR(ker, x) == select(is?(#1, NTHR) and first argument(#1) = x, ker) @@ -250,7 +250,7 @@ ElementaryFunctionStructurePackage(R,F): Exports == Implementation where differentiate(ktoU k, x)) is?(k, NTHR) => rootDep(ker, k) comb? and is?(k, "factorial"::SY) => - factdeprel([x for x in ker | is?(x,"factorial"::SY) and x^=k],k) + factdeprel([x for x in ker | is?(x,"factorial"::SY) and x~=k],k) [true] ktoY k == @@ -325,7 +325,7 @@ ElementaryFunctionStructurePackage(R,F): Exports == Implementation where rooteval(f, lk, k, n) == nv := nthRoot(x := first argument k, m := retract(n)@Z) l := [r for r in concat(k, toR(lk, x)) | - retract(second argument r)@Z ^= m] + retract(second argument r)@Z ~= m] lv := [nv ** (n / (retract(second argument r)@Z::Q)) for r in l] [eval(f, l, lv), l, lv] @@ -362,8 +362,8 @@ ElementaryFunctionStructurePackage(R,F): Exports == Implementation where tannosimp(f, lk, k, v, fns, c) v0 := retract(inv qelt(v, rec.index))@Z lv := [qelt(v, i) for i in minIndex v .. maxIndex v | - i ^= rec.index]$List(Q) - l := [kk for kk in lk | kk ^= rec.ker] + i ~= rec.index]$List(Q) + l := [kk for kk in lk | kk ~= rec.ker] g := tanSum(-v0 * c, concat(tanNa(k::F, v0), [tanNa(x, - retract(a * v0)@Z) for a in lv for x in toV l])) [eval(f, [rec.ker], [g]), [rec.ker], [g]] @@ -407,7 +407,7 @@ ElementaryFunctionStructurePackage(R,F): Exports == Implementation where rischNormalize(f, v) == empty?(ker := varselect(tower f, v)) => [f, empty(), empty()] - first(ker) ^= kernel(v)@K => error "Cannot happen" + first(ker) ~= kernel(v)@K => error "Cannot happen" ker := rest ker (n := (#ker)::Z - 1) < 1 => [f, empty(), empty()] for i in 1..n for kk in rest ker repeat @@ -466,8 +466,8 @@ ElementaryFunctionStructurePackage(R,F): Exports == Implementation where expnosimp(f, lk, k, v, fns, exp g) v0 := retract(inv qelt(v, rec.index))@Z lv := [qelt(v, i) for i in minIndex v .. maxIndex v | - i ^= rec.index]$List(Q) - l := [kk for kk in lk | kk ^= rec.ker] + i ~= rec.index]$List(Q) + l := [kk for kk in lk | kk ~= rec.ker] h :F := */[exp(z) ** (- retract(a * v0)@Z) for a in lv for z in toY l] h := h * exp(-v0 * g) * (k::F) ** v0 [eval(f, [rec.ker], [h]), [rec.ker], [h]] @@ -641,7 +641,7 @@ InnerTrigonometricManipulations(R,F,FG): Exports == Implementation where supexp(p, f1, f2, bse) == ans:GF := 0 - while p ^= 0 repeat + while p ~= 0 repeat g := explogs2trigs(leadingCoefficient(p)::FG) if ((d := degree(p)::Z - bse) >= 0) then ans := ans + g * f1 ** d |