Skip to content
Sections
>> Trisquel >> 套件 >> nabia >> libdevel >> libcreal-ocaml-dev
etiona  ] [  nabia  ] [  aramo  ]
[ 原始碼: ocamlcreal  ]

套件: libcreal-ocaml-dev (0.7-6build10)

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 有關的套件

  • 依賴
  • 推薦
  • 建議

下載 libcreal-ocaml-dev

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
amd64 128.0 kB620 kB [文件列表]
armhf 131.5 kB526 kB [文件列表]