Invariant-based characterization of the relative position of two projective conics
Résumé
In this paper, we give predicates of bidegree at most (6,6) in the input for characterizing the relative position of two projective conics. By relative position we mean the morphology of the intersection, the rigid isotopy class and which conic is inside the other when applicable. The predicates are derived by analyzing the algebraic invariant theory of pencils of conics and related constructions.