Add basic conformance tests for is_irreducible

Author: fingolfin

test/Rings-conformance-tests.jl

@@ -528,6 +528,12 @@ function test_Ring_interface(R::AbstractAlgebra.Ring; reps = 50)
             @test B == b
          end
       end
+
+      @testset "Basic properties" begin
+         @test !is_irreducible(zero(R))
+         @test !is_irreducible(one(R))
+      end
+
    end
 
    return nothing
@@ -731,6 +737,17 @@ function test_Poly_interface(Rx::AbstractAlgebra.PolyRing; reps = 30)
             @test is_monic(a) == isone(leading_coefficient(a))
          end
       end
+
+      @testset "Basic properties" begin
+         try
+            flag = is_irreducible(x)
+            @test flag || is_trivial(R)
+         catch e
+            if !(e isa NotImplementedError)
+               rethrow(e)
+            end
+         end
+      end
    end
 
    return nothing