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