GNU Multi-Precision Library

GNU Multiple-Precision Library
開発元	GNUプロジェクト
初版	1991年 (33年前)
最新版	6.2.0 / 2020年1月18日 (4年前)
リポジトリ	gmplib.org/repo/gmp
プログラミング; 言語	C
プラットフォーム	クロスプラットフォーム
種別	任意精度演算ライブラリ
ライセンス	LGPLv3 と GPLv2 のデュアルライセンス
公式サイト	gmplib.org
	テンプレートを表示

GNU Multi-Precision Library（GMP）は、多倍長整数など任意精度の算術ライブラリで、フリーソフトウェアである。符号付き整数、有理数、浮動小数点数を扱う。事実上、動作中のハードウェアが持つメモリ容量以外には精度は制限されない（オペランドの大きさは32ビットマシンでは 2³¹ ビット、64ビットマシンでは 2³⁷ ビット^[2]）。様々な関数があり、それらが一貫したインタフェースで提供されている。基本インタフェースはC言語だが、他の言語用ラッパーを使えば、C++、OCaml、Perl、Pythonなどでも使える。また、Ruby 2.1のように^[3]、言語コアに組み込まれている例もある。

GMPの主な用途は暗号（実用と研究）、インターネットセキュリティ、数式処理システムである。

GMPは、どんなオペランドの大きさでも他の多倍長整数ライブラリよりも高速であることを目標としている。このために、以下の点を重視している。

基本算術型としてフルワードを使う。
オペランドの大きさによってそれぞれ異なるアルゴリズムを使う。非常に大きな数に有効なアルゴリズムは、小さい数では遅いことが多い。
重要なループには高度に最適化したアセンブリ言語コードを使う。当然、CPUによって異なったものになる。

最初のGMPは1991年にリリースされた。その後継続的に開発と保守が行われている。

公式サイトがgnu.orgにないので混乱する場合があるが、GMPはGNUプロジェクトの一部であり、GNU Lesser General Public License (LGPL) でライセンスされている。

GMPは多くの数式処理システムで整数の算術に使われている。例えばMathematicaがGMPを採用している^[4]。

GMPはGCCのビルドに必要である。

コード例

ここでは、GMPライブラリを使って大きな数字を掛け合わせて表示するC言語のコード例を示す。

#include <stdio.h>
#include <gmp.h>

int main(void) {
  mpz_t x, y, result;

  mpz_init_set_str(x, "7612058254738945", 10);
  mpz_init_set_str(y, "9263591128439081", 10);
  mpz_init(result);

  mpz_mul(result, x, y);
  gmp_printf("    %Zd\n"
             "*\n"
             "    %Zd\n"
             "--------------------\n"
             "%Zd\n", x, y, result);

  /* free used memory */
  mpz_clear(x);
  mpz_clear(y);
  mpz_clear(result);

  return 0;
}

このコードは、7612058254738945×9263591128439081の値を計算している。

このプログラムをコンパイルして実行すると、次のような結果が得られる。(Unixタイプのシステムでコンパイルする場合は-lgmpフラグが使用される)

    7612058254738945
*
    9263591128439081
--------------------
70514995317761165008628990709545

C++プログラムで同様の内容を書くと次のようになる。(Unixタイプのシステムでコンパイルする場合は-lgmpxx -lgmpフラグが使用される)

#include <iostream>
#include <gmpxx.h>

int main() {
  mpz_class x("7612058254738945");
  mpz_class y("9263591128439081");

  std::cout << "    " << x << "\n"
            << "*\n"
            << "    " << y << "\n"
            << "--------------------\n"
            << x * y << "\n";

  return 0;
}

言語バインディング

ライブラリ名	言語	ライセンス
GNU Multi-Precision Library	C, C++	LGPL
Math::GMP	Perl	LGPL
Math::GMPz, Math::GMPf and Math::GMPq	Perl	Artistic License v1.0 + GPL v1.0-or-later
General Multiprecision Python Project	Python	LGPL
R package 'gmp'	R言語	GPL
The RubyGems project	Ruby	Apache 2.0
GNU Multi-Precision Library for PHP	PHP	PHP
GNU Multi-Precision Routines for SBCL	Common Lisp	パブリックドメイン
Ch GMP	Ch (プログラミング言語)（英語版）	プロプライエタリ
Parallel GMP Wrapper for BMDFM	BMDFM LISP / C	パブリックドメイン
Glasgow Haskell Compiler (The implementation of `Integer` is basically a binding to GMP)	Haskell	BSD
luajit-gmp	LuaJIT	MIT
gmp-wrapper-for-delphi	Delphi	MIT
Zarith	OCaml	LGPL
Math.Gmp.Native Library	.NET	MIT
nim-gmp	Nim	MIT

脚注

^ “GMP 6.2 release notes”. 2020年7月18日閲覧。
^ Future releases
^ GCの変更と高速化を盛り込んだRuby 2.1.0 @IT、2014年1月7日（2015年11月11日閲覧）。
^ Numerical computation features for Mathematica 5.0 Rob Knapp

外部リンク

[1] “GMP 6.2 release notes”. 2020年7月18日閲覧。

[2] Future releases

[3] GCの変更と高速化を盛り込んだRuby 2.1.0 @IT、2014年1月7日（2015年11月11日閲覧）。

[4] Numerical computation features for Mathematica 5.0 Rob Knapp

[1]

[2]

[3]

[4]

表話編歴 GNUプロジェクト
歴史	GNU宣言 GNUプロジェクトフリーソフトウェア財団フリーソフトウェアの定義フリーソフトウェアの歴史（英語版）
GNUライセンス	GNU General Public License GNU Lesser General Public License GNU Affero General Public License GNU Free Documentation License GPLリンク例外 GPLフォント例外
ソフトウェア	GNU 派生 Hurd Linux-libre GNOME Gnuzilla IceCat Gnash Bash GCC Electric Emacs glibc Gnulib Coreutils GNUstep Autotools Bazaar LilyPond 一覧
代表者	アレシャンドリ・オリヴァベンジャミン・マコ・ヒル（英語版）ブラッドリー・M・クーンエベン・モグレンフェデリコ・ハインツゲオルク・C・F・グレーフェレオナルド・H・タワー・ジュニア（英語版）ロイク・ダシャリー（英語版）リカルド・ガリ（英語版）リチャード・ストールマンロバート・J・シャッセル（英語版）ジョン・サリバン
その他	GNU/Linux名称論争 Revolution OS The Cathedral and the Bazaar BadVista Defective by Design
カテゴリ

コード例

言語バインディング

脚注

関連項目

外部リンク