documentation:fan:polyhedralfan