canonicalCarpet -- Carpet of given genus and Clifford index

Synopsis

• Usage:

  I = canonicalCarpet(g,cliff)

  (I,xmat,ymat) = canonicalCarpet(g,cliff,Scrolls=>true)

• Inputs:
  • g, an integer, desired genus
  • cliff, an integer, desired clifford index
• Optional inputs:
  • Characteristic => an integer, default value 32003, the characteristic of the ground field
  • Scrolls => a Boolean value, default value false, if true return in addition the matrices defining the sections
  • FineGrading => a Boolean value, default value false, if true then I is defined over the ring with $\ZZ^4$-grading
• Outputs:
  • I, an ideal, ideal of the K3 Carpet of (sectional) genus g, Clifford index cliff

Description

See also

• carpet -- Ideal of the unique Gorenstein double structure on a 2-dimensional scroll