FLINT3.7.0-dev

ca_field_build_ideal_erf

Synopsis#include <flint/ca_field.h>
void ca_field_build_ideal_erf(ca_field_t K, ca_ctx_t ctx)source

Adds relations between error functions among the generators of K that follow from erf⁡(−x)=−erf⁡(x)\operatorname{erf}(-x) = -\operatorname{erf}(x), erfc⁡(x)=1−erf⁡(x)\operatorname{erfc}(x) = 1 - \operatorname{erf}(x) and erfi⁡(x)=−ierf⁡(ix)\operatorname{erfi}(x) = -i \operatorname{erf}(ix), when the arguments are proved to be equal or opposite (or related by a factor ii). Called by ca_field_build_ideal.

Cite this page

The FLINT team, “ca_field_build_ideal_erf (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_erf.html (generated 2026-11-02).