w is represented by the list consisting of a root system and w applied to the half-sum of positive roots
The object WeylGroupElement is a type, with ancestor classes BasicList < Thing.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/WeylGroups.m2:2823:0.