correction

oscar-system · Aug 19, 2023 · f240bbd · f240bbd
1 parent 6d2de54
commit f240bbd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 9 deletions.
diff --git a/src/Modules/ModulesGraded.jl b/src/Modules/ModulesGraded.jl
@@ -2328,13 +2328,6 @@ function cm_regularity(M::SubquoModule)
   return maximum(V)
 end
 
-function cm_regularity(I::MPolyIdeal)
-   R = base_ring(I)
-   M = quotient_ring_as_module(I)
-   return cm_regularity(M)+1
-end
-
-
 #####affine algebras as modules#####
 
 @doc raw"""

diff --git a/src/Rings/mpoly-graded.jl b/src/Rings/mpoly-graded.jl
@@ -2485,8 +2485,8 @@ end
 @doc raw"""
     cm_regularity(I::MPolyIdeal)
 
-Given a (homogeneous) ideal `I` in a standard $\mathbb Z$-graded multivariate polynomial ring,
-return the Castelnuovo-Mumford regularity of I.
+Given a (homogeneous) ideal `I` in a standard $\mathbb Z$-graded multivariate polynomial ring
+with coefficients in a field, return the Castelnuovo-Mumford regularity of I.
  
 # Examples
 ```jldoctest