Merge pull request #46 from rprebet/fix-bug-permut

Fix bug on variables permutation, when additional variables

Author: ederc

src/algorithms/solvers.jl

@@ -142,8 +142,8 @@ function _core_msolve(
 
     jl_vnames = Base.unsafe_wrap(Array, res_vnames[], jl_rp_nr_vars)
     vsymbols  = [Symbol(unsafe_string(jl_vnames[i])) for i in 1:jl_rp_nr_vars]
-    #= get possible variable permutation =#
-    perm      = sortperm(vsymbols)
+    #= get possible variable permutation, ignoring additional variables=#
+    perm      = sortperm(vsymbols[1:nr_vars])
 
     rat_param = _get_rational_parametrization(jl_ld, jl_len,
                                               jl_cf, jl_cf_lf, jl_rp_nr_vars)

test/algorithms/solvers.jl

@@ -58,5 +58,8 @@
         [-1, 0],
         [1, 0]
             ]
-    @test sols == real_solutions(I)
+    @test sort(sols) == sort(real_solutions(I))
+
+    I = Ideal([x^2-1, y^2])
+    @test sort(sols) == sort(real_solutions(I))
 end