From 1fe6e2f6473d87be06f378676b66e508472e7c34 Mon Sep 17 00:00:00 2001 From: ederc Date: Sat, 20 Jul 2024 09:44:37 +0200 Subject: [PATCH] Solving tests (#3957) --- test/Rings/solving.jl | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/test/Rings/solving.jl b/test/Rings/solving.jl index 24f416249c29..1d51d407e058 100644 --- a/test/Rings/solving.jl +++ b/test/Rings/solving.jl @@ -40,10 +40,11 @@ @test res[2].denom == 2*x # issue 1743 - R, (x1, x2) = polynomial_ring(QQ, ["x1", "x2"]) - I = ideal(R, [x1 + ZZRingElem(2)^100, x2 + ZZRingElem(2)^100]) - sols = Vector{QQFieldElem}[[-1267650600228229401496703205376, -1267650600228229401496703205376]] - @test sols == real_solutions(I)[1] + # disabled until fixed in msolve + #= R, (x1, x2) = polynomial_ring(QQ, ["x1", "x2"]) + = I = ideal(R, [x1 + ZZRingElem(2)^100, x2 + ZZRingElem(2)^100]) + = sols = Vector{QQFieldElem}[[-1267650600228229401496703205376, -1267650600228229401496703205376]] + = @test sols == real_solutions(I)[1] =# end @testset "Rational solutions" begin