On the isotopic meshing of an algebraic implicit surface

Daouda Diatta 1 Bernard Mourrain 2 Olivier Ruatta 1
2 GALAAD - Geometry, algebra, algorithms
CRISAM - Inria Sophia Antipolis - Méditerranée , UNS - Université Nice Sophia Antipolis, CNRS - Centre National de la Recherche Scientifique : UMR6621
Abstract : We present a new and complete algorithm for computing the topology of an algebraic surface given by a squarefree polynomial in Q[X, Y, Z]. Our algorithm involves only subresultant computations and entirely relies on rational manipulation, which makes it direct to implement. We extend the work in [15], on the topology of non-reduced algebraic space curves, and apply it to the polar curve or apparent contour of the surface S. We exploit simple algebraic criterion to certify the pseudo-genericity and genericity position of the surface. This gives us rational parametrizations of the components of the polar curve, which are used to lift the topology of the projection of the polar curve. We deduce the connection of the two-dimensional components above the cell defined by the projection of the polar curve. A complexity analysis of the algorithm is provided leading to a bound in OB (d15 τ ) for the complexity of the computation of the topology of an implicit algebraic surface defined by integer coefficients polynomial of degree d and coefficients size τ . Examples illustrate the implementation in Mathemagix of this first complete code for certified topology of algebraic surfaces.
Type de document :
Article dans une revue
Journal of Symbolic Computation, Elsevier, 2012, 47 (8), pp.903-925. 〈10.1016/j.jsc.2011.09.010〉
Liste complète des métadonnées

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

Contributeur : Olivier Ruatta <>
Soumis le : jeudi 5 novembre 2009 - 15:28:06
Dernière modification le : vendredi 12 janvier 2018 - 01:48:44
Document(s) archivé(s) le : mardi 16 octobre 2012 - 11:40:46


Fichiers produits par l'(les) auteur(s)




Daouda Diatta, Bernard Mourrain, Olivier Ruatta. On the isotopic meshing of an algebraic implicit surface. Journal of Symbolic Computation, Elsevier, 2012, 47 (8), pp.903-925. 〈10.1016/j.jsc.2011.09.010〉. 〈hal-00421214〉



Consultations de la notice


Téléchargements de fichiers