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?