PolyhedronFace: Add method to compute affine tangent cones

[mkoeppe]

In analogy to the existing method normal_cone.

For #29806 (Gram-Brianchon formula) I only need the (affine) tangent cones of a face, tcone(P, F). See for example https://epubs.siam.org/doi/pdf/10.1137/1.9781611972443.ch6 Def 6.2.2

CC: @jplab @kliem @orlitzky @yuan-zhou @tscrim

Component: geometry

Author: Matthias Koeppe

Branch/Commit: 5965400

Reviewer: Jonathan Kliem

Issue created by migration from https://trac.sagemath.org/ticket/29811

[mkoeppe]

comment:3

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Description changed:

--- 
+++ 
@@ -2,6 +2,4 @@
 
 For #29806 (Gram-Brianchon formula) I only need the (affine) tangent cones of a face, tcone(P, F). See for example https://epubs.siam.org/doi/pdf/10.1137/1.9781611972443.ch6 Def 6.2.2
 
-But for completeness it would also be nice to have the (homogeneous) tangent cone, AKA the cone of feasible directions.
 
-

[mkoeppe]

Branch: u/mkoeppe/polyhedronface__add_method_to_compute_affine_tangent_cones

[mkoeppe]

New commits:

5965400

PolyhedronFace.affine_tangent_cone: New

[mkoeppe]

Commit: 5965400

[mkoeppe]

comment:8

Patchbot is green modulo the unrelated misc/package failure

[kliem]

comment:10

LGTM.

[mkoeppe]

Reviewer: Jonathan Kliem

[mkoeppe]

comment:11

Thanks!

[vbraun]

Changed branch from u/mkoeppe/polyhedronface__add_method_to_compute_affine_tangent_cones to 5965400