Add test for ==

oscar-system · Jul 21, 2023 · b031420 · b031420
1 parent 1e40cb8
commit b031420
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/experimental/LieAlgebras/test/LieAlgebraIdeal-test.jl b/experimental/LieAlgebras/test/LieAlgebraIdeal-test.jl
@@ -20,6 +20,11 @@
 
       @test dim(b) == 6
       @test dim(n) == 3
+
+      @test n == ideal(b, [basis(b, 2), basis(b, 3), basis(b, 5)])
+      @test n == ideal(b, [basis(b, 2) + basis(b, 3), basis(b, 3), basis(b, 5)])
+      @test n ==
+        ideal(b, [basis(b, 2) + basis(b, 3), basis(b, 3), basis(b, 5)]; is_basis=true)
     end
 
     let # Example where ideal basis is only found after two steps

diff --git a/experimental/LieAlgebras/test/LieSubalgebra-test.jl b/experimental/LieAlgebras/test/LieSubalgebra-test.jl
@@ -18,6 +18,11 @@
 
       @test dim(b) == 6
       @test dim(n) == 3
+
+      @test n == sub(L, [basis(b, 2), basis(b, 3), basis(b, 5)])
+      @test n == sub(L, [basis(b, 2) + basis(b, 3), basis(b, 3), basis(b, 5)])
+      @test n ==
+        sub(L, [basis(b, 2) + basis(b, 3), basis(b, 3), basis(b, 5)]; is_basis=true)
     end
   end