diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-18 23:46:53 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-18 23:46:53 +0000 |
| commit | aa129f3b4eaacbeae2837fb7e5c67a1a1a373eaa (patch) | |
| tree | 2a10e3ef795b0e2625f642cf2d1d47c7e695a88e /src/algebra/intaf.spad.pamphlet | |
| parent | 7f0313f8c6cce367c51cf5bb6bc8c073a466191b (diff) | |
| download | open-axiom-aa129f3b4eaacbeae2837fb7e5c67a1a1a373eaa.tar.gz | |
* algebra/curve.spad.pamphlet: Use literal symbols.
* algebra/defintef.spad.pamphlet: Likewise.
* algebra/defintrf.spad.pamphlet: Likewise.
* algebra/divisor.spad.pamphlet: Likewise.
* algebra/efstruc.spad.pamphlet: Likewise.
* algebra/exprode.spad.pamphlet: Likewise.
* algebra/fspace.spad.pamphlet: Likewise.
* algebra/intaf.spad.pamphlet: Likewise.
* algebra/intef.spad.pamphlet: Likewise.
* algebra/integrat.spad.pamphlet: Likewise.
* algebra/intpm.spad.pamphlet: Likewise.
* algebra/laplace.spad.pamphlet: Likewise.
* algebra/limitps.spad.pamphlet: Likewise.
* algebra/liouv.spad.pamphlet: Likewise.
* algebra/odeef.spad.pamphlet: Likewise.
* algebra/oderf.spad.pamphlet: Likewise.
* algebra/rdeef.spad.pamphlet: Likewise.
* algebra/symbol.spad.pamphlet: Likewise.
* algebra/transsolve.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/intaf.spad.pamphlet')
| -rw-r--r-- | src/algebra/intaf.spad.pamphlet | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/algebra/intaf.spad.pamphlet b/src/algebra/intaf.spad.pamphlet index 83ba77fb..d226fa79 100644 --- a/src/algebra/intaf.spad.pamphlet +++ b/src/algebra/intaf.spad.pamphlet @@ -600,8 +600,8 @@ PureAlgebraicIntegration(R, F, L): Exports == Implementation where palgint(f, x, y) == (v := linearInXIfCan(x, y)) case "failed" => (u := quadIfCan(x, y)) case "failed" => - is?(y, "nthRoot"::SY) => prootintegrate(f, x, y) - is?(y, "rootOf"::SY) => palgintegrate(f, x, y) + is?(y, 'nthRoot) => prootintegrate(f, x, y) + is?(y, 'rootOf) => palgintegrate(f, x, y) FAIL palgint0(f, x, y, u.coef, u.poly) palgint0(f, x, y, dumk, v.xsub, v.dxsub) @@ -609,8 +609,8 @@ PureAlgebraicIntegration(R, F, L): Exports == Implementation where palgextint(f, x, y, g) == (v := linearInXIfCan(x, y)) case "failed" => (u := quadIfCan(x, y)) case "failed" => - is?(y, "nthRoot"::SY) => prootextint(f, x, y, g) - is?(y, "rootOf"::SY) => palgext(f, x, y, g) + is?(y, 'nthRoot) => prootextint(f, x, y, g) + is?(y, 'rootOf) => palgext(f, x, y, g) FAIL palgextint0(f, x, y, g, u.coef, u.poly) palgextint0(f, x, y, g, dumk, v.xsub, v.dxsub) @@ -618,8 +618,8 @@ PureAlgebraicIntegration(R, F, L): Exports == Implementation where palglimint(f, x, y, lu) == (v := linearInXIfCan(x, y)) case "failed" => (u := quadIfCan(x, y)) case "failed" => - is?(y, "nthRoot"::SY) => prootlimint(f, x, y, lu) - is?(y, "rootOf"::SY) => palglim(f, x, y, lu) + is?(y, 'nthRoot) => prootlimint(f, x, y, lu) + is?(y, 'rootOf) => palglim(f, x, y, lu) FAIL palglimint0(f, x, y, lu, u.coef, u.poly) palglimint0(f, x, y, lu, dumk, v.xsub, v.dxsub) @@ -627,7 +627,7 @@ PureAlgebraicIntegration(R, F, L): Exports == Implementation where palgRDE(nfp, f, g, x, y, rde) == (v := linearInXIfCan(x, y)) case "failed" => (u := quadIfCan(x, y)) case "failed" => - is?(y, "nthRoot"::SY) => prootRDE(nfp, f, g, x, y, rde) + is?(y, 'nthRoot) => prootRDE(nfp, f, g, x, y, rde) palgRDE1(nfp, g, x, y) palgRDE0(f, g, x, y, rde, u.coef, u.poly) palgRDE0(f, g, x, y, rde, dumk, v.xsub, v.dxsub) @@ -722,8 +722,8 @@ AlgebraicIntegration(R, F): Exports == Implementation where (multivariate(cf, t) * k::F) algint(f, t, y, derivation) == - is?(y, "nthRoot"::SY) => rootintegrate(f, t, y, derivation) - is?(y, "rootOf"::SY) => algintegrate(f, t, y, derivation) + is?(y, 'nthRoot) => rootintegrate(f, t, y, derivation) + is?(y, 'rootOf) => algintegrate(f, t, y, derivation) FAIL @ |