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/defintef.spad.pamphlet | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'src/algebra/defintef.spad.pamphlet') diff --git a/src/algebra/defintef.spad.pamphlet b/src/algebra/defintef.spad.pamphlet index 9426ab08..e4fb77e3 100644 --- a/src/algebra/defintef.spad.pamphlet +++ b/src/algebra/defintef.spad.pamphlet @@ -108,9 +108,9 @@ ElementaryFunctionDefiniteIntegration(R, F): Exports == Implementation where (z := isExpt p) case "failed" => "failed" k := z.var -- functions with no real zeros - is?(k, "exp"::SE) or is?(k, "acot"::SE) or is?(k, "cosh"::SE) => false + is?(k, 'exp) or is?(k, 'acot) or is?(k, 'cosh) => false -- special case for log - is?(k, "log"::SE) => + is?(k, 'log) => (w := moreThan(b, 1)) case "failed" or not(w::B) => w moreThan(-a, -1) "failed" @@ -144,21 +144,21 @@ ElementaryFunctionDefiniteIntegration(R, F): Exports == Implementation where nullary? operator kk => false f := first argument kk -- functions which are defined over all the reals: - is?(kk, "exp"::SE) or is?(kk, "sin"::SE) or is?(kk, "cos"::SE) - or is?(kk, "sinh"::SE) or is?(kk, "cosh"::SE) or is?(kk, "tanh"::SE) - or is?(kk, "sech"::SE) or is?(kk, "atan"::SE) or is?(kk, "acot"::SE) - or is?(kk, "asinh"::SE) => checkForPole(f, x, k, a, b) + is?(kk, 'exp) or is?(kk, 'sin) or is?(kk, 'cos) + or is?(kk, 'sinh) or is?(kk, 'cosh) or is?(kk, 'tanh) + or is?(kk, 'sech) or is?(kk, 'atan) or is?(kk, 'acot) + or is?(kk, 'asinh) => checkForPole(f, x, k, a, b) -- functions which are defined on (-1,+1): - is?(kk, "asin"::SE) or is?(kk, "acos"::SE) or is?(kk, "atanh"::SE) => + is?(kk, 'asin) or is?(kk, 'acos) or is?(kk, 'atanh) => ((w := checkForPole(f, x, k, a, b)) case "failed") or (w::B) => w ((w := posit(f - 1, x, k, a, b)) case "failed") or (w::B) => w negat(f + 1, x, k, a, b) -- functions which are defined on (+1, +infty): - is?(kk, "acosh"::SE) => + is?(kk, 'acosh) => ((w := checkForPole(f, x, k, a, b)) case "failed") or (w::B) => w negat(f - 1, x, k, a, b) -- functions which are defined on (0, +infty): - is?(kk, "log"::SE) => + is?(kk, 'log) => ((w := checkForPole(f, x, k, a, b)) case "failed") or (w::B) => w negat(f, x, k, a, b) "failed" -- cgit v1.2.3