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/rdeef.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/rdeef.spad.pamphlet')
| -rw-r--r-- | src/algebra/rdeef.spad.pamphlet | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/rdeef.spad.pamphlet b/src/algebra/rdeef.spad.pamphlet index 787393b1..0f5c1ffb 100644 --- a/src/algebra/rdeef.spad.pamphlet +++ b/src/algebra/rdeef.spad.pamphlet @@ -76,7 +76,7 @@ IntegrationTools(R:OrderedSet, F:FunctionSpace R): Exp == Impl where better?(x, y) == height(y) ~= height(x) => height(y) < height(x) has?(operator y, ALGOP) or - (is?(y, "exp"::SE) and not is?(x, "exp"::SE) + (is?(y,'exp) and not is?(x, 'exp) and not has?(operator x, ALGOP)) if R has IntegralDomain then @@ -108,7 +108,7 @@ IntegrationTools(R:OrderedSet, F:FunctionSpace R): Exp == Impl where cont(unitNormal(leadingCoefficient q).unit * content q, rest l) linearLog?(k, f, x) == - is?(k, "log"::SE) and + is?(k, 'log) and ((u := retractIfCan(univariate(f,k))@Union(UP,"failed")) case UP) and one?(degree(u::UP)) and not member?(x, variables leadingCoefficient(u::UP)) @@ -226,7 +226,7 @@ ElementaryRischDE(R, F): Exports == Implementation where RF2GP f == (numer(f)::GP exquo denom(f)::GP)::GP logdiff(twr, bad) == - [u for u in twr | is?(u, "log"::SE) and not member?(u, bad)] + [u for u in twr | is?(u, 'log) and not member?(u, bad)] rischDEalg(n, nfp, f, g, k, l, x, limint, extint) == symbolIfCan(kx := ksec(k, l, x)) case SE => @@ -252,7 +252,7 @@ ElementaryRischDE(R, F): Exports == Implementation where freeOf?(y := g / nfp, x) => [y, g, true] vl := varselect(union(kernels nfp, kernels g), x) symbolIfCan(k := kmax vl) case SE => normalise0(n, f, g, x) - is?(k, "log"::SE) or is?(k, "exp"::SE) => + is?(k, 'log) or is?(k, 'exp) => normalise(n, nfp, f, g, x, k, limitedint, extendedint) has?(operator k, ALGOP) => rischDEalg(n, nfp, f, g, k, vl, x, limitedint, extendedint) @@ -294,12 +294,12 @@ ElementaryRischDE(R, F): Exports == Implementation where newg := univariate(p::F * g, k) twr := union(logdiff(tower f, empty()), logdiff(tower g, empty())) ans1 := - is?(k, "log"::SE) => + is?(k, 'log) => rischDElog(twr, newf, newg, x, k, differentiate(#1, differentiate(#1, x), differentiate(k::F, x)::UP), limitedint, extendedint) - is?(k, "exp"::SE) => + is?(k, 'exp) => rischDEexp(twr, newf, newg, x, k, differentiate(#1, differentiate(#1, x), monomial(differentiate(first argument k, x), 1)), @@ -312,7 +312,7 @@ ElementaryRischDE(R, F): Exports == Implementation where disasters := empty()$Data fnum := numer f fden := denom f - for u in varselect(kernels f, x) | is?(u, "log"::SE) repeat + for u in varselect(kernels f, x) | is?(u, 'log) repeat logand := first argument u if zero?(degree univariate(fden, u)) and one?(degree(num := univariate(fnum, u))) then |