isLtBruhat(w1,w2)
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