For groups given by generators and relations, the argument sbgrl should be a subgrel. A set of words in the generators of the group is returned.

For permutation groups, both arguments should be permgroups and sg should be a subgroup of pg. A set of permutations in disjoint cycle notation is returned.

The command with(group,cosets) allows the use of the abbreviated form of this command.