check irrationality for any number using integral root theorem (IRT)

check_irrationality.py

from sympy import minimal_polynomial, Poly, root, divisors, pi
def check_irrational(m):
  result = True
  p = minimal_polynomial(m)
  print("Minimal Polynomial of ",m , " is = ",p)
  pol = Poly(p)
  a_0 = pol.all_coeffs()[-1]
  print(" The a_0 is = ", a_0)
  div_p = divisors(a_0)
  div_n = [-1*i for i in div_p]
  all_div = div_p + div_n
  print(" All possible integer roots = ", all_div)
  for j in all_div:
    val = pol.eval(j)
    if val == 0:
      result = False
      break
  if result:
    print(m, " is an Irrational Number.")
  else:
    print(m, "is a Integer.")