minimalRepresentative(c)
i1 : R=rootSystemF4 o1 = RootSystem{...8...} o1 : RootSystem
i2 : P=parabolic(R,set{1,2,3}) o2 = set {1, 2, 3} o2 : Parabolic
i3 : w=longestWeylGroupElement R o3 = WeylGroupElement{RootSystem{...8...}, | -1 |} | -1 | | -1 | | -1 | o3 : WeylGroupElement
i4 : c=P % (w % P) o4 = WeylGroupDoubleCoset{set {1, 2, 3}, set {1, 2, 3}, WeylGroupElement{RootSystem{...8...}, | 1 |}} | 1 | | 1 | | -10 | o4 : WeylGroupDoubleCoset
i5 : minimalRepresentative c o5 = WeylGroupElement{RootSystem{...8...}, | 1 |} | 1 | | 1 | | -10 | o5 : WeylGroupElement