libcreal-ocaml-dev binary package in Ubuntu Noble riscv64
This module implements exact real arithmetic, following Valerie
Menissier-Morain Ph.D. thesis (http://
.
A real x is represented as a function giving, for any n, an
approximation zn/4^n of x such that |zn/4^n - x| < 1, where zn is an
arbitrary precision integer (of type Gmp.Z.t).
.
Coercions from type int, Gmp.Z.t, Gmp.Q.t, basic operations (addition,
subtraction, multiplication, division, power, square root) and
transcendental functions (sin, cos, tan, log, exp, arcsin, arccos,
etc.) and a few constants (pi, e) are provided.
.
A small reverse-polish calculator is provided to test the library.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-11-25 08:34:52 UTC | Published | Ubuntu Noble riscv64 | release | universe | libdevel | Optional | 0.7-7build1 | ||
|
|||||||||
Deleted | Ubuntu Noble riscv64 | proposed | universe | libdevel | Optional | 0.7-7build1 | |||
|
|||||||||
2023-11-25 08:38:20 UTC | Superseded | Ubuntu Noble riscv64 | release | universe | libdevel | Optional | 0.7-7 | ||
|