search for:
dim Module
-- calculate the dimension
Synopsis:
Function:
dim
-- calculate the dimension
Input:
an instance of class
Module
.
Output:
an instance of class
ZZ
.
Code:
-- ../m2/modules2.m2:395 dim Module := M -> dim ring M - codim M
search for: