inria-00077120, version 2
Elimination theory in codimension one and applications
N° RR-5918 (2006)
Résumé : In these notes, we present a general framework to compute the codimension one part of the elimination ideal of a system of homogeneous polynomials. It is based on the computation of the so-called MacRae's invariants that we will obtain by means of determinants of complexes. Our approach mostly uses tools from commutative algebra. We begin with some basics on elimination theory and then introduce the MacRae's invariant and the so-called determinants of complexes. The rest of these notes illustrates our approach through two important examples: the Macaulay's resultant of $n$ homogeneous polynomials in $n$ variables and the computation of an implicit equation of a parameterized hypersurface using syzygies.
- a – INRIA
- 1 : GALAAD (INRIA Sophia Antipolis)
- INRIA – CNRS : UMR6621 – Université de Nice Sophia Antipolis (UNS)
- Domaine : Mathématiques/Algèbre commutative
Informatique/Calcul formel - Mots-clés : Elimination theory – homogeneous polynomial systems – resultants – determinants of complexes – computational algebra – implicitization of rational hypersurfaces
- Référence interne : RR-5918
- Commentaire : Notes of lectures given at the CIMPA-UNESCO-IRAN school in Zanjan – Iran – July 9-22 2005
- Versions disponibles : v1 (30-05-2006) v2 (02-06-2006)
- inria-00077120, version 2
- http://hal.inria.fr/inria-00077120
- oai:hal.inria.fr:inria-00077120
- Contributeur : Rapport De Recherche Inria
- Soumis le : Vendredi 2 Juin 2006, 17:05:49
- Dernière modification le : Mardi 30 Septembre 2008, 13:36:05
Documents associés
Exporter