• inv()

gcd()is_finite()