Implicitization and parametrization of quadratic surfaces with one simple base point

This paper discusses implicitization and parametrization of quadratic surfaces with one simple base point. The key point to fulfill the conversion between the implicit and the parametric form is to compute three linearly independent moving planes which we call the weak u-basis of the quadratic surface. Beginning with the parametric form, it is easy to compute the weak u-basis, and then to find its implicit equation. Inversion formulas can also be obtained easily from the weak u-basis. For conversion from the implicit into the parametric form, we present a method based on the observation that there exists one self-intersection line on a quadratic surface with one base point. After computing the self-intersection line, we are able to derive the weak u-basis, from which the parametric equation can be easily obtained. A method is also presented to compute the self-intersection line of a quadratic surface with one base point.

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

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

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

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

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

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

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

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

[9]  Bruce Hunt,et al.  The Geometry of some special Arithmetic Quotients , 1996 .

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

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

[12]  Robert J. Holt,et al.  Rational parametrizations of nonsingular real cubic surfaces , 1998, TOGS.

[13]  Irene Polo-Blanco,et al.  Theory and history of geometric models , 2007 .

[14]  J. Semple,et al.  Introduction to Algebraic Geometry , 1949 .

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

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

[17]  Wenping Wang,et al.  Computing real inflection points of cubic algebraic curves , 2003, Comput. Aided Geom. Des..

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

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

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

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

[22]  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 .

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