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/defintef.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/defintef.spad.pamphlet')
| -rw-r--r-- | src/algebra/defintef.spad.pamphlet | 18 |
1 files changed, 9 insertions, 9 deletions
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" |