GAP: Algorithm for computing the normal subgroups of a finitely presented group
This package provides an algorithm for computing the normal subgroups of a finitely presented group up to some given index bound.
実験的なパッケージの表示 コミュニティ提供のパッケージの表示