socleDegrees -- lists the degrees of the socle generators

Synopsis

• Usage:

  L = socleDegrees M

• Inputs:
  • M, a module,
• Outputs:
  • L, a list,

Description

i1 : R = ZZ/101[x,y,z]

o1 = R

o1 : PolynomialRing

i2 : M0 = R^1/(ideal(x,y,z)*ideal (x,y));

i3 : M1 = coker random(R^{1,2}, R^{0,-1,-2}); -- dim 1

i4 : M2 = coker random(R^{1,2}, R^{0,-1,-2,-4}); -- dim 0