ex programming
imposes a set of conventions or rules, which we call <a class="reference internal" href="dcp.html#dcp"><em>the DCP ruleset</em></a>.
Problems which adhere to the ruleset can be rapidly and automatically
verified as convex and converted to solvable form. Problems that violate
the ruleset are rejected&#8212;even when the problem is convex. That is not
to say that such problems cannot be solved using DCP; they just need to
be rewritten in a way that conforms to the DCP ruleset.</p>
<p>A detailed