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 ZZ4-grading
Outputs:
I, an ideal, ideal of the K3 Carpet of (sectional) genus g, Clifford index cliff
Description
This is just a re-indexing of the carpet script: canonicalCarpet(g,cliff) = carpet(g-cliff-1, cliff). Here the natural choices for cliff are 1 ≤cliff ≤(g-1)//2.
See also
carpet -- Ideal of the unique Gorenstein double structure on a 2-dimensional scroll