GroupPresentationFunctions1 SΒΆ

gpresent.spad line 1539 [edit on github]

This package implements convertion 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.