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

isPositiveRoot(RootSystem,Weight) -- check whether a weight is a positive root

Synopsis

Description

i1 : R=rootSystemE(6)

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

o1 : RootSystem
i2 : p=halfSumOfRoots(R)

o2 = | 1 |
     | 1 |
     | 1 |
     | 1 |
     | 1 |
     | 1 |

o2 : Weight
i3 : isPositiveRoot(R,p)

o3 = false