aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/sign.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/sign.spad.pamphlet')
-rw-r--r--src/algebra/sign.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/sign.spad.pamphlet b/src/algebra/sign.spad.pamphlet
index b96e13a3..3101d04c 100644
--- a/src/algebra/sign.spad.pamphlet
+++ b/src/algebra/sign.spad.pamphlet
@@ -100,7 +100,7 @@ InnerPolySign(R, UP): Exports == Implementation where
signAround(p:UP, dir:Integer, rsign:R -> U) ==
zero? p => 0
(u := rsign leadingCoefficient p) case "failed" => "failed"
- (dir > 0) or (even? degree p) => u::Integer
+ positive? dir or (even? degree p) => u::Integer
- (u::Integer)
@