Package: libcreal-ocaml-dev
Source: ocamlcreal
Version: 0.7-8build2
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 515
Depends: libgmp-ocaml-dev-p5s25, libstdlib-ocaml-dev-m4xw9, ocaml-5.3.0
Provides: libcreal-ocaml-dev-zr580
Section: ocaml
Priority: optional
Description: 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.
