Describir: Convex analysis for optimization.