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/integrat.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/integrat.spad.pamphlet')
-rw-r--r-- | src/algebra/integrat.spad.pamphlet | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/integrat.spad.pamphlet b/src/algebra/integrat.spad.pamphlet index 9fce6205..fb83e7f3 100644 --- a/src/algebra/integrat.spad.pamphlet +++ b/src/algebra/integrat.spad.pamphlet @@ -76,7 +76,7 @@ FunctionSpaceComplexIntegration(R, F): Exports == Implementation where [k for k in tower(g := realElementary(f, x)) | member?(x, variables(k::F))]$List(Kernel F))$List(Kernel F) => h := trigs2explogs(F2FG g, [K2KG k for k in tower f - | is?(k, "tan"::SE) or is?(k, "cot"::SE)], [x]) + | is?(k, 'tan) or is?(k, 'cot)], [x]) real?(g := FG2F h) => internalIntegrate0(rootSimp(rischNormalize(g, x).func), x) real?(g := FG2F(h := rootSimp(rischNormalize(h, x).func))) => @@ -149,7 +149,7 @@ FunctionSpaceIntegration(R, F): Exports == Implementation where tan2temp k == kernel(optemp, argument k, height k)$K trans? f == - any?(is?(#1,"log"::SE) or is?(#1,"exp"::SE) or is?(#1,"atan"::SE), + any?(is?(#1,'log) or is?(#1,'exp) or is?(#1,'atan), operators f)$List(BasicOperator) mkPrimh(f, x, h, comp) == @@ -198,19 +198,19 @@ FunctionSpaceIntegration(R, F): Exports == Implementation where R has complex or not real? f => complexIntegrate(f, x) f := distribute(f, x::F) tf := [k for k in tower f | member?(x, variables(k::F)@List(SE))]$List(K) - ltf := select(is?(operator #1, "tan"::SE), tf) + ltf := select(is?(operator #1, 'tan), tf) ht := any?(has?(operator #1, 'htrig), tf) rec := rischNormalize(realElementary(f, x), x) g := rootSimp(rec.func) tg := [k for k in tower g | member?(x, variables(k::F))]$List(K) - ltg := select(is?(operator #1, "tan"::SE), tg) + ltg := select(is?(operator #1, 'tan), tg) rtg := any?(has?(operator #1, 'rtrig), tg) el := any?(has?(operator #1, 'elem), tg) i:IR if (comp := goComplex?(rtg, tg, ltg)) then i := map(FG2F, lfintegrate(trigs2explogs(F2FG g, - [K2KG k for k in tf | is?(k, "tan"::SE) or - is?(k, "cot"::SE)], [x]), x)) + [K2KG k for k in tf | is?(k, 'tan) or + is?(k, 'cot)], [x]), x)) else i := lfintegrate(g, x) ltg := setDifference(ltg, ltf) -- tan's added by normalization (u := rinteg(i, f, x, el and ht, comp)) case F => |