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