gcd

def Int.gcd (m : Int) (n : Int) : Nat

Computes the greatest common divisor of two integers, as a Nat.

Equations

• Int.gcd m n = Nat.gcd (Int.natAbs m) (Int.natAbs n)