Unexpected expression type MathOptInterface.ScalarAffineFunction

[votroto]

Running

using JuMP, PolyJuMP, Gurobi
model = Model(() -> PolyJuMP.QCQP.Optimizer(Gurobi.Optimizer()))

@variable(model, 0 <= x <= 1)
@constraint(model, (0 + x) * (x * x) == 0)

optimize!(model)

results in

LoadError: PolyJuMP.InvalidNLExpression("Unexpected expression type `MathOptInterface.ScalarAffineFunction{Float64}` of `0.0 + 1.0 MOI.VariableIndex(1)`")

P.S. I am so sorry @blegat and thank you for your time on developing this package.

[odow]

This is an easy fix. We're missing _to_polynomial for ScalarAffine and ScalarQuadratic near here:

PolyJuMP.jl/src/nl_to_polynomial.jl

Lines 53 to 58 in 29fa416

	function _to_polynomial!(d, ::Type{T}, vi::MOI.VariableIndex) where {T}
	if !haskey(d, vi)
	d[vi] = MP.similar_variable(VarType, Symbol("x[$(vi.value)]"))
	end
	return d[vi]
	end

p.s., as you can probably tell @votroto, the QCQP solver is still a little under development. No one has tested the rough edges yet 😄 but that's for finding these issues!

[blegat]

@votroto Please don't be sorry, thanks for taking the time to report all the edge cases ;)