- isMinimalRepresentative(Parabolic,WeylGroupElement) -- check whether an element of a Weyl group is the minimal representative of a right coset
- isMinimalRepresentative(Parabolic,WeylGroupElement,Parabolic) -- check whether an element of a Weyl group is the minimal representative of a double coset
- isMinimalRepresentative(WeylGroupElement,Parabolic) -- check whether an element of a Weyl group is the minimal representative of a left coset

The object isMinimalRepresentative is a method function.