How do I check whether a word represents a trivial element of a finitely presented group
How do I create a Finitely Presented Group
How do I output a Finitely Presented Group into a stream
How do I read a Finitely Presented Group from a stream
