GNU Multi-Precision Library

GNU Multiple-Precision Library
開発元	GNUプロジェクト
初版	1991年 (34年前)
最新版	6.3.0 / 2023年7月30日 (2年前)
リポジトリ	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.3.0 released”. 2025年1月14日閲覧。
^ 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.3.0 released”. 2025年1月14日閲覧。

[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宣言フリーソフトウェア財団欧州インドラテンアメリカ自由ソフトウェアの定義 FOSSの歴史
ライセンス	GNU General Public License リンク例外フォント例外 GNU Lesser General Public License GNU Affero General Public License GNU Free Documentation License GNAT Modified General Public License
ソフトウェア（一覧）	GNU 派生 Hurd Linux-libre glibc Bash Coreutils Autotools GCC binutils GDB GRUB GNUstep GIMP Jami Emacs TeXmacs Octave Taler R GSL GMP Electric Archimedes GNUnet GNU Privacy Guard Gnuzilla IceCat GNU Health GNUmed LilyPond Go Chess Gnash Gnulib Bazaar
代表者	アレシャンドリ・オリヴァベンジャミン・マコ・ヒルブラッドリー・M・クーンブライアン・フォックスエベン・モグレンフェデリコ・ハインツゲオルク・C・F・グレーフェリカルド・ガリリチャード・ストールマンロバート・J・シャッセルジョン・サリバン
その他	GNU/Linux名称論争 Revolution OS The Cathedral and the Bazaar BadVista Defective by Design
カテゴリ

コード例

言語バインディング

脚注

関連項目

外部リンク