All of the examples can be found in Jupyter notebook form here.

DCP analysis

using Convex
x = Variable();
y = Variable();
expr = quadoverlin(x - y, 1 - max(x, y));
println("expression curvature = ", vexity(expr));
println("expression sign = ", sign(expr));
expression curvature = Convex.ConvexVexity()
expression sign = Positive()

This page was generated using Literate.jl.