Skip to content
Sections
>> Trisquel >> パッケージ >> aramo >> libdevel >> libcreal-ocaml-dev
etiona  ] [  nabia  ] [  aramo  ]
[ ソース: ocamlcreal  ]

パッケージ: libcreal-ocaml-dev (0.7-6build12)

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 173.7 kB610 kB [ファイル一覧]
arm64 178.7 kB630 kB [ファイル一覧]
armhf 181.2 kB548 kB [ファイル一覧]
ppc64el 186.1 kB680 kB [ファイル一覧]