Fixed topological subdivision functions. The code is theoretically in fine shape.