K3Carpets : Index

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