A symbolic method for calculating the integral properties of arbitrary nonconvex polyhedra | Synapse