w1 == w2
i1 : w1=reduce(rootSystemD(5),{3}) o1 = WeylGroupElement{RootSystem{...8...}, | 1 |} | 2 | | -1 | | 2 | | 2 | o1 : WeylGroupElement
i2 : w1==inverse(w1) o2 = true
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/WeylGroups.m2:2842:0.