GroupPresentationFunctions1 SΒΆ

gpresent.spad line 1543 [edit on github]

undocumented

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

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