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/intpm.spad.pamphlet | |
| parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
| download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz | |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/intpm.spad.pamphlet')
| -rw-r--r-- | src/algebra/intpm.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/intpm.spad.pamphlet b/src/algebra/intpm.spad.pamphlet index 49f03dbe..dad6bfa9 100644 --- a/src/algebra/intpm.spad.pamphlet +++ b/src/algebra/intpm.spad.pamphlet @@ -117,7 +117,7 @@ PatternMatchIntegration(R, F): Exports == Implementation where [cc, nc] if (v := isPower f) case Record(val:F, exponent:Z) then vv := v::Record(val:F, exponent:Z) - (vv.exponent ^= 1) => + (vv.exponent ~= 1) => rec := splitConstant(vv.val, x) return [rec.const ** vv.exponent, rec.nconst ** vv.exponent] error "splitConstant: should not happen" @@ -233,7 +233,7 @@ PatternMatchIntegration(R, F): Exports == Implementation where and failed?(res := patternMatch(f,convert(patci0)@PAT,res0)) => [NONE, 0, 0] l := mkalist res - (b := l.pmb) ^= 2 * (a := l.pma) => [NONE, 0, 0] + (b := l.pmb) ~= 2 * (a := l.pma) => [NONE, 0, 0] db := differentiate(b, x) d := (cc := l.pmc) / db zero? differentiate(d, x) => @@ -248,11 +248,11 @@ PatternMatchIntegration(R, F): Exports == Implementation where rec := froot(y, 2)$PolynomialRoots(IndexedExponents K, K, R, P, F) -- one?(rec.exponent) => rec.coef * rec.radicand ((rec.exponent) = 1) => rec.coef * rec.radicand - rec.exponent ^=2 => error "insqrt: hould not happen" + rec.exponent ~=2 => error "insqrt: hould not happen" rec.coef * sqrt(rec.radicand) pmintegrate(f, x) == - (rc := splitConstant(f, x)).const ^= 1 => + (rc := splitConstant(f, x)).const ~= 1 => (u := pmintegrate(rc.nconst, x)) case "failed" => "failed" rec := u::ANS [rc.const * rec.special, rc.const * rec.integrand] @@ -270,7 +270,7 @@ PatternMatchIntegration(R, F): Exports == Implementation where "failed" pmComplexintegrate(f, x) == - (rc := splitConstant(f, x)).const ^= 1 => + (rc := splitConstant(f, x)).const ~= 1 => (u := pmintegrate(rc.nconst, x)) case "failed" => "failed" rec := u::ANS [rc.const * rec.special, rc.const * rec.integrand] |