FLINT3.7.0-dev

ca_conj_deep, ca_conj_shallow, ca_conj

Synopsis#include <flint/ca.h>
void ca_conj_deep(ca_t res, const ca_t x, ca_ctx_t ctx)source
void ca_conj_shallow(ca_t res, const ca_t x, ca_ctx_t ctx)source
void ca_conj(ca_t res, const ca_t x, ca_ctx_t ctx)source

Sets res to the complex conjugate \overline{x}.

The shallow version conjugates in place when this is trivial (for example in \mathbb{Q}(i) or when x is real by construction) and otherwise creates the extension number \overline{x}. The deep version conjugates every extension number of the field of x, recursively (using \overline{\exp(z)} = \exp(\overline{z}) and similar rules, with care at branch cuts), and evaluates the conjugated rational function. ca_conj returns x or -x if x is proved real or imaginary, and otherwise uses the deep version. All special values give Unknown at present.

Cite this page

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