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/defintrf.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/defintrf.spad.pamphlet')
-rw-r--r-- | src/algebra/defintrf.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/defintrf.spad.pamphlet b/src/algebra/defintrf.spad.pamphlet index dcd67691..421f1aa4 100644 --- a/src/algebra/defintrf.spad.pamphlet +++ b/src/algebra/defintrf.spad.pamphlet @@ -97,7 +97,7 @@ DefiniteIntegrationTools(R, F): Exports == Implementation where error "integrate: last argument must be 'noPole'" computeInt(k, f, a, b, eval?) == - is?(f, "integral"::SE) => "failed" + is?(f, 'integral) => "failed" if not eval? then f := mkLogPos f ((ib := findLimit(f, k, b, "left", eval?)) case "failed") or ((ia := findLimit(f, k, a, "right", eval?)) case "failed") => "failed" @@ -116,7 +116,7 @@ DefiniteIntegrationTools(R, F): Exports == Implementation where mkLogPos f == lk := empty()$List(K) lv := empty()$List(F) - for k in kernels f | is?(k, "log"::SE) repeat + for k in kernels f | is?(k, 'log) repeat if (v := mkKerPos k) case F then lk := concat(k, lk) lv := concat(v::F, lv) |