FLINT3.7.0-dev

ca_merge_fields

Synopsis#include <flint/ca.h>
void ca_merge_fields(ca_t resx, ca_t resy, const ca_t x, const ca_t y, ca_ctx_t ctx)source

Sets resx and resy to copies of x and y represented as elements of a common field, whose generators are the union of the generators of both fields, sorted in the structural order used for elimination. Both inputs must be numbers, not special values, and the outputs must be distinct from the inputs (unless the fields are already equal or one of them is \mathbb{Q}).

The common field and its ideal of relations are looked up in, or inserted into, the field cache of the context. No generators are eliminated even if they satisfy relations; the ideal of the merged field records such relations instead.

Cite this page

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