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