Test field interface conformance for arb types

Nemocas · Dec 3, 2024 · 258e64b · 258e64b
1 parent 00e302b
commit 258e64b
Show file tree

Hide file tree

Showing 8 changed files with 85 additions and 1 deletion.
diff --git a/src/arb/Complex.jl b/src/arb/Complex.jl
@@ -63,7 +63,10 @@ function canonical_unit(x::ComplexFieldElem)
   return x
 end
 
-# TODO: implement hash
+# TODO: implement better hash
+function hash(a::ComplexFieldElem, h::UInt)
+  return h
+end
 
 characteristic(::ComplexField) = 0
 

diff --git a/src/arb/Real.jl b/src/arb/Real.jl
@@ -32,6 +32,9 @@ zero(R::RealField) = R(0)
 one(R::RealField) = R(1)
 
 # TODO: Add hash (and document under ArbFieldElem basic functionality)
+function hash(a::RealFieldElem, h::UInt)
+  return h
+end
 
 @doc raw"""
     accuracy_bits(x::RealFieldElem)

diff --git a/src/arb/acb.jl b/src/arb/acb.jl
@@ -74,6 +74,9 @@ function canonical_unit(x::AcbFieldElem)
 end
 
 # TODO: implement hash
+function hash(a::AcbFieldElem, h::UInt)
+  return h
+end
 
 characteristic(::AcbField) = 0
 

diff --git a/src/arb/arb.jl b/src/arb/arb.jl
@@ -32,6 +32,9 @@ zero(R::ArbField) = R(0)
 one(R::ArbField) = R(1)
 
 # TODO: Add hash (and document under ArbFieldElem basic functionality)
+function hash(a::ArbFieldElem, h::UInt)
+  return h
+end
 
 @doc raw"""
     accuracy_bits(x::ArbFieldElem)

diff --git a/test/arb/Complex-test.jl b/test/arb/Complex-test.jl
@@ -1,6 +1,23 @@
 RR = RealField()
 CC = ComplexField()
 
+function test_elem(R::ComplexField)
+    randtype = rand((
+    :urandom,
+    :randtest,
+    :randtest_exact,
+    :randtest_precise,
+    :randtest_wide,
+    :randtest_special,
+    ))
+  return rand(R; randtype)
+end
+
+@testset "ComplexFieldElem.conformance_tests" begin
+  test_Field_interface(CC)
+  #test_Field_interface_recursive(CC)
+end
+
 @testset "ComplexFieldElem.constructors" begin
   @test isa(CC, ComplexField)
   @test isa(CC(2), FieldElem)

diff --git a/test/arb/Real-test.jl b/test/arb/Real-test.jl
@@ -1,5 +1,22 @@
 RR = RealField()
 
+function test_elem(R::RealField)
+    randtype = rand((
+    :urandom,
+    :randtest,
+    :randtest_exact,
+    :randtest_precise,
+    :randtest_wide,
+    :randtest_special,
+    ))
+  return rand(R; randtype)
+end
+
+@testset "RealFieldElem.conformance_tests" begin
+  test_Field_interface(RR)
+  #test_Field_interface_recursive(RR)
+end
+
 @testset "RealFieldElem.precision" begin
   old_prec = precision(RealField)
 

diff --git a/test/arb/acb-test.jl b/test/arb/acb-test.jl
@@ -1,6 +1,23 @@
 RR = ArbField(64)
 CC = AcbField(64)
 
+function test_elem(R::AcbField)
+    randtype = rand((
+    :urandom,
+    :randtest,
+    :randtest_exact,
+    :randtest_precise,
+    :randtest_wide,
+    :randtest_special,
+    ))
+  return rand(R; randtype)
+end
+
+@testset "AcbFieldElem.conformance_tests" begin
+  test_Field_interface(CC)
+  #test_Field_interface_recursive(CC)
+end
+
 @testset "AcbFieldElem.constructors" begin
   @test isa(CC, AcbField)
   @test isa(CC(2), FieldElem)

diff --git a/test/arb/arb-test.jl b/test/arb/arb-test.jl
@@ -1,5 +1,26 @@
 RR = ArbField(64)
 
+function test_elem(R::ArbField)
+    randtype = rand((
+    :urandom,
+    :randtest,
+    :randtest_exact,
+    :randtest_precise,
+    :randtest_wide,
+    :randtest_special,
+    ))
+  return rand(R; randtype)
+end
+
+function equality(a::T, b::T) where T <: Union{ArbFieldElem,RealFieldElem,AcbFieldElem,ComplexFieldElem}
+   return isequal(a, b)
+end
+
+@testset "ArbFieldElem.conformance_tests" begin
+  test_Field_interface(RR)
+  #test_Field_interface_recursive(RR)
+end
+
 @testset "ArbFieldElem.constructors" begin
   @test isa(RR, ArbField)
   @test isa(RR(2), FieldElem)