Gram-Brianchon formula as an element of a FormalPolyhedraModule

[mkoeppe]

Reference: https://epubs.siam.org/doi/pdf/10.1137/1.9781611972443.ch6 Theorem 6.2.3

Depends on #29801
Depends on #29811

CC: @tscrim @braunmath @jplab

Component: geometry

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

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1 +1,3 @@
+Reference: https://epubs.siam.org/doi/pdf/10.1137/1.9781611972443.ch6 Theorem 6.2.3
 
+

[mkoeppe]

Changed dependencies from #29801 to #29801, #29811

[mkoeppe]

comment:3

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