mpoly_monomial_cofactors
Synopsis
#include <flint/mpoly.h>int mpoly_monomial_cofactors(fmpz * Abarexps, fmpz * Bbarexps, const ulong * Aexps, flint_bitcnt_t Abits, const ulong * Bexps, flint_bitcnt_t Bbits, slong length, const mpoly_ctx_t mctx)sourceTests whether two monomial arrays of the same length differ by a monomial factor term by term up to a common monomial, that is, whether A = a \cdot H and B = b \cdot H term by term for monomials a, b with \gcd(a, b) = 1. If so, sets Abarexps and Bbarexps to the user exponent vectors of a and b and returns 1; otherwise returns 0. Used to detect GCDs whose cofactors are monomials.
Cite this page
The FLINT team, “mpoly_monomial_cofactors (mpoly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/mpoly/mpoly_monomial_cofactors.html (generated 2026-10-20).
@misc{flint-doc-mpoly-mpoly-monomial-cofactors,
author = {{The FLINT team}},
title = {{mpoly\_monomial\_cofactors (mpoly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/mpoly/mpoly_monomial_cofactors.html},
note = {Generated 2026-10-20}
}