diff options
Diffstat (limited to 'src/algebra/rdeef.spad.pamphlet')
-rw-r--r-- | src/algebra/rdeef.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/rdeef.spad.pamphlet b/src/algebra/rdeef.spad.pamphlet index 812a7e44..6e141ea0 100644 --- a/src/algebra/rdeef.spad.pamphlet +++ b/src/algebra/rdeef.spad.pamphlet @@ -110,8 +110,7 @@ IntegrationTools(R:OrderedSet, F:FunctionSpace R): Exp == Impl where linearLog?(k, f, x) == is?(k, "log"::SE) and ((u := retractIfCan(univariate(f,k))@Union(UP,"failed")) case UP) --- and one?(degree(u::UP)) - and (degree(u::UP) = 1) + and one?(degree(u::UP)) and not member?(x, variables leadingCoefficient(u::UP)) mkPrim(f, x) == @@ -316,8 +315,7 @@ ElementaryRischDE(R, F): Exports == Implementation where for u in varselect(kernels f, x) | is?(u, "log"::SE) repeat logand := first argument u if zero?(degree univariate(fden, u)) and --- one?(degree(num := univariate(fnum, u))) then - (degree(num := univariate(fnum, u)) = 1) then + one?(degree(num := univariate(fnum, u))) then cf := (leadingCoefficient num) / fden if (n := retractIfCan(cf)@Union(Z, "failed")) case Z then if degree(numer logand, k) > 0 then |