A Symbolic-Numeric Approach for Parametrizing Ruled Surfaces

This paper presents symbolic algorithms to determine whether a given surface (implicitly or parametrically defined) is a rational ruled surface and find a proper parametrization of the ruled surface. However, in practical applications, one has to deal with numerical objects that are given approximately, probably because they proceed from an exact data that has been perturbed under some previous measuring process or manipulation. For these numerical objects, the authors adapt the symbolic algorithms presented by means of the use of numerical techniques. The authors develop numeric algorithms that allow to determine ruled surfaces “close” to an input (not necessarily ruled) surface, and the distance between the input and the output surface is computed.

[1]  J. Rafael Sendra,et al.  Proper real reparametrization of rational ruled surfaces , 2011, Comput. Aided Geom. Des..

[2]  S. Izumiya,et al.  Special curves and raled surfaces , 2001 .

[3]  Helmut Pottmann,et al.  Automatic fitting of conical envelopes to free-form surfaces for flank CNC machining , 2017, Comput. Aided Des..

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

[5]  Xiaohong Jia,et al.  Homeomorphic approximation of the intersection curve of two rational surfaces , 2012, Comput. Aided Geom. Des..

[6]  J. Rafael Sendra,et al.  Cissoid constructions of augmented rational ruled surfaces , 2018, Comput. Aided Geom. Des..

[7]  Johannes Wallner,et al.  Geometric modeling with conical meshes and developable surfaces , 2006, SIGGRAPH 2006.

[8]  George Labahn,et al.  When are Two Numerical Polynomials Relatively Prime? , 1998, J. Symb. Comput..

[9]  André Galligo,et al.  A computational study of ruled surfaces , 2009, J. Symb. Comput..

[10]  Li-Yong Shen.  Computing μ-bases from algebraic ruled surfaces , 2016, Comput. Aided Geom. Des..

[11]  Falai Chen.  Reparametrization of a rational ruled surface using the -basis , 2003, Comput. Aided Geom. Des..

[12]  Peter Shirley,et al.  The halfway vector disk for BRDF modeling , 2006, TOGS.

[13]  J. Rafael Sendra,et al.  Covering rational ruled surfaces , 2017, Math. Comput..

[14]  Narendra Karmarkar,et al.  Approximate polynomial greatest common divisors and nearest singular polynomials , 1996, ISSAC '96.

[15]  Stephen M. Watt,et al.  Approximate polynomial decomposition , 1999, ISSAC '99.

[16]  Xiao-Shan Gao,et al.  Proper Reparametrization of Rational Ruled Surface , 2007, 2007 10th IEEE International Conference on Computer-Aided Design and Computer Graphics.

[17]  George Labahn,et al.  A Fast and Numerically Stable Euclidean-Like Algorithm for Detecting Relatively Prime Numerical Polynomials , 1998, J. Symb. Comput..

[18]  Li-Yong Shen,et al.  Characterization of Rational Ruled Surfaces , 2014, J. Symb. Comput..

[19]  J. Rafael Sendra,et al.  Rational Algebraic Curves , 2008 .

[20]  Li-Yong Shen,et al.  Implicitization using univariate resultants , 2010, J. Syst. Sci. Complex..

[21]  J. Rafael Sendra,et al.  Approximate parametrization of plane algebraic curves by linear systems of curves , 2010, Comput. Aided Geom. Des..

[22]  J. Rafael Sendra,et al.  A univariate resultant-based implicitization algorithm for surfaces , 2008, J. Symb. Comput..

[23]  Tateaki Sasaki,et al.  Approximate multivariate polynomial factorization based on zero-sum relations , 2001, ISSAC '01.

[24]  Erich Kaltofen,et al.  Approximate factorization of multivariate polynomials using singular value decomposition , 2008, J. Symb. Comput..

[25]  André Galligo,et al.  Irreducible Decomposition of Curves , 2002, J. Symb. Comput..

[26]  Ying Chen,et al.  Collision and intersection detection of two ruled surfaces using bracket method , 2011, Comput. Aided Geom. Des..

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

[28]  Stephen M. Watt,et al.  Towards factoring bivariate approximate polynomials , 2001, ISSAC '01.

[29]  J. Rafael Sendra,et al.  Rational Algebraic Curves: A Computer Algebra Approach , 2007 .

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