Recognizing implicitly given rational canal surfaces

DOI10.1016/J.JSC.2015.08.003MaRDI QIDQ898267zbMATH OpenOpenAlexFDO

Authors Jan Vršek, Miroslav Lávička

Publication date 8 December 2015

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1410.3628

zbMATH Keywords

algebraic surfacesblending surfacescanal surfacescyclicityrational parameterizationsurface recognition

Mathematics Subject Classification ID

Computational aspects of algebraic surfaces (14Q10) Surfaces in Euclidean and related spaces (53A05)

Abstract: It is still a challenging task of today to recognize the type of a given algebraic surface which is described only by its implicit representation. In~this paper we will investigate in more detail the case of canal surfaces that are often used in geometric modelling, Computer-Aided Design and technical practice (e.g. as blending surfaces smoothly joining two parts with circular ends). It is known that if the squared medial axis transform is a rational curve then so is also the corresponding surface. However, starting from a polynomial it is not known how to decide if the corresponding algebraic surface is rational canal surface or not. Our goal is to formulate a simple and efficient algorithm whose input is a~polynomial with the coefficients from some subfield of real numbers and the output is the answer whether the surface is a rational canal surface. In the affirmative case we also compute a rational parameterization of the squared medial axis transform which can be then used for finding a rational parameterization of the implicitly given canal surface.

Review text

A canal surface is the envelope of a one-parameter set of moving spheres in three dimensional space. The study of these surfaces is particularly important in Computer Aided Geometric Design (CAGD). They appear, for instance, as blending surfaces between parts with circular ends, or as as transition surfaces between pipes. The question of whether or not a given polynomial equation defines a canal surfaces is addressed in the present article. The authors provide an algorithm which give such an answer for any given real polynomial in three variables. Remarkably, the presented procedure does not involve the computation of rational curves on the given algebraic surface. Instead, the method is based on the study of square-root parameterizations of plane sections of the given surface. The algorithm is based on the classification of multiple conical surfaces with rational plane sections by \textit{J. Schicho} [Beitr. Algebra Geom. 42, No. 1, 71--87 (2001; Zbl 0987.14005)], and the classification of surfaces with more than one family of circles by \textit{N. Lubbes} [J. Symb. Comput. 65, 29--48 (2014; Zbl 1328.14047)]. The results in the article complement and extend the work by \textit{M. Peternell} and \textit{H. Pottmann} [J. Symb. Comput. 23, 255--266 (1997; Zbl 0877.68116)] , and \textit{B. Bastl} et al. [Math. Comput. Sci. 8, No. 2, 299--319 (2014; Zbl 1302.65047)], on the parameterization of canal surfaces with a rational spine and radius function, and by \textit{M. Dohm} and \textit{S. Zube} [J. Symb. Comput. 44, No. 2, 111--130 (2009; Zbl 1152.14311)], on the reverse implicitization problem.

Recommendations

• Computing rational parametrizations of canal surfaces
• Piecewise rational parametrizations of canal surfaces
• Minimal rational parametrizations of canal surfaces
• Almost rotation-minimizing rational parametrization of canal surfaces
• Some characterizations of canal surfaces
• Analytic and algebraic properties of canal surfaces
• On the geometry of canal surfaces
• scientific article; zbMATH DE number 1189344
• Canonical images of surfaces.
• Distinguishing embedded curves in rational complex surfaces

Cites work

• \(G^{n}\)-continuous connections between normal ringed surfaces
• Algebraic geometry I: algebraic curves, algebraic manifolds and schemes. Transl. from the Russian by D. Coray and V. N. Shokurov
• Automatic surface generation in computer aided design
• Blending of implicit surfaces with functional splines
• Computing rational parametrizations of canal surfaces
• Determining surfaces of revolution from their implicit equations
• scientific article; zbMATH DE number 1254238 (Why is no real title available?)
• scientific article; zbMATH DE number 1487794 (Why is no real title available?)
• On the parameterization of rational ringed surfaces and rational canal surfaces
• The displacement method for implicit blending surfaces in solid models
• The implicit equation of a canal surface
• The multiple conical surfaces
• The parametrization of canal surfaces and the decomposition of polynomials into a sum of two squares

Cited in

(15)

• Computing rational parametrizations of canal surfaces
• Symmetries of canal surfaces and Dupin cyclides
• The implicit equation of a canal surface
• Clifford algebra, Lorentzian geometry, and rational parametrization of canal surfaces
• Almost rotation-minimizing rational parametrization of canal surfaces
• Analytic and algebraic properties of canal surfaces
• scientific article; zbMATH DE number 1189344 (Why is no real title available?)
• On the parameterization of rational ringed surfaces and rational canal surfaces
• Approximation of implicit blends by canal surfaces of low parameterization degree
• Piecewise rational parametrizations of canal surfaces
• Canal surfaces defined by quadratic families of spheres
• Computational Science – ICCS 2005
• The parametrization of canal surfaces and the decomposition of polynomials into a sum of two squares
• Minimum distance between a canal surface and a simple surface
• Minimal rational parametrizations of canal surfaces

This page was built for publication: Recognizing implicitly given rational canal surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q898267)