[GAP Forum] Tietze

[Michael Hartley]

[**** EDIT -- FORUM ADMINISTRATOR ****]
Subject was "Re: Forum Digest, Vol 14, Issue 4". Changed above for clarity.
[END]

I've looked through the functions relating to relations and Tietze Transformations. However, I can't find anything that will take a presentation object and give GAP the actual relators within it (TzPrintRelators() gives *me* the relators, but not GAP). I have a large list of permutation groups, and I want to do the following for each group (actually, each generating set) in the list :

grp := Group(gens);
pres := PresentationViaCosetTable(grp);
rels := GetRelatorsSomehow(pres);   <-- need help here
if (MyTest(rels)) then
   Print("the group generated by ",gens," passes my test \n");
fi;

Any advice? Does the function I want actually exist? Specifically, I want to check that there doesn't exist a relator using all the generators of the group.

Yours, Mike H...

[*** MESSAGE EDITED TO REMOVE FORUM DIGEST BELOW THIS POINT
                                 -- FORUM ADMINISTRATOR ****]