Test sqrt for rings

Author: albinahlback

test/Rings-test.jl

@@ -63,6 +63,15 @@ end
    end
 end
 
+@testset "sqrt" begin
+  Zx, x = ZZ[:x]
+
+  @test sqrt((x + 1)^2, check=true) == x + 1
+  @testthrows ErrorException sqrt(-(x + 1)^2, check=true)
+  @test is_square_with_sqrt(x^2) == (true, x)
+  @test is_square_with_sqrt(2 * x^2)[1] == false
+end
+
 @testset "properties" begin
   @test is_perfect(QQ)
   @test is_perfect(GF(2))