Commit 2024-08-26 10:46 882e7d49

feat: A convex function bounded on a set is bounded on its convex hull (#16118) This is a version of the maximum principle for convex functions. Also make the existing maximum principles more syntactically general for ease of use. This syntactic generalisation is useful because often the domain on which a function is continuous is a ball, a half-space, an interval... which is merely a superset of the set on which we want to apply the maximum principle. Before this PR, one therefore has to restrict the convexity of a function from its natural domain to the set on which we want to apply the maximum principle. This is unnecessarily cumbersome.