IrreduciblePolynomialQ[{x^3 + 1, x^3 + x + 1}, Modulus -> 2]