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/rdeef.spad.pamphlet | |
| parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
| download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz | |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/rdeef.spad.pamphlet')
| -rw-r--r-- | src/algebra/rdeef.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/rdeef.spad.pamphlet b/src/algebra/rdeef.spad.pamphlet index 662c1f27..812a7e44 100644 --- a/src/algebra/rdeef.spad.pamphlet +++ b/src/algebra/rdeef.spad.pamphlet @@ -74,7 +74,7 @@ IntegrationTools(R:OrderedSet, F:FunctionSpace R): Exp == Impl where -- true if x should be considered before y in the tower better?(x, y) == - height(y) ^= height(x) => height(y) < height(x) + height(y) ~= height(x) => height(y) < height(x) has?(operator y, ALGOP) or (is?(y, "exp"::SE) and not is?(x, "exp"::SE) and not has?(operator x, ALGOP)) @@ -136,7 +136,7 @@ IntegrationTools(R:OrderedSet, F:FunctionSpace R): Exp == Impl where if u case ANS then rc := u::ANS ans := ans + rc.special - if rc.integrand ^= 0 then + if rc.integrand ~= 0 then ir0 := intPatternMatch(rc.integrand, x, int, pmint) ans := ans + ratpart ir0 lg := concat(logpart ir0, lg) @@ -435,7 +435,7 @@ ElementaryRischDE(R, F): Exports == Implementation where dc - db boundAt0(twr, f0, nb, nc, x, t, limitedint) == - nb ^= 0 => min(0, nc - min(0, nb)) + nb ~= 0 => min(0, nc - min(0, nb)) l1 := logdiff(twr, l0 := tower f0) (if0 := limitedint(f0, [first argument u for u in l1])) case "failed" => error "Risch's theorem violated" |