Add some 'conformance tests' over zero rings

... but all commented out as they don't actually work
Nemocas · Oct 8, 2024 · 367e79c · 367e79c
1 parent a2a9c61
commit 367e79c
Show file tree

Hide file tree

Showing 4 changed files with 29 additions and 15 deletions.
diff --git a/test/Rings-conformance-tests.jl b/test/Rings-conformance-tests.jl
@@ -8,10 +8,14 @@
 #
 # The "recursive" variants perform additional tests on algebraic
 # structures derived from the original ring, by calling these helpers:
-# - test_EuclideanRing_interface(R)
 # - test_Poly_interface(R)
 # - test_MatSpace_interface(R)
 # - test_MatAlgebra_interface(R)
+#
+# The following helper needs can be invoked manually if appropriate
+# (it is only automatically called by the "recursive" variants when
+# testing an univariate polynomial ring over a field)
+# - test_EuclideanRing_interface(R)
 
 #
 # add methods for test_elem on ring elements here

diff --git a/test/generic/LaurentMPoly-test.jl b/test/generic/LaurentMPoly-test.jl
@@ -16,11 +16,14 @@ end
 
 @testset "Generic.LaurentMPoly.conformance" begin
     L, (x, y) = laurent_polynomial_ring(ZZ, ["x", "y"])
-    test_Ring_interface(L)
     test_Ring_interface_recursive(L)
 
     L, (x, y) = laurent_polynomial_ring(residue_ring(ZZ, ZZ(6))[1], ["x", "y"])
-    test_Ring_interface(L)
+    test_Ring_interface_recursive(L)
+
+    # special case: over zero ring
+    L, (x, y) = laurent_polynomial_ring(residue_ring(ZZ, ZZ(1))[1], ["x", "y"])
+    #test_Ring_interface(L)  # TODO: fails because `isone(one(L)) == false`
 end
 
 @testset "Generic.LaurentMPoly.constructors" begin

diff --git a/test/generic/LaurentPoly-test.jl b/test/generic/LaurentPoly-test.jl
@@ -5,14 +5,27 @@ using AbstractAlgebra.Generic: Integers, LaurentPolyWrapRing, LaurentPolyWrap,
 
 function test_elem(R::LaurentPolyWrapRing)
    n = rand(0:10)
-   if n == 0
+   if n == 0 || characteristic(R) == 1
       return zero(R)
    else
       m = rand(0:5)
       rand(R, -m:n-m, -99:99)
    end
 end
 
+@testset "Generic.LaurentPoly.conformance" begin
+   L, y = laurent_polynomial_ring(QQ, "y")
+   test_Ring_interface_recursive(L)
+   test_EuclideanRing_interface(L)
+
+   L, y = laurent_polynomial_ring(residue_ring(ZZ, ZZ(6))[1], "y")
+   test_Ring_interface_recursive(L)
+
+   # special case: over zero ring
+   L, y = laurent_polynomial_ring(residue_ring(ZZ, ZZ(1))[1], "y")
+   #test_Ring_interface(L)  # TODO: fails because `isone(one(L)) == false`
+end
+
 @testset "Generic.LaurentPoly" begin
    @testset "constructors" begin
       L0, y0 = laurent_polynomial_ring(zz, "y0")
@@ -491,14 +504,4 @@ end
       @test sprint(show, "text/plain", -y*z + (-y*z^2)) == "-y*z^2 - y*z"
       @test sprint(show, "text/plain", -y^0*z) == "-z"
    end
-
-   @testset "conformance" begin
-      L, y = laurent_polynomial_ring(QQ, "y")
-      test_Ring_interface(L)
-      test_EuclideanRing_interface(L)
-      test_Ring_interface_recursive(L)
-
-      L, y = laurent_polynomial_ring(residue_ring(ZZ, ZZ(6))[1], "y")
-      test_Ring_interface(L)
-   end
 end
diff --git a/test/generic/Residue-test.jl b/test/generic/Residue-test.jl
@@ -1,5 +1,9 @@
 @testset "EuclideanRingResidueRingElem.conformance_tests" begin
-   test_Ring_interface(residue_ring(ZZ, 1)[1])   # is_gen fails on polys
+   # special case: over zero ring
+   test_Ring_interface(residue_ring(ZZ, 1)[1])
+   #test_Ring_interface_recursive(residue_ring(ZZ, 1)[1])   # polynomial ring fail isone(one(R)) and more
+
+   #
    test_Ring_interface_recursive(residue_ring(ZZ, -4)[1])
 
    #