ANUNQ

Given a finite presentation for a group G and a natural number c the program computes the largest nilpotent quotient group of G of class at most c in form of a nilpotent presentation allowing efficient computation in the quotient group. The program can handle a variety of Engel type identities. It is also available as part of GAP and Magma.

Citation:

@inproceedings{Nickel95,
        author =        {Werner Nickel},
        title =         {Computing Nilpotent Quotients of 
                                   Finitely Presented Groups},
        booktitle =     {Geometric and Computational Perspectives 
                                   on Infinite Groups},
        organization =  {(DIMACS, 1994)},
        editor =        {G. Baumslag and others},
        year =          1995,
        series =        {Amer.\ Math.\ Soc.\ DIMACS Series},
        volume =        25,
        pages =         {175--191},
}