adds test case from issue #3105

oscar-system · Feb 21, 2024 · b8c154f · b8c154f
1 parent 73c2107
commit b8c154f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/test/Rings/groebner.jl b/test/Rings/groebner.jl
@@ -59,6 +59,13 @@
     @test q * F + [r] != [f]
     u, q, r = reduce_with_quotients_and_unit(f, F, ordering=neglex(R))
     @test q * F + [r] == u * [f]
+    # Issue 3105
+    R, (x,y,z) = QQ[:x, :y, :z]
+    f = x^3 - x^2*y - x^2*z + x
+    f1 = x^2*y - z
+    f2 = x*y - 1
+    _,r = reduce_with_quotients(f, [f1, f2], ordering = deglex(R))
+    @test r == x^3-x^2*z
     I = ideal(R,[y^2 - x, x^3 - 2*y^2])
     @test is_groebner_basis(I.gens, ordering=degrevlex(R)) == true
     @test is_groebner_basis(I.gens, ordering=lex(R)) == false