#10445: A Polyhedron should have a "is_simplicial" method.
---------------------------+------------------------------------------------
Reporter: jplabbe | Owner: mhampton
Type: enhancement | Status: new
Priority: minor | Milestone: sage-4.6.1
Component: geometry | Keywords: simplicial, polytope
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
---------------------------+------------------------------------------------
Comment(by novoselt):
Replying to [comment:3 mhampton]:
> Should non-compact polyhedra be simplicial if they have simplicial
facets?
What exactly do you mean by facets here? Do you include unbounded ones?
There is a standard notion of a simplicial cone which means that its
dimension is equal to the number of edges. I think `is_simplicial` for
arbitrary polyhedra should either adhere to this or raise
`NotImplementedError` for all unbounded polyhedra. I guess the right
generalization is to say that it is simplicial in the projective space.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10445#comment:5>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
