add test for variables permutation when additional variables

Remi Prebet · Remi Prebet · commit 635bdf861929 · 2024-02-28T13:51:37.000+01:00
diff --git a/test/algorithms/solvers.jl b/test/algorithms/solvers.jl
@@ -59,4 +59,7 @@
         [1, 0]
             ]
     @test sols == real_solutions(I)
+
+    I = Ideal([x^2-1, y^2])
+    @test sols == real_solutions(I)
 end
