whoseReflection(WeylGroupElement) -- the positive root whose reflection is a given element of a Weyl group

i1 : R=rootSystemD(5)

o1 = RootSystem{...8...}

o1 : RootSystem

i2 : w=reduce(R,{3})

o2 = WeylGroupElement{RootSystem{...8...}, |  1 |}
                                           |  2 |
                                           | -1 |
                                           |  2 |
                                           |  2 |

o2 : WeylGroupElement

i3 : if isReflection(w) then whoseReflection(w)

o3 = |  0 |
     | -1 |
     |  2 |
     | -1 |
     | -1 |

       5
o3 : ZZ