aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/irexpand.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/irexpand.spad.pamphlet')
-rw-r--r--src/algebra/irexpand.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/irexpand.spad.pamphlet b/src/algebra/irexpand.spad.pamphlet
index 2a39f76b..e725ca76 100644
--- a/src/algebra/irexpand.spad.pamphlet
+++ b/src/algebra/irexpand.spad.pamphlet
@@ -215,7 +215,7 @@ IntegrationResultToFunction(R, F): Exports == Implementation where
rec := froot(y, 2)$PolynomialRoots(IndexedExponents K, K, R, P, F)
-- one?(rec.exponent) => [[rec.coef * rec.radicand, 1], 1]
((rec.exponent) = 1) => [[rec.coef * rec.radicand, 1], 1]
- rec.exponent ^=2 => error "Should not happen"
+ rec.exponent ~=2 => error "Should not happen"
[[rec.coef, rec.radicand],
((s := sign(rec.radicand)) case "failed" => 0; s::Z)]