From aa129f3b4eaacbeae2837fb7e5c67a1a1a373eaa Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 18 May 2009 23:46:53 +0000 Subject: * 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. --- src/algebra/intaf.spad.pamphlet | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'src/algebra/intaf.spad.pamphlet') 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 @ -- cgit v1.2.3