diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-03-12 22:56:37 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-03-12 22:56:37 +0000 |
| commit | 6c75a87d8ee00d48a0f5703aa9c86591078a50d3 (patch) | |
| tree | 28ff587bbc4d759dd0e3f96b156700ff01ba8c53 /src/algebra/intpm.spad.pamphlet | |
| parent | a2e3e641bdbcb6e77bbb572aea25a748a967abca (diff) | |
| download | open-axiom-6c75a87d8ee00d48a0f5703aa9c86591078a50d3.tar.gz | |
* src/algebra/: Systematically use not one? when comparing for
equality with 1.
Diffstat (limited to 'src/algebra/intpm.spad.pamphlet')
| -rw-r--r-- | src/algebra/intpm.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/intpm.spad.pamphlet b/src/algebra/intpm.spad.pamphlet index 9d47548f..f529f043 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) => + not one?(vv.exponent) => rec := splitConstant(vv.val, x) return [rec.const ** vv.exponent, rec.nconst ** vv.exponent] error "splitConstant: should not happen" @@ -248,7 +248,7 @@ PatternMatchIntegration(R, F): Exports == Implementation where rec.coef * sqrt(rec.radicand) pmintegrate(f, x) == - (rc := splitConstant(f, x)).const ~= 1 => + not one?((rc := splitConstant(f, x)).const) => (u := pmintegrate(rc.nconst, x)) case "failed" => "failed" rec := u::ANS [rc.const * rec.special, rc.const * rec.integrand] @@ -266,7 +266,7 @@ PatternMatchIntegration(R, F): Exports == Implementation where "failed" pmComplexintegrate(f, x) == - (rc := splitConstant(f, x)).const ~= 1 => + not one?((rc := splitConstant(f, x)).const) => (u := pmintegrate(rc.nconst, x)) case "failed" => "failed" rec := u::ANS [rc.const * rec.special, rc.const * rec.integrand] |