carpet -- ideal of a K3 carpet

Synopsis

• Usage:

  I = carpet L

• Inputs:
  • L, a list,
  • CoefficientField, a ring, the ground field
  • VariableName, a string,
• Optional inputs:
  • CoefficientField => ..., default value ZZ/32003
  • VariableName => ..., default value "x"
• Outputs:
  • I, an ideal,

Description

i1 : betti res carpet{1,3}

            0 1 2 3
o1 = total: 1 5 5 1
         0: 1 . . .
         1: . 3 2 .
         2: . 2 3 .
         3: . . . 1

o1 : BettiTally

See also

• correspondenceScroll -- Union of planes joining points of rational normal curves according to a given correspondence