isReflection(WeylGroupElement) -- checks whether an element of a Weyl group is a reflection

Synopsis

• Function: isReflection

• Usage:

  isReflection(w)

• Inputs:
  • w, an instance of the type WeylGroupElement
• Outputs:
  • a Boolean value, true if w is a reflection and false otherwise

Description

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 : isReflection(w)

o3 = true