Revision history [back]

\textbf{Question.} Is there a command to compute the \emph{Castelnuovo--Mumford regularity} of a homogeneous ideal?

Definition. If $\beta_{i,j}(I)$ denotes the graded Betti numbers of a minimal graded free resolution of $I$, then $$ \operatorname{reg}(I) = \max \{{ j -i :\beta_{i,j}(I) \neq 0 \}} $$

I have checked the documentation, but I did not find such a command under Graded free resolution.

If such a command exists, do you know whether it is more efficient than the one provided in Macaulay2?

Thanks a lot in advance!

\textbf{Question.} Is there a command to compute the \emph{Castelnuovo--Mumford regularity} of a homogeneous ideal?

Definition. If $\beta_{i,j}(I)$ denotes the graded Betti numbers of a minimal graded free resolution of $I$, then $$ \operatorname{reg}(I) = \max \{{ j -i :\beta_{i,j}(I) \neq 0 \}} $$

I have checked the documentation, but I did not find such a command under Graded free resolution.

If such a command exists, do you know whether it is more efficient than the one provided in Macaulay2?

Thanks a lot in advance!

Is there a command to compute the \emph{Castelnuovo--Mumford regularity} Castelnuovo--Mumford regularity of a homogeneous ideal?

Definition. If $\beta_{i,j}(I)$ denotes the graded Betti numbers of a minimal graded free resolution of $I$, then $$ \operatorname{reg}(I) = \max \{{ j -i :\beta_{i,j}(I) \neq 0 \}} $$

I have checked the documentation, but I did not find such a command under Graded free resolution.

If such a command exists, do you know whether it is more efficient than the one provided in Macaulay2?

Thanks a lot in advance!