e-antic : Computing with Real Embedded Number Fields¶

e-antic is a C library for exact computation with real embedded algebraic numbers. It also offers C++ and Python interfaces.

The C library is built on top of FLINT, Arb and antic and follows the same naming conventions.

The main focus of e-antic is on efficiency. For a more versatile C library for exact real numbers computations we recommend Calcium by Fredrik Johansson.

The development of e-antic is coordinated on github.

Installation¶

The preferred way to install e-antic is to use your package manager (e.g. apt-get on Debian or Ubuntu, pacman on Arch Linux, brew on MacOS, etc). See repology for e-antic.

The following describe alternative ways of installing e-antic.

• Install with Conda

• Build from Source

• Conda Environment to Build from Source

C Library¶

• Tour of the C Interface

• Number Fields renf.h

• Number Field Elements renf_elem.h

The following headers extend FLINT. They should not be considered as part of the e-antic API and will be ported to FLINT eventually.

• Rational Polynomials fmpq_poly_extra.h

• Integral Polynomials fmpz_poly_extra.h

C++ Interface¶

• Tour of the C++ Interface

• Number Fields renf_class.hpp

• Number Field Elements renf_elem_class.hpp

Python Interface¶

The Python interface relies on cppyy exposing automatic bindings to the C++ interface. The documentation of the Python interface can be found here.