On the problem of proper reparametrization for rational curves and surfaces

A rational parametrization of an algebraic curve (resp. surface) establishes a rational correspondence of this curve (resp. surface) with the affine or projective line (resp. affine or projective plane). This correspondence is a birational equivalence if the parametrization is proper. So, intuitively speaking, a rational proper parametrization trace the curve or surface once. We consider the problem of computing a proper rational parametrization from a given improper one. For the case of curves we generalize, improve and reinterpret some previous results. For surfaces, we solve the problem for some special surface's parametrizations.

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

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

[3]  Tomás Recio,et al.  A Rational Function Decomposition Algorithm by Near-Separated Polynomials , 1995, J. Symb. Comput..

[4]  Thomas W. Sederberg,et al.  Improperly parametrized rational curves , 1986, Comput. Aided Geom. Des..

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

[6]  Ron Goldman,et al.  Implicitizing Rational Curves by the Method of Moving Algebraic Curves , 1997, J. Symb. Comput..

[7]  Mark van Hoeij,et al.  Rational Parametrizations of Algebraic Curves Using a Canonical Divisor , 1997, J. Symb. Comput..

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

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

[10]  J. Stillwell,et al.  Plane Algebraic Curves , 1986 .

[11]  Ron Goldman,et al.  Vector elimination: A technique for the implicitization, inversion, and intersection of planar parametric rational polynomial curves , 1984, Comput. Aided Geom. Des..

[12]  J. Rafael Sendra,et al.  Parametrization of Algebraic Curves over Optimal Field Extensions , 1997, J. Symb. Comput..

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

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

[15]  Josef Schicho,et al.  Rational Parametrization of Surfaces , 1998, J. Symb. Comput..

[16]  Laureano González-Vega,et al.  Implicitization of Parametric Curves and Surfaces by Using Multidimensional Newton Formulae , 1997, J. Symb. Comput..

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

[18]  Jie-Tai Yu,et al.  D-resultant for rational functions , 2002 .

[19]  Josef Hoschek,et al.  Fundamentals of computer aided geometric design , 1996 .

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

[21]  J. Rafael Sendra,et al.  Symbolic Parametrization of Curves , 1991, J. Symb. Comput..

[22]  J. Jouanolou,et al.  Le formalisme du résultant , 1991 .

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

[24]  David Sevilla,et al.  On Multivariate Rational Function Decomposition , 2002, J. Symb. Comput..

[25]  Tomás Recio,et al.  Rational Function Decomposition and Gröbner Bases in the Parameterization of Plane Curves (An extended abstract) , 1992, LATIN.

[26]  R. J. Walker.  Algebraic curves , 1950 .

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