fmpz_mpoly_remainder_test, fmpz_mpoly_remainder_strongtest
Synopsis
#include <flint/fmpz_mpoly.h>void fmpz_mpoly_remainder_test(const fmpz_mpoly_t r, const fmpz_mpoly_t g, const fmpz_mpoly_ctx_t ctx)sourcevoid fmpz_mpoly_remainder_strongtest(const fmpz_mpoly_t r, const fmpz_mpoly_t g, const fmpz_mpoly_ctx_t ctx)sourceConsistency checks for the test suite: throw FLINT_ERROR if r is not a valid remainder for division by the nonzero g, that is, if a term of r divisible by \operatorname{lm}(g) has a coefficient of absolute value at least |\operatorname{lc}(g)| (first version), or if any term of r is divisible by \operatorname{lm}(g) at all (second version, for quasi-division).
Cite this page
The FLINT team, “fmpz_mpoly_remainder_test, fmpz_mpoly_remainder_strongtest (fmpz_mpoly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mpoly/fmpz_mpoly_remainder_test.html (generated 2026-10-20).
@misc{flint-doc-fmpz-mpoly-fmpz-mpoly-remainder-test,
author = {{The FLINT team}},
title = {{fmpz\_mpoly\_remainder\_test, fmpz\_mpoly\_remainder\_strongtest (fmpz\_mpoly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_mpoly/fmpz_mpoly_remainder_test.html},
note = {Generated 2026-10-20}
}