Implicitization and parametrization of quadratic and cubic surfaces by μ-bases

Parametric and implicit forms are two common representations of geometric objects. It is important to be able to pass back and forth between the two representations, two processes called parameterization and implicitization, respectively. In this paper, we study the parametrization and implicitization of quadrics (quadratic parametric surfaces with two base points) and cubic surfaces (cubic parametric surfaces with six base points) with the help of μ-bases – a newly developed tool which connects the parametric form and the implicit form of a surface. For both cases, we show that the minimal μ-bases are all linear in the parametric variables, and based on this observation, very efficient algorithms are devised to compute the minimal μ-bases either from the parametric equation or the implicit equation. The conversion between the parametric equation and the implicit equation can be easily accomplished from the minimal μ-bases.

[1]  Wenping Wang,et al.  Revisiting the [mu]-basis of a rational ruled surface , 2003, J. Symb. Comput..

[2]  Wenping Wang,et al.  Modeling and Processing with Quadric Surfaces , 2002, Handbook of Computer Aided Geometric Design.

[3]  David A. Cox,et al.  Ideals, Varieties, and Algorithms , 1997 .

[4]  Richard R. Patterson,et al.  Implicitization and parametrization of nonsingular cubic surfaces , 2001, Comput. Aided Geom. Des..

[5]  Falai Chen,et al.  The mu-basis of a rational ruled surface , 2001, Comput. Aided Geom. Des..

[6]  David A. Cox,et al.  Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics) , 2007 .

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

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

[9]  Jiansong Deng,et al.  Computing μ-bases of rational curves and surfaces using polynomial matrix factorization , 2005, ISSAC '05.

[10]  Falai Chen,et al.  The μ -basis and implicitization of a rational parametric surface , 2005 .

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

[12]  Falai Chen,et al.  The µ-basis of a planar rational curve: properties and computation , 2002 .

[13]  Thomas W. Sederberg,et al.  Algebraic Methods for Computer Aided Geometric Design , 2002, Handbook of Computer Aided Geometric Design.

[14]  G. Farin.  Curves and Surfaces for Cagd: A Practical Guide , 2001 .

[15]  Ron Goldman,et al.  Degree, multiplicity, and inversion formulas for rational surfaces using u-resultants , 1992, Comput. Aided Geom. Des..

[16]  Wenping Wang,et al.  The µ-basis of a planar rational curve - properties and computation , 2002, Graph. Model..

[17]  Josef Schicho,et al.  Rational parametrization of real algebraic surfaces , 1998, ISSAC '98.

[18]  Falai Chen,et al.  The moving line ideal basis of planar rational curves , 1998, Comput. Aided Geom. Des..