Example 1.
P1=Polyhedron(backend='cdd', base_ring=RDF, vertices=[(RDF(1), -RDF(1), 
RDF(0)), (RDF(1), -RDF(1), RDF(1)), (RDF(1), RDF(1), RDF(1)), (RDF(1), 
RDF(1), -RDF(1)), (RDF(0), RDF(1), -RDF(1)), (RDF(1), 
RDF(0.33333333329999998), -RDF(1)), (-RDF(1), RDF(1), RDF(1)), (-RDF(1), 
RDF(1), -RDF(0.5)), (-RDF(1), -RDF(1), RDF(1))]);P1

A 3-dimensional polyhedron in RDF^3 defined as the convex hull of 9 vertices

P1.triangulate() leads to "ZeroDivisionError: input matrix must be 
nonsingular"

I tried it on https://cocalc.com/ which runs SageMath version 9.1
=======================================
Example 2.
P2=Polyhedron(backend='cdd', base_ring=RDF, vertices=[(-RDF(0.1113445378),
-RDF(0.55567226889999999), RDF(1)), (RDF(1.0063025210000001),
-RDF(0.49684873950000003), RDF(0)), (RDF(1), RDF(0), RDF(1)), (RDF(2),
RDF(0), RDF(0)), (-RDF(0.56836734690000001), -RDF(0.13673469390000001),
RDF(1)), (-RDF(0.53979591839999996), RDF(0.92040816329999997), RDF(0)),
(RDF(0), RDF(1), RDF(1)), (RDF(0), RDF(2), RDF(0))]) 

A 3-dimensional polyhedron in RDF^3 defined as the convex hull of 8 vertices

P2.triangulate()

gives
(<0,1,3,4>, <0,2,3,6>, <0,3,4,6>, <1,3,4,7>, <1,4,5,7>, <3,4,6,7>, 
<4,5,6,7>)
on https://cocalc.com/, but it fails with "ZeroDivisionError: input matrix 
must be nonsingular" on my Sage 8.9 installation on my home computer.
==========================
The polytopes were obtained by giving inequalities with float coefficients. 
(intersections of half-spaces). Plotting them works fine.
These bugs affect also the volume() and centroid() methods.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/aeeb5231-fa14-4c14-bc9b-faadf3e43475n%40googlegroups.com.

Reply via email to