Определить, является ли подслово тривиальным в конечно представленной группе
Я пишу программу на python, чтобы определить, тривиально ли подслово отношения в конечной группе. Группа будет представлена в виде строки этой формы "a,b,c,d,e | a b c e, b d', d c, a e b", Вот a' обозначим $a^{-1}$. Я хочу, например, спросить у программы, тривиально ли в группе $ bc $, являющееся подсловом значения relator $ abce $. В этом случае это потому, что $bc=bd^{-1} dc=ee=e$. Как я должен это делать?
Я пытался использовать GAP, но у меня есть две проблемы с ним. во-первых, я не очень хорош в этом. и во-вторых, я не знаю, как интегрировать результат, вычисленный из GAP, в другой язык программирования, такой как python, где я могу использовать результат из GAP и так далее с ним.