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