w * p
i1 : R=rootSystemC(4) o1 = RootSystem{...8...} o1 : RootSystem
i2 : w=reduce(R,{1}) o2 = WeylGroupElement{RootSystem{...8...}, | -1 |} | 2 | | 1 | | 1 | o2 : WeylGroupElement
i3 : p=halfSumOfRoots R o3 = | 1 | | 1 | | 1 | | 1 | 4 o3 : ZZ
i4 : w*p o4 = | -1 | | 2 | | 1 | | 1 | 4 o4 : ZZ