Merge pull request #11 from ederc/solver-test-fixes

fixes solver tests due to msolve v0.4.9 changes

Author: ederc

src/algorithms/solvers.jl

@@ -372,10 +372,10 @@ Nemo.fmpq_mpoly[x1 + 2*x2 + 2*x3 - 1, x1^2 - x1 + 2*x2^2 + 2*x3^2, 2*x1*x2 + 2*x
 
 julia> real_solutions(I)
 4-element Vector{Vector{fmpq}}:
- [744483363399261433351//1180591620717411303424, 372241681699630716673//1180591620717411303424, -154187553040555781639//1180591620717411303424]
+ [5416829397//8589934592, 2708414699//8589934592, -2844258330290649520990905062759917788583//21778071482940061661655974875633165533184]
  [1, 0, 0]
- [71793683196126133110381699745//316912650057057350374175801344, 71793683196126133110381699745//633825300114114700748351602688, 173325283664805084153412401855//633825300114114700748351602688]
- [196765270119568550571//590295810358705651712, 1//590295810358705651712, 196765270119568550571//590295810358705651712]
+ [1945971683//8589934592, 972985841//8589934592, 744426424910260862653434112767010536665//2722258935367507707706996859454145691648]
+ [2863311531//8589934592, 0, 3629678580490010276942662479272194255531//10889035741470030830827987437816582766592]
 ```
 """
 function real_solutions(

test/algorithms/solvers.jl

@@ -5,12 +5,12 @@
          2*x1*x2 + 2*x2*x3 + 2*x3*x4 - x2,
          x2^2 + 2*x1*x3 + 2*x2*x4 - x3])
     sols = Vector{fmpq}[
-            [2673214459816888010217//4722366482869645213696, 1409093337151698926217//9444732965739290427392, 1206751508225034314151//4722366482869645213696, -1773444330549010351039//9444732965739290427392],
-            [8311506369009768102275//18889465931478580854784, 11604140745194031729325//37778931862957161709568, 998877383835098408915//9444732965739290427392, -5021690718065612612481//37778931862957161709568],
-            [1, 0, 0, 0],
-            [451097390176582339670201//604462909807314587353088, 9032107101666684496743639//38685626227668133590597632, -7141673980382955904693279//38685626227668133590597632, 3017263506899703333802025//38685626227668133590597632],
-            [7087075322218650694049//37778931862957161709568, 1480060550928923391483//18889465931478580854784, 2780329556045248126029//37778931862957161709568, 38421910449864642395061//151115727451828646838272],
-            [196765270119568550571//590295810358705651712, 0, 1//2361183241434822606848, 787061080478274202283//2361183241434822606848]
+        [4862548775//8589934592, 1281562925//8589934592, 2195068207//8589934592, -32714273694608759819673593948262790419337//174224571863520493293247799005065324265472],
+        [3779635503//8589934592, 2638476131//8589934592, 908473689//8589934592, -92633843493479102248442236077889080803361//696898287454081973172991196020261297061888],
+        [1, 0, 0, 0],
+        [6410479475//8589934592, 2005530653//8589934592, -1585770177//8589934592, 55658687714722201275489356321691134094555601//713623846352979940529142984724747568191373312],
+        [1611414365//8589934592, 673053615//8589934592, 632173751//8589934592, 708759148891639684402860468800417934359477//2787593149816327892691964784081045188247552],
+        [2863311531//8589934592, 0, 0, 14518714321960041107770649917088777022123//43556142965880123323311949751266331066368]
                             ]
     rat_sols = Vector{fmpq}[[49, 0, 0, 0], [49//3, 0, 0, 1//3]]