isReduced -- check whether a decomposition is of minimal length

Ways to use isReduced:

• isReduced(BasicList,WeylGroupElement) -- whether an Weyl group element can be multiplied by some simple reflections with length increasing at each step
• isReduced(RootSystem,BasicList) -- whether a decomposition in simple reflections is reduced

For the programmer

The object isReduced is a method function.

The source of this document is in WeylGroups.m2:3115:0.