Merge pull request #102 from ederc/new-release

Prepares v0.9.0

Author: ederc

Project.toml

@@ -1,7 +1,7 @@
 name = "AlgebraicSolving"
 uuid = "66b61cbe-0446-4d5d-9090-1ff510639f9d"
 authors = ["ederc <[email protected]>", "Mohab Safey El Din <[email protected]", "Rafael Mohr <[email protected]>"]
-version = "0.8.3"
+version = "0.9.0"
 
 [deps]
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
@@ -18,10 +18,10 @@ msolve_jll = "6d01cc9a-e8f6-580e-8c54-544227e08205"
 LinearAlgebra = "1.6"
 Logging = "1.6"
 Markdown = "1.6"
-Nemo = "0.43, 0.44, 0.45, 0.46, 0.47, 0.48, 0.49"
+Nemo = "0.43, 0.44, 0.45, 0.46, 0.47, 0.48, 0.49, 0.50"
 Printf = "1.6"
 Random = "1.6"
 StaticArrays = "1"
 Test = "1.6"
 julia = "1.6"
-msolve_jll = "0.700.501"
+msolve_jll = "0.800.000"

test/algorithms/groebner-bases.jl

@@ -54,7 +54,7 @@
     I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y])
     G = eliminate(I, 2)
     H = MPolyRingElem[
-        84*z^4 - 40*z^3 + z^2 + z
+        84*z^4 - 38
     ]
     @test G == H
 end