search for:
codim Ideal
-- calculate the codimension
Synopsis:
Function:
codim
-- calculate the codimension
Input:
an instance of class
Ideal
.
Output:
an instance of class
ZZ
.
Code:
-- ../m2/matrix1.m2:521 codim Ideal := I -> codim cokernel generators I
search for: