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/rdeef.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/rdeef.spad.pamphlet')
| -rw-r--r-- | src/algebra/rdeef.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/rdeef.spad.pamphlet b/src/algebra/rdeef.spad.pamphlet index 6e141ea0..787393b1 100644 --- a/src/algebra/rdeef.spad.pamphlet +++ b/src/algebra/rdeef.spad.pamphlet @@ -25,7 +25,6 @@ IntegrationTools(R:OrderedSet, F:FunctionSpace R): Exp == Impl where IR ==> IntegrationResult F ANS ==> Record(special:F, integrand:F) U ==> Union(ANS, "failed") - ALGOP ==> "%alg" Exp ==> with varselect: (List K, SE) -> List K @@ -57,6 +56,7 @@ IntegrationTools(R:OrderedSet, F:FunctionSpace R): Exp == Impl where ++ on any remaining unintegrable part. Impl ==> add + macro ALGOP == '%alg better?: (K, K) -> Boolean union(l1, l2) == setUnion(l1, l2) @@ -179,7 +179,6 @@ ElementaryRischDE(R, F): Exports == Implementation where UEX ==> Union(Record(ratpart:F, coeff:F), "failed") PSOL==> Record(ans:F, right:F, sol?:Boolean) FAIL==> error("Function not supported by Risch d.e.") - ALGOP ==> "%alg" Exports ==> with rischDE: (Z, F, F, SE, (F, LF) -> U, (F, F) -> UEX) -> PSOL @@ -191,6 +190,7 @@ ElementaryRischDE(R, F): Exports == Implementation where ++ ext is an extended integration function. Implementation ==> add + macro ALGOP == '%alg import IntegrationTools(R, F) import TranscendentalRischDE(F, UP) import TranscendentalIntegration(F, UP) |