diff --git a/experimental/LieAlgebras/test/LieAlgebraIdeal-test.jl b/experimental/LieAlgebras/test/LieAlgebraIdeal-test.jl
index b7df10cd19ae..e93ec01cc6b0 100644
--- 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
index c915514a954f..1b28345945ea 100644
--- 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