polymake extension for projections of smooth polytopes with a hyperplane subdivision