Can sage compute the face decomposition of a minkowski sum?

asked 2016-09-22 18:39:51 +0100

done_with_fish gravatar image

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?

edit retag flag offensive close merge delete