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