Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
`gcd` asserts that the result is "always positive", but the result is (correctly) zero if both parameters are zero, so replace "positive" with "non-negative". (Zero is correct here because 0Z + 0Z = 0Z where Z is the integers)
- Loading branch information