Numeric certified algorithm for the topology of resultant and discriminant curves - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2014

Numeric certified algorithm for the topology of resultant and discriminant curves

Résumé

Let $\mathcal C$ be a real plane algebraic curve defined by the resultant of twopolynomials (resp. by the discriminant of a polynomial). Geometrically such acurve is the projection of the intersection of the surfaces$P(x,y,z)=Q(x,y,z)=0$ (resp. $P(x,y,z)=\frac{\partial P}{\partial z}(x,y,z)=0$),and generically its singularities are nodes (resp. nodes and ordinary cusp).State-of-the-art numerical algorithms cannot handle the computation of itstopology. The main challenge is to find numerical criteria that guarantee theexistence and the uniqueness of a singularity inside a given box $B$, whileensuring that $B$ does not contain any closed loop of $\mathcal{C}$. We solvethis problem by providing a square deflation system that can be used to certifynumerically whether $B$ contains a singularity $p$. Then we introduce a numericadaptive separation criterion based on interval arithmetic to ensure that thetopology of $\mathcal C$ in $B$ is homeomorphic to the local topology at $p$.
Fichier principal
Vignette du fichier
RR-8653.pdf (534.6 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01093040 , version 1 (10-12-2014)
hal-01093040 , version 2 (07-01-2015)
hal-01093040 , version 3 (27-04-2015)

Identifiants

Citer

Guillaume Moroz, Marc Pouget. Numeric certified algorithm for the topology of resultant and discriminant curves. [Research Report] RR-8653, Inria. 2014. ⟨hal-01093040v1⟩
383 Consultations
306 Téléchargements

Altmetric

Partager

More