diff options
Diffstat (limited to 'src/algebra/lodof.spad.pamphlet')
| -rw-r--r-- | src/algebra/lodof.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/lodof.spad.pamphlet b/src/algebra/lodof.spad.pamphlet index 3a35261a..171909b4 100644 --- a/src/algebra/lodof.spad.pamphlet +++ b/src/algebra/lodof.spad.pamphlet @@ -433,8 +433,7 @@ LinearOrdinaryDifferentialOperatorFactorizer(F, UP): Exports == Impl where innerFactor(q, zeros, ezfactor, true) rfactor(op, r, zeros, ezfactor, adj?) == --- degree r > 1 or not one? leadingCoefficient r => - degree r > 1 or not ((leadingCoefficient r) = 1) => + degree r > 1 or not one? leadingCoefficient r => recurfactor(op, r, zeros, ezfactor, adj?) op1 := opeval(op, dd - coefficient(r, 0)::L) map_!(opeval(#1, r), recurfactor(op1, dd, zeros, ezfactor, adj?)) @@ -451,8 +450,7 @@ LinearOrdinaryDifferentialOperatorFactorizer(F, UP): Exports == Impl where [l] rightFactor(l, n, zeros, ezfactor) == --- one? n => - (n = 1) => + one? n => (u := expsol(l, zeros, ezfactor)) case "failed" => "failed" D() - u::RF::L -- rec := associatedEquations(l, n::PositiveInteger) |