Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Can sage compute the face decomposition of a minkowski sum?

Say I have a list Deltas=[Delta1, Delta2,..., Deltan] of polyhedra. The command Delta=sum(Deltas) defines Delta as the Minkowski sum of the polyhedra in Deltas. There is a theorem that says every face F of Delta can be decomposed as


where each Fi is a face of Deltai. Can sage compute this decomposition?