Here's elements of Symmetric group of 6th order: S3:
I want to check that P3*P6=P4.
G = SymmetricGroup(3)
BookNumbers = [1, 4, 2, 3, 6, 5]
P = [0]
for i in BookNumbers:
P.append(sorted(G.list())[i-1])
print (P[3] * P[6]).list(), P[4].list()
print (P[3] * P[6]) == P[4]
it gives:
[3, 2, 1] [2, 1, 3]
False
so they are the same actually. But how do I make sage say True
?.