simplified_numeric_rational

proveit.numbers.simplified_numeric_rational(numer_int, denom_int)[source]

Given a numerator and a denominator as integers, return an Expression of the equivalent irreducible rational.