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.
顯示實驗性套件 顯示社群維護套件