The type of a local Cohen-Macaulay ring is the number of generators of the canonical module, or equivalently the dimension of the socle of an zero-dimensional reduction.
For example, the type of a complete intersection such as the semigroup ring of a semigroup generated by 2 elements.
|
The object type is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/NumericalSemigroups.m2:2008:0.