diff options
Diffstat (limited to 'src/algebra/gaussian.spad.pamphlet')
-rw-r--r-- | src/algebra/gaussian.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/gaussian.spad.pamphlet b/src/algebra/gaussian.spad.pamphlet index d32a353a..d8ac1583 100644 --- a/src/algebra/gaussian.spad.pamphlet +++ b/src/algebra/gaussian.spad.pamphlet @@ -109,7 +109,7 @@ ComplexCategory(R:CommutativeRing): Category == factorSquareFreePolynomial pp == pnorm:=normPolynomial pp k:R:=0 - while degree gcd(pnorm,differentiate pnorm)>0 repeat + while positive? degree gcd(pnorm,differentiate pnorm) repeat k:=k+1 pnorm:=normPolynomial elt(pp,monomial(1,1)-monomial(complex(0,k),0)) |