A Tool Box

The definitions of triangulation and subdivision given in Chapter 2 are nice for theoretic reasoning, but they present a fundamental problem for computations. How can one check Definition 2.3.1 on a computer? Let A be a point configuration in Rm, with set of labels J.