qqbar_equal_fmpq_poly_val
Synopsis
#include <flint/qqbar.h>int qqbar_equal_fmpq_poly_val(const qqbar_t x, const fmpq_poly_t f, const qqbar_t y)sourceReturns whether x = f(y). This is faster than computing f(y) with qqbar_evaluate_fmpq_poly: the value f(y) is first compared numerically with x, and only if they cannot be separated is P(f(y)) = 0 checked exactly in \mathbb{Q}(y), where P is the minimal polynomial of x.
Cite this page
The FLINT team, “qqbar_equal_fmpq_poly_val (qqbar.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/qqbar/qqbar_equal_fmpq_poly_val.html (generated 2026-10-20).
@misc{flint-doc-qqbar-qqbar-equal-fmpq-poly-val,
author = {{The FLINT team}},
title = {{qqbar\_equal\_fmpq\_poly\_val (qqbar.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/qqbar/qqbar_equal_fmpq_poly_val.html},
note = {Generated 2026-10-20}
}