zassenhaus_prune_start_add_factors, zassenhaus_prune_add_factor, zassenhaus_prune_end_add_factors
Synopsis
#include <flint/fmpz_poly_factor.h>void zassenhaus_prune_start_add_factors(zassenhaus_prune_t Z)sourcevoid zassenhaus_prune_add_factor(zassenhaus_prune_t Z, slong deg, slong exp)sourcevoid zassenhaus_prune_end_add_factors(zassenhaus_prune_t Z)sourceAdd the degrees of the modular factors for one prime: after zassenhaus_prune_start_add_factors, each call to zassenhaus_prune_add_factor records exp factors of degree deg, and zassenhaus_prune_end_add_factors intersects the set of possible degrees with the set of subset sums of the recorded degrees. The degrees must add up to the degree given to zassenhaus_prune_set_degree; otherwise an exception is raised.
Cite this page
The FLINT team, “zassenhaus_prune_start_add_factors, zassenhaus_prune_add_factor, zassenhaus_prune_end_add_factors (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_start_add_factors.html (generated 2026-10-20).
@misc{flint-doc-fmpz-poly-factor-zassenhaus-prune-start-add-factors,
author = {{The FLINT team}},
title = {{zassenhaus\_prune\_start\_add\_factors, zassenhaus\_prune\_add\_factor, zassenhaus\_prune\_end\_add\_factors (fmpz\_poly\_factor.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_poly_factor/zassenhaus_prune_start_add_factors.html},
note = {Generated 2026-10-20}
}