polyhedral convex function