Can sage compute the face decomposition of a minkowski sum?
Say I have a list
Deltas=[Delta1, Delta2,..., Deltan] of polyhedra. The command
Delta as the Minkowski sum of the polyhedra in
Deltas. There is a theorem that says every face
Delta can be decomposed as
Fi is a face of
Deltai. Can sage compute this decomposition?