[ ソース: gap-gdat ]
パッケージ: gap-trans-groups (4r4p10-1)
GAP 用の推移グループデータベース
GAP はコンピュータ離散代数システムで、特にコンピュータ集合理論を重視 していますが、他の分野でも有用なことがすでに証明されています。サンプ ルテキストでは、集合理論を使ってルービックキューブを解析するのに GAP が使われています。カーネルは、Pascal 似の言語を実装しています。
本パッケージには、推移グループのデータベースが含まれています。
ホームページ: <http://www.gap-system.org/>
