From eab714e66a1a296246e8a11241809fcf60a58279 Mon Sep 17 00:00:00 2001 From: Alexander Demin Date: Mon, 11 Dec 2023 01:07:18 +0300 Subject: [PATCH] fix tests for Nemo --- test/input-output/Nemo.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test/input-output/Nemo.jl b/test/input-output/Nemo.jl index c7e0f677..f5f5d3b3 100644 --- a/test/input-output/Nemo.jl +++ b/test/input-output/Nemo.jl @@ -38,11 +38,11 @@ end for ord in nemo_orderings_to_test for ground in nemo_grounds_to_test - R, x = Nemo.PolynomialRing(ground, "x") + R, x = PolynomialRing(ground, "x") gb = Groebner.groebner([(x - 1) * (x + 8), (x + 8) * (x + 10)]) @test gb == [(x + 8)] - R, (x, y) = Nemo.PolynomialRing(ground, ["x", "y"], ordering=ord) + R, (x, y) = PolynomialRing(ground, ["x", "y"], ordering=ord) fs = [x^2 * y + 3, (2^31 - 5) * x - (2^31 - 4) * y] gb = Groebner.groebner(fs) @test parent(gb[1]) == R