From 427902c49f5f7ea51b2b558cbd9ca1e131a88101 Mon Sep 17 00:00:00 2001 From: Hans Schoenemann Date: Fri, 25 Aug 2023 09:40:44 +0200 Subject: [PATCH] Update test/poly/poly-test.jl Co-authored-by: Max Horn --- test/poly/poly-test.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/test/poly/poly-test.jl b/test/poly/poly-test.jl index 1d5881ae0..79a15a0e8 100644 --- a/test/poly/poly-test.jl +++ b/test/poly/poly-test.jl @@ -238,7 +238,8 @@ end R, (x,y) = polynomial_ring(QQ, ["x", "y"]) Q, (a,b) = QuotientRing(R, Ideal(R, x-y)) @test iszero(a-b) - @test (a-b)==Q(0) + @test (a-b) == Q(0) + @test a == b end @testset "poly.change_base_ring" begin