Macaulay2 » Documentation
Packages » NumericalSemigroups :: type
next | previous | forward | backward | up | index | toc

type -- type of the local semigroup ring

Synopsis

Description

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.

i1 : type {3,5}

o1 = 1

See also

Ways to use type:

For the programmer

The object type is a method function.