Further optimisation though check to see if poly_div is degree 0 and so irreducible