Группы заданные образующими и определяющими Опции

[enko]

Я решил воспроизвести алгоритмы функций, по работы с группами, пакета Maple9.5
реализовав их на языке Delphi.

С группами перестановок все получилось, но не могу понять каким образом
происходит вычисление групп, порожденных образующими и определяющими соотношениями.
Буду рад, если кто-то подскажет.

{Прошу модераторов не переносить эту страницу в раздел программирования,
так как этот вопрос глубоко теоретический.}