e-antic : 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 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 which is a part of FLINT.

The development of e-antic is coordinated on GitHub at flatsurf/e-antic.

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:

• Build with pixi for Development

• Build from the Source Tarball

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

• Tour of the Python Interface

• Interface with realalg

• Interface with SageMath

Feedback and Contributions

We are thrilled to learn about your ideas for e-antic, please have a look at this section of our README to reach out to us.

License

e-antic is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (LGPL) as published by the Free Software Foundation; either version 3.0 of the License, or (at your option) any later version. See https://www.gnu.org/licenses/.