isPositiveRoot(R,p)
i1 : R=rootSystemE(6) o1 = RootSystem{...8...} o1 : RootSystem
i2 : p=halfSumOfRoots(R) o2 = | 1 | | 1 | | 1 | | 1 | | 1 | | 1 | 6 o2 : ZZ
i3 : isPositiveRoot(R,p) o3 = false