Unit Trinomials #
THIS FILE IS SYNCHRONIZED WITH MATHLIB4.
Any changes to this file require a corresponding PR to mathlib4.
This file defines irreducible trinomials and proves an irreducibility criterion.
Main definitions #
Main results #
polynomial.irreducible_of_coprime: An irreducibility criterion for unit trinomials.
Shorthand for a trinomial
A unit trinomial is a trinomial with unit coefficients.
A unit trinomial is irreducible if it is coprime with its mirror
A unit trinomial is irreducible if it has no complex roots in common with its mirror