minimalRepresentative(WeylGroupLeftCoset) -- the minimal representative of a coset

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=w % P

o4 = WeylGroupLeftCoset{set {1, 2, 3}, WeylGroupElement{RootSystem{...8...}, |  1  |}}
                                                                             |  1  |
                                                                             |  1  |
                                                                             | -10 |

o4 : WeylGroupLeftCoset

i5 : minimalRepresentative c

o5 = WeylGroupElement{RootSystem{...8...}, |  1  |}
                                           |  1  |
                                           |  1  |
                                           | -10 |

o5 : WeylGroupElement