Skip to content

Commit 928c2fa

Browse files
committed
fixes poly ring in test cases
1 parent 65fc071 commit 928c2fa

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

test/algorithms/solvers.jl

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -61,14 +61,14 @@
6161
@test_throws ErrorException real_solutions(I, interval=true)
6262
@test_throws ErrorException rational_solutions(I)
6363

64+
R, (x, y) = polynomial_ring(QQ,["x","y"])
6465
# issue 54
6566
I = Ideal([R(0)])
6667
@test_throws ErrorException real_solutions(I)
67-
I = Ideal([x1-1,x2+2,R(0)])
68+
I = Ideal([x-1,y+2,R(0)])
6869
@test sort(real_solutions(I)) == sort(Vector{QQFieldElem}[[1, -2]])
6970

7071
# check variable permutation
71-
R, (x, y) = polynomial_ring(QQ,["x","y"])
7272
I = Ideal([x^2-1, y])
7373
sols = Vector{QQFieldElem}[
7474
[-1, 0],

0 commit comments

Comments
 (0)