Add test example for degree(::Ideal) (#3417)

* Add test example to PR #3412 as requested by @thofma
oscar-system · Feb 24, 2024 · 5d19430 · 5d19430
1 parent 5f86803
commit 5d19430
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/test/Rings/mpoly-graded.jl b/test/Rings/mpoly-graded.jl
@@ -559,3 +559,11 @@ end
   R, (x, y) = graded_polynomial_ring(QQ, ["x", "y"], [1, -1])
   @test is_positively_graded(R) == false
 end
+
+@testset "degree" begin
+  R, (x, y) = polynomial_ring(QQ, ["x", "y"])
+  I = ideal(R, zero(R))
+  d = degree(I)  
+  @test d == 1
+  @test d isa ZZRingElem
+end