aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/rdeef.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/rdeef.spad.pamphlet')
-rw-r--r--src/algebra/rdeef.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/rdeef.spad.pamphlet b/src/algebra/rdeef.spad.pamphlet
index e9aa2e67..c7d5e368 100644
--- a/src/algebra/rdeef.spad.pamphlet
+++ b/src/algebra/rdeef.spad.pamphlet
@@ -467,7 +467,7 @@ ElementaryRischDE(R, F): Exports == Implementation where
answr:UP := 0
repeat
zero? c => return answr
- (n < 0) or ((m := degree c)::Z > n) => return "failed"
+ negative? n or ((m := degree c)::Z > n) => return "failed"
u := rischDE(1, f, leadingCoefficient c, x, limitedint, extint)
~u.sol? => return "failed"
zero? m => return(answr + u.ans::UP)
@@ -502,7 +502,7 @@ ElementaryRischDE(R, F): Exports == Implementation where
answr:UP := 0
repeat
zero? c => return answr
- (n < 0) or ((m := degree c)::Z > n) => return "failed"
+ negative? n or ((m := degree c)::Z > n) => return "failed"
u := rischDE(1, f + m * eta, leadingCoefficient c, x,limitedint,extint)
~u.sol? => return "failed"
zero? m => return(answr + u.ans::UP)