reflect(RootSystem,BasicList,Weight) -- apply to a weight several reflections with respect to roots

Synopsis

• Function: reflect

• Usage:

  reflect(R,L,p)

• Inputs:
  • R, an instance of the type RootSystem
  • L, a basic list
  • p, an instance of the type Weight
• Outputs:
  • an instance of the type Weight, s_{L_0}...s_{L_{\#L-1}}(p)

Description

i1 : R = rootSystemB(4)

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

o1 : RootSystem

i2 : p = halfSumOfRoots(R)

o2 = | 1 |
     | 1 |
     | 1 |
     | 1 |

o2 : Weight

i3 : reflect(R,{1,2,3,4},p)

o3 = | -4 |
     |  1 |
     |  1 |
     |  3 |

o3 : Weight