isRoot(R,p)
i1 : R=rootSystemE(6) o1 = RootSystem{...8...} o1 : RootSystem
i2 : p=simpleRoot(R,1) o2 = | 2 | | 0 | | -1 | | 0 | | 0 | | 0 | 6 o2 : ZZ
i3 : isPositiveRoot(R,-p) o3 = false
i4 : isRoot(R,-p) o4 = true