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.