This package provides methods to deal with resultants and discriminants of multivariate polynomials, and with higher associated subvarieties of irreducible projective varieties. The main methods are: resultant(Matrix), discriminant(RingElement), chowForm, dualVariety, and tangentialChowForm. For the mathematical theory, we refer to the following two books: Using Algebraic Geometry, by David A. Cox, John Little, Donal O'shea; Discriminants, Resultants, and Multidimensional Determinants, by Israel M. Gelfand, Mikhail M. Kapranov and Andrei V. Zelevinsky. Other references for the theory of Chow forms are: The equations defining Chow varieties, by M. L. Green and I. Morrison; Multiplicative properties of projectively dual varieties, by J. Weyman and A. Zelevinsky; and Coisotropic hypersurfaces in Grassmannians, by K. Kohn.
Version 1.2.1 of this package was accepted for publication in volume 8 of The Journal of Software for Algebra and Geometry on 18 May 2018, in the article A package for computations with classical resultants (DOI: 10.2140/jsag.2018.8.21). That version can be obtained from the journal.
This documentation describes version 1.2.2 of Resultants, released May 10, 2019.
If you have used this package in your research, please cite it as follows:
|
The object Resultants is a package, defined in Resultants.m2.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/Resultants.m2:852:0.