p1 + p2
i1 : R=rootSystemA(4) o1 = RootSystem{...8...} o1 : RootSystem
i2 : M=cartanMatrix R o2 = | 2 -1 0 0 | | -1 2 -1 0 | | 0 -1 2 -1 | | 0 0 -1 2 | 4 4 o2 : Matrix ZZ <-- ZZ
i3 : p1=weight(R,M_0) o3 = | 2 | | -1 | | 0 | | 0 | 4 o3 : ZZ
i4 : p2=weight(R,M_1) o4 = | -1 | | 2 | | -1 | | 0 | 4 o4 : ZZ
i5 : p1+p2 o5 = | 1 | | 1 | | -1 | | 0 | 4 o5 : ZZ
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/WeylGroups.m2:1893:0.