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
`F=F1+F2+...+Fn
where each Fi is a face of Deltai. Can sage compute this decomposition?
