poly_width_at function

Width at a given height