This package provides access to certain algorithms for exploring the structure of p-quotients of finitely-presented groups: the include constructing pc-presentations, isomorphism testing, constructing automorphism groups.
Citation:
@article{NewmanOBrien96, author = {M.F. Newman and E.A. O'Brien}, title = {Application of computers to questions like those of {B}urnside, {II}}, journal = {Internat. J. Algebra Comput.}, volume = 6, pages = {593--605}, year = 1996, }