Towards the Robust Intersection of Implicit Quadrics

We are interested in efficiently and robustly computing a parametric form of the intersection of two implicit quadrics with rational coefficients. Our method is similar in spirit to the general method introduced by J. Levin for computing an explicit representation of the intersection of two quadrics, but extends it in several directions. Combining results from the theory of quadratic forms, a projective formalism and new theorems characterizing the intersection of two quadratic surfaces, we show how to obtain parametric representations that are both “simple” (the size of the coefficients is small) and “as rational as possible”.

[1]  Joshua Levin,et al.  A parametric algorithm for drawing pictures of solid objects composed of quadric surfaces , 1976, CACM.

[2]  Joshua Z. Levin.  Mathematical models for determining the intersections of quadric surfaces , 1979 .

[3]  Manfred Knebusch,et al.  The algebraic theory of quadratic forms , 1980 .

[4]  Ramon F. Sarraga,et al.  Algebraic methods for intersections of quadric surfaces in GMSOLID , 1983, Comput. Vis. Graph. Image Process..

[5]  Rida T. Farouki,et al.  Automatic parsing of degenerate quadric-surface intersections , 1989, TOGS.

[6]  Ron Goldman,et al.  Combining algebraic rigor with geometric robustness for the detection and calculation of conic sections in the intersection of two natural quadric surfaces , 1991, SMA '91.

[7]  Bernard Péroche,et al.  Error-free boundary evaluation based on a lazy rational arithmetic: a detailed implementation , 1994, Comput. Aided Des..

[8]  Steven Fortune,et al.  Polyhedral modelling with exact arithmetic , 1995, Symposium on Solid Modeling and Applications.

[9]  Doug Ierardi,et al.  Constructing convex hulls of quadratic surface patches , 1995 .

[10]  Dinesh Manocha,et al.  Efficient and accurate B-rep generation of low degree sculptured solids using exact arithmetic: II - computation , 1999, Comput. Aided Geom. Des..

[11]  Dinesh Manocha,et al.  Eecient and Accurate B-rep Generation of Low Degree Sculptured Solids Using Exact Arithmetic:i - Representations , 1999 .

[12]  Irina Voiculescu,et al.  Interval methods in geometric modeling , 2000, Proceedings Geometric Modeling and Processing 2000. Theory and Applications.

[13]  Kokichi Sugihara,et al.  How to make geometric algorithms robust , 2000 .