FLINT3.7.0-dev
/

acf_add, acf_sub, acf_mul

Synopsis#include <flint/acf.h>
int acf_add(acf_t res, const acf_t x, const acf_t y, slong prec, arf_rnd_t rnd)source
int acf_sub(acf_t res, const acf_t x, const acf_t y, slong prec, arf_rnd_t rnd)source
int acf_mul(acf_t res, const acf_t x, const acf_t y, slong prec, arf_rnd_t rnd)source

Set res to x + y, x - y, respectively xy, with each part correctly rounded to prec bits in the direction rnd. Bit 0 of the return value is the inexact flag of the real part and bit 1 that of the imaginary part.

acf_mul uses arf_complex_mul, or arf_complex_sqr when x and y are the same object; each part of the result is the exact ac - bd or ad + bc rounded once.

Cite this page

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