Tests whether a polynomial is irreducible over the rationals
IrreduciblePolynomialQ[poly]
IrreduciblePolynomialQ[poly, Modulus -> p]
IrreduciblePolynomialQ[poly, Extension -> {a1, a2, …}]
IrreduciblePolynomialQ[poly, Extension -> All]
- Extension — default None
- GaussianIntegers — default False
- Modulus — default 0