aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/limitps.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/limitps.spad.pamphlet')
-rw-r--r--src/algebra/limitps.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/limitps.spad.pamphlet b/src/algebra/limitps.spad.pamphlet
index 5837ffa9..ac82fee8 100644
--- a/src/algebra/limitps.spad.pamphlet
+++ b/src/algebra/limitps.spad.pamphlet
@@ -711,13 +711,13 @@ ElementaryFunctionSign(R,F): Exports == Implementation where
"failed"
"failed"
is?(op,"log" :: SY) =>
- s::Z < 0 => "failed"
+ negative?(s::Z) => "failed"
sign(first arg - 1)
is?(op,"tanh" :: SY) or is?(op,"sinh" :: SY) or
is?(op,"csch" :: SY) or is?(op,"coth" :: SY) => s
is?(op,"nthRoot" :: SY) =>
even?(retract(second arg)@Z) =>
- s::Z < 0 => "failed"
+ negative?(s::Z) => "failed"
s
s
"failed"