polytope:objects:cone:properties:lattice_points_in_cones:monoid_grading