Near-Optimal Parameterization of the Intersection of Quadrics: I. The Generic Algorithm

Laurent Dupont 1 Daniel Lazard 2 Sylvain Lazard 1 Sylvain Petitjean 1
1 VEGAS - Effective Geometric Algorithms for Surfaces and Visibility
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 SALSA - Solvers for Algebraic Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Abstract : We present an exact and efficient algorithm for computing a proper parametric representation of the intersection of two quadrics in three-dimensional real space given by implicit equations with rational coefficients. The output functions parameterizing the intersection in projective space are polynomial, whenever it is possible, which is the case when the intersection is not a smooth quartic (for example, a singular quartic, a cubic and a line, and two conics). Furthermore, the parameterization is near-optimal in the sense that the number of distinct square roots appearing in the coefficients of these functions is minimal, except in a small number of well-identified cases where there may be an extra square root. In addition, the algorithm is practical: a complete and efficient C++ implementation is described in Lazard et al. (2006). In Part I, we present an algorithm for computing a parameterization of the intersection of two arbitrary quadrics which we prove to be near-optimal in the generic, smooth quartic, case. Parts~II and~III treat the singular cases. We present in Part~II the first classification of pencils of quadrics according to the real type of the intersection and we show how this classification can be used to efficiently determine the type of the real part of the intersection of two arbitrary quadrics. This classification is at the core of the design of our algorithms for computing near-optimal parameterizations of the real part of the intersection in all singular cases. We present these algorithms in Part~III and give examples covering all the possible situations in terms of both the real type of intersection and the number and depth of square roots appearing in the coefficients.
Type de document :
Article dans une revue
Journal of Symbolic Computation, Elsevier, 2008, 43 (3), pp.168--191. 〈10.1016/j.jsc.2007.10.006〉
Liste complète des métadonnées

Littérature citée [37 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00186089
Contributeur : Sylvain Lazard <>
Soumis le : mercredi 7 novembre 2007 - 20:10:38
Dernière modification le : mardi 17 avril 2018 - 11:32:54
Document(s) archivé(s) le : lundi 24 septembre 2012 - 15:00:16

Fichier

JSC1.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Laurent Dupont, Daniel Lazard, Sylvain Lazard, Sylvain Petitjean. Near-Optimal Parameterization of the Intersection of Quadrics: I. The Generic Algorithm. Journal of Symbolic Computation, Elsevier, 2008, 43 (3), pp.168--191. 〈10.1016/j.jsc.2007.10.006〉. 〈inria-00186089〉

Partager

Métriques

Consultations de la notice

674

Téléchargements de fichiers

335