ocamlcreal 0.7-8 source package in Ubuntu
Changelog
ocamlcreal (0.7-8) unstable; urgency=medium [ Stéphane Glondu ] * Team upload * Fix compilation with OCaml 5.2.0 (Closes: #1073890) [ Debian Janitor ] * Remove constraints unnecessary since buster (oldstable): + Build-Depends: Drop versioned constraint on libgmp-ocaml-dev (>= 20021123-16~). -- Stéphane Glondu <email address hidden> Fri, 09 Aug 2024 08:54:47 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- devel
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Oracular | proposed | universe | devel |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
ocamlcreal_0.7-8.dsc | 1.7 KiB | 114d1804fca3a28a41420b512adb263054f632f0aadf7ce801b5a8f9f727b3c0 |
ocamlcreal_0.7.orig.tar.gz | 57.8 KiB | 40714e2073edea8f03375134ea9b62c4a3282d9a705a7cddf57188cd04c2685d |
ocamlcreal_0.7-8.debian.tar.xz | 5.1 KiB | 33668878ad03d6b2376bc1803cbaf372a1c0c2ef5af197a4f9a4549644d413c8 |
Available diffs
No changes file available.
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.