1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# Calcium
Calcium (pronounced “kalkium”) is a C library for exact
computation with real and complex numbers, presently in early development.
Documentation: http://fredrikj.net/calcium/
Try Online: [](https://mybinder.org/v2/gh/fredrik-johansson/calcium/HEAD?filepath=doc%2Fintroduction.ipynb)
Author: Fredrik Johansson <fredrik.johansson@gmail.com>
Features:
* Exact real and complex numbers represented as elements of automatically extended multivariate fields
* Support for algebraic, transcendental and mixed fields
* Automatic, rigorous numerical embeddings and arbitrary-precision numerical evaluation (on top of Arb)
* Efficient field arithmetic (on top of Flint and Antic)
* Automatic, rigorous simplification (using integer relations, ideal reduction, and other methods)
* Complete decision procedures for algebraic numbers
* Partial decision procedures for transcendental numbers
* Polynomials and matrices with exact coefficients
* Exact real and complex algebraic numbers (absolute minpoly representation)
* Multivariate rational functions (on top of Flint)
* Gröbner basis computation (on top of Flint)
* Symbolic expressions (conversions, evaluation, LaTeX output)
|
