i1 : R=rootSystemE(8)
o1 = RootSystem{...8...}
o1 : RootSystem
|
i2 : r1=simpleRoot(R,1)
o2 = | 2 |
| 0 |
| -1 |
| 0 |
| 0 |
| 0 |
| 0 |
| 0 |
o2 : Root
|
i3 : r2=simpleRoot(R,2)
o3 = | 0 |
| 2 |
| 0 |
| -1 |
| 0 |
| 0 |
| 0 |
| 0 |
o3 : Root
|
i4 : rootCoefficients(R,r1+r2)
o4 = | 1 |
| 1 |
| 0 |
| 0 |
| 0 |
| 0 |
| 0 |
| 0 |
8
o4 : QQ
|