mpoly_bivar_cld_bounds
Synopsis
#include <flint/mpoly.h>For f \in F[y][x] of degree n - 1 in x, transforms the input l_i = 1 + \deg_y(\operatorname{coeff}(f, x^i)) for 0 \le i < n into bounds l_i > \deg_y \operatorname{coeff}(f g_x/g, x^i) valid for every divisor g of f, using the upper convex hull of the points (i, l_i). These logarithmic derivative bounds are used by the bivariate factoring code over finite fields.
Cite this page
The FLINT team, “mpoly_bivar_cld_bounds (mpoly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/mpoly/mpoly_bivar_cld_bounds.html (generated 2026-10-20).
@misc{flint-doc-mpoly-mpoly-bivar-cld-bounds,
author = {{The FLINT team}},
title = {{mpoly\_bivar\_cld\_bounds (mpoly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/mpoly/mpoly_bivar_cld_bounds.html},
note = {Generated 2026-10-20}
}