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 -- package for computation with 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