Skip to content

Instantly share code, notes, and snippets.

@matbesancon

matbesancon/SDP.mof.json

Created June 30, 2021 09:58
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save matbesancon/6a70282902e0ef7268b5c2f7f71065dc to your computer and use it in GitHub Desktop.
Save matbesancon/6a70282902e0ef7268b5c2f7f71065dc to your computer and use it in GitHub Desktop.
Download ZIP
SDP example
Raw
SDP.mof.json
{
"name": "MathOptFormat Model",
"version": {
"major": 0,
"minor": 5
},
"variables": [
{
"name": "A_1[1,1]"
},
{
"name": "A_1[1,2]"
},
{
"name": "A_1[2,2]"
},
{
"name": "A_1[1,3]"
},
{
"name": "A_1[2,3]"
},
{
"name": "A_1[3,3]"
},
{
"name": "A_1[1,4]"
},
{
"name": "A_1[2,4]"
},
{
"name": "A_1[3,4]"
},
{
"name": "A_1[4,4]"
},
{
"name": "A_1[1,5]"
},
{
"name": "A_1[2,5]"
},
{
"name": "A_1[3,5]"
},
{
"name": "A_1[4,5]"
},
{
"name": "A_1[5,5]"
},
{
"name": "A_1[1,6]"
},
{
"name": "A_1[2,6]"
},
{
"name": "A_1[3,6]"
},
{
"name": "A_1[4,6]"
},
{
"name": "A_1[5,6]"
},
{
"name": "A_1[6,6]"
},
{
"name": "A_1[1,7]"
},
{
"name": "A_1[2,7]"
},
{
"name": "A_1[3,7]"
},
{
"name": "A_1[4,7]"
},
{
"name": "A_1[5,7]"
},
{
"name": "A_1[6,7]"
},
{
"name": "A_1[7,7]"
},
{
"name": "A_1[1,8]"
},
{
"name": "A_1[2,8]"
},
{
"name": "A_1[3,8]"
},
{
"name": "A_1[4,8]"
},
{
"name": "A_1[5,8]"
},
{
"name": "A_1[6,8]"
},
{
"name": "A_1[7,8]"
},
{
"name": "A_1[8,8]"
},
{
"name": "A_2[1,1]"
},
{
"name": "A_2[1,2]"
},
{
"name": "A_2[2,2]"
},
{
"name": "A_2[1,3]"
},
{
"name": "A_2[2,3]"
},
{
"name": "A_2[3,3]"
},
{
"name": "A_2[1,4]"
},
{
"name": "A_2[2,4]"
},
{
"name": "A_2[3,4]"
},
{
"name": "A_2[4,4]"
},
{
"name": "A_2[1,5]"
},
{
"name": "A_2[2,5]"
},
{
"name": "A_2[3,5]"
},
{
"name": "A_2[4,5]"
},
{
"name": "A_2[5,5]"
},
{
"name": "A_2[1,6]"
},
{
"name": "A_2[2,6]"
},
{
"name": "A_2[3,6]"
},
{
"name": "A_2[4,6]"
},
{
"name": "A_2[5,6]"
},
{
"name": "A_2[6,6]"
},
{
"name": "A_2[1,7]"
},
{
"name": "A_2[2,7]"
},
{
"name": "A_2[3,7]"
},
{
"name": "A_2[4,7]"
},
{
"name": "A_2[5,7]"
},
{
"name": "A_2[6,7]"
},
{
"name": "A_2[7,7]"
},
{
"name": "A_2[1,8]"
},
{
"name": "A_2[2,8]"
},
{
"name": "A_2[3,8]"
},
{
"name": "A_2[4,8]"
},
{
"name": "A_2[5,8]"
},
{
"name": "A_2[6,8]"
},
{
"name": "A_2[7,8]"
},
{
"name": "A_2[8,8]"
},
{
"name": "A_3[1,1]"
},
{
"name": "A_3[1,2]"
},
{
"name": "A_3[2,2]"
},
{
"name": "A_3[1,3]"
},
{
"name": "A_3[2,3]"
},
{
"name": "A_3[3,3]"
},
{
"name": "A_3[1,4]"
},
{
"name": "A_3[2,4]"
},
{
"name": "A_3[3,4]"
},
{
"name": "A_3[4,4]"
},
{
"name": "A_3[1,5]"
},
{
"name": "A_3[2,5]"
},
{
"name": "A_3[3,5]"
},
{
"name": "A_3[4,5]"
},
{
"name": "A_3[5,5]"
},
{
"name": "A_3[1,6]"
},
{
"name": "A_3[2,6]"
},
{
"name": "A_3[3,6]"
},
{
"name": "A_3[4,6]"
},
{
"name": "A_3[5,6]"
},
{
"name": "A_3[6,6]"
},
{
"name": "A_3[1,7]"
},
{
"name": "A_3[2,7]"
},
{
"name": "A_3[3,7]"
},
{
"name": "A_3[4,7]"
},
{
"name": "A_3[5,7]"
},
{
"name": "A_3[6,7]"
},
{
"name": "A_3[7,7]"
},
{
"name": "A_3[1,8]"
},
{
"name": "A_3[2,8]"
},
{
"name": "A_3[3,8]"
},
{
"name": "A_3[4,8]"
},
{
"name": "A_3[5,8]"
},
{
"name": "A_3[6,8]"
},
{
"name": "A_3[7,8]"
},
{
"name": "A_3[8,8]"
},
{
"name": "A_4[1,1]"
},
{
"name": "A_4[1,2]"
},
{
"name": "A_4[2,2]"
},
{
"name": "A_4[1,3]"
},
{
"name": "A_4[2,3]"
},
{
"name": "A_4[3,3]"
},
{
"name": "A_4[1,4]"
},
{
"name": "A_4[2,4]"
},
{
"name": "A_4[3,4]"
},
{
"name": "A_4[4,4]"
},
{
"name": "A_4[1,5]"
},
{
"name": "A_4[2,5]"
},
{
"name": "A_4[3,5]"
},
{
"name": "A_4[4,5]"
},
{
"name": "A_4[5,5]"
},
{
"name": "A_4[1,6]"
},
{
"name": "A_4[2,6]"
},
{
"name": "A_4[3,6]"
},
{
"name": "A_4[4,6]"
},
{
"name": "A_4[5,6]"
},
{
"name": "A_4[6,6]"
},
{
"name": "A_4[1,7]"
},
{
"name": "A_4[2,7]"
},
{
"name": "A_4[3,7]"
},
{
"name": "A_4[4,7]"
},
{
"name": "A_4[5,7]"
},
{
"name": "A_4[6,7]"
},
{
"name": "A_4[7,7]"
},
{
"name": "A_4[1,8]"
},
{
"name": "A_4[2,8]"
},
{
"name": "A_4[3,8]"
},
{
"name": "A_4[4,8]"
},
{
"name": "A_4[5,8]"
},
{
"name": "A_4[6,8]"
},
{
"name": "A_4[7,8]"
},
{
"name": "A_4[8,8]"
},
{
"name": "λ"
}
],
"objective": {
"sense": "min",
"function": {
"type": "SingleVariable",
"variable": "λ"
}
},
"constraints": [
{
"name": "affine_cons[1]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "A_1[1,1]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -1.0
}
},
{
"name": "affine_cons[2]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.1,
"variable": "A_1[1,1]"
},
{
"coefficient": -0.2,
"variable": "A_1[1,2]"
},
{
"coefficient": -0.2,
"variable": "A_1[1,3]"
},
{
"coefficient": -0.2,
"variable": "A_1[1,5]"
},
{
"coefficient": -0.1,
"variable": "A_2[1,1]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.7
}
},
{
"name": "affine_cons[3]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.06666666666666667,
"variable": "A_1[1,2]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[2,2]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_1[1,3]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[3,3]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_1[1,4]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_1[1,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[5,5]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_1[1,6]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_1[1,7]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_2[1,2]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_2[1,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[1,1]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.5
}
},
{
"name": "affine_cons[4]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.1,
"variable": "A_1[1,4]"
},
{
"coefficient": -0.1,
"variable": "A_1[1,6]"
},
{
"coefficient": -0.1,
"variable": "A_1[1,7]"
},
{
"coefficient": -0.1,
"variable": "A_1[1,8]"
},
{
"coefficient": -0.05,
"variable": "A_2[2,2]"
},
{
"coefficient": -0.05,
"variable": "A_2[5,5]"
},
{
"coefficient": -0.1,
"variable": "A_3[1,2]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.4
}
},
{
"name": "affine_cons[5]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.4,
"variable": "A_1[1,8]"
},
{
"coefficient": -0.2,
"variable": "A_3[2,2]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.4
}
},
{
"name": "affine_cons[6]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.13333333333333333,
"variable": "A_1[2,3]"
},
{
"coefficient": -0.13333333333333333,
"variable": "A_1[2,5]"
},
{
"coefficient": -0.13333333333333333,
"variable": "A_1[3,5]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_2[1,1]"
},
{
"coefficient": -0.13333333333333333,
"variable": "A_2[1,3]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.4
}
},
{
"name": "affine_cons[7]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.03333333333333333,
"variable": "A_1[2,3]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[2,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[3,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[2,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[3,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[2,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[5,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[3,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[5,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[1,2]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[1,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[1,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[2,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[1,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[1,3]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[1,5]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.3
}
},
{
"name": "affine_cons[8]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.06666666666666667,
"variable": "A_1[4,5]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_1[3,6]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_1[2,7]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_2[1,3]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_2[2,3]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[3,3]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_2[3,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[1,1]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.2
}
},
{
"name": "affine_cons[9]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.1,
"variable": "A_1[2,2]"
},
{
"coefficient": -0.1,
"variable": "A_1[3,3]"
},
{
"coefficient": -0.1,
"variable": "A_1[5,5]"
},
{
"coefficient": -0.2,
"variable": "A_2[1,6]"
},
{
"coefficient": -0.1,
"variable": "A_4[1,1]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.4
}
},
{
"name": "affine_cons[10]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.03333333333333333,
"variable": "A_1[4,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[3,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[2,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[2,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[3,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[5,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[1,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[2,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[1,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[5,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[1,2]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[2,3]"
},
{
"coefficient": -0.016666666666666666,
"variable": "A_3[3,3]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[2,5]"
},
{
"coefficient": -0.016666666666666666,
"variable": "A_3[5,5]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.2
}
},
{
"name": "affine_cons[11]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.03333333333333333,
"variable": "A_1[2,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[3,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[2,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[5,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[3,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[5,7]"
},
{
"coefficient": -0.016666666666666666,
"variable": "A_2[2,2]"
},
{
"coefficient": -0.016666666666666666,
"variable": "A_2[5,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[1,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[2,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[5,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[1,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[1,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[1,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[1,2]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[1,3]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[1,5]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.3
}
},
{
"name": "affine_cons[12]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.06666666666666667,
"variable": "A_1[2,8]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_1[3,8]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_1[5,8]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_2[1,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[2,2]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_3[2,4]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_3[2,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[2,2]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[3,3]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[5,5]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.3
}
},
{
"name": "affine_cons[13]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.06666666666666667,
"variable": "A_1[4,4]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_1[6,6]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_1[7,7]"
},
{
"coefficient": -0.13333333333333333,
"variable": "A_2[2,5]"
},
{
"coefficient": -0.13333333333333333,
"variable": "A_3[1,7]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.2
}
},
{
"name": "affine_cons[14]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.03333333333333333,
"variable": "A_1[4,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[6,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[7,8]"
},
{
"coefficient": -0.016666666666666666,
"variable": "A_2[4,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[4,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[2,7]"
},
{
"coefficient": -0.016666666666666666,
"variable": "A_2[7,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[2,3]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[2,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[1,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[2,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[3,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[5,7]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.1
}
},
{
"name": "affine_cons[15]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.03333333333333333,
"variable": "A_1[4,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[6,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[7,7]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_2[2,6]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_2[5,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[6,6]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_3[1,8]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_4[1,4]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_4[1,6]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_4[1,7]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.3
}
},
{
"name": "affine_cons[16]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.03333333333333333,
"variable": "A_1[4,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[4,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[6,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[2,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[5,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[2,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[5,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[1,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[3,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[1,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[5,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[2,3]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[2,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[3,5]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.2
}
},
{
"name": "affine_cons[17]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.03333333333333333,
"variable": "A_1[4,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[6,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[7,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[2,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[5,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[2,4]"
},
{
"coefficient": -0.016666666666666666,
"variable": "A_3[4,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[2,6]"
},
{
"coefficient": -0.016666666666666666,
"variable": "A_3[6,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[1,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[2,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[2,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[3,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[2,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[5,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[3,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[5,7]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.3
}
},
{
"name": "affine_cons[18]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.1,
"variable": "A_1[8,8]"
},
{
"coefficient": -0.2,
"variable": "A_3[2,7]"
},
{
"coefficient": -0.1,
"variable": "A_3[7,7]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.1
}
},
{
"name": "affine_cons[19]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.1,
"variable": "A_1[8,8]"
},
{
"coefficient": -0.2,
"variable": "A_3[2,8]"
},
{
"coefficient": -0.1,
"variable": "A_4[4,4]"
},
{
"coefficient": -0.1,
"variable": "A_4[6,6]"
},
{
"coefficient": -0.1,
"variable": "A_4[7,7]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.4
}
},
{
"name": "affine_cons[20]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.03333333333333333,
"variable": "A_1[4,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[4,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_1[6,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[2,3]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[3,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[3,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[4,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[2,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[3,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[1,3]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[1,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[3,5]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.1
}
},
{
"name": "affine_cons[21]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.1,
"variable": "A_2[3,3]"
},
{
"coefficient": -0.2,
"variable": "A_2[3,6]"
},
{
"coefficient": -0.1,
"variable": "A_4[1,1]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.1
}
},
{
"name": "affine_cons[22]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.03333333333333333,
"variable": "A_2[3,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[3,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[4,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[3,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[6,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[3,8]"
},
{
"coefficient": -0.016666666666666666,
"variable": "A_3[3,3]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[4,5]"
},
{
"coefficient": -0.016666666666666666,
"variable": "A_3[5,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[3,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[1,2]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[1,3]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[1,5]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.1
}
},
{
"name": "affine_cons[23]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.13333333333333333,
"variable": "A_2[3,8]"
},
{
"coefficient": -0.13333333333333333,
"variable": "A_3[4,6]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_4[2,2]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_4[3,3]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_4[5,5]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.2
}
},
{
"name": "affine_cons[24]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.16666666666666666,
"variable": "A_2[4,7]"
},
{
"coefficient": -0.16666666666666666,
"variable": "A_3[3,5]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": 0.0
}
},
{
"name": "affine_cons[25]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.03333333333333333,
"variable": "A_2[4,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[4,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[7,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[4,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[3,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[3,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[4,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[5,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[6,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[2,3]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[2,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[3,5]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.1
}
},
{
"name": "affine_cons[26]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.03333333333333333,
"variable": "A_2[4,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[7,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[4,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[3,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[4,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[5,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[6,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[2,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[3,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[2,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[4,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[5,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[3,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[4,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[5,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[6,7]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.3
}
},
{
"name": "affine_cons[27]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.016666666666666666,
"variable": "A_2[4,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[4,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[6,7]"
},
{
"coefficient": -0.016666666666666666,
"variable": "A_2[7,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_2[6,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[3,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[5,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[3,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[5,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[1,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[4,5]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[1,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[3,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[1,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[2,7]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.2
}
},
{
"name": "affine_cons[28]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.2,
"variable": "A_2[6,6]"
},
{
"coefficient": -0.4,
"variable": "A_4[1,8]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.4
}
},
{
"name": "affine_cons[29]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.1,
"variable": "A_2[6,8]"
},
{
"coefficient": -0.05,
"variable": "A_3[4,4]"
},
{
"coefficient": -0.05,
"variable": "A_3[6,6]"
},
{
"coefficient": -0.1,
"variable": "A_4[1,8]"
},
{
"coefficient": -0.1,
"variable": "A_4[2,8]"
},
{
"coefficient": -0.1,
"variable": "A_4[3,8]"
},
{
"coefficient": -0.1,
"variable": "A_4[5,8]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.4
}
},
{
"name": "affine_cons[30]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.03333333333333333,
"variable": "A_2[8,8]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_3[4,8]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_3[6,8]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[4,4]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[6,6]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_4[7,7]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_4[2,8]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_4[3,8]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_4[4,8]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_4[5,8]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_4[6,8]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_4[7,8]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.5
}
},
{
"name": "affine_cons[31]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.03333333333333333,
"variable": "A_2[8,8]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_3[4,7]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_3[6,7]"
},
{
"coefficient": -0.03333333333333333,
"variable": "A_3[7,7]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_3[7,8]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_4[4,5]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_4[3,6]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_4[2,7]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.2
}
},
{
"name": "affine_cons[32]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.13333333333333333,
"variable": "A_3[7,8]"
},
{
"coefficient": -0.06666666666666667,
"variable": "A_3[8,8]"
},
{
"coefficient": -0.13333333333333333,
"variable": "A_4[4,6]"
},
{
"coefficient": -0.13333333333333333,
"variable": "A_4[4,7]"
},
{
"coefficient": -0.13333333333333333,
"variable": "A_4[6,7]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.4
}
},
{
"name": "affine_cons[33]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -0.1,
"variable": "A_3[8,8]"
},
{
"coefficient": -0.2,
"variable": "A_4[4,8]"
},
{
"coefficient": -0.2,
"variable": "A_4[6,8]"
},
{
"coefficient": -0.2,
"variable": "A_4[7,8]"
},
{
"coefficient": -0.1,
"variable": "A_4[8,8]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -0.7
}
},
{
"name": "affine_cons[34]",
"function": {
"type": "ScalarAffineFunction",
"terms": [
{
"coefficient": -1.0,
"variable": "A_4[8,8]"
},
{
"coefficient": 1.0,
"variable": "λ"
}
],
"constant": 0.0
},
"set": {
"type": "GreaterThan",
"lower": -1.0
}
},
{
"name": "c1",
"function": {
"type": "VectorOfVariables",
"variables": [
"A_1[1,1]",
"A_1[1,2]",
"A_1[2,2]",
"A_1[1,3]",
"A_1[2,3]",
"A_1[3,3]",
"A_1[1,4]",
"A_1[2,4]",
"A_1[3,4]",
"A_1[4,4]",
"A_1[1,5]",
"A_1[2,5]",
"A_1[3,5]",
"A_1[4,5]",
"A_1[5,5]",
"A_1[1,6]",
"A_1[2,6]",
"A_1[3,6]",
"A_1[4,6]",
"A_1[5,6]",
"A_1[6,6]",
"A_1[1,7]",
"A_1[2,7]",
"A_1[3,7]",
"A_1[4,7]",
"A_1[5,7]",
"A_1[6,7]",
"A_1[7,7]",
"A_1[1,8]",
"A_1[2,8]",
"A_1[3,8]",
"A_1[4,8]",
"A_1[5,8]",
"A_1[6,8]",
"A_1[7,8]",
"A_1[8,8]"
]
},
"set": {
"type": "PositiveSemidefiniteConeTriangle",
"side_dimension": 8
}
},
{
"name": "c2",
"function": {
"type": "VectorOfVariables",
"variables": [
"A_2[1,1]",
"A_2[1,2]",
"A_2[2,2]",
"A_2[1,3]",
"A_2[2,3]",
"A_2[3,3]",
"A_2[1,4]",
"A_2[2,4]",
"A_2[3,4]",
"A_2[4,4]",
"A_2[1,5]",
"A_2[2,5]",
"A_2[3,5]",
"A_2[4,5]",
"A_2[5,5]",
"A_2[1,6]",
"A_2[2,6]",
"A_2[3,6]",
"A_2[4,6]",
"A_2[5,6]",
"A_2[6,6]",
"A_2[1,7]",
"A_2[2,7]",
"A_2[3,7]",
"A_2[4,7]",
"A_2[5,7]",
"A_2[6,7]",
"A_2[7,7]",
"A_2[1,8]",
"A_2[2,8]",
"A_2[3,8]",
"A_2[4,8]",
"A_2[5,8]",
"A_2[6,8]",
"A_2[7,8]",
"A_2[8,8]"
]
},
"set": {
"type": "PositiveSemidefiniteConeTriangle",
"side_dimension": 8
}
},
{
"name": "c3",
"function": {
"type": "VectorOfVariables",
"variables": [
"A_3[1,1]",
"A_3[1,2]",
"A_3[2,2]",
"A_3[1,3]",
"A_3[2,3]",
"A_3[3,3]",
"A_3[1,4]",
"A_3[2,4]",
"A_3[3,4]",
"A_3[4,4]",
"A_3[1,5]",
"A_3[2,5]",
"A_3[3,5]",
"A_3[4,5]",
"A_3[5,5]",
"A_3[1,6]",
"A_3[2,6]",
"A_3[3,6]",
"A_3[4,6]",
"A_3[5,6]",
"A_3[6,6]",
"A_3[1,7]",
"A_3[2,7]",
"A_3[3,7]",
"A_3[4,7]",
"A_3[5,7]",
"A_3[6,7]",
"A_3[7,7]",
"A_3[1,8]",
"A_3[2,8]",
"A_3[3,8]",
"A_3[4,8]",
"A_3[5,8]",
"A_3[6,8]",
"A_3[7,8]",
"A_3[8,8]"
]
},
"set": {
"type": "PositiveSemidefiniteConeTriangle",
"side_dimension": 8
}
},
{
"name": "c4",
"function": {
"type": "VectorOfVariables",
"variables": [
"A_4[1,1]",
"A_4[1,2]",
"A_4[2,2]",
"A_4[1,3]",
"A_4[2,3]",
"A_4[3,3]",
"A_4[1,4]",
"A_4[2,4]",
"A_4[3,4]",
"A_4[4,4]",
"A_4[1,5]",
"A_4[2,5]",
"A_4[3,5]",
"A_4[4,5]",
"A_4[5,5]",
"A_4[1,6]",
"A_4[2,6]",
"A_4[3,6]",
"A_4[4,6]",
"A_4[5,6]",
"A_4[6,6]",
"A_4[1,7]",
"A_4[2,7]",
"A_4[3,7]",
"A_4[4,7]",
"A_4[5,7]",
"A_4[6,7]",
"A_4[7,7]",
"A_4[1,8]",
"A_4[2,8]",
"A_4[3,8]",
"A_4[4,8]",
"A_4[5,8]",
"A_4[6,8]",
"A_4[7,8]",
"A_4[8,8]"
]
},
"set": {
"type": "PositiveSemidefiniteConeTriangle",
"side_dimension": 8
}
}
]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment