Update experimental/LieAlgebras/src/LieAlgebra.jl

Co-authored-by: Felix Röhrich <47457568+felix-roehrich@users.noreply.github.com>
oscar-system · Sep 18, 2024 · 5c289ad · 5c289ad
1 parent 5491bc3
commit 5c289ad
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/experimental/LieAlgebras/src/LieAlgebra.jl b/experimental/LieAlgebras/src/LieAlgebra.jl
@@ -702,7 +702,6 @@ function _root_system_and_chevalley_basis(
   type, ordering = cartan_type_with_ordering(cm; check=false)
   permute!(roots_simple, ordering)
   R = root_system(type)
-  @assert root_system_type_with_ordering(R)[2] == 1:rank(R)
 
   # compute a Chevalley basis of L
   root_vectors = [