FLINT3.7.0-dev

ca_fmpz_mpoly_q_evaluate_no_division_by_zero, ca_inv_no_division_by_zero

Synopsis#include <flint/ca.h>
void ca_fmpz_mpoly_q_evaluate_no_division_by_zero(ca_t res, const fmpz_mpoly_q_t f, ca_srcptr x, const fmpz_mpoly_ctx_t mctx, ca_ctx_t ctx)source
void ca_inv_no_division_by_zero(ca_t res, const ca_t x, ca_ctx_t ctx)source

Like ca_fmpz_mpoly_q_evaluate and ca_inv, but assume without checking that the value of the denominator, respectively x, is nonzero, which avoids a zero test. If the assumption is false, the result is meaningless; ca_inv_no_division_by_zero throws an exception if x is manifestly zero.

Cite this page

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