diff options
Diffstat (limited to 'src/algebra/intaux.spad.pamphlet')
| -rw-r--r-- | src/algebra/intaux.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/intaux.spad.pamphlet b/src/algebra/intaux.spad.pamphlet index 875fbcb8..d88eb62b 100644 --- a/src/algebra/intaux.spad.pamphlet +++ b/src/algebra/intaux.spad.pamphlet @@ -104,7 +104,7 @@ IntegrationResult(F:Field): Exports == Implementation where cc::O * logandp coeffp:O := (outputForm(rec.coeff, alpha) = 0::Z::O)@O logandp := alpha * prefix('log::O, [outputForm(rec.logand, alpha)]) - if (cc := Q2F(rec.scalar)) ~= 1 then + if not one?(cc := Q2F(rec.scalar)) then logandp := cc::O * logandp sum(logandp, coeffp) |