# 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

```
`F=F1+F2+...+Fn
```

where each `Fi`

is a face of `Deltai`

. Can sage compute this decomposition?