Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Buse, L., Elkadi, M., Mourrain, B.: Generalized resultants over unirational algebraic varieties. J. Symbolic Comp. 29, 515–526 (2000)
Cox, D., Goldman, R., Zhang, M.: On the validity of implicitization by moving quadrics for rational surfaces with no base points. J. Symbolic Comput. 29(3), 419–440 (2000)
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
Dixon, A.L.: The eliminant of three quantics in two independent variables. Proc. London Math. Soc. 6, 468–478 (1908)
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)
Lazard, S., Peñaranda, L., Petitjean, S.: Intersecting quadrics: an efficient and exact implementation. Comput. Geom. 35(1–2), 74–99 (2006)
Lewis, R.H.: Heuristics to accelerate the Dixon resultant. Math. Comput. Simul. 77(4), 400–407 (2008)
Lewis, R.H.: Computer algebra system Fermat. http://home.bway.net/lewis/
Lewis, R.H.: Fermat code for Dixon-EDF. http://home.bway.net/lewis/dixon
Li, Q., Zhang, S., Ye, X.: Algebraic algorithms for computing intersections between torus and natural quadrics. Comput. Aided Des. Appl. 1(1–4), 459–467 (2004)
Lichtblau, D.: Personal Communication (2018)
Mathematica. https://www.wolfram.com/mathematica/
Quadric intersections website. http://vegas.loria.fr/qi/
Sendra, J.R., Sevilla, D., Villarino, C.: Algebraic and algorithmic aspects of radical parameterizations. Comput. Aided Geom. Des. 55, 1–14 (2017)
Shen, L.-Y., Cheng, J.-S., Xiaohong, J.: Homeomorphic approximation of the intersection curve of two rational surfaces. Comput. Aided Geom. Des. 29(8), 613–625 (2012)
Shen, L., Goldman, R.: Implicitizing rational tensor product surfaces using the resultant of three moving planes. ACM Trans. Graph. 36(5), 1–14 (2017)
Shi, X., Wang, X., Goldman, R.: Using \(\mu \)-bases to implicitize rational surfaces with a pair of orthogonal directrices. Comput. Aided Geom. Des. 29(7), 541–554 (2012)
Sturmfels, B.: Solving systems of polynomial equations. In: CBMS Regional Conference Series in Mathematics, vol. 97. American Mathematical Society (2003)
Wang, D.: A simple method for implicitizing rational curves and surfaces. J. Symbolic Comput. 38, 899–914 (2004)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Lewis, R.H. (2018). Resultants, Implicit Parameterizations, and Intersections of Surfaces. In: Davenport, J., Kauers, M., Labahn, G., Urban, J. (eds) Mathematical Software – ICMS 2018. ICMS 2018. Lecture Notes in Computer Science(), vol 10931. Springer, Cham. https://doi.org/10.1007/978-3-319-96418-8_37
Download citation
DOI: https://doi.org/10.1007/978-3-319-96418-8_37
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-96417-1
Online ISBN: 978-3-319-96418-8
eBook Packages: Computer ScienceComputer Science (R0)