Resultants, Implicit Parameterizations, and Intersections of Surfaces
A fundamental problem in computer graphics and computer aided design is to convert between a parameterization of a surface and an implicit representation of it. Almost as fundamental is to derive a parameterization for the intersection of two surfaces.
In these problems, it seems that resultants, specifically the Dixon resultant, have been underappreciated. Indeed, several well known papers from ten to twenty years ago reported unsuitability of resultant techniques. To the contrary, we show that the Dixon resultant is an extremely effective and efficient method to compute an implicit representation.
To use resultants to compute a parameterization of an intersection, we introduce the concept of an “implicit parameterization.” Unlike the conventional parameterization of a curve where x, y, and z are each explicitly given as functions of, say, t, we have three implicit functions, one each for (x, t), (y, t), and (z, t). This concept has rarely been mentioned before. We show that given a (conventional) parameterization for one surface and either an implicit equation for the second, or a parameterization for it, it is straightforward to compute an implicit parameterization for the intersection. Doing so is very easy for the Dixon resultant, but can be very daunting even for well respected Gröbner bases programs.
Further, we demonstrate that such implicit parameterizations are useful. We use builtin 3D plotting utilities of a computer algebra system to graph the intersection using our implicit parameterization. We do this for examples that are more complex than the quadric examples usually discussed in intersection papers.
KeywordsSurface Polynomial system Resultant Dixon Parameters Intersection Gröbner basis
- 3.Cox, D., Little, J., O’Shea, D.: Using Algebraic Geometry. In: Graduate Texts in Mathematics, vol. 185. Springer, New York (1998). https://doi.org/10.1007/b138611
- 5.Kapur, D., Saxena, T., Yang, L.: Algebraic and geometric reasoning using Dixon resultants. In: Proceedings of the International Symposium on Symbolic and Algebraic Computation. ACM Press (1994)Google Scholar
- 8.Lewis, R.H.: Computer algebra system Fermat. http://home.bway.net/lewis/
- 9.Lewis, R.H.: Fermat code for Dixon-EDF. http://home.bway.net/lewis/dixon
- 11.Lichtblau, D.: Personal Communication (2018)Google Scholar
- 12.Mathematica. https://www.wolfram.com/mathematica/
- 13.Quadric intersections website. http://vegas.loria.fr/qi/
- 18.Sturmfels, B.: Solving systems of polynomial equations. In: CBMS Regional Conference Series in Mathematics, vol. 97. American Mathematical Society (2003)Google Scholar