d = depth(I,M)
d = depth(M)
d = depth(I,I)
The function depth(I,M) computes the I-depth of a ring, module, or ideal. In the most general setting, it does this by computing Ext^i(A^1/I,M) for an A-Module M, and noting where it does not vanish. If the ring in question is a polynomial ring over a field, then it merely computes the codimension of I.
|
|
If I contains a unit, then depth(I,A) outputs infinity.
|
This symbol is provided by the package Depth.m2
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/Depth.m2:682:0.