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}, }