Skip to content

Commit

Permalink
fix tests for Nemo
Browse files Browse the repository at this point in the history
  • Loading branch information
sumiya11 committed Dec 10, 2023
1 parent 41d64d7 commit eab714e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions test/input-output/Nemo.jl
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit eab714e

Please sign in to comment.