gen_irreducible is faster, checks divisors as they come