diff options
author | dos-reis <gdr@axiomatics.org> | 2009-05-15 19:38:25 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-05-15 19:38:25 +0000 |
commit | ee573325df58dbcc33596630d2710ad2cd37a77d (patch) | |
tree | cc70f7c9c4f174b8576a16f61da0f511ae8bc954 /src/algebra/integrat.spad.pamphlet | |
parent | 530c1ee0f24568ecb6d61c3ce2c7af1863595fdf (diff) | |
download | open-axiom-ee573325df58dbcc33596630d2710ad2cd37a77d.tar.gz |
* algebra/algfunc.spad.pamphlet (AlgebraicFunction): User
Identifiers for property names.
* algebra/combfunc.spad.pamphlet: Likewise.
* algebra/constant.spad.pamphlet: Likewise.
* algebra/efstruc.spad.pamphlet: Likewise.
* algebra/elemntry.spad.pamphlet: Likewise.
* algebra/expr.spad.pamphlet: Likewise.
* algebra/fspace.spad.pamphlet: Likewise.
* algebra/intef.spad.pamphlet: Likewise.
* algebra/integrat.spad.pamphlet: Likewise.
* algebra/kl.spad.pamphlet: Likewise.
* algebra/laplace.spad.pamphlet: Likewise.
* algebra/limitps.spad.pamphlet: Likewise.
* algebra/liouv.spad.pamphlet: Likewise.
* algebra/rdeef.spad.pamphlet: Likewise.
* algebra/pfo.spad.pamphlet: Likewise.
* algebra/op.spad.pamphlet: Likewise.
* algebra/odeef.spad.pamphlet: Likewise.
* algebra/manip.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 97eb0d2e..9fce6205 100644 --- a/src/algebra/integrat.spad.pamphlet +++ b/src/algebra/integrat.spad.pamphlet @@ -72,7 +72,7 @@ FunctionSpaceComplexIntegration(R, F): Exports == Implementation where internalIntegrate(f, x) == f := distribute(f, x::F) g : F - any?(has?(operator #1, "rtrig"), + any?(has?(operator #1, 'rtrig), [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 @@ -110,8 +110,6 @@ FunctionSpaceIntegration(R, F): Exports == Implementation where SE ==> Symbol IR ==> IntegrationResult F FG ==> Expression G - ALGOP ==> "%alg" - TANTEMP ==> "%temptan"::SE Exports ==> with integrate: (F, SE) -> Union(F, List F) @@ -119,6 +117,8 @@ FunctionSpaceIntegration(R, F): Exports == Implementation where ++ where x is viewed as a real variable. Implementation ==> add + macro ALGOP == '%alg + macro TANTEMP == '%temptan import IntegrationTools(R, F) import ElementaryIntegration(R, F) import ElementaryIntegration(G, FG) @@ -199,13 +199,13 @@ FunctionSpaceIntegration(R, F): Exports == Implementation where 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) - ht := any?(has?(operator #1, "htrig"), 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) - rtg := any?(has?(operator #1, "rtrig"), tg) - el := any?(has?(operator #1, "elem"), 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, |