GroupPresentationFunctions1 S

gpresent.spad line 1539 [edit on github]

• S: SetCategory

undocumented

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

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