ve <code>x‚â§y</code> if a reduced expression for <code>x</code> can be extracted from one for <code>w</code>. See <a href="biblio.htm#Hum90">(5.9) and (5.10) Humphreys1990</a> for properties of the Bruhat order.</p><pre><code class="language-julia-repl hljs">julia&gt; W=coxgroup(:H,3)
H‚ÇÉ

julia&gt; w=W(1,2,1,3);

julia&gt; b=filter(x-&gt;bruhatless(W,x,w),elements(W));

julia&gt; word.(Ref(W),b)
12-element Vector{Vector{Int64}}:
 []
 [1]
 [2]
 [3]
 [1, 2]
 [2, 1]
 [1, 3]
 [2, 3]
 [1, 2, 1]
 [1, 2