Ridges and Umbilics of Polynomial Parametric Surfaces

  • Frédéric Cazals
  • Jean-Charles Faugère
  • Marc Pouget
  • Fabrice Rouillier

Given a smooth surface, a blue (red) ridge is a curve such that at each of its point, the maximum (minimum) principal curvature has an extremum along its curvature line. As curves of extremal curvature, ridges are relevant in a number of applications including surface segmentation, analysis, registration, matching. In spite of these interests, given a smooth surface, no algorithm reporting a certified approximation of its ridges was known so far, even for restricted classes of generic surfaces.

This paper partly fills this gap by developing the first algorithm for polynomial parametric surfaces — a class of surfaces ubiquitous in CAGD. The algorithm consists of two stages. First, a polynomial bivariate implicit characterization of ridges P = 0 is computed using an implicitization theorem for ridges of a parametric surface. Second, the singular structure of P = 0 is exploited, and the approximation problem is reduced to solving zero dimensional systems using Rational Univariate Representations. An experimental section illustrates the efficiency of the algorithm on Bézier patches.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    D. Attali, J.-D. Boissonnat, and A. Lieutier. Complexity of the delaunay triangulation of points on surfaces the smooth case. In ACM SoCG, San Diego, 2003.Google Scholar
  2. 2.
    F. Cazals, J.-C. Faugère, M. Pouget, and F. Rouillier. Topologically certified approxima-tion of umbilics and ridges on polynomial parametric surface. Technical Report 5674, INRIA, 2005.Google Scholar
  3. 3.
    F. Cazals, J.-C. Faugère, M. Pouget, and F. Rouillier. The implicit structure of ridges of a smooth parametric surface. Computer Aided Geometrc Design, 23(7):582-598, 2006.MATHCrossRefGoogle Scholar
  4. 4.
    F. Cazals and M. Pouget. Topology driven algorithms for ridge extraction on meshes. Technical Report RR-5526, INRIA, 2005.Google Scholar
  5. 5.
    J.-C. Faugère. A new efficient algorithm for computing gröbner bases (f4 ). Journal of Pure and Applied Algebra, 139(1-3):61-88, June 1999.MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    J.-C. Faugère. A new efficient algorithm for computing gröbner bases without reduction to zero f5 . In International Symposium on Symbolic and Algebraic Computation Symposium - ISSAC 2002, Villeneuve d’Ascq, France, Jul 2002.Google Scholar
  7. 7.
    G. Gatellier, A. Labrouzy, B. Mourrain, and J.-P. Tècourt. Computing the topology of 3-dimensional algebraic curves. In Computational Methods for Algebraic Spline Surfaces, pages 27-44. Springer-Verlag, 2004.Google Scholar
  8. 8.
    J. Gravesen. Third order invariants of surfaces. In T. Dokken and B. Juttler, editors, Computational methods for algebraic spline surfaces. Springer, 2005.Google Scholar
  9. 9.
    L. Gonzalez-Vega and I. Necula. Efficient topology determination of implicitly defined algebraic plane curves. Computer Aided Geometric Design, 19(9), 2002.Google Scholar
  10. 10.
    D. Hilbert and S. Cohn-Vossen. Geometry and the Imagination. Chelsea, 1952.Google Scholar
  11. 11.
    P. W. Hallinan, G. Gordon, A.L. Yuille, P. Giblin, and D. Mumford. Two-and Three-Dimensional Patterns of the Face. A.K.Peters, 1999.Google Scholar
  12. 12.
    J.J. Koenderink. Solid Shape. MIT, 1990.Google Scholar
  13. 13.
    R. Morris. Symmetry of Curves and the Geometry of Surfaces: two Explorations with the aid of Computer Graphics. Phd Thesis, 1990.Google Scholar
  14. 14.
    R. Morris. The sub-parabolic lines of a surface. In Glen Mullineux, editor, Mathematics of Surfaces VI, IMA new series 58, pages 79-102. Clarendon Press, Oxford, 1996.Google Scholar
  15. 15.
    T. Maekawa, F. Wolter, and N. Patrikalakis. Umbilics and lines of curvature for shape interrogation. Computer Aided Geometric Design, 13:133-161, 1996.MATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    X. Pennec, N. Ayache, and J.-P. Thirion. Landmark-based registration using features identified through differential geometry. In I. Bankman, editor, Handbook of Medical Imaging. Academic Press, 2000.Google Scholar
  17. 17.
    I. Porteous. The normal singularities of a submanifold. J. Diff. Geom., 5, 1971.Google Scholar
  18. 18.
    I. Porteous. Geometric Differentiation (2nd Edition). Cambridge University Press, 2001.Google Scholar
  19. 19.
    F. Rouillier. Solving zero-dimensional systems through the rational univariate representation. Journal of Applicable Algebra in Engineering, Communication and Computing, 9 (5):433-461, 1999.MATHCrossRefMathSciNetGoogle Scholar
  20. 20.
    F. Rouillier and P. Zimmermann. Efficient isolation of polynomial real roots. Journal of Computational and Applied Mathematics, 162(1):33-50, 2003.CrossRefMathSciNetGoogle Scholar
  21. 21.
    R. Seidel and N. Wolpert. On the exact computation of the topology of real algebraic curves. In SCG’05: Proceedings of the twenty-first annual symposium on Computational geometry, pages 107-115, New York, NY, USA, 2005. ACM Press.Google Scholar
  22. 22.
    J.-P. Thirion. The extremal mesh and the understanding of 3d surfaces. International Journal of Computer Vision, 19(2):115-128, August 1996.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Frédéric Cazals
    • 1
  • Jean-Charles Faugère
    • 2
  • Marc Pouget
    • 3
  • Fabrice Rouillier
    • 2
  1. 1.INRIA Sophia-Antipolis, Geometrica projectSophia-AntipolisFrance
  2. 2.INRIA Rocquencourt and Universit Pierre et Marie Curie-Paris6, UMR 7606, LIP6, Salsa projectLe Chesnay CedexFrance
  3. 3.LORIA, INRIA Nancy — Grand EstFrance

Personalised recommendations