Merge pull request #112 from ederc/elim-fix-v092

ederc · web-flow · commit 3cbb3360dfe3 · 2025-11-28T12:58:32.000+01:00
fixes elimination GB bug due to fix via msolve v0.9.2
diff --git a/Project.toml b/Project.toml
@@ -29,4 +29,4 @@ Random = "1.6"
 StaticArrays = "1"
 Test = "1.6"
 julia = "1.6"
-msolve_jll = "0.900.100"
+msolve_jll = "0.900.200"
diff --git a/test/algorithms/groebner-bases.jl b/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+y-39
+        84*z^4 - 40*z^3 + z^2 + z
     ]
     @test G == H
     R, (a,b,c,d,x,y,z,w) = polynomial_ring(QQ, ["a", "b", "c", "d", "x", "y", "z", "w"])

Original file line number	Diff line number	Diff line change
`@@ -54,7 +54,7 @@`
`54`	`54`	`I = Ideal([x+2y+2z-1, x^2+2y^2+2z^2-x, 2xy+2yz-y])`
`55`	`55`	`G = eliminate(I, 2)`
`56`	`56`	`H = MPolyRingElem[`
`57`		`- 84*z^4+y-39`
	`57`	`+ 84z^4 - 40z^3 + z^2 + z`
`58`	`58`	`]`
`59`	`59`	`@test G == H`
`60`	`60`	`R, (a,b,c,d,x,y,z,w) = polynomial_ring(QQ, ["a", "b", "c", "d", "x", "y", "z", "w"])`