FLINT3.7.0-dev

ca_exp

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

Sets res to e^x. In the generic case the result is the generator of \mathbb{Q}(e^x).

The following simplifications are made automatically: e^0 = 1, e^{\log z} = z, e^{(p/q) \log z} = z^{p/q}, e^{\pi i p / q} is the algebraic root of unity when q \le CA_OPT_QQBAR_DEG_LIMIT, and e^{a \log z + s} = z^a e^{s} when the representation of the exponent contains a term a \log z with rational a.

For special values, e^{+\infty} = +\infty, e^{-\infty} = 0, and e^{\tilde \infty} and e^{\text{Undefined}} are Undefined; other signed infinities give Unknown.

Guides#

Cite this page

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