Example: Pair of mixed-integer linear programs
Profiles: OSCAR v1.5, OSCAR v1.6, OSCAR v1.7, OSCAR v1.8
Construct two mixed-integer linear programs over a number field.
Related Specification
Systems
Oscar.jl
Generate code (generate.jl) [ edit ]
using Oscar
P = dodecahedron()
F = coefficient_field(P)
a = gen(number_field(F))
MILP1 = mixed_integer_linear_program(P, [3, -2, a]; k=2, convention=:min, integer_variables=[1, 2])
MILP2 = mixed_integer_linear_program(P, [-3 * a, -2, 3]; k=2, convention=:max, integer_variables=[1, 2])
obj = [MILP1, MILP2]
save("data.mrdi", obj)
Data outputs
Profiles: OSCAR v1.5, OSCAR v1.6, OSCAR v1.7
Data file: data.mrdi
{
"_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.7.0"]},
"_type": {
"name": "Vector",
"params": {
"name": "MixedIntegerLinearProgram",
"params": {
"field": "9e084737-bc65-46b6-9ad9-6fa4b8e997fb",
"pm_params": {
"name": "Dict",
"params": {
"key_params": "Symbol",
"AFFINE_HULL": {"name": "MatElem", "params": "0f9ad693-8ef0-47cb-a872-f5d3772c92cb"},
"_polymake_type": "String",
"GROUP": {
"name": "Tuple",
"params": [
{
"name": "Dict",
"params": {
"key_params": "Symbol",
"VERTICES_ACTION.GENERATORS": {"name": "Vector", "params": {"name": "Vector", "params": "Base.Int"}}
}
}
]
},
"MILP": {
"name": "Tuple",
"params": [
{
"name": "Dict",
"params": {
"key_params": "Symbol",
"INTEGER_VARIABLES": {"name": "Set", "params": "Base.Int"},
"LINEAR_OBJECTIVE": {
"name": "Vector",
"params": {
"name": "EmbeddedNumFieldElem",
"params": "9e084737-bc65-46b6-9ad9-6fa4b8e997fb"
}
}
}
},
{
"name": "Dict",
"params": {
"key_params": "Symbol",
"INTEGER_VARIABLES": {"name": "Set", "params": "Base.Int"},
"LINEAR_OBJECTIVE": {
"name": "Vector",
"params": {
"name": "EmbeddedNumFieldElem",
"params": "9e084737-bc65-46b6-9ad9-6fa4b8e997fb"
}
}
}
}
]
},
"POINTED": "Bool",
"FEASIBLE": "Bool",
"CONE_DIM": "Base.Int",
"VERTICES": {"name": "MatElem", "params": "33a0a22e-2f0b-4c4e-95ce-e35c68dd989f"},
"N_VERTICES": "Base.Int",
"CONE_AMBIENT_DIM": "Base.Int",
"LINEALITY_SPACE": {"name": "MatElem", "params": "0f9ad693-8ef0-47cb-a872-f5d3772c92cb"},
"CENTERED": "Bool",
"BOUNDED": "Bool"
}
}
}
}
},
"data": [
{
"feasible_region": {
"AFFINE_HULL": [],
"_polymake_type": "polytope::Polytope<OscarNumber>",
"GROUP": [
{
"VERTICES_ACTION.GENERATORS": [
[
"1",
"0",
"3",
"2",
"6",
"5",
"4",
"7",
"10",
"11",
"8",
"9",
"12",
"15",
"14",
"13",
"17",
"16",
"19",
"18"
],
[
"0",
"2",
"1",
"5",
"4",
"3",
"8",
"9",
"6",
"7",
"12",
"13",
"10",
"11",
"16",
"15",
"14",
"18",
"17",
"19"
],
[
"0",
"1",
"4",
"6",
"2",
"7",
"3",
"5",
"9",
"8",
"11",
"10",
"14",
"16",
"12",
"17",
"13",
"15",
"18",
"19"
]
]
}
],
"MILP": [
{
"INTEGER_VARIABLES": ["2", "1"],
"LINEAR_OBJECTIVE": [[["0", "2"]], [["0", "3"]], [["0", "-2"]], [["1", "1"]]]
},
{
"INTEGER_VARIABLES": ["2", "1"],
"LINEAR_OBJECTIVE": [[["0", "2"]], [["1", "-3"]], [["0", "-2"]], [["0", "3"]]]
}
],
"POINTED": "true",
"FEASIBLE": "true",
"CONE_DIM": "4",
"VERTICES": [
[[["0", "1"]], [["0", "1//2"]], [["0", "3//4"], ["1", "1//4"]], []],
[[["0", "1"]], [["0", "-1//2"]], [["0", "3//4"], ["1", "1//4"]], []],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[[["0", "1"]], [], [["0", "1//2"]], [["0", "3//4"], ["1", "1//4"]]],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[[["0", "1"]], [], [["0", "1//2"]], [["0", "-3//4"], ["1", "-1//4"]]],
[[["0", "1"]], [["0", "3//4"], ["1", "1//4"]], [], [["0", "1//2"]]],
[[["0", "1"]], [["0", "3//4"], ["1", "1//4"]], [], [["0", "-1//2"]]],
[[["0", "1"]], [["0", "-3//4"], ["1", "-1//4"]], [], [["0", "1//2"]]],
[[["0", "1"]], [["0", "-3//4"], ["1", "-1//4"]], [], [["0", "-1//2"]]],
[[["0", "1"]], [], [["0", "-1//2"]], [["0", "3//4"], ["1", "1//4"]]],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[[["0", "1"]], [], [["0", "-1//2"]], [["0", "-3//4"], ["1", "-1//4"]]],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[[["0", "1"]], [["0", "1//2"]], [["0", "-3//4"], ["1", "-1//4"]], []],
[[["0", "1"]], [["0", "-1//2"]], [["0", "-3//4"], ["1", "-1//4"]], []]
],
"N_VERTICES": "20",
"CONE_AMBIENT_DIM": "4",
"LINEALITY_SPACE": [],
"CENTERED": "true",
"BOUNDED": "true"
},
"convention": "min",
"milp_coeffs": [[["0", "2"]], [["0", "3"]], [["0", "-2"]], [["1", "1"]]],
"int_vars": ["2", "1"]
},
{
"feasible_region": {
"AFFINE_HULL": [],
"_polymake_type": "polytope::Polytope<OscarNumber>",
"GROUP": [
{
"VERTICES_ACTION.GENERATORS": [
[
"1",
"0",
"3",
"2",
"6",
"5",
"4",
"7",
"10",
"11",
"8",
"9",
"12",
"15",
"14",
"13",
"17",
"16",
"19",
"18"
],
[
"0",
"2",
"1",
"5",
"4",
"3",
"8",
"9",
"6",
"7",
"12",
"13",
"10",
"11",
"16",
"15",
"14",
"18",
"17",
"19"
],
[
"0",
"1",
"4",
"6",
"2",
"7",
"3",
"5",
"9",
"8",
"11",
"10",
"14",
"16",
"12",
"17",
"13",
"15",
"18",
"19"
]
]
}
],
"MILP": [
{
"INTEGER_VARIABLES": ["2", "1"],
"LINEAR_OBJECTIVE": [[["0", "2"]], [["0", "3"]], [["0", "-2"]], [["1", "1"]]]
},
{
"INTEGER_VARIABLES": ["2", "1"],
"LINEAR_OBJECTIVE": [[["0", "2"]], [["1", "-3"]], [["0", "-2"]], [["0", "3"]]]
}
],
"POINTED": "true",
"FEASIBLE": "true",
"CONE_DIM": "4",
"VERTICES": [
[[["0", "1"]], [["0", "1//2"]], [["0", "3//4"], ["1", "1//4"]], []],
[[["0", "1"]], [["0", "-1//2"]], [["0", "3//4"], ["1", "1//4"]], []],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[[["0", "1"]], [], [["0", "1//2"]], [["0", "3//4"], ["1", "1//4"]]],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[[["0", "1"]], [], [["0", "1//2"]], [["0", "-3//4"], ["1", "-1//4"]]],
[[["0", "1"]], [["0", "3//4"], ["1", "1//4"]], [], [["0", "1//2"]]],
[[["0", "1"]], [["0", "3//4"], ["1", "1//4"]], [], [["0", "-1//2"]]],
[[["0", "1"]], [["0", "-3//4"], ["1", "-1//4"]], [], [["0", "1//2"]]],
[[["0", "1"]], [["0", "-3//4"], ["1", "-1//4"]], [], [["0", "-1//2"]]],
[[["0", "1"]], [], [["0", "-1//2"]], [["0", "3//4"], ["1", "1//4"]]],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[[["0", "1"]], [], [["0", "-1//2"]], [["0", "-3//4"], ["1", "-1//4"]]],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[[["0", "1"]], [["0", "1//2"]], [["0", "-3//4"], ["1", "-1//4"]], []],
[[["0", "1"]], [["0", "-1//2"]], [["0", "-3//4"], ["1", "-1//4"]], []]
],
"N_VERTICES": "20",
"CONE_AMBIENT_DIM": "4",
"LINEALITY_SPACE": [],
"CENTERED": "true",
"BOUNDED": "true"
},
"convention": "max",
"milp_coeffs": [[["0", "2"]], [["1", "-3"]], [["0", "-2"]], [["0", "3"]]],
"int_vars": ["2", "1"]
}
],
"_refs": {
"9e084737-bc65-46b6-9ad9-6fa4b8e997fb": {
"_type": {"name": "EmbeddedNumField", "params": "7701d12b-ac40-42d5-aa1b-19cf3a221066"},
"data": []
},
"0f9ad693-8ef0-47cb-a872-f5d3772c92cb": {
"_type": {"name": "MatSpace", "params": "9e084737-bc65-46b6-9ad9-6fa4b8e997fb"},
"data": {"ncols": "4", "nrows": "0"}
},
"33a0a22e-2f0b-4c4e-95ce-e35c68dd989f": {
"_type": {"name": "MatSpace", "params": "9e084737-bc65-46b6-9ad9-6fa4b8e997fb"},
"data": {"ncols": "4", "nrows": "20"}
},
"7701d12b-ac40-42d5-aa1b-19cf3a221066": {
"_type": {"name": "Hecke.AbsSimpleNumFieldEmbedding", "params": "4e6ba350-d300-4a90-97a0-095569473f47"},
"data": ["478dde6e5 -21 10000001 -3d", "0 0 0 0"]
},
"4e6ba350-d300-4a90-97a0-095569473f47": {
"_type": {"name": "AbsSimpleNumField", "params": "229044e0-fcf4-4357-a1d5-09ebfba499e7"},
"data": {"def_pol": [["0", "-5"], ["2", "1"]], "var": "sqrt(5)"}
},
"229044e0-fcf4-4357-a1d5-09ebfba499e7": {"_type": {"name": "PolyRing", "params": {"_type": "QQField"}}, "data": {"symbols": ["x"]}}
}
}This serialized output is equivalent for these profiles up to UUID renaming and recorded namespace version strings.
Profiles: OSCAR v1.8
Data file: data.mrdi
{
"_ns": {
"Oscar": [
"https://github.com/oscar-system/Oscar.jl",
"1.8.0-DEV-1-8dea7e5a4d0cdef038b2fa2cd018d08201b4ac07"
]
},
"_type": {
"name": "Vector",
"params": {
"name": "MixedIntegerLinearProgram",
"params": {
"field": "cb60b004-ecc2-40fc-bef5-1f34ff107980",
"pm_params": {
"name": "Dict",
"params": {
"key_params": "Symbol",
"AFFINE_HULL": {"name": "MatElem", "params": "d6a6438f-aa14-4804-817b-52cc9222577a"},
"_polymake_type": "String",
"GROUP": {
"name": "Tuple",
"params": [
{
"name": "Dict",
"params": {
"key_params": "Symbol",
"VERTICES_ACTION.GENERATORS": {"name": "Vector", "params": {"name": "Vector", "params": "Base.Int"}}
}
}
]
},
"MILP": {
"name": "Tuple",
"params": [
{
"name": "Dict",
"params": {
"key_params": "Symbol",
"INTEGER_VARIABLES": {"name": "Set", "params": "Base.Int"},
"LINEAR_OBJECTIVE": {
"name": "Vector",
"params": {
"name": "EmbeddedNumFieldElem",
"params": "cb60b004-ecc2-40fc-bef5-1f34ff107980"
}
}
}
},
{
"name": "Dict",
"params": {
"key_params": "Symbol",
"INTEGER_VARIABLES": {"name": "Set", "params": "Base.Int"},
"LINEAR_OBJECTIVE": {
"name": "Vector",
"params": {
"name": "EmbeddedNumFieldElem",
"params": "cb60b004-ecc2-40fc-bef5-1f34ff107980"
}
}
}
}
]
},
"POINTED": "Bool",
"FEASIBLE": "Bool",
"CONE_DIM": "Base.Int",
"VERTICES": {"name": "MatElem", "params": "b3a7582a-1988-4df4-b872-0138cc420b1f"},
"N_VERTICES": "Base.Int",
"CONE_AMBIENT_DIM": "Base.Int",
"LINEALITY_SPACE": {"name": "MatElem", "params": "d6a6438f-aa14-4804-817b-52cc9222577a"},
"CENTERED": "Bool",
"BOUNDED": "Bool"
}
}
}
}
},
"data": [
{
"feasible_region": {
"AFFINE_HULL": [],
"_polymake_type": "polytope::Polytope<OscarNumber>",
"GROUP": [
{
"VERTICES_ACTION.GENERATORS": [
[
"1",
"0",
"3",
"2",
"6",
"5",
"4",
"7",
"10",
"11",
"8",
"9",
"12",
"15",
"14",
"13",
"17",
"16",
"19",
"18"
],
[
"0",
"2",
"1",
"5",
"4",
"3",
"8",
"9",
"6",
"7",
"12",
"13",
"10",
"11",
"16",
"15",
"14",
"18",
"17",
"19"
],
[
"0",
"1",
"4",
"6",
"2",
"7",
"3",
"5",
"9",
"8",
"11",
"10",
"14",
"16",
"12",
"17",
"13",
"15",
"18",
"19"
]
]
}
],
"MILP": [
{
"INTEGER_VARIABLES": ["2", "1"],
"LINEAR_OBJECTIVE": [[["0", "2"]], [["0", "3"]], [["0", "-2"]], [["1", "1"]]]
},
{
"INTEGER_VARIABLES": ["2", "1"],
"LINEAR_OBJECTIVE": [[["0", "2"]], [["1", "-3"]], [["0", "-2"]], [["0", "3"]]]
}
],
"POINTED": true,
"FEASIBLE": true,
"CONE_DIM": "4",
"VERTICES": [
[[["0", "1"]], [["0", "1//2"]], [["0", "3//4"], ["1", "1//4"]], []],
[[["0", "1"]], [["0", "-1//2"]], [["0", "3//4"], ["1", "1//4"]], []],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[[["0", "1"]], [], [["0", "1//2"]], [["0", "3//4"], ["1", "1//4"]]],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[[["0", "1"]], [], [["0", "1//2"]], [["0", "-3//4"], ["1", "-1//4"]]],
[[["0", "1"]], [["0", "3//4"], ["1", "1//4"]], [], [["0", "1//2"]]],
[[["0", "1"]], [["0", "3//4"], ["1", "1//4"]], [], [["0", "-1//2"]]],
[[["0", "1"]], [["0", "-3//4"], ["1", "-1//4"]], [], [["0", "1//2"]]],
[[["0", "1"]], [["0", "-3//4"], ["1", "-1//4"]], [], [["0", "-1//2"]]],
[[["0", "1"]], [], [["0", "-1//2"]], [["0", "3//4"], ["1", "1//4"]]],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[[["0", "1"]], [], [["0", "-1//2"]], [["0", "-3//4"], ["1", "-1//4"]]],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[[["0", "1"]], [["0", "1//2"]], [["0", "-3//4"], ["1", "-1//4"]], []],
[[["0", "1"]], [["0", "-1//2"]], [["0", "-3//4"], ["1", "-1//4"]], []]
],
"N_VERTICES": "20",
"CONE_AMBIENT_DIM": "4",
"LINEALITY_SPACE": [],
"CENTERED": true,
"BOUNDED": true
},
"convention": "min",
"milp_coeffs": [[["0", "2"]], [["0", "3"]], [["0", "-2"]], [["1", "1"]]],
"int_vars": ["2", "1"]
},
{
"feasible_region": {
"AFFINE_HULL": [],
"_polymake_type": "polytope::Polytope<OscarNumber>",
"GROUP": [
{
"VERTICES_ACTION.GENERATORS": [
[
"1",
"0",
"3",
"2",
"6",
"5",
"4",
"7",
"10",
"11",
"8",
"9",
"12",
"15",
"14",
"13",
"17",
"16",
"19",
"18"
],
[
"0",
"2",
"1",
"5",
"4",
"3",
"8",
"9",
"6",
"7",
"12",
"13",
"10",
"11",
"16",
"15",
"14",
"18",
"17",
"19"
],
[
"0",
"1",
"4",
"6",
"2",
"7",
"3",
"5",
"9",
"8",
"11",
"10",
"14",
"16",
"12",
"17",
"13",
"15",
"18",
"19"
]
]
}
],
"MILP": [
{
"INTEGER_VARIABLES": ["2", "1"],
"LINEAR_OBJECTIVE": [[["0", "2"]], [["0", "3"]], [["0", "-2"]], [["1", "1"]]]
},
{
"INTEGER_VARIABLES": ["2", "1"],
"LINEAR_OBJECTIVE": [[["0", "2"]], [["1", "-3"]], [["0", "-2"]], [["0", "3"]]]
}
],
"POINTED": true,
"FEASIBLE": true,
"CONE_DIM": "4",
"VERTICES": [
[[["0", "1"]], [["0", "1//2"]], [["0", "3//4"], ["1", "1//4"]], []],
[[["0", "1"]], [["0", "-1//2"]], [["0", "3//4"], ["1", "1//4"]], []],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[[["0", "1"]], [], [["0", "1//2"]], [["0", "3//4"], ["1", "1//4"]]],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[[["0", "1"]], [], [["0", "1//2"]], [["0", "-3//4"], ["1", "-1//4"]]],
[[["0", "1"]], [["0", "3//4"], ["1", "1//4"]], [], [["0", "1//2"]]],
[[["0", "1"]], [["0", "3//4"], ["1", "1//4"]], [], [["0", "-1//2"]]],
[[["0", "1"]], [["0", "-3//4"], ["1", "-1//4"]], [], [["0", "1//2"]]],
[[["0", "1"]], [["0", "-3//4"], ["1", "-1//4"]], [], [["0", "-1//2"]]],
[[["0", "1"]], [], [["0", "-1//2"]], [["0", "3//4"], ["1", "1//4"]]],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[[["0", "1"]], [], [["0", "-1//2"]], [["0", "-3//4"], ["1", "-1//4"]]],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "1//4"], ["1", "1//4"]]
],
[
[["0", "1"]],
[["0", "1//4"], ["1", "1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[
[["0", "1"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]],
[["0", "-1//4"], ["1", "-1//4"]]
],
[[["0", "1"]], [["0", "1//2"]], [["0", "-3//4"], ["1", "-1//4"]], []],
[[["0", "1"]], [["0", "-1//2"]], [["0", "-3//4"], ["1", "-1//4"]], []]
],
"N_VERTICES": "20",
"CONE_AMBIENT_DIM": "4",
"LINEALITY_SPACE": [],
"CENTERED": true,
"BOUNDED": true
},
"convention": "max",
"milp_coeffs": [[["0", "2"]], [["1", "-3"]], [["0", "-2"]], [["0", "3"]]],
"int_vars": ["2", "1"]
}
],
"_refs": {
"cb60b004-ecc2-40fc-bef5-1f34ff107980": {
"_type": {"name": "EmbeddedNumField", "params": "a07ce4fe-c7a5-47ce-93aa-ec518fc0cac9"},
"data": []
},
"d6a6438f-aa14-4804-817b-52cc9222577a": {
"_type": {"name": "MatSpace", "params": "cb60b004-ecc2-40fc-bef5-1f34ff107980"},
"data": {"ncols": "4", "nrows": "0"}
},
"b3a7582a-1988-4df4-b872-0138cc420b1f": {
"_type": {"name": "MatSpace", "params": "cb60b004-ecc2-40fc-bef5-1f34ff107980"},
"data": {"ncols": "4", "nrows": "20"}
},
"a07ce4fe-c7a5-47ce-93aa-ec518fc0cac9": {
"_type": {"name": "Hecke.AbsSimpleNumFieldEmbedding", "params": "371cfcb2-1d38-46f6-9253-e148756b3bd4"},
"data": ["478dde6e5 -21 10000001 -3d", "0 0 0 0"]
},
"371cfcb2-1d38-46f6-9253-e148756b3bd4": {
"_type": {"name": "AbsSimpleNumField", "params": "60404de9-8db1-4fbc-93e4-be75077f781e"},
"data": {"def_pol": [["0", "-5"], ["2", "1"]], "var": "sqrt(5)"}
},
"60404de9-8db1-4fbc-93e4-be75077f781e": {"_type": {"name": "PolyRing", "params": {"_type": "QQField"}}, "data": {"symbols": ["x"]}}
}
}