isCohenMacaulay(R)
The function isCohenMacaulay determines if a ring is Cohen-Macaulay. If the option AtOrigin (default value false) is set to true, isCohenMacaulay will simply call the isCM function in the Depth package, which checks whether the ring is Cohen-Macaulay at the origin; otherwise, isCohenMacaulay checks the Cohen-Macaulay property globally, which sometimes is much faster than the local computation.
|
|
|
|
|
|
|
|
The function isCohenMacaulay considers $R$ as a quotient of a polynomial ring, $R = S/I$, and takes a resolution of $I$. If the resolution has length equal to dim $S$ - dim $R$, then $R$ is Cohen-Macaulay. If the resolution has a different length, and $I$ is homogeneous, then $R$ is not Cohen-Macaulay. Finally, if the resolution has a different length and $I$ is not homogeneous, the function looks at the Ext modules which compute the depth.
This function assumes that the spectrum of the ring is connected. If given a non-equidimensional Cohen-Macaulay ring (e.g., a ring whose spectrum has two connected components of different dimensions), isCohenMacaulay will return false.
The object isCohenMacaulay is a method function with options.