Macaulay2
»
Documentation
Packages
»
CorrespondenceScrolls
::
Index
next | previous | forward | backward | up |
index
|
toc
CorrespondenceScrolls : 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
carpet
-- ideal of a K3 carpet
carpet(...,CoefficientField=>...)
-- ideal of a K3 carpet
carpet(...,VariableName=>...)
-- ideal of a K3 carpet
carpet(List)
-- ideal of a K3 carpet
CoefficientField
-- symbol used to define the ground field in many routines
correspondencePolynomial
-- computes the Hilbert polynomial of a correspondence scroll
correspondencePolynomial(...,VariableName=>...)
-- computes the Hilbert polynomial of a correspondence scroll
correspondencePolynomial(Module,List)
-- computes the Hilbert polynomial of a correspondence scroll
correspondenceScroll
-- Union of planes joining points of rational normal curves according to a given correspondence
correspondenceScroll(...,VariableName=>...)
-- 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
CorrespondenceScrolls
-- Package to compute and analyze examples of Correspondence Scrolls
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
hankelMatrix(ZZ,ZZ,String)
-- matrix with constant anti-diagonal entries
irrelevantIdeal
-- returns the irrelevant ideal of a multi-graded ring
multiHilbertPolynomial
-- Multi-graded Hilbert polynomial for a product of projective spaces
multiHilbertPolynomial(...,VariableName=>...)
-- Multi-graded Hilbert polynomial for a product of projective spaces
multiHilbertPolynomial(Module)
-- Multi-graded Hilbert polynomial for a product of projective spaces
productOfProjectiveSpaces
-- Constructs the multi-graded ring of a product of copies of P^1 (pp is a synonym)
productOfProjectiveSpaces(...,CoefficientField=>...)
-- Constructs the multi-graded ring of a product of copies of P^1 (pp is a synonym)
productOfProjectiveSpaces(...,VariableName=>...)
-- 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(ZZ)
-- Constructs the multi-graded ring of a product of copies of P^1 (pp is a synonym)
schemeInProduct
-- multi-graded Ideal of the image of a map to a product of projective spaces
schemeInProduct(...,VariableName=>...)
-- multi-graded Ideal of the image of a map to a product of projective spaces
schemeInProduct(Ideal,List)
-- 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
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
VariableName
-- symbol used to define the variable name in many routines