irreducible polys are now generated!