我正在用python编写一个程序，以确定在有限表示的组中relator的子词是否不重要。该组将以这种形式"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的结果等等。