• K3Carpets -- The unique Gorenstein double structure on a surface scroll
• analyzeStrand -- analyze the (a+1)-st constant strand of F over ZZ
• canonicalCarpet -- Carpet of given genus and Clifford index
• canonicalHomotopies -- Homotopies on the resolution of a K3 carpet
• carpet -- Ideal of the unique Gorenstein double structure on a 2-dimensional scroll
• carpetBettiTable -- compute the Betti tables of a carpet of given genus and Clifford index over a prime field of characteristic p
• carpetBettiTables -- compute the Betti tables of a carpet of given genus and Clifford index over all prime fields
• carpetDet -- compute the determinant of the crucial constant strand of a carpet X(a,b)
• computeBound -- compute the bound for the good types in case of k resonance
• correspondenceScroll -- Union of planes joining points of rational normal curves according to a given correspondence
• coxMatrices -- compute the Cox matrices
• degenerateK3 -- Ideal of a degenerate K3 surface X_e(a,b)
• degenerateK3BettiTables -- compute the Betti tables of a degenerate K3 over all prime fields
• FineGrading -- Option for carpet, canonicalCarpet
• gorensteinDouble -- attempts to produce a Gorenstein double structure J subset I
• hankelMatrix -- matrix with constant anti-diagonal entries
• homotopyRanks -- compute the ranks of the quadratic homotopies on a carpet
• irrelevantIdeal -- returns the irrelevant ideal of a multi-graded ring
• productOfProjectiveSpaces -- Constructs the multi-graded ring of a product of copies of P^1 (pp is a synonym)
• relativeEquations -- compute the relative quadrics
• relativeResolution -- compute the relative resolution
• relativeResolutionTwists -- compute the twists in the relative resolution
• resonanceDet -- compute the resonance determinant of the crucial constant strand of a degenerate K3 X_e(a,a)
• resonanceScroll -- compute the splitting type of the resonance scroll
• schemeInProduct -- multi-graded Ideal of the image of a map to a product of projective spaces
• schreyerName -- get the names of generators in the (nonminimal) Schreyer resolution according to Schreyer's convention
• Scrolls -- Option for carpet, canonicalCarpet
• smallDiagonal -- Ideal of the small diagonal in (P^1)^n