FLINT3.7.0-dev

acb_theta_ctx_exp_inv, acb_theta_ctx_sqr_inv

Synopsis#include <flint/acb_theta.h>
void acb_theta_ctx_exp_inv(acb_t exp_inv, const acb_t exp, const acb_t x, int is_real, slong prec)source
void acb_theta_ctx_sqr_inv(acb_t sqr_inv, const acb_t inv, const acb_t sqr, int is_real, slong prec)source

Given e = \exp(\pi i x), acb_theta_ctx_exp_inv sets exp_inv to \exp(-\pi i x): by conjugation if is_real is nonzero, else by inversion, recomputing from x if the inverse is not finite. Given \exp(-\pi i x) and \exp(2\pi i x), acb_theta_ctx_sqr_inv sets sqr_inv to \exp(-2\pi i x), by conjugation if is_real is nonzero and by squaring otherwise.

Cite this page

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