implemented euclid for gcd, adding paper describing fast deterministic primality testing