# GaussianFactorizationPackage¶

factor(zi) produces the complete factorization of the complex integer zi.
prime?(zi) tests if the complex integer zi is prime.
sumSquares(p) construct a and b such that a^2+b^2 is equal to the integer prime p, and otherwise returns an error. It will succeed if the prime number p is 2 or congruent to 1 mod 4.