Fix dimension for ideals in polynomial rings.

oscar-system · Dec 11, 2024 · 67ae9ac · 67ae9ac
1 parent 6f971a7
commit 67ae9ac
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Rings/mpoly-ideals.jl b/src/Rings/mpoly-ideals.jl
@@ -1893,7 +1893,7 @@ julia> dim(I)
 function dim(I::MPolyIdeal)
   if I.dim === nothing
     if is_zero(ngens(base_ring(I))) # Catch a boundary case
-      I.dim = 0
+      I.dim = dim(coefficient_ring(base_ring(I)))
     else
       I.dim = Singular.dimension(singular_groebner_generators(I, false, true))
     end