top
|
toc
|
Macaulay2 website
MultiprojectiveVarieties : 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
ambient(MultiprojectiveVariety)
-- the ambient of the variety
baseLocus
-- the base locus of a multi-rational map
baseLocus(MultirationalMap)
-- the base locus of a multi-rational map
check(MultirationalMap)
-- check that a multi-rational map is well-defined
codim(MultiprojectiveVariety)
-- the codimension of the variety
coefficientRing(MultiprojectiveVariety)
-- the coefficient ring of the variety
coefficientRing(MultirationalMap)
-- the coefficient ring of a multi-rational map
compose(MultirationalMap,MultirationalMap)
-- composition of multi-rational maps
degree(MultiprojectiveVariety)
-- the degree of the variety
degree(MultirationalMap)
-- degree of a multi-rational map
degreeMap(MultirationalMap)
-- degree of a multi-rational map
dim(MultiprojectiveVariety)
-- the dimension of the variety
euler(MultiprojectiveVariety)
-- topological Euler characteristic of a (smooth) projective variety
factor(MultirationalMap)
-- the list of rational maps defining a multi-rational map
fiberProduct
-- fiber product of projective varieties
fiberProduct(RationalMap,RationalMap)
-- fiber product of projective varieties
graph(MultirationalMap)
-- the graph of a multi-rational map
ideal(MultiprojectiveVariety)
-- the defining ideal of the variety
image(MultirationalMap)
-- image of a multi-rational map
inverse(MultirationalMap)
-- inverse of a birational map
isIsomorphism(MultirationalMap)
-- whether a birational map is an isomorphism
isMorphism(MultirationalMap)
-- whether a multi-rational map is a morphism
isSubset(MultiprojectiveVariety,MultiprojectiveVariety)
-- whether one variety is a subvariety of another
multidegree(MultiprojectiveVariety)
-- the multidegree of the variety
multidegree(MultirationalMap)
-- projective degrees of a multi-rational map
MultiprojectiveVarieties
-- Multi-projective varieties and multi-rational maps
MultiprojectiveVariety
-- the class of all multi-projective varieties
MultiprojectiveVariety * MultiprojectiveVariety
-- intersection of projective varieties
MultiprojectiveVariety ** MultiprojectiveVariety
-- product of projective varieties
MultiprojectiveVariety + MultiprojectiveVariety
-- union of projective varieties
MultiprojectiveVariety - MultiprojectiveVariety
-- difference of projective varieties
MultiprojectiveVariety == MultiprojectiveVariety
-- equality of projective varieties
MultirationalMap
-- the class of all multi-rational maps
multirationalMap
-- the multi-rational map defined by a list of rational maps
MultirationalMap * MultirationalMap
-- composition of multi-rational maps
MultirationalMap == MultirationalMap
-- equality of multi-rational maps
MultirationalMap ^*
-- inverse image via a multi-rational map
MultirationalMap ^** MultiprojectiveVariety
-- inverse image via a multi-rational map
MultirationalMap | MultiprojectiveVariety
-- restriction of a multi-rational map
MultirationalMap | MultirationalMap
-- product of multi-rational maps
MultirationalMap || MultiprojectiveVariety
-- restriction of a multi-rational map
MultirationalMap MultiprojectiveVariety
-- direct image via a multi-rational map
multirationalMap(List)
-- the multi-rational map defined by a list of rational maps
multirationalMap(List,MultiprojectiveVariety)
-- the multi-rational map defined by a list of rational maps
multirationalMap(MultiprojectiveVariety)
-- identity map
multirationalMap(MultiprojectiveVariety,MultiprojectiveVariety)
-- get the natural inclusion
multirationalMap(MultirationalMap,MultiprojectiveVariety)
-- change the target of a rational map
point(MultiprojectiveVariety)
-- pick a random rational point on a projective variety
projections
-- projections of a multi-projective variety
projections(MultiprojectiveVariety)
-- projections of a multi-projective variety
projectiveDegrees(MultirationalMap)
-- projective degrees of a multi-rational map
projectiveVariety
-- the closed multi-projective subvariety defined by a multi-homogeneous ideal
projectiveVariety(...,MinimalGenerators=>...)
-- the closed multi-projective subvariety defined by a multi-homogeneous ideal
projectiveVariety(...,Saturate=>...)
-- the closed multi-projective subvariety defined by a multi-homogeneous ideal
projectiveVariety(Ideal)
-- the closed multi-projective subvariety defined by a multi-homogeneous ideal
projectiveVariety(MultidimensionalMatrix)
-- the multi-projective variety defined by a multi-dimensional matrix
projectiveVariety(Ring)
-- the closed multi-projective subvariety defined by a multi-homogeneous ideal
ring(MultiprojectiveVariety)
-- the coordinate ring of the variety
segre(MultiprojectiveVariety)
-- the Segre embedding of the variety
segre(MultirationalMap)
-- the composition of a multi-rational map with the Segre embedding of the target
singularLocus(MultiprojectiveVariety)
-- the singular locus of the variety
source(MultirationalMap)
-- the source for a multi-rational map
super(MultirationalMap)
-- get the multi-rational map whose target is a product of projective spaces
target(MultirationalMap)
-- the target for a multi-rational map