Test corner cases

Nemocas · Sep 18, 2024 · 3239fe0 · 3239fe0
1 parent f005b15
commit 3239fe0
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 0 deletions.
diff --git a/test/flint/gfp_fmpz_poly-test.jl b/test/flint/gfp_fmpz_poly-test.jl
@@ -541,6 +541,10 @@ end
   fac = factor_equal_deg(f, 1)
   @test length(fac) == 3
   @test prod(fac) == f
+  f = x + 1
+  fac = factor_equal_deg(f, 1)
+  @test length(fac) == 1
+  @test prod(fac) == f
 
   @test issetequal(roots(5 * x * (x^2 + 1)*(x^2 + 2)*(x+1)^2), F.([0, 123456789012345678948, 32539196700765078531, 90917592311580600418]))
 

diff --git a/test/flint/gfp_poly-test.jl b/test/flint/gfp_poly-test.jl
@@ -650,6 +650,10 @@ end
   fac = factor_equal_deg(f, 1)
   @test length(fac) == 3
   @test prod(fac) == f
+  f = x + 1
+  fac = factor_equal_deg(f, 1)
+  @test length(fac) == 1
+  @test prod(fac) == f
 
   @test issetequal(roots(5 * x * (x^2 + 1)*(x^2 + 2)*(x+1)^10), R.([0, -1]))
 

diff --git a/test/poly-test.jl b/test/poly-test.jl
@@ -7,6 +7,13 @@
   # This is broken in AbstractAlgebra https://github.com/Nemocas/AbstractAlgebra.jl/pull/1799
   #@test all(is_squarefree, keys(sf.fac))
   @test evaluate(sf) == f
+
+  sf = factor_squarefree(Kx(1))
+  @test length(sf) == 0
+  @test evaluate(sf) == Kx(1)
+  sf = factor_squarefree(x)
+  @test length(sf) == 1
+  @test evaluate(sf) == x
 end
 
 @testset "Squarefreeness" begin