Macaulay2
»
Documentation
Packages
»
Resultants
::
Index
next | previous | forward | backward | up |
index
|
toc
Resultants : 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
AffineChartGrass
-- use an affine chart on the Grassmannian
AffineChartProj
-- use an affine chart on the projective space
affineDiscriminant
-- affine discriminant
affineDiscriminant(...,Algorithm=>...)
affineDiscriminant(RingElement)
-- affine discriminant
affineResultant
-- affine resultant
affineResultant(...,Algorithm=>...)
affineResultant(List)
-- affine resultant
affineResultant(Matrix)
-- affine resultant
AssumeOrdinary
-- whether the expected codimension is 1
cayleyTrick
-- Cayley trick
cayleyTrick(...,Duality=>...)
-- whether to use dual Plücker coordinates
cayleyTrick(...,Variable=>...)
-- specify a name for a variable
cayleyTrick(Ideal,ZZ)
-- Cayley trick
chowEquations
-- Chow equations of a projective variety
chowEquations(...,Variable=>...)
-- specify a name for a variable
chowEquations(RingElement)
-- Chow equations of a projective variety
chowForm
-- Chow form of a projective variety
chowForm(...,AffineChartGrass=>...)
-- use an affine chart on the Grassmannian
chowForm(...,AffineChartProj=>...)
-- use an affine chart on the projective space
chowForm(...,Duality=>...)
-- whether to use dual Plücker coordinates
chowForm(...,Variable=>...)
-- specify a name for a variable
chowForm(Ideal)
-- Chow form of a projective variety
chowForm(RingMap)
-- Chow form of a projective variety
conormalVariety
-- conormal variety
conormalVariety(...,SingularLocus=>...)
-- pass the singular locus of the variety
conormalVariety(...,Strategy=>...)
conormalVariety(...,Variable=>...)
-- specify a name for a variable
conormalVariety(Ideal)
-- conormal variety
discriminant(...,Algorithm=>...)
discriminant(RingElement)
-- resultant of the partial derivatives
Duality
-- whether to use dual Plücker coordinates
dualize
-- apply duality of Grassmannians
dualize(Ideal)
-- apply duality of Grassmannians
dualize(Matrix)
-- apply duality of Grassmannians
dualize(Ring)
-- apply duality of Grassmannians
dualize(RingElement)
-- apply duality of Grassmannians
dualize(RingMap)
-- apply duality of Grassmannians
dualize(VisibleList)
-- apply duality of Grassmannians
dualVariety
-- projective dual variety
dualVariety(...,AssumeOrdinary=>...)
-- whether the expected codimension is 1
dualVariety(...,SingularLocus=>...)
-- pass the singular locus of the variety
dualVariety(...,Strategy=>...)
dualVariety(Ideal)
-- projective dual variety
dualVariety(RingMap)
-- projective dual variety
fromPluckerToStiefel
-- convert from Plücker coordinates to Stiefel coordinates
fromPluckerToStiefel(...,AffineChartGrass=>...)
-- use an affine chart on the Grassmannian
fromPluckerToStiefel(...,Variable=>...)
-- specify a name for a variable
fromPluckerToStiefel(Ideal)
-- convert from Plücker coordinates to Stiefel coordinates
fromPluckerToStiefel(Matrix)
-- convert from Plücker coordinates to Stiefel coordinates
fromPluckerToStiefel(RingElement)
-- convert from Plücker coordinates to Stiefel coordinates
genericPolynomials
-- generic homogeneous polynomials
genericPolynomials(List)
-- generic homogeneous polynomials
genericPolynomials(VisibleList,Ring)
-- generic homogeneous polynomials
Grass
-- coordinate ring of a Grassmannian
Grass(...,Variable=>...)
-- specify a name for a variable
Grass(ZZ,ZZ)
-- coordinate ring of a Grassmannian
Grass(ZZ,ZZ,Ring)
-- coordinate ring of a Grassmannian
hurwitzForm
-- Hurwitz form of a projective variety
hurwitzForm(...,AffineChartGrass=>...)
-- use an affine chart on the Grassmannian
hurwitzForm(...,AffineChartProj=>...)
-- use an affine chart on the projective space
hurwitzForm(...,Duality=>...)
-- whether to use dual Plücker coordinates
hurwitzForm(...,SingularLocus=>...)
-- pass the singular locus of the variety
hurwitzForm(...,Variable=>...)
-- specify a name for a variable
hurwitzForm(Ideal)
-- Hurwitz form of a projective variety
isCoisotropic
-- whether a hypersurface of a Grassmannian is a tangential Chow form
isCoisotropic(...,AffineChartGrass=>...)
-- use an affine chart on the Grassmannian
isCoisotropic(RingElement)
-- whether a hypersurface of a Grassmannian is a tangential Chow form
isInCoisotropic
-- test membership in a coisotropic hypersurface
isInCoisotropic(...,Duality=>...)
-- whether to use dual Plücker coordinates
isInCoisotropic(...,SingularLocus=>...)
-- pass the singular locus of the variety
isInCoisotropic(Ideal,Ideal)
-- test membership in a coisotropic hypersurface
macaulayFormula
-- Macaulay formula for the resultant
macaulayFormula(List)
-- Macaulay formula for the resultant
macaulayFormula(Matrix)
-- Macaulay formula for the resultant
plucker
-- get the Plücker coordinates of a linear subspace
plucker(...,AffineChartGrass=>...)
-- use an affine chart on the Grassmannian
plucker(...,Variable=>...)
-- specify a name for a variable
plucker(Ideal)
-- get the Plücker coordinates of a linear subspace
plucker(Ideal,ZZ)
-- get the Plücker coordinates of a linear subspace
resultant(...,Algorithm=>...)
resultant(List)
-- multipolynomial resultant
resultant(Matrix)
-- multipolynomial resultant
Resultants
-- resultants, discriminants, and Chow forms
SingularLocus
-- pass the singular locus of the variety
tangentialChowForm
-- higher Chow forms of a projective variety
tangentialChowForm(...,AffineChartGrass=>...)
-- use an affine chart on the Grassmannian
tangentialChowForm(...,AffineChartProj=>...)
-- use an affine chart on the projective space
tangentialChowForm(...,AssumeOrdinary=>...)
-- whether the expected codimension is 1
tangentialChowForm(...,Duality=>...)
-- whether to use dual Plücker coordinates
tangentialChowForm(...,SingularLocus=>...)
-- pass the singular locus of the variety
tangentialChowForm(...,Variable=>...)
-- specify a name for a variable
tangentialChowForm(Ideal,ZZ)
-- higher Chow forms of a projective variety
veronese
-- Veronese embedding
veronese(...,Variable=>...)
-- specify a name for a variable
veronese(ZZ,ZZ)
-- Veronese embedding
veronese(ZZ,ZZ,Ring)
-- Veronese embedding