documentation:fan:polyhedralcomplex