From b8c154fccdd0ca71297f8e9d3a7a125789a33d2e Mon Sep 17 00:00:00 2001 From: ederc Date: Mon, 19 Feb 2024 14:50:06 +0100 Subject: [PATCH] adds test case from issue #3105 --- test/Rings/groebner.jl | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/test/Rings/groebner.jl b/test/Rings/groebner.jl index 5005d865b830..59f84283a0c0 100644 --- 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