FLINT3.7.0-dev

zassenhaus_prune_must_be_irreducible

Synopsis#include <flint/fmpz_poly_factor.h>
int zassenhaus_prune_must_be_irreducible(const zassenhaus_prune_t Z)source

Returns whether no degree strictly between 0 and the degree of the polynomial is possible, which proves the polynomial irreducible.

Cite this page

The FLINT team, “zassenhaus_prune_must_be_irreducible (fmpz_poly_factor.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_poly_factor/zassenhaus_prune_must_be_irreducible.html (generated 2026-10-20).