We assume that
M is a graded module over a singly graded polynomal ring or a quotient of a polynomial ring, over a field
k.
If
M is finite dimensional over
k, the degree of
M is its dimension over
k. Otherwise, the degree of
M is the integer
d such that the hilbert polynomial of
M has the form
z |--> d z^e/e! + lower terms in z.i1 : R = ZZ/101[x,y,z];
|
i2 : degree cokernel symmetricPower ( 2, vars R )
o2 = 4
|