[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#242842: ITP: ocamlcreal -- O'Caml library that implements exact real arithmetic

Package: wnpp
Severity: wishlist

  Package name    : ocamlcreal
  Version         : 0.4 
  Upstream Author : Jean-Christophe Filliâtre
  URL             : http://www.lri.fr/~filliatr/software.en.html
  License         : LGPL
  Description     : O'Caml library that implements exact real arithmetic
 This  module  implements  exact  real  arithmetic,  following
 Val<E9>rie M<E9>nissier-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.

-- System Information:
Debian Release: testing/unstable
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.3

Reply to: