Implicitizing rational surfaces without base points by moving planes and moving quadrics

Abstract It was proven by Cox, Goldman and Zhang that a tensor product rational surface without base points can be implicitized by moving quadrics whenever the rational surface doesn't contain low degree moving planes following it. However, when the rational surface does have low degree moving planes, Cox, Goldman and Zhang's method fails. In this paper, we show that a rational surface without base points can always be implicitized by moving quadrics together with moving planes whether the rational surface has low degree moving planes or not. A specific method is also provided to construct the moving planes and moving quadrics that comprise a compact determinantal representation of the implicit equation of the rational surface.

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

[2]  Ron Goldman,et al.  Implicitizing Rational Tensor Product Surfaces Using the Resultant of Three Moving Planes , 2017, ACM Trans. Graph..

[3]  Irina A. Kogan,et al.  Algorithm for computing μ-bases of univariate polynomials , 2016, J. Symb. Comput..

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

[5]  Ron Goldman,et al.  Implicitizing rational surfaces of revolution using μ-bases , 2012, Comput. Aided Geom. Des..

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

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

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

[9]  Ming Zhang,et al.  Topics in resultants and implicitization , 2000 .

[10]  Xiao-Shan Gao,et al.  Implicitization of Rational Parametric Equations , 1992, J. Symb. Comput..

[11]  David A. Cox,et al.  Using Algebraic Geometry , 1998 .

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

[13]  Ron Goldman,et al.  Strong μ-Bases for Rational Tensor Product Surfaces and Extraneous Factors Associated to Bad Base Points and Anomalies at Infinity , 2017, SIAM J. Appl. Algebra Geom..

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

[15]  Yisheng Lai,et al.  Implicitizing rational surfaces using moving quadrics constructed from moving planes , 2016, J. Symb. Comput..

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

[17]  Falai Chen,et al.  Implicitization, parameterization and singularity computation of Steiner surfaces using moving surfaces , 2012, J. Symb. Comput..

[18]  Alicia Dickenstein,et al.  Implicitization of rational hypersurfaces via linear syzygies: A practical overview , 2015, J. Symb. Comput..

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

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

[21]  Xiaohong Jia,et al.  Survey on the theory and applications of μ-bases for rational curves and surfaces , 2018, J. Comput. Appl. Math..

[22]  Franklin C. Crow,et al.  The Origins of the Teapot , 1987, IEEE Computer Graphics and Applications.

[23]  Xiaohong Jia.  Role of moving planes and moving spheres following Dupin cyclides , 2014, Comput. Aided Geom. Des..

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

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

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

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

[28]  Yisheng Lai,et al.  An improved algorithm for constructing moving quadrics from moving planes , 2017, J. Syst. Sci. Complex..

[29]  Carlos D'Andrea.  Resultants and Moving Surfaces , 2001, J. Symb. Comput..

[30]  Wen-tsün Wu.  Numerical and Symbolic Scientific Computing , 1994, Texts & Monographs in Symbolic Computation.

[31]  Marc Dohm.  Implicitization of rational ruled surfaces with mu-bases , 2009, J. Symb. Comput..

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