From f240bbd3ed57b79eadb1555008e78fb840fde3d8 Mon Sep 17 00:00:00 2001
From: Wolfram Decker <decker@mathematik.uni-kl.de>
Date: Sat, 19 Aug 2023 16:40:59 +0200
Subject: [PATCH] correction

---
 src/Modules/ModulesGraded.jl | 7 -------
 src/Rings/mpoly-graded.jl    | 4 ++--
 2 files changed, 2 insertions(+), 9 deletions(-)

diff --git a/src/Modules/ModulesGraded.jl b/src/Modules/ModulesGraded.jl
index d329b38801a4..e144812ad586 100644
--- 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
index fe5827b47e93..4d4a621efaef 100644
--- 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