Update with upstream changes in MOI

Author: blegat

Diff for: .gitignore

@@ -0,0 +1 @@
+Manifest.toml

Diff for: .travis.yml

@@ -7,3 +7,5 @@ julia:
   - 1
 notifications:
   email: false
+-before_script:
+ - julia -e 'using Pkg; Pkg.add(PackageSpec(name="MathOptInterface", rev="bl/complex_operations"))'

Diff for: Manifest.toml

@@ -7,6 +7,11 @@ version = "0.0.1"
 MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
 MutableArithmetics = "d8a4904e-b15c-11e9-3269-09a3773c0cb0"
 
+[compat]
+MathOptInterface = "0.9.17"
+MutableArithmetics = "0.2.10"
+julia = "1"
+
 [extras]
 CSDP = "0a46da34-8e4b-519e-b418-48813639ff34"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"

Diff for: Project.toml

@@ -1,6 +1,9 @@
 module Constraint
 
-using MathOptInterface
+import MutableArithmetics
+const MA = MutableArithmetics
+
+import MathOptInterface
 const MOI = MathOptInterface
 const MOIU = MOI.Utilities
 const MOIB = MOI.Bridges

Diff for: src/Bridges/Constraint/Constraint.jl

@@ -1,18 +1,3 @@
-function operate_coefficient(f, T::Type, term::MOI.ScalarAffineTerm)
-    MOI.ScalarAffineTerm(f(term.coefficient), term.variable_index)
-end
-function operate_coefficient(f, T::Type, term::MOI.VectorAffineTerm)
-    return MOI.VectorAffineTerm(term.output_index, operate_coefficient(f, T, term.scalar_term))
-end
-function operate_coefficients(f, T::Type, func::MOI.VectorAffineFunction)
-    return MOI.VectorAffineFunction(
-        [operate_coefficient(f, T, term) for term in func.terms],
-        map(f, func.constants)
-    )
-end
-
-similar_type(::Type{<:MOI.VectorAffineFunction}, T::Type) = MOI.VectorAffineFunction{T}
-
 struct SplitZeroBridge{T, F<:MOI.Utilities.TypedLike{T}, G<:MOI.Utilities.TypedLike{Complex{T}}} <: MOI.Bridges.Constraint.AbstractBridge
     real::MOI.ConstraintIndex{F, MOI.Zeros}
     imag::MOI.ConstraintIndex{F, MOI.Zeros}
@@ -22,11 +7,12 @@ function MOI.Bridges.Constraint.bridge_constraint(
     f::G,
     set::MOI.Zeros
 ) where {T, F, G}
-    real_con = MOI.add_constraint(model, operate_coefficients(real, T, f), set)
-    imag_con = MOI.add_constraint(model, operate_coefficients(imag, T, f), set)
+    real_con = MOI.add_constraint(model, real(f), set)
+    imag_con = MOI.add_constraint(model, MOI.Utilities.operate(imag, T, f), set)
     return SplitZeroBridge{T, F, G}(real_con, imag_con)
 end
 
+# We don't support `MOI.VectorOfVariables` as it would be a self-loop in the bridge graph
 function MOI.supports_constraint(
     ::Type{SplitZeroBridge{T}}, ::Type{<:MOI.Utilities.TypedLike{Complex{T}}},
     ::Type{MOI.Zeros}) where T
@@ -39,7 +25,8 @@ end
 function MOI.Bridges.Constraint.concrete_bridge_type(
     ::Type{<:SplitZeroBridge{T}}, G::Type{<:MOI.Utilities.TypedLike},
     ::Type{MOI.Zeros}) where T
-    return SplitZeroBridge{T, similar_type(G, T), G}
+    F = MA.promote_operation(imag, G)
+    return SplitZeroBridge{T, F, G}
 end
 
 # Attributes, Bridge acting as a model