'Returns ``True`` if ``f`` has no factors over its domain.
Examples
>>> from sympy import Poly
>>> from sympy.abc import x
>>> Poly(x**2 + x + 1, x, modulus=2).is_irreducible
True
>>> Poly(x**2 + 1, x, modulus=2).is_irreducible
False'

@property
def is_irreducible(f):

    return f.rep.is_irreducible
