FLINT3.7.0-dev

fmpzi_divexact

Synopsis#include <flint/fmpzi.h>
void fmpzi_divexact(fmpzi_t q, const fmpzi_t x, const fmpzi_t y)source

Sets q to x/y, assuming that the division is exact. Throws if y = 0.

Purely real and purely imaginary divisors are handled by integer exact divisions. A quotient of fewer than 45 bits is obtained by rounding a double-precision approximation; a quotient much shorter than the divisor is computed from the leading parts of the operands; otherwise the quotient is x\bar y / N(y) with exact integer divisions.

Cite this page

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