Introduce various variants of halfspace_matrix_pair(ZZ, ...) for polyhedral objects to access facets etc as matrices
#1692
| Job | Run time |
|---|---|
| 2m 35s | |
| 2m 35s |