ocamlcreal 0.7-7build1 source package in Ubuntu
Changelog
ocamlcreal (0.7-7build1) noble; urgency=medium * Rebuild against new OCAML ABI. -- Gianfranco Costamagna <email address hidden> Thu, 02 Nov 2023 10:17:21 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Noble
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- devel
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Noble | release | universe | devel |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
ocamlcreal_0.7.orig.tar.gz | 57.8 KiB | 40714e2073edea8f03375134ea9b62c4a3282d9a705a7cddf57188cd04c2685d |
ocamlcreal_0.7-7build1.debian.tar.xz | 4.8 KiB | ddabf408eb07a29400d5536ab5cd0a4929706662f1d29ee98ad218c48f500d38 |
ocamlcreal_0.7-7build1.dsc | 1.9 KiB | fd1a468c781ff7c8e83890634617bc36eb07643c7f5697237bfc07725e3f1513 |
Available diffs
- diff from 0.7-7 (in Debian) to 0.7-7build1 (327 bytes)
Binary packages built by this source
- libcreal-ocaml-dev: O'Caml library that implements exact real arithmetic
This module implements exact real arithmetic, following Valerie
Menissier-Morain Ph.D. thesis (http://www-calfor. lip6.fr/ ~vmm/).
.
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.