FLINT3.7.0-dev

fq_zech_mpoly_divides, fq_zech_mpoly_divides_monagan_pearce

Synopsis#include <flint/fq_zech_mpoly.h>
int fq_zech_mpoly_divides(fq_zech_mpoly_t Q, const fq_zech_mpoly_t A, const fq_zech_mpoly_t B, const fq_zech_mpoly_ctx_t ctx)source
int fq_zech_mpoly_divides_monagan_pearce(fq_zech_mpoly_t poly1, const fq_zech_mpoly_t poly2, const fq_zech_mpoly_t poly3, const fq_zech_mpoly_ctx_t ctx)source

If B divides A, set Q (poly1) to the quotient and return 1; otherwise return 0. Uses the heap algorithm of Monagan and Pearce [MonPea2011].

References#

Cite this page

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