#18442: Implement the barycentric subdivision of the boundary of a polytope
-------------------------------------+-------------------------------------
Reporter: jipilab | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.8
Component: geometry | Resolution:
Keywords: polytope, | Merged in:
barycentric subdivision | Reviewers:
Authors: Jean-Philippe | Work issues:
Labbé | Commit:
Report Upstream: N/A | 996a8a4205d9f959af8e4841e39d16f66a06fe92
Branch: | Stopgaps:
public/ticket/18442 |
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by jipilab):
Yes. This is the definition of a polytope: a bounded polyhedron.
Basically the notion of polytope is subsumed in Sage by the class
Polyhedron.
Theorically a polyhedron (with H representation) is always decomposed as
the sum of a polyhedral cone and a convex polytope, therefore polytopes
are considered in the class polyhedron simply where the cone is a point,
and the way to detect them is by checking compactness.
The description uses polyhedron simply because polytope is more or less
absent from the nomenclature in sage apart from the database of
polytopes...
--
Ticket URL: <http://trac.sagemath.org/ticket/18442#comment:26>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
