GAP (ギャップ、Groups, Algorithms and Programming) は計算機で群を扱うために開発された計算機代数システムである。アーヘン工科大学の数学部D (Lehrstuhl D für Mathematik, LDFM) で開発が始まり、その後スコットランドのセント・アンドルーズ大学の数学情報科学部と共同で開発が行われた。2005年の夏に開発拠点はそれぞれ同等の4カ所 (英セント・アンドルーズ大学、独アーヘン工科大学、 独ブラウンシュヴァイク工科大学、米フォート・コリンズのコロラド州立大学) に増やされた。GAP の配布パッケージには、そのソースの他に、多くの利用者から寄贈されたプログラム、データライブラリ、マニュアルが含まれており、GPL にしたがって自由に再配布することができる。GAP はどの Unix 系 OS でも実行でき、また Windows や Mac OS X でも利用できる。GAP の標準的な構成では約 300 MB である (すべてのパッケージをインストールする場合は 400 MB である)。GAP を実行するには、RAM は 128 MB あれば十分である。利用者の寄贈によるパッケージにより多くの機能が提供されており、これは GAP の大きな特徴の一つであると言える。開発者の元に送られてきたパッケージは査読プロセスにより GAP システムの機能や品質向上に有用かどうかが判断される。パッケージの作成者が論文を投稿する場合と同じである。2006年8月現在、GAP の配布パッケージにはそういったパッケージが 58 含まれており、35 のパッケージが査読を経たものである。GAP の最新版はバージョン 4.4.12 である。旧版の GAP 3 系列 (最終リリースは 3.4.4) も現在配布されているが、サポートは行われていない。GAP からSINGULAR を使うためのインターフェイスが用意されている。 gap> G:=SmallGroup(8,1); # Set G to be a group of order 8.

出典:wikipedia