IrreduciblePolynomialQ
IrreduciblePolynomialQ[poly] tests whether poly is an irreducible polynomial over the rationals.
IrreduciblePolynomialQ[poly,Modulus->p] tests whether poly is irreducible modulo a prime p.
IrreduciblePolynomialQ[poly,Extension->{a1,a2,…}] tests whether poly is irreducible over the field extension generated by the algebraic numbers ai.
IrreduciblePolynomialQ[poly,Extension->All] tests whether poly is absolutely irreducible over the complex numbers.
Please visit the official Wolfram Language Reference for more details and examples on core symbols.