A univariate resultant-based implicitization algorithm for surfaces

In this paper, we present a new algorithm for computing the implicit equation of a rational surface V from a rational parametrization P([email protected]?). The algorithm is valid independent of the existence of base points, and is based on the computation of polynomial gcds and univariate resultants. Moreover, we prove that the resultant-based formula provides a power of the implicit equation. In addition, performing a suitable linear change of parameters, we prove that this power is indeed the degree of the rational map induced by the parametrization. We also present formulas for computing the partial degrees of the implicit equation.

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

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

[3]  J. Rafael Sendra,et al.  Computation of the degree of rational maps between curves , 2001, ISSAC '01.

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

[5]  Ralf Fröberg,et al.  An introduction to Gröbner bases , 1997, Pure and applied mathematics.

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

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

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

[9]  Joe W. Harris,et al.  Algebraic Geometry: A First Course , 1995 .

[10]  José-Javier Martínez,et al.  Implicitization of rational surfaces by means of polynomial interpolation , 2002, Comput. Aided Geom. Des..

[11]  J. Rafael Sendra,et al.  Parametric Generalized Offsets to Hypersurfaces , 1997, J. Symb. Comput..

[12]  Laurent Busé.  Residual resultant over the projective plane and the implicitization problem , 2001, ISSAC '01.

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

[14]  Ilias S. Kotsireas.  PANORAMA OF METHODS FOR EXACT IMPLICITIZATION OF ALGEBRAIC CURVES AND SURFACES , 2004 .

[15]  Ferruccio Orecchia,et al.  Implicitization of a general union of parametric varieties , 1999, SIGS.

[16]  J. Rafael Sendra,et al.  Tracing index of rational curve parametrizations , 2001, Comput. Aided Geom. Des..

[17]  J. Rafael Sendra,et al.  Partial degree formulae for rational algebraic surfaces , 2005, ISSAC '05.

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

[19]  Franz Winkler,et al.  Polynomial Algorithms in Computer Algebra , 1996, Texts and Monographs in Symbolic Computation.

[20]  David A. Cox.  Equations of Parametric Curves and Surfaces via Syzygies , 2008 .

[21]  Dpto. de Matemáticas,et al.  Implicitization of Parametric Curves and Surfaces by using Multidimensional Newton Formulae , 2022 .

[22]  J. Rafael Sendra,et al.  Properness and Inversion of Rational Parametrizations of Surfaces , 2002, Applicable Algebra in Engineering, Communication and Computing.

[23]  J. Rafael Sendra,et al.  Computation of the degree of rational surface parametrizations , 2004 .