Algorithm for implicitizing rational parametric surfaces

Abstract Many current geometric modeling systems use the rational parametric form to represent surfaces. Although the parametric representation is useful for tracing, rendering and surface fitting, many operations like surface intersection desire one of the surfaces to be represented implicitly. Moreover, the implicit representation can be used for testing whether a point lies on the surface boundary and to represent an object as a semi-algebraic set. Previously resultants and Grobner bases have been used to implicitize parametric surfaces. In particular, different formulations of resultants have been used to implicitize tensor product surfaces and triangular patches and in many cases the resulting expression contains and extraneous factor. The separation of these extraneous factors can be a time consuming task involving multivariate factorization. Furthermore, these algorithms fail altogether if the given parametrization has base points. In this paper we present an algorithm to implicitize parametric surfaces. One of the advantages of the algorithm is that we do not need multivariate factorization. If a parametrization has no base points, the implicit representation can be represented as a determinant of a matrix, otherwise we use perturbation techniques. In the latter case we make use of GCD operation to compute the implicit representation. We also describe an efficient implementation of the algorithm based on interpolation techniques.

[1]  F. Morley,et al.  New Results in Elimination , 1927 .

[2]  E. Chionh.  Base points, resultants, and the implicit representation of rational surfaces , 1990 .

[3]  Christoph M. Hoff.  Algebraic and Numerical Techniques for Off sets and Blends , 1989 .

[4]  Bruno Buchberger,et al.  Applications of Gro¨bner bases in non-linear computational geometry , 1988 .

[5]  F. S. Macaulay.  Some Formulæ in Elimination , 1902 .

[6]  Ron Goldman,et al.  Using multivariate resultants to find the intersection of three quadric surfaces , 1991, TOGS.

[7]  F. S. Macaulay,et al.  Note on the Resultant of a Number of Polynomials of the Same Degree , 1923 .

[8]  George Salmon.  A Treatise on the Analytic Geometry of Three Dimensions , 1912 .

[9]  C. Hoffmann.  Algebraic curves , 1988 .

[10]  Michael Ben-Or,et al.  A deterministic algorithm for sparse multivariate polynomial interpolation , 1988, STOC '88.

[11]  A. Clebsch.  Ueber die Abbildung algebraischer Flächen, insbesondere der vierten und fünften Ordnung , 1869 .

[12]  Christoph M. Hoffmann,et al.  A dimensionality paradigm for surface interrogations , 1990, Comput. Aided Geom. Des..

[13]  Joe Warren,et al.  On the Applications of Multi-Equational Resultants , 1988 .

[14]  Ron Goldman,et al.  Implicit representation of parametric curves and surfaces , 1984, Comput. Vis. Graph. Image Process..

[15]  Bruno Buchberger,et al.  Applications of Gröbner Bases in Non-linear Computational Geometry , 1987, Trends in Computer Algebra.

[16]  D. Mumford.  Algebraic Geometry I: Complex Projective Varieties , 1981 .

[17]  John F. Canny,et al.  Generalized Characteristic Polynomials , 1988, ISSAC.

[18]  Dinesh Manocha,et al.  Efficient techniques for multipolynomial resultant algorithms , 1991, ISSAC '91.

[19]  Erich Kaltofen,et al.  Improved Sparse Multivariate Polynomial Interpolation Algorithms , 1988, ISSAC.

[20]  A. L. Dixon.  The Eliminant of Three Quantics in two Independent Variables , 1909 .

[21]  T. Willmore.  Algebraic Geometry , 1973, Nature.

[22]  Thomas W. Sederberg.  Surfaces-techniques for cubic algebraic surfaces , 1990, IEEE Computer Graphics and Applications.

[23]  Frank Morley.  The Eliminant of a Net of Curves , 1925 .

[24]  Virgil Snyder.  Selected Topics in Algebraic Geometry , 1970 .

[25]  Christoph M. Hoffmann,et al.  Geometric and Solid Modeling: An Introduction , 1989 .

[26]  B. Buchberger,et al.  Grobner Bases : An Algorithmic Method in Polynomial Ideal Theory , 1985 .

[27]  Guido Castelnuovo.  Sulla razionalità delle involuzioni piane , 1894 .

[28]  George Salmon.  Lessons introductory to the modern higher algebra , 1885 .

[29]  Ron Goldman,et al.  Implicitizing rational surfaces with base points by applying perturbations and the factors of zero theorem , 1992 .

[30]  Thomas W. Sederberg,et al.  Techniques for cubic algebraic surfaces , 1990, IEEE Computer Graphics and Applications.

[31]  Dinesh Manocha,et al.  A new approach for surface intersection , 1991, SMA '91.

[32]  Dinesh Manocha,et al.  Implicit Representation of Rational Parametric Surfaces , 1992, J. Symb. Comput..