Implicitization, parameterization and singularity computation of Steiner surfaces using moving surfaces

A Steiner surface is a quadratically parameterizable surface without base points. To make Steiner surfaces more applicable in Computer Aided Geometric Design and Geometric Modeling, this paper discusses implicitization, parameterization and singularity computation of Steiner surfaces using the moving surface technique. For implicitization, we prove that there exist two linearly independent moving planes with total degree one in the parametric variables. From this fact, the implicit equation of a Steiner surface can be expressed as a 3×3 determinant. The inversion formula and singularities for the Steiner surface can also be easily computed from the moving planes. For parameterization, we first compute the singularities of a Steiner surface in implicit form. Based on the singularities, we can find some special moving planes, from which a quadratic parameterization of the Steiner surface can be retrieved.

[1]  Ron Goldman,et al.  Implicitization by Dixon A-resultants , 2000, Proceedings Geometric Modeling and Processing 2000. Theory and Applications.

[2]  Ron Goldman,et al.  Axial moving planes and singularities of rational space curves , 2009, Comput. Aided Geom. Des..

[3]  C. D'Andrea,et al.  Implicitization of rational surfaces using toric varieties , 2004, math/0401403.

[4]  Falai Chen,et al.  Moving Planes and Singular Points of Rational Parametric Surfaces , 2009 .

[5]  Laurent Busé,et al.  Implicitization of surfaces in the projective space in the presence of base points , 2003 .

[6]  Jiansong Deng,et al.  Implicitization and parametrization of quadratic surfaces with one simple base point , 2008, ISSAC '08.

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

[8]  William A. Adkins,et al.  Equations of parametric surfaces with base points via syzygies , 2005, J. Symb. Comput..

[9]  Ron Goldman,et al.  On the Validity of Implicitization by Moving Quadrics for Rational Surfaces with No Base Points , 2000, J. Symb. Comput..

[10]  Ron Goldman,et al.  Using multivariate resultants to find the implicit equation of a rational surface , 1992, The Visual Computer.

[11]  Adam Coffman,et al.  The algebra and geometry of Steiner and other quadratically parametrizable surfaces , 1996, Comput. Aided Geom. Des..

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

[13]  Jiansong Deng,et al.  Implicitization and parametrization of quadratic and cubic surfaces by μ-bases , 2007, Computing.

[14]  David A. Cox,et al.  IMPLICITIZATION OF SURFACES IN ℙ3 IN THE PRESENCE OF BASE POINTS , 2002, math/0205251.

[15]  Thomas W. Sederberg,et al.  Steiner Surface Patches , 1985, IEEE Computer Graphics and Applications.

[16]  Ron Goldman,et al.  Computing quadric surface intersections based on an analysis of plane cubic curves , 2002 .

[17]  Winfried Bruns,et al.  Cohen–Macaulay Rings: Preface to the revised edition , 1998 .

[18]  W. Bruns,et al.  Cohen-Macaulay rings , 1993 .

[19]  Thomas W. Sederberg,et al.  On the minors of the implicitization Bézout matrix for a rational plane curve , 2001, Comput. Aided Geom. Des..

[20]  Xiaohong Jia,et al.  Computing self-intersection curves of rational ruled surfaces , 2009, Comput. Aided Geom. Des..

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

[22]  Falai Chen,et al.  Implicitization using moving curves and surfaces , 1995, SIGGRAPH.

[23]  Franck Aries,et al.  An Implicitization Algorithm for Rational Surfaces with no Base Points , 2001, J. Symb. Comput..

[24]  Wenping Wang,et al.  Computing singular points of plane rational curves , 2008, J. Symb. Comput..

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

[26]  Emmanuel Briand,et al.  Some Covariants Related to Steiner Surfaces , 2008 .