Resultants : Table of Contents

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