Skip to content
Sections
>> Trisquel >> Packages >> etiona >> libdevel >> libcreal-ocaml-dev
etiona  ] [  nabia  ] [  aramo  ]
[ Source: ocamlcreal  ]

Пакунок: libcreal-ocaml-dev (0.7-6build8)

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.

Інші пакунки пов'язані з libcreal-ocaml-dev

  • depends
  • recommends
  • suggests

Завантажити libcreal-ocaml-dev

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
amd64 123.6 kB609 kB [список файлів]
i386 123.6 kB503 kB [список файлів]