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/intef.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/intef.spad.pamphlet')
| -rw-r--r-- | src/algebra/intef.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/intef.spad.pamphlet b/src/algebra/intef.spad.pamphlet index c6b93681..7e96e6f2 100644 --- a/src/algebra/intef.spad.pamphlet +++ b/src/algebra/intef.spad.pamphlet @@ -40,8 +40,6 @@ ElementaryIntegration(R, F): Exports == Implementation where U3 ==> Union(Record(mainpart:F, limitedlogs:LLG), "failed") ANS ==> Record(special:F, integrand:F) FAIL==> error "failed - cannot handle that integrand" - ALGOP ==> "%alg" - OPDIFF ==> "%diff"::SE Exports ==> with lfextendedint: (F, SE, F) -> U2 @@ -62,6 +60,8 @@ ElementaryIntegration(R, F): Exports == Implementation where ++ containing f and k1,...,kn (the ki's must be logs). Implementation ==> add + macro ALGOP == '%alg + macro OPDIFF == '%diff import IntegrationTools(R, F) import ElementaryRischDE(R, F) import RationalIntegration(F, UP) @@ -99,7 +99,7 @@ ElementaryIntegration(R, F): Exports == Implementation where tryChangeVar: (F, K, SE) -> Union(IR, "failed") droponex : (F, F, K, F) -> Union(F, "failed") - prim?(k, x) == is?(k, "log"::SE) or has?(operator k, "prim") + prim?(k, x) == is?(k, "log"::SE) or has?(operator k, 'prim) tanint(f, x, k) == eta' := differentiate(eta := first argument k, x) |