Fix stupid test

oscar-system · Sep 30, 2024 · f1b177d · f1b177d
1 parent ed5c5dd
commit f1b177d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/experimental/LieAlgebras/src/Types.jl b/experimental/LieAlgebras/src/Types.jl
@@ -227,6 +227,7 @@ end
   ) where {C<:FieldElem}
     @req all(b -> size(b) == (n, n), basis) "Invalid basis element dimensions."
     @req length(s) == length(basis) "Invalid number of basis element names."
+    @req eltype(basis) == dense_matrix_type(R) "Invalid basis element type."
     L = new{C}(R, n, length(basis), basis, s)
     if check
       @req all(b -> all(e -> parent(e) === R, b), basis) "Invalid matrices."

diff --git a/experimental/LieAlgebras/test/LinearLieAlgebra-test.jl b/experimental/LieAlgebras/test/LinearLieAlgebra-test.jl
@@ -17,7 +17,7 @@
 
   @testset "conformance tests" begin
     @testset "0-dim Lie algebra /QQ" begin
-      L = lie_algebra(QQ, 0, MatElem{QQFieldElem}[], Symbol[])
+      L = lie_algebra(QQ, 0, QQMatrix[], Symbol[])
       lie_algebra_conformance_test(
         L, LinearLieAlgebra{QQFieldElem}, LinearLieAlgebraElem{QQFieldElem}
       )