Update experimental/LieAlgebras/src/WeylGroup.jl

Co-authored-by: Lars Göttgens <[email protected]>
oscar-system · Apr 17, 2024 · 9b1d563 · 9b1d563
1 parent 50608f2
commit 9b1d563
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/experimental/LieAlgebras/src/WeylGroup.jl b/experimental/LieAlgebras/src/WeylGroup.jl
@@ -279,7 +279,7 @@ function Base.:(<)(x::WeylGroupElem, y::WeylGroupElem)
   tx = deepcopy(x)
   for i in 1:length(y)
     b, j, _ = explain_lmul(tx, y[i])
-    if b
+    if !b
       deleteat!(word(tx), j)
       if isone(tx)
         return true