ca_field_build_ideal
#include <flint/ca_field.h>void ca_field_build_ideal(ca_field_t K, ca_ctx_t ctx)sourceBuilds the ideal of relations of the generic field K, whose generators have been assigned, in place. Nothing is done for \mathbb{Q} and for number fields. The relations found are always valid, but they need not generate the full ideal of relations between the generators. If CA_OPT_USE_GROEBNER is set and the relations have total degree at most CA_OPT_QQBAR_DEG_LIMIT, the ideal is replaced by its reduced Gröbner basis when Buchberger's algorithm finishes within the limits set by the context options. See Formal fields and the ideal of relations for the relations that are searched for.
The FLINT team, “ca_field_build_ideal (ca_field.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/ca_field/ca_field_build_ideal.html (generated 2026-10-20).
@misc{flint-doc-ca-field-ca-field-build-ideal,
author = {{The FLINT team}},
title = {{ca\_field\_build\_ideal (ca\_field.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/ca_field/ca_field_build_ideal.html},
note = {Generated 2026-10-20}
}