Rational parametrizations of nonsingular real cubic surfaces

ABSTRACT

Real cubic algebraic surfaces may be described by either implicit or parametric equations. One particularly useful representation is the rational parametrization, where the three spatial coordinates are given by rational functions of two parameters. These parametrizations take on different forms for different classes of cubic surfaces. Classification of real cubic algebraic surfaces into five families for the nonsingular case is based on the configuration of 27 lines on them. We provide a method of extracting all these lines by constructing and solving a polynomial of degree 27. Simple roots of this polynomial correspond to real lines on the surface, and real skew lines are used to form rational parametrizations for three of these families. Complex conjugate skew lines are used to parametrize surfaces from the fourth family. The parametrizations for these four families involve quotients of polynomials of degree no higher than four. Each of these parametrizations covers the whole surface except for a few points, lines, or conic sections. The parametrization for the fifth family, as noted previously in the literature, requires a square root. We also analyze the image of the derived rational parametrization for both real and complex parameter values, together with “base” points where the parametrizations are ill-defined.

REFERENCES

• 1: Shreeram S. Abhyankar, Invariant theory and enumerative combinatorics of young tableaux, Geometric invariance in computer vision, MIT Press, Cambridge, MA, 1992
• 2: S. S. Abhyankar , C. Bajaj, Automatic parameterization of rational curves and surfaces 1: conics and conicoids, Computer-Aided Design, v.19 n.1, p.11-14, Jan./Feb. 1987 [doi>10.1016/0010-4485(87)90147-3]
• 3: S. S. Abhyanker , C. Bajaj, Automatic parametrization of rational curves and surfaces II: cubics and cubicoids, Computer-Aided Design, v.19 n.9, p.499-502, Nov. 1987 [doi>10.1016/0010-4485(87)90235-1]
• 4: Vinod Anupam , Chandrajit L. Bajaj, Shastra: Multimedia Collaborative Design Environment, IEEE MultiMedia, v.1 n.2, p.39-49, June 1994 [doi>10.1109/93.311655]
• 5: Chandrajit L. Bajaj, Geometric Modeling with Algebraic Surfaces, Proceedings of the 3rd IMA Conference on the Mathematics of Surfaces, p.3-48, September 19-21, 1988
• 6: Chanderjit L. Bajaj, Geometric computations with algebraic varieties of bounded degree, Proceedings of the sixth annual symposium on Computational geometry, p.148-156, June 07-09, 1990, Berkley, California, United States [doi>10.1145/98524.98557]
• 7: BAJAJ, C. 1993. The emergence of algebraic curves and surfaces in geometric design. In Directions in Geometric Computing, R. Martin, Ed., Information Geometers Press, 1-29.
• 8: Chandrajit L. Bajaj , Jindon Chen , Guoliang Xu, Modeling with cubic A-patches, ACM Transactions on Graphics (TOG), v.14 n.2, p.103-133, April 1995 [doi>10.1145/221659.221662]
• 9: Chandrajit L. Bajaj , Andrew Royappa, Triangulation and display of rational parametric surfaces, Proceedings of the conference on Visualization '94, October 17-21, 1994, Washinton, D.C.
• 10: BAJAJ, C. AND ROYAPPA, A. 1995. Finite representation of real parametric curves and surfaces. Int. J. Comput. Geom. Appl., 313-326.
• 11: BLYTHE, W. 1905. On Models of Cubic Surfaces. Cambridge University Press.
• 12: Alfred M. Bruckstein , Robert J. Holt , Arun N. Netravali , Thomas J. Richardson, Invariant signatures for planar shape recognition under partial occlusion, CVGIP: Image Understanding, v.58 n.1, p.49-65, July 1993 [doi>10.1006/ciun.1993.1031]
• 13: John F. Canny, The complexity of robot motion planning, MIT Press, Cambridge, MA, 1988
• 14: CHAR, B. W., GEDDES, K. O., GONNET, G. H., MONAGAN, M. B., AND WATT, S.M. 1990. Maple V User's Guide. Watcom Publications Ltd., Waterloo, Ont.
• 15: Gerald Farin, Curves and surfaces for computer aided geometric design (3rd ed.): a practical guide, Academic Press Professional, Inc., San Diego, CA, 1993
• 16: James D. Foley , Andries van Dam , Steven K. Feiner , John F. Hughes, Computer graphics: principles and practice (2nd ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 17: HENDERSON, n. 1911. The Twenty Seven Lines upon the Cubic Surface. Cambridge University Press.
• 18: HOLT, R. J., AND NETRAVALI, A.N. 1993. Using line correspondences in invariant signatures for curve recognition. Image Vision Comput. 11, 7, 440-446.
• 19: JENKINS, M. AND TRAUB, J. 1970. A three-stage algorithm for real polynomials using quadratic iteration. SIAM J. Numer. Anal. 7, 4, 545-566.
• 20: LODHA, S. AND WARREN, g. 1992. B~zier representation for cubic surface patches. Comput. Aided Des. 24, 12, 643-650.
• 21: Loos, R. 1983. Computing rational zeroes of integral polynomials by p-Adic expansion. SIAM J. Comput. 12, 2, 286-293.
• 22: MORDELL, L.J. 1969. Diophantine Equations. Academic Press, New York.
• 23: Joseph L. Mundy , Andrew Zisserman, Introduction—towards a new framework for vision, Geometric invariance in computer vision, MIT Press, Cambridge, MA, 1992
• 24: SALMON, G. 1914. A Treatise on the Analytic Geometry of Three Dimensions, Vols. I and II, Chelsea Publishing, 1914.
• 25: SCHLAFLI, L. 1863. On the distribution of surfaces of the third order into species, in reference to the presence or absence of singular points and the reality of their lines. Philos. Trans. Royal Soc., CLIII.
• 26: T. W. Sederberg , J. P. Snively, Parametrization of cubic algebraic surfaces, Proceedings on Mathematics of surfaces II, p.299-319, October 1987, Cardiff, United Kingdom
• 27: SEGRE, B. 1942. The Non-singular Cubic Surfaces. Oxford at the Clarendon Press, 1942.
• 28: WALKER, R. 1978. Algebraic Curves. Springer Verlag, New York.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION

Additional Classification:
  F. Theory of Computation
  F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY

General Terms:
Algorithms

Keywords:
cubic surface modeling, dual form representations, graphics display, numeric and symbolic computation, rational parametrization