aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/intalg.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/intalg.spad.pamphlet')
-rw-r--r--src/algebra/intalg.spad.pamphlet3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/intalg.spad.pamphlet b/src/algebra/intalg.spad.pamphlet
index c9002c53..cb4b7d08 100644
--- a/src/algebra/intalg.spad.pamphlet
+++ b/src/algebra/intalg.spad.pamphlet
@@ -298,8 +298,7 @@ AlgebraicIntegrate(R0, F, UP, UPUP, R): Exports == Implementation where
pLogDeriv(log, derivation) ==
map(derivation, log.coeff) ~= 0 =>
error "can only handle logs with constant coefficients"
--- one?(n := degree(log.coeff)) =>
- ((n := degree(log.coeff)) = 1) =>
+ one?(n := degree(log.coeff)) =>
c := - (leadingCoefficient reductum log.coeff)
/ (leadingCoefficient log.coeff)
ans := (log.logand) c