https://github.com/flintlib/calcium

Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
https://github.com/flintlib/calcium

Last synced: 6 months ago
JSON representation

Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead

• Host: GitHub
• URL: https://github.com/flintlib/calcium
• Owner: flintlib
• License: lgpl-2.1
• Created: 2020-04-23T11:19:15.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2023-11-15T20:58:14.000Z (over 1 year ago)
• Last Synced: 2024-08-05T10:10:32.994Z (10 months ago)
• Language: C
• Homepage: http://fredrikj.net/calcium/
• Size: 1.22 MB
• Stars: 80
• Watchers: 10
• Forks: 11
• Open Issues: 25
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# See FLINT

2023: Calcium has been merged into FLINT. The present repository is archived and will no longer be updated. See

https://github.com/flintlib/flint/

for new developments!

# Calcium

Calcium (pronounced “kalkium”) is a C library for exact

computation with real and complex numbers, presently in early development.

![calcium logo](http://fredrikj.net/calcium/_images/ca2.svg)

Documentation: http://fredrikj.net/calcium/

Try Online: [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/fredrik-johansson/calcium/HEAD?filepath=doc%2Fintroduction.ipynb)

Author: Fredrik Johansson 

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)