The object isPositiveRoot is a method function.
The source of this document is in WeylGroups.m2:2162:0.