We need for multiple future projects the ability to efficiently compute the order dimension of a given poset (P,=<).
