Finitely Presented Groups#
Generators & Relations
Defining groups by presentations and free group operations.
Coset Enumeration
Todd–Coxeter algorithm and low-index subgroups.
Rewriting Systems
Knuth–Bendix completion and word problems.
Abelian Quotients
Abelianisation, torsion and p-quotient algorithms.