Contents:
Defined in File t8_dtet.h
The length of a tetrahedron at a given level in integer coordinates.