Skip to main content

2018 | OriginalPaper | Buchkapitel

Resultants, Implicit Parameterizations, and Intersections of Surfaces

verfasst von : Robert H. Lewis

Erschienen in: Mathematical Software – ICMS 2018

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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 xy, and z are each explicitly given as functions of, say, t, we have three implicit functions, one each for (xt), (yt), and (zt). 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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Buse, L., Elkadi, M., Mourrain, B.: Generalized resultants over unirational algebraic varieties. J. Symbolic Comp. 29, 515–526 (2000)MathSciNetCrossRef Buse, L., Elkadi, M., Mourrain, B.: Generalized resultants over unirational algebraic varieties. J. Symbolic Comp. 29, 515–526 (2000)MathSciNetCrossRef
2.
Zurück zum Zitat 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)MathSciNetCrossRef 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)MathSciNetCrossRef
4.
Zurück zum Zitat Dixon, A.L.: The eliminant of three quantics in two independent variables. Proc. London Math. Soc. 6, 468–478 (1908)MathSciNetCrossRef Dixon, A.L.: The eliminant of three quantics in two independent variables. Proc. London Math. Soc. 6, 468–478 (1908)MathSciNetCrossRef
5.
Zurück zum Zitat 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) 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)
6.
Zurück zum Zitat Lazard, S., Peñaranda, L., Petitjean, S.: Intersecting quadrics: an efficient and exact implementation. Comput. Geom. 35(1–2), 74–99 (2006)MathSciNetCrossRef Lazard, S., Peñaranda, L., Petitjean, S.: Intersecting quadrics: an efficient and exact implementation. Comput. Geom. 35(1–2), 74–99 (2006)MathSciNetCrossRef
7.
10.
Zurück zum Zitat 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)CrossRef 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)CrossRef
11.
Zurück zum Zitat Lichtblau, D.: Personal Communication (2018) Lichtblau, D.: Personal Communication (2018)
14.
Zurück zum Zitat Sendra, J.R., Sevilla, D., Villarino, C.: Algebraic and algorithmic aspects of radical parameterizations. Comput. Aided Geom. Des. 55, 1–14 (2017)CrossRef Sendra, J.R., Sevilla, D., Villarino, C.: Algebraic and algorithmic aspects of radical parameterizations. Comput. Aided Geom. Des. 55, 1–14 (2017)CrossRef
15.
Zurück zum Zitat 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)MathSciNetCrossRef 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)MathSciNetCrossRef
16.
Zurück zum Zitat Shen, L., Goldman, R.: Implicitizing rational tensor product surfaces using the resultant of three moving planes. ACM Trans. Graph. 36(5), 1–14 (2017)CrossRef Shen, L., Goldman, R.: Implicitizing rational tensor product surfaces using the resultant of three moving planes. ACM Trans. Graph. 36(5), 1–14 (2017)CrossRef
17.
Zurück zum Zitat 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)MathSciNetCrossRef 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)MathSciNetCrossRef
18.
Zurück zum Zitat Sturmfels, B.: Solving systems of polynomial equations. In: CBMS Regional Conference Series in Mathematics, vol. 97. American Mathematical Society (2003) Sturmfels, B.: Solving systems of polynomial equations. In: CBMS Regional Conference Series in Mathematics, vol. 97. American Mathematical Society (2003)
19.
Zurück zum Zitat Wang, D.: A simple method for implicitizing rational curves and surfaces. J. Symbolic Comput. 38, 899–914 (2004)MathSciNetCrossRef Wang, D.: A simple method for implicitizing rational curves and surfaces. J. Symbolic Comput. 38, 899–914 (2004)MathSciNetCrossRef
Metadaten
Titel
Resultants, Implicit Parameterizations, and Intersections of Surfaces
verfasst von
Robert H. Lewis
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-96418-8_37

Premium Partner