`mpoly_bivar_cld_bounds`

Synopsis#include <flint/mpoly.h>

void mpoly_bivar_cld_bounds(slong * l, slong n)source

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-11-02).

@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-11-02}
}

Edit this page · PDF version · Built with fdoc from 0a4634bf95