next | previous | forward | backward | up | top | index | toc | Macaulay2 website
WeylGroups :: isReduced(BasicList,WeylGroupElement)

isReduced(BasicList,WeylGroupElement) -- whether an Weyl group element can be multiplied by some simple reflections with length increasing at each step

Synopsis

Description

i1 : R=rootSystemA(3)

o1 = RootSystem{...8...}

o1 : RootSystem
i2 : w=reduce(R,{1,2,1})

o2 = WeylGroupElement{RootSystem{...8...}, | -1 |}
                                           | -1 |
                                           |  3 |

o2 : WeylGroupElement
i3 : isReduced({2,3},w)

o3 = true
i4 : isReduced({1},w)

o4 = false