Macaulay2 » Documentation
Packages » K3Carpets :: Index
next | previous | forward | backward | up | index | toc

# K3Carpets : Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

- allGradings -- add Grading to a Complex
- allGradings(Complex,Ring) -- add Grading to a Complex
- analyzeStrand -- analyze the (a+1)-st constant strand of F over ZZ
- analyzeStrand(Complex,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,Complex) -- 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(Complex) -- get the names of generators in the (nonminimal) Schreyer resolution according to Schreyer's convention
- schreyerName(Complex,ZZ) -- get the names of generators in the (nonminimal) Schreyer resolution according to Schreyer's convention
- schreyerName(Complex,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