Intersecting quadrics: an efficient and exact implementation

  • Authors:
  • Sylvain Lazard;Luis Mariano Peòaranda;Sylvain Petitjean

  • Affiliations:
  • LORIA-INRIA Lorraine, Campus scientifique, B.P. 239, 54506 Vandœuvre-lès-Nancy cedex, France;Facultad de Ciencias Exactas, Ingeniería y Agrimensura, Universidad Nacional de Rosario, Pellegrini 250, 2000 Rosario, Argentina;LORIA-CNRS, Campus scientifique, B.P. 239, 54506 Vandœuvre-lès-Nancy cedex, France

  • Venue:
  • Computational Geometry: Theory and Applications
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present the first complete, exact, and efficient C++ implementation for parameterizing the intersection of two implicit quadrics with integer coefficients of arbitrary size. It is based on the near-optimal algorithm recently introduced by Dupont et al. [L. Dupont, D. Lazard, S. Lazard, S. Petitjean, Near-optimal parameterization of the intersection of quadrics, in: Proc. of SoCG, ACM Symposium on Computational Geometry, San Diego, 2003, pp. 246-255] and builds upon Levin's seminal work [J. Levin, A parametric algorithm for drawing pictures of solid objects composed of quadric surfaces, Comm. ACM 19 (10) (1976) 555-563]. Unlike existing implementations, it correctly identifies and parameterizes all the connected components of the intersection in all cases, returning parameterizations with rational functions whenever such parameterizations exist. In addition, the field of the coefficients of the parameterizations is either of minimal degree or involves one possibly unneeded square root. We prove upper bounds on the size of the coefficients of the output parameterizations and compare these bounds to observed values. We give other experimental results and present some examples.