next | previous | forward | backward | up | top | index | toc | Macaulay2 website
WeylGroups :: Weight + Weight

Weight + Weight -- the sum of two weights

Synopsis

Description

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 |

o3 : Weight
i4 : p2=weight(R,M_1)

o4 = | -1 |
     |  2 |
     | -1 |
     |  0 |

o4 : Weight
i5 : p1+p2

o5 = |  1 |
     |  1 |
     | -1 |
     |  0 |

o5 : Weight