pretty printing about convex.jl HOT 2 CLOSED

I think the other information that was lacking was sign.
For problems, we should also print the status (from problem.status)

Problem: minimize CvxExpr((1, 1), convex)
subject to
CvxConstr: CvxExpr((1, 1), linear) <= 0
CvxConstr: CvxExpr((1, 1), convex) <= -2
status: not yet solved
OR
status: solved with optimal value of 2.0

The only thing that is misleading is that a constraint of the form expr >= constant will be translated into -expr <= -constant and expr1 >= expr2 will be translated as expr2 <= expr1. So, something like

x = Variable(2, 3);
4 * x >= 2 + x

will be displayed as:

CvxConstr: CvxExpr(2, 3, linear, any) <= CvxExpr(2, 3, linear, any)

This isn't particularly informative, but I'm not sure how this can be made any better.

Nitpicking here, but for consistency, we try to put a space after a comma. Also things like x >=0 should be x >= 0, two-space indentation instead of four etc. I have fixed these minor issues in the prettyprint branch (and added show functions for Solution and CanonicalConstr); everything else looks great! Feel free to fix anything you don't like and then merge with master.
Thanks for working on this!

from convex.jl.

Closed by 4f2d73c

from convex.jl.