gpresent.spad line 1540 [edit on github]
This package implements conversion between group presentation given in terms of elements of FreeGroup and GroupPresentation.
convert(lg, lr) builds group presentation from list of generators lg and list of relations lr.