[FileFormats.SDPA] add coefficient_type kwarg and improve tests (#2772)

Author: odow

src/FileFormats/SDPA/SDPA.jl

@@ -55,9 +55,9 @@ struct Options end
 get_options(m::Model) = get(m.ext, :SDPA_OPTIONS, Options())
 
 """
-    Model(; number_type::Type = Float64)
+    Model(; coefficient_type::Type{T} = Float64) where {T}
 
-Create an empty instance of `FileFormats.SDPA.Model{number_type}`.
+Create an empty instance of `FileFormats.SDPA.Model{T}`.
 
 It is important to be aware that the SDPA file format is interpreted in
 *geometric* form and not *standard conic* form.
@@ -122,8 +122,11 @@ and affine constraints will be bridged into equality constraints
 by creating a slack variable by the
 [`MOI.Bridges.Constraint.VectorSlackBridge`](@ref).
 """
-function Model(; number_type::Type = Float64)
-    model = Model{number_type}()
+function Model(;
+    number_type::Type{T} = Float64,
+    coefficient_type::Type{S} = number_type,
+) where {T,S}
+    model = Model{S}()
     model.ext[:SDPA_OPTIONS] = Options()
     return model
 end

test/FileFormats/SDPA/SDPA.jl

@@ -154,6 +154,12 @@ function test_objective()
             model,
             MOI.ObjectiveFunction{MOI.ScalarQuadraticFunction{T}}(),
         )
+        model = SDPA.Model(; coefficient_type = T)
+        @test !MOI.supports(model, MOI.ObjectiveFunction{MOI.VariableIndex}())
+        @test !MOI.supports(
+            model,
+            MOI.ObjectiveFunction{MOI.ScalarQuadraticFunction{T}}(),
+        )
     end
 end
 
@@ -373,6 +379,29 @@ function test_unsupported_variable_types()
     return
 end
 
+function test_example_A_integer_coefficients()
+    filename = joinpath(SDPA_MODELS_DIR, "example_A_int.dat-s")
+    model = MOI.FileFormats.SDPA.Model(; coefficient_type = Int)
+    MOI.read_from_file(model, filename)
+    for xi in MOI.get(model, MOI.ListOfVariableIndices())
+        MOI.set(model, MOI.VariableName(), xi, "v$(xi.value)")
+    end
+    F, S = MOI.VectorAffineFunction{Int}, MOI.PositiveSemidefiniteConeTriangle
+    for ci in MOI.get(model, MOI.ListOfConstraintIndices{F,S}())
+        MOI.set(model, MOI.ConstraintName(), ci, "c$(ci.value)")
+    end
+    input = """
+    variables: v1, v2
+    minobjective::Int: 10v1 + 20v2
+    c1::Int: [v1 + -1, 0, v1 + v2 + -2] in PositiveSemidefiniteConeTriangle(2)
+    c2::Int: [5v2 + -3, 2v2, 6v2 + -4] in PositiveSemidefiniteConeTriangle(2)
+    """
+    target = MOI.Utilities.Model{Int}()
+    MOI.Utilities.loadfromstring!(target, input)
+    MOI.Test.util_test_models_equal(model, target, ["v1", "v2"], ["c1", "c2"])
+    return
+end
+
 end  # module
 
 TestSDPA.runtests()

test/FileFormats/SDPA/models/example_A_int.dat-s

@@ -0,0 +1,16 @@
+"Example from http://plato.asu.edu/ftp/sdpa_format.txt
+"A sample problem.
+2 =mdim
+2 =nblocks
+2 2
+10 20
+0 1 1 1 1
+0 1 2 2 2
+0 2 1 1 3
+0 2 2 2 4
+1 1 1 1 1
+1 1 2 2 1
+2 1 2 2 1
+2 2 1 1 5
+2 2 1 2 2
+2 2 2 2 6