Resultants : Index
-
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 Plucker 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 Plucker 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 -- resultant of the partial derivatives
-
discriminant(..., Algorithm => ...)
-
discriminant(RingElement) -- resultant of the partial derivatives
-
Duality -- whether to use dual Plucker 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 Plucker 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 Plucker coordinates to Stiefel coordinates
-
fromPluckerToStiefel(Matrix) -- convert from Plucker coordinates to Stiefel coordinates
-
fromPluckerToStiefel(RingElement) -- convert from Plucker 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 Plucker 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 Plucker 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 Plucker 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 Plucker coordinates of a linear subspace
-
plucker(Ideal,ZZ) -- get the Plucker coordinates of a linear subspace
-
resultant -- multipolynomial resultant
-
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 Plucker 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