aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/gaussfac.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/gaussfac.spad.pamphlet')
-rw-r--r--src/algebra/gaussfac.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/gaussfac.spad.pamphlet b/src/algebra/gaussfac.spad.pamphlet
index bb4cb963..79d32551 100644
--- a/src/algebra/gaussfac.spad.pamphlet
+++ b/src/algebra/gaussfac.spad.pamphlet
@@ -180,7 +180,7 @@ GaussianFactorizationPackage() : C == T
prime?(n)$IntegerPrimesPackage(Z) => true
re : Z := real a
im : Z := imag a
- re~=0 and im~=0 => false
+ not zero? re and not zero? im => false
p : Z := abs(re+im) -- a is of the form p, -p, %i*p or -%i*p
p rem 4 ~= 3 => false
-- return-value true, if p is a rational prime,