Polyhedral Omega (+ applications)