Triangulation.polyhedral_complex, boundary_simplicial_complex, boundary_polyhedral_complex

[mkoeppe]

polyhedral_complex creates a geometric polyhedral complex corresponding to the triangulation.

boundary_simplicial_complex and boundary_polyhedral_complex are combinations of boundary (which gives a set of simplices) with simplicial_complex (which gives an abstract simplicial complex) and polyhedral_complex, respectively

CC: @yuan-zhou @jhpalmieri

Component: geometry

Author: Matthias Koeppe

Branch/Commit: 65134f1

Reviewer: Yuan Zhou, John Palmieri

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

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,2 +1,4 @@
 This new method creates a geometric polyhedral complex corresponding to the triangulation.
 
+Also we change the constructor of `PolyhedralComplex` so that it accepts a `Triangulation` as input.
+

[mkoeppe]

Branch: u/mkoeppe/triangulation_polyhedral_complex

[mkoeppe]

New commits:

65b7cfe

Triangulation.polyhedral_complex: New

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,4 +1,2 @@
 This new method creates a geometric polyhedral complex corresponding to the triangulation.
 
-Also we change the constructor of `PolyhedralComplex` so that it accepts a `Triangulation` as input.
-

[mkoeppe]

Commit: 65b7cfe

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

fff67c3

Triangulation.boundary_{simplicial,polyhedral}_complex: New

[sagetrac-git]

Changed commit from 65b7cfe to fff67c3

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,2 +1,4 @@
-This new method creates a geometric polyhedral complex corresponding to the triangulation.
+`polyhedral_complex` creates a geometric polyhedral complex corresponding to the triangulation.
 
+`boundary_simplicial_complex` and `boundary_polyhedral_complex` are combinations of `boundary` (which gives a set of simplices) with `simplicial_complex` (which gives an abstract simplicial complex) and `polyhedral_complex`, respectively
+

[jhpalmieri]

comment:8

The docstring for boundary_simplicial_complex ends with

The boundary of every convex set is a topological sphere::

[mkoeppe]

comment:9

Thanks! I'll add the missing example

[sagetrac-git]

Changed commit from fff67c3 to 0a09ca4

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

0a09ca4

src/sage/geometry/triangulation/element.py: Add missing example

[yuan-zhou]

comment:12

Would it be possible to illustrate that boundary_simplicial_complex is a sub complex of simplicial_complex?

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

0845f03

Triangulation.boundary_simplicial_complex: Expand example