i1 : R=rootSystemF4 o1 = RootSystem{...8...} o1 : RootSystem |
i2 : L=reducedDecomposition longestWeylGroupElement R o2 = {1, 2, 1, 3, 2, 1, 3, 2, 3, 4, 3, 2, 1, 3, 2, 3, 4, 3, 2, 1, 3, 2, 3, 4} o2 : List |
i3 : isReduced(R,L) o3 = true |
i4 : L={1,1} o4 = {1, 1} o4 : List |
i5 : isReduced(R,L) o5 = false |