Advertisement

Implicitization of rational parametric curves and surfaces

  • Michael Kalkbrener
Submitted Contributions Computational Algebra And Geometry
Part of the Lecture Notes in Computer Science book series (LNCS, volume 508)

Abstract

In this paper we use Gröbner bases for the implicitization of rational parametric curves and surfaces in 3D-space. We prove that the implicit form of a curve or surface given by the rational parametrization
$$x_1 : = \frac{{p_1 }}{{q_1 }}x_2 : = \frac{{p_1 }}{{q_2 }}x_3 : = \frac{{p_1 }}{{q_3 }}$$
where the p's and q's are univariate polynomials in y 1 or bivariate polynomials in y 1 , y 2 over a field K, can always be found by computing
$$GB(\{ q_{^{_1 } } \cdot x_1 - p_{1,} q_2 \cdot x_2 - p_{2,} q_3 \cdot x_3 - p_{3,} \} ) \cap K[x_1 ,x_2 ,x_3 ],$$
where GB is the Gröbner basis with respect to the lexical ordering with x1≺x2≺x3≺y1≺y2, if for every i, j∈{1,2,3} with i≠j the polynomials p i , q i ,p j ,q j have no common zeros. This result leads immediately to an implicitization algorithm for arbitrary rational parametric curves.

Furthermore, we present an algorithm for the implicitization of arbitrary rational parametric surfaces and prove its termination and correctness.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    D.S. Arnon and T.W. Sederberg, Implicit Equation for a Parametric Surface by Gröbner Basis, in: V.E. Golden, ed., Proceedings of the 1984 MACSYMA User's Conference, General Electric, Schenectady, New York (1984) 431–436.Google Scholar
  2. [2]
    B. Buchberger, Applications of Gröbner Bases in Non-Linear Computational Geometry, in: Proc. Workshop on Scientific Software, IMA, Minneapolis (1987).Google Scholar
  3. [3]
    E.W. Chionh, Base Points, resultants, and the implicit representation of rational surfaces, Ph.D. thesis, Department of Computer Science, University of Waterloo, Canada (1990).Google Scholar
  4. [4]
    I.D. Faux and M.A. Pratt, Computational Geometry for Design and Manufacture (Ellis Horwood, Chichester, 1981).Google Scholar
  5. [5]
    R.N. Goldman, The method of resolvents: A technique for the implicitization, inversion, and intersection of non-planar, parametric, rational cubic curves, Computer Aided Geometric Design 2 (1985) 237–255.Google Scholar
  6. [6]
    W. Gröbner, Algebraic Geometry II (Bibliographisches Institut Mannheim, 1970).Google Scholar
  7. [7]
    C.M. Hoffmann, Geometric and Solid Modeling: An Introduction (Morgan Kaufmann Publishers Inc., 1989).Google Scholar
  8. [8]
    M. Kalkbrener, Implicitization by Using Gröbner Bases, Technical Report RISC-Series 90-27, Univ. of Linz, Austria (1990).Google Scholar
  9. [9]
    D. Manocha and J.F. Canny, Implicitizing Rational Parametric Surfaces, Technical Report UCB/CSD 90/592, Computer Science Division, University of California, Berkeley, California, U.S.A. (1990).Google Scholar
  10. [10]
    T.W. Sederberg, D.C. Anderson, and R.N. Goldman, Implicit Representation of Parametric Curves and Surfaces, Computer Vision, Graphics, and Image Processing 28 (1984) 72–84.Google Scholar
  11. [11]
    H.G. Timmer, A Solution to the Surface Intersection Problem, Technical Report NAS2-9590, McDonnell-Douglas Corp. (1977).Google Scholar
  12. [12]
    B.L. van der Waerden, Algebra II (Springer, Berlin Heidelberg New York, 1967).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Michael Kalkbrener
    • 1
  1. 1.Research Institute for Symbolic Computation (RISC)Johannes Kepler University LinzAustria

Personalised recommendations