raoModule -- computes the Rao module of a curve

Synopsis

• Usage:

  M = raoModule I

• Inputs:
  • I, an ideal, of a pure dimension one subscheme
• Outputs:
  • M, a module

Description

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

i2 : I = monomialCurveIdeal(R,{1,3,4});

o2 : Ideal of R

i3 : M = raoModule I

o3 = cokernel {1} | w -z y -x |

                            1
o3 : R-module, quotient of R