GroupPresentationFunctions1 SΒΆ

gpresent.spad line 1540 [edit on github]

This package implements conversion between group presentation given in terms of elements of FreeGroup and GroupPresentation.

convert: (List S, List FreeGroup S) -> GroupPresentation

convert(lg, lr) builds group presentation from list of generators lg and list of relations lr.