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 is not a valid remainder for division by the nonzero , that is, if a term of divisible by has a coefficient of absolute value at least (first version), or if any term of is divisible by 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-11-02).
@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-11-02}
}