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

isLtBruhat(WeylGroupElement,WeylGroupElement) -- compare two Weyl group elements in the Bruhat order

Synopsis

Description

i1 : R=rootSystemA(3)

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

o1 : RootSystem
i2 : w1=reduce(R,{3,1,2});
i3 : w2=reduce(R,{1,2,3,2,1});
i4 : isLtBruhat(w1,w2)

o4 = true