Regular_complex_polytope loading ...