Hi, I've stumbled upon the following polyhedron on which sage gives contradictory answers. This is sage-6.8. Is this a bug?
sage: Pw A 7-dimensional polyhedron in QQ^16 defined as the convex hull of 8 vertices sage: Pw.vertices() (A vertex at (1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0), A vertex at (1/3, 0, 0, 1/3, 0, 0, 0, 0, 0, 0, 0, 0, 1/3, 0, 0, 1/3), A vertex at (1/3, 0, 1/3, 0, 0, 0, 0, 0, 1/3, 0, 1/3, 0, 0, 0, 0, 0), A vertex at (1/9, 0, 1/9, 1/9, 0, 0, 0, 0, 1/9, 0, 1/9, 1/9, 1/9, 0, 1/9, 1/9), A vertex at (1/3, 1/3, 0, 0, 1/3, 1/3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0), A vertex at (1/9, 1/9, 0, 1/9, 1/9, 1/9, 0, 1/9, 0, 0, 0, 0, 1/9, 1/9, 0, 1/9), A vertex at (1/9, 1/9, 1/9, 0, 1/9, 1/9, 1/9, 0, 1/9, 1/9, 1/9, 0, 0, 0, 0, 0), A vertex at (1/27, 1/27, 1/27, 1/27, 1/27, 1/27, 1/27, 1/27, 1/27, 1/27, 1/27, 1/27, 1/27, 1/27, 1/27, 1/27)) sage: Pw.is_simplex() True sage: Pw.is_simplicial() False Of course the last should come out "True" Cheers, Thomas -- You received this message because you are subscribed to the Google Groups "sage-support" 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-support. For more options, visit https://groups.google.com/d/optout.
