Macaulay2 » Documentation
Packages » K3Carpets :: FineGrading
next | previous | forward | backward | up | index | toc

FineGrading -- Option for carpet, canonicalCarpet

Description

The default is FineGrading => false. If the option FineGrading=>true is given, then the ideal returned has the natural $\ZZ^4$ grading, where x_i has degree \{1,0,i,a-i\}\ and y_i has degree \{0,1,i,b-i\}. (Note that after the call carpet(a1,a2) we have a = min(a1,a2), b = max(a1,a2).)

Functions with optional argument named FineGrading:

  • canonicalCarpet(...,FineGrading=>...) -- see canonicalCarpet -- Carpet of given genus and Clifford index
  • canonicalHomotopies(...,FineGrading=>...) -- see canonicalHomotopies -- Homotopies on the resolution of a K3 carpet
  • carpet(...,FineGrading=>...) -- see carpet -- Ideal of the unique Gorenstein double structure on a 2-dimensional scroll

For the programmer

The object FineGrading is a symbol.


The source of this document is in K3Carpets.m2:1640:0.