标签: math gap-system
我有一个由G := Group((1,2,3),(1,2,4),(5,6,7),(5,6,8),(1,2)(5,6));定义的小组。如何计算G中元素的等价类(或每个等价类的代表)相对于等价关系a~b< =>。存在整数m,n,使得a = c ^ n b c ^ m,其中c是G的某些固定元素?
G := Group((1,2,3),(1,2,4),(5,6,7),(5,6,8),(1,2)(5,6));