-- -*- M2-comint -*- hash: 10406812987213625407

i1 : p = permutation {3,1,2,5,4}

o1 = Permutation{3, 1, 2, 5, 4}

o1 : Permutation

i2 : cycleDecomposition p

o2 = {(3, 2, 1), (5, 4)}

o2 : List

i3 : cycleType p

o3 = (3, 2)

o3 : Sequence

i4 : p = permutation {3,1,2,5,4};

i5 : foataBijection p

o5 = Permutation{3, 2, 1, 5, 4}

o5 : Permutation

i6 : p = permutation {3,1,2,5,4};

i7 : reducedWords p

o7 = {{1, 2, 4}, {1, 4, 2}, {4, 1, 2}}

o7 : List

i8 : all(reducedWords p, word -> product reverse apply(word, transposition) == p)

o8 = true

i9 : 
