Irreducible real polynomial (source code)

= Irreducible real polynomial

The irreducible polynomials over $\mathbb R$ have degree one, or degree two with negative discriminant.