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

Synopsis

• Function: isLtBruhat

• Usage:

  isLtBruhat(w1,w2)

• Inputs:
  • w1, an instance of the type WeylGroupElement
  • w2, an instance of the type WeylGroupElement
• Outputs:
  • a Boolean value, true if w1 is less then w2 in the Bruhat order

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