-- -*- M2-comint -*- hash: 17926741351258303323

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

o1 = Permutation{1, 3, 2}

o1 : Permutation

i2 : q = permutation {2,1,3}

o2 = Permutation{2, 1, 3}

o2 : Permutation

i3 : r = permutation {3,1,2}

o3 = Permutation{3, 1, 2}

o3 : Permutation

i4 : weakBruhatOrder(p, r)

o4 = true

i5 : weakBruhatOrder(q, r)

o5 = false

i6 : p = permutation {1,3,2}

o6 = Permutation{1, 3, 2}

o6 : Permutation

i7 : r = permutation {3,1,2}

o7 = Permutation{3, 1, 2}

o7 : Permutation

i8 : weakBruhatOrder(inverse p, inverse r, Side=>"left")

o8 = true

i9 : 
