×

Algebraic methods for computing smallest enclosing and circumscribing cylinders of simplices. (English) Zbl 1053.52002

Summary: We provide an algebraic framework to compute smallest enclosing and smallest circumscribing cylinders of simplices in Euclidean space \(\mathbb{E}^n\). Explicitly, the computation of a smallest enclosing cylinder in \(\mathbb{E}^3\) is reduced to the computation of a smallest circumscribing cylinder. We improve existing polynomial formulations to compute the locally extreme circumscribing cylinders in \(\mathbb{E}^3\) and exhibit subclasses of simplices where the algebraic degrees can be further reduced. Moreover, we generalize these efficient formulations to the \(n\)-dimensional case and provide bounds on the number of local extrema. Using elementary invariant theory, we prove structural results on the direction vectors of any locally extreme circumscribing cylinder for regular simplices.

MSC:

52A20 Convex sets in \(n\) dimensions (including convex hypersurfaces)
52A15 Convex sets in \(3\) dimensions (including convex surfaces)
68U05 Computer graphics; computational geometry (digital and algorithmic aspects)

Software:

SYNAPS; SINGULAR