We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 93fd1f5 commit f718784Copy full SHA for f718784
test/algorithms/solvers.jl
@@ -46,4 +46,8 @@
46
I = Ideal([x1^2-x2, x1*x3-x4, x2*x4-12, x4^3-x3^2])
47
real_solutions(I)
48
@test I.rat_param.vars == Symbol[]
49
+
50
+ I = Ideal([x1^2-x2, x1*x3, x2-12])
51
+ @test_throws ErrorException real_solutions(I)
52
+ @test_throws ErrorException rational_solutions(I)
53
end
0 commit comments