next | previous | forward | backward | up | top | index | toc | Macaulay2 website
WeylGroups :: scalarProduct(RootSystem,Weight,Weight)

scalarProduct(RootSystem,Weight,Weight) -- the scalar product of two weights

Synopsis

Description

i1 : R=rootSystemA(2)

o1 = RootSystem{...8...}

o1 : RootSystem
i2 : u=weight(R,{1,2})

o2 = | 1 |
     | 2 |

o2 : Weight
i3 : v=weight(R,{0,3})

o3 = | 0 |
     | 3 |

o3 : Weight
i4 : scalarProduct(R,u,v)

     5
o4 = -
     2

o4 : QQ