Crashing due to DCP non-compliance about convex.jl HOT 2 CLOSED

I'm in favor of throwing an error upon a call to conic_form! for a non-DCP
multiplication atom.

On Mon, Nov 17, 2014 at 6:33 PM, Karanveer Mohan [email protected]
wrote:

The following non-DCP compliant code correctly throws the warnings.
However, if the user proceeds to call solve!, we crash out since
multiplication atom assumes one of its arguments will be a Constant.

We should either throw an error, instead of just a warning, or actually
allow the user to solve the non-dcp problem. @davidlizeng
https://github.com/davidlizeng

julia> using Convex; x=Variable(); y=Variable();
julia> p=minimize(x*y)
WARNING: Expression not DCP compliant
Problem:
minimize AbstractExpr with
head: *
size: (1, 1)
sign: NoSign()
vexity: NotDcp()

subject to

current status: not yet solved

julia> solve!(p)
ERROR: getindex has no method matching getindex(::Nothing, ::Int64)
in conic_form! at /Users/karanveer/.julia/v0.3/Convex/src/atoms/affine/multiply_divide.jl:75
in conic_form! at /Users/karanveer/.julia/v0.3/Convex/src/atoms/affine/add_subtract.jl:106
in conic_form! at /Users/karanveer/.julia/v0.3/Convex/src/constraints/constraints.jl:36
in conic_form! at /Users/karanveer/.julia/v0.3/Convex/src/problems.jl:61
in conic_problem at /Users/karanveer/.julia/v0.3/Convex/src/problems.jl:73
in solve! at /Users/karanveer/.julia/v0.3/Convex/src/solution.jl:23 (repeats 2 times)

—
Reply to this email directly or view it on GitHub
#28.

Madeleine Udell
PhD Candidate in Computational and Mathematical Engineering
Stanford University
www.stanford.edu/~udell

from convex.jl.

Closed by this commit

from convex.jl.