aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/algfunc.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/algfunc.spad.pamphlet')
-rw-r--r--src/algebra/algfunc.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/algfunc.spad.pamphlet b/src/algebra/algfunc.spad.pamphlet
index bf4c4b71..5cb93af1 100644
--- a/src/algebra/algfunc.spad.pamphlet
+++ b/src/algebra/algfunc.spad.pamphlet
@@ -277,7 +277,7 @@ test and give $$1/(-2)^(1/n) \ne (-1/2)^(1/n)$$
<<hackroot(x, n)>>=
hackroot(x, n) ==
(n = 1) or (x = 1) => x
- (((dx := denom x) ~= 1) and
+ (not one?(dx := denom x) and
((rx := retractIfCan(dx)@Union(Integer,"failed")) case Integer) and
positive?(rx))
=> hackroot((numer x)::F, n)/hackroot(rx::Integer::F, n)