Merge acd95a3 into 2453078

oscar-system · Nov 2, 2022 · b161c6a · b161c6a
2 parents 2453078 + acd95a3
commit b161c6a
Showing 1 changed file with 6 additions and 14 deletions.
diff --git a/test/poly/PolyRing-test.jl b/test/poly/PolyRing-test.jl
@@ -1,29 +1,21 @@
 @testset "PolyRing.degree_bound" begin
    R1, = PolynomialRing(QQ, ["x", ])
-   @test degree_bound(R1) == 65535
+   @test degree_bound(R1) >= 0
 
    R2, = PolynomialRing(QQ, ["x", "y"]; degree_bound = 3)
-   @test degree_bound(R2) == 65535
+   @test degree_bound(R2) >= 3
 
    R3, = PolynomialRing(QQ, [ "x$i" for i in 1:100 ]; degree_bound = 3)
-   @test degree_bound(R3) == 3
+   @test degree_bound(R3) >= 3
 
    R4, = PolynomialRing(QQ, [ "x$i" for i in 1:12 ]; degree_bound = 5)
-   @test degree_bound(R4) == 31
+   @test degree_bound(R4) >= 5
 
    R5, = PolynomialRing(QQ, [ "x$i" for i in 1:10 ]; degree_bound = 5)
-   if Sys.WORD_SIZE == 64
-      @test degree_bound(R5) == 63
-   elseif Sys.WORD_SIZE == 32
-      @test degree_bound(R5) == 7
-   end
+   @test degree_bound(R5) >= 5
 
    R6, = PolynomialRing(QQ, [ "x$i" for i in 1:10 ]; degree_bound = 10000000)
-   if Sys.WORD_SIZE == 64
-      @test degree_bound(R6) == 4294967295
-   elseif Sys.WORD_SIZE == 32
-      @test degree_bound(R6) == 2147483647
-   end
+   @test degree_bound(R6) >= 10000000
 end
 
 @testset "PolyRing.ordering.symbol" begin