aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/oderf.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/oderf.spad.pamphlet')
-rw-r--r--src/algebra/oderf.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/oderf.spad.pamphlet b/src/algebra/oderf.spad.pamphlet
index f104bc74..2fb8bf0a 100644
--- a/src/algebra/oderf.spad.pamphlet
+++ b/src/algebra/oderf.spad.pamphlet
@@ -462,7 +462,7 @@ RationalLODE(F, UP): Exports == Implementation where
ratDsolve0(op, g) ==
zero? degree op => [inv(leadingCoefficient(op)::RF) * g, empty()]
- minimumDegree op > 0 =>
+ positive? minimumDegree op =>
sol := ratDsolve0(monicRightDivide(op, monomial(1, 1)).quotient, g)
b:List(RF) := [1]
for f in sol.basis repeat