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/manip.spad.pamphlet | |
| parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
| download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz | |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/manip.spad.pamphlet')
| -rw-r--r-- | src/algebra/manip.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/manip.spad.pamphlet b/src/algebra/manip.spad.pamphlet index 2322ac7c..5cad4e61 100644 --- a/src/algebra/manip.spad.pamphlet +++ b/src/algebra/manip.spad.pamphlet @@ -368,8 +368,8 @@ AlgebraicManipulations(R, F): Exports == Implementation where inroot(op, x, n) == -- one? x => x (x = 1) => x --- (x ^= -1) and (one?(num := numer x) or (num = -1)) => - (x ^= -1) and (((num := numer x) = 1) or (num = -1)) => +-- (x ~= -1) and (one?(num := numer x) or (num = -1)) => + (x ~= -1) and (((num := numer x) = 1) or (num = -1)) => inv inroot(op, (num * denom x)::F, n) (u := isExpt(x, op)) case "failed" => kernel(op, [x, n::F]) pr := u::Record(var:K, exponent:Integer) @@ -752,7 +752,7 @@ TranscendentalManipulations(R, F): Exports == Implementation where supexp(p, f1, f2, bse) == ans:F := 0 - while p ^= 0 repeat + while p ~= 0 repeat g := htrigs(leadingCoefficient(p)::F) if ((d := degree(p)::Z - bse) >= 0) then ans := ans + g * f1 ** d @@ -781,7 +781,7 @@ TranscendentalManipulations(R, F): Exports == Implementation where exlog(numer(x := expand arg)) - exlog denom x num := numer arg den := denom arg - (b := (reductum num) / den) ^= 0 => + (b := (reductum num) / den) ~= 0 => a := (leadingMonomial num) / den is?(op, "exp"::Symbol) => exp(expand a) * expand(exp b) is?(op, "sin"::Symbol) => @@ -801,7 +801,7 @@ TranscendentalManipulations(R, F): Exports == Implementation where smpexp p == ans:F := 0 - while p ^= 0 repeat + while p ~= 0 repeat ans := ans + termexp leadingMonomial p p := reductum p ans |