Example: Algebraic cube
Profiles: OSCAR v1.2, OSCAR v1.3, OSCAR v1.4, OSCAR v1.5, OSCAR v1.6, OSCAR v1.7, OSCAR v1.8
Construct a cube over QQBarField() with algebraic bounds.
Related Specification
Systems
Oscar.jl
Generate code (generate.jl) [ edit ]
using Oscar
n2 = (QQBarField()(5))^(QQ(4//5))
obj = cube(QQBarField(), 3, -1, n2)
f_vector(obj)
lattice_points(obj)
save("data.mrdi", obj)
Data outputs
Profiles: OSCAR v1.2, OSCAR v1.3
Data file: data.mrdi
{
"_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.3.1"]},
"_type": {"name": "Polyhedron", "params": {"_type": "QQBarField"}},
"data": {
"_type": {
"name": "Dict",
"params": {
"key_type": "String",
"N_FACETS": "Base.Int",
"N_VERTICES": "Base.Int",
"LINEALITY_SPACE": {"name": "MatElem", "params": "479863f2-0133-4da1-a51a-334d629cc943"},
"_coeff": "QQBarField",
"_description": "String",
"CONE_AMBIENT_DIM": "Base.Int",
"LINEALITY_DIM": "Base.Int",
"BOUNDED": "Bool",
"_type": "String",
"COMBINATORIAL_DIM": "Base.Int",
"POINTED": "Bool",
"VERTICES": {"name": "MatElem", "params": "6124904c-13ad-4934-90bc-4c09802cc407"},
"HASSE_DIAGRAM": {
"name": "Dict",
"params": {
"key_type": "String",
"FACES": {"name": "Vector", "params": {"name": "Set", "params": "Base.Int"}},
"ADJACENCY": "Graph{Directed}",
"BOTTOM_NODE": "Base.Int",
"DECORATION": {
"name": "Vector",
"params": {"name": "Tuple", "params": [{"name": "Set", "params": "Base.Int"}, "Base.Int"]}
},
"TOP_NODE": "Base.Int"
}
},
"AFFINE_HULL": {"name": "MatElem", "params": "479863f2-0133-4da1-a51a-334d629cc943"},
"CONE_DIM": "Base.Int",
"VERTICES_IN_FACETS": "Polymake.IncidenceMatrixAllocated{Polymake.NonSymmetric}",
"FEASIBLE": "Bool",
"FAR_FACE": {"name": "Set", "params": "Base.Int"},
"LATTICE_POINTS_GENERATORS": {
"name": "Tuple",
"params": [
{"name": "MatElem", "params": "e82cd0f8-359e-4cee-8e60-746c3f5c604e"},
{"name": "MatElem", "params": "f4145a5b-9991-45cc-835c-c67ff4d164df"},
{"name": "MatElem", "params": "f4145a5b-9991-45cc-835c-c67ff4d164df"}
]
},
"FACETS": {"name": "MatElem", "params": "7b6a9c87-4112-4b77-8ce7-1b299b08cffc"}
}
},
"data": {
"N_FACETS": "6",
"N_VERTICES": "8",
"LINEALITY_SPACE": [],
"_description": "cube of dimension 3\n",
"CONE_AMBIENT_DIM": "4",
"LINEALITY_DIM": "0",
"BOUNDED": "true",
"_type": "polytope::Polytope<OscarNumber>",
"COMBINATORIAL_DIM": "3",
"POINTED": "true",
"VERTICES": [
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
}
]
],
"HASSE_DIAGRAM": {
"FACES": [
["0", "4", "5", "6", "2", "7", "3", "1"],
["0", "4", "6", "2"],
["5", "7", "3", "1"],
["0", "4", "5", "1"],
["6", "7", "2", "3"],
["0", "2", "3", "1"],
["5", "4", "6", "7"],
["0", "4"],
["6", "2"],
["0", "2"],
["4", "6"],
["5", "1"],
["7", "3"],
["3", "1"],
["5", "7"],
["0", "1"],
["5", "4"],
["2", "3"],
["6", "7"],
["0"],
["1"],
["2"],
["3"],
["4"],
["5"],
["6"],
["7"],
[]
],
"ADJACENCY": {
"_type": "common::GraphAdjacency<Directed>",
"data": [
[],
[0],
[0],
[0],
[0],
[0],
[0],
[1, 3],
[1, 4],
[1, 5],
[1, 6],
[2, 3],
[2, 4],
[2, 5],
[2, 6],
[3, 5],
[3, 6],
[4, 5],
[4, 6],
[7, 9, 15],
[11, 13, 15],
[8, 9, 17],
[12, 13, 17],
[7, 10, 16],
[11, 14, 16],
[8, 10, 18],
[12, 14, 18],
[19, 20, 21, 22, 23, 24, 25, 26]
],
"_ns": {"polymake": ["https://polymake.org", "4.13"]}
},
"BOTTOM_NODE": "27",
"DECORATION": [
[["0", "4", "5", "6", "2", "7", "3", "1"], "4"],
[["0", "4", "6", "2"], "3"],
[["5", "7", "3", "1"], "3"],
[["0", "4", "5", "1"], "3"],
[["6", "7", "2", "3"], "3"],
[["0", "2", "3", "1"], "3"],
[["5", "4", "6", "7"], "3"],
[["0", "4"], "2"],
[["6", "2"], "2"],
[["0", "2"], "2"],
[["4", "6"], "2"],
[["5", "1"], "2"],
[["7", "3"], "2"],
[["3", "1"], "2"],
[["5", "7"], "2"],
[["0", "1"], "2"],
[["5", "4"], "2"],
[["2", "3"], "2"],
[["6", "7"], "2"],
[["0"], "1"],
[["1"], "1"],
[["2"], "1"],
[["3"], "1"],
[["4"], "1"],
[["5"], "1"],
[["6"], "1"],
[["7"], "1"],
[[], "0"]
],
"TOP_NODE": "0"
},
"AFFINE_HULL": [],
"CONE_DIM": "4",
"VERTICES_IN_FACETS": {
"_type": "common::IncidenceMatrix<NonSymmetric>",
"data": [
[0, 2, 4, 6],
[1, 3, 5, 7],
[0, 1, 4, 5],
[2, 3, 6, 7],
[0, 1, 2, 3],
[4, 5, 6, 7],
{"cols": 8}
],
"_ns": {"polymake": ["https://polymake.org", "4.13"]}
},
"FEASIBLE": "true",
"FAR_FACE": [],
"LATTICE_POINTS_GENERATORS": [
[
["1", "-1", "-1", "-1"],
["1", "-1", "-1", "0"],
["1", "-1", "-1", "1"],
["1", "-1", "-1", "2"],
["1", "-1", "-1", "3"],
["1", "-1", "0", "-1"],
["1", "-1", "0", "0"],
["1", "-1", "0", "1"],
["1", "-1", "0", "2"],
["1", "-1", "0", "3"],
["1", "-1", "1", "-1"],
["1", "-1", "1", "0"],
["1", "-1", "1", "1"],
["1", "-1", "1", "2"],
["1", "-1", "1", "3"],
["1", "-1", "2", "-1"],
["1", "-1", "2", "0"],
["1", "-1", "2", "1"],
["1", "-1", "2", "2"],
["1", "-1", "2", "3"],
["1", "-1", "3", "-1"],
["1", "-1", "3", "0"],
["1", "-1", "3", "1"],
["1", "-1", "3", "2"],
["1", "-1", "3", "3"],
["1", "0", "-1", "-1"],
["1", "0", "-1", "0"],
["1", "0", "-1", "1"],
["1", "0", "-1", "2"],
["1", "0", "-1", "3"],
["1", "0", "0", "-1"],
["1", "0", "0", "0"],
["1", "0", "0", "1"],
["1", "0", "0", "2"],
["1", "0", "0", "3"],
["1", "0", "1", "-1"],
["1", "0", "1", "0"],
["1", "0", "1", "1"],
["1", "0", "1", "2"],
["1", "0", "1", "3"],
["1", "0", "2", "-1"],
["1", "0", "2", "0"],
["1", "0", "2", "1"],
["1", "0", "2", "2"],
["1", "0", "2", "3"],
["1", "0", "3", "-1"],
["1", "0", "3", "0"],
["1", "0", "3", "1"],
["1", "0", "3", "2"],
["1", "0", "3", "3"],
["1", "1", "-1", "-1"],
["1", "1", "-1", "0"],
["1", "1", "-1", "1"],
["1", "1", "-1", "2"],
["1", "1", "-1", "3"],
["1", "1", "0", "-1"],
["1", "1", "0", "0"],
["1", "1", "0", "1"],
["1", "1", "0", "2"],
["1", "1", "0", "3"],
["1", "1", "1", "-1"],
["1", "1", "1", "0"],
["1", "1", "1", "1"],
["1", "1", "1", "2"],
["1", "1", "1", "3"],
["1", "1", "2", "-1"],
["1", "1", "2", "0"],
["1", "1", "2", "1"],
["1", "1", "2", "2"],
["1", "1", "2", "3"],
["1", "1", "3", "-1"],
["1", "1", "3", "0"],
["1", "1", "3", "1"],
["1", "1", "3", "2"],
["1", "1", "3", "3"],
["1", "2", "-1", "-1"],
["1", "2", "-1", "0"],
["1", "2", "-1", "1"],
["1", "2", "-1", "2"],
["1", "2", "-1", "3"],
["1", "2", "0", "-1"],
["1", "2", "0", "0"],
["1", "2", "0", "1"],
["1", "2", "0", "2"],
["1", "2", "0", "3"],
["1", "2", "1", "-1"],
["1", "2", "1", "0"],
["1", "2", "1", "1"],
["1", "2", "1", "2"],
["1", "2", "1", "3"],
["1", "2", "2", "-1"],
["1", "2", "2", "0"],
["1", "2", "2", "1"],
["1", "2", "2", "2"],
["1", "2", "2", "3"],
["1", "2", "3", "-1"],
["1", "2", "3", "0"],
["1", "2", "3", "1"],
["1", "2", "3", "2"],
["1", "2", "3", "3"],
["1", "3", "-1", "-1"],
["1", "3", "-1", "0"],
["1", "3", "-1", "1"],
["1", "3", "-1", "2"],
["1", "3", "-1", "3"],
["1", "3", "0", "-1"],
["1", "3", "0", "0"],
["1", "3", "0", "1"],
["1", "3", "0", "2"],
["1", "3", "0", "3"],
["1", "3", "1", "-1"],
["1", "3", "1", "0"],
["1", "3", "1", "1"],
["1", "3", "1", "2"],
["1", "3", "1", "3"],
["1", "3", "2", "-1"],
["1", "3", "2", "0"],
["1", "3", "2", "1"],
["1", "3", "2", "2"],
["1", "3", "2", "3"],
["1", "3", "3", "-1"],
["1", "3", "3", "0"],
["1", "3", "3", "1"],
["1", "3", "3", "2"],
["1", "3", "3", "3"]
],
[],
[]
],
"FACETS": [
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"}
]
]
}
},
"_refs": {
"479863f2-0133-4da1-a51a-334d629cc943": {
"_type": "MatSpace",
"data": {"base_ring": {"_type": "QQBarField"}, "ncols": "4", "nrows": "0"}
},
"6124904c-13ad-4934-90bc-4c09802cc407": {
"_type": "MatSpace",
"data": {"base_ring": {"_type": "QQBarField"}, "ncols": "4", "nrows": "8"}
},
"e82cd0f8-359e-4cee-8e60-746c3f5c604e": {"_type": "MatSpace", "data": {"base_ring": {"_type": "ZZRing"}, "ncols": "4", "nrows": "125"}},
"f4145a5b-9991-45cc-835c-c67ff4d164df": {"_type": "MatSpace", "data": {"base_ring": {"_type": "ZZRing"}, "ncols": "4", "nrows": "0"}},
"7b6a9c87-4112-4b77-8ce7-1b299b08cffc": {
"_type": "MatSpace",
"data": {"base_ring": {"_type": "QQBarField"}, "ncols": "4", "nrows": "6"}
}
}
}This serialized output is equivalent for these profiles up to UUID renaming and recorded namespace version strings.
Profiles: OSCAR v1.4, 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": "Polyhedron",
"params": {
"field": {"_type": "QQBarField"},
"pm_params": {
"name": "Dict",
"params": {
"key_params": "Symbol",
"HASSE_DIAGRAM.TOP_NODE": "Base.Int",
"AFFINE_HULL": {"name": "MatElem", "params": "a1e6ddef-8159-4dbf-80bd-5b01c4173d65"},
"FACETS": {"name": "MatElem", "params": "d891b518-9acd-4994-a9d1-e975df6eb77a"},
"_polymake_type": "String",
"_description": "String",
"HASSE_DIAGRAM.FACES": {"name": "Vector", "params": {"name": "Set", "params": "Base.Int"}},
"POINTED": "Bool",
"FEASIBLE": "Bool",
"LATTICE_POINTS_GENERATORS": {
"name": "Tuple",
"params": [
{"name": "MatElem", "params": "cfd22a93-b027-4f55-9d12-a613e538c810"},
{"name": "MatElem", "params": "bdec1ef0-8b9f-4f5d-a7bc-76c4d21d5e77"},
{"name": "MatElem", "params": "bdec1ef0-8b9f-4f5d-a7bc-76c4d21d5e77"}
]
},
"HASSE_DIAGRAM.BOTTOM_NODE": "Base.Int",
"CONE_DIM": "Base.Int",
"N_FACETS": "Base.Int",
"N_VERTICES": "Base.Int",
"HASSE_DIAGRAM.ADJACENCY": "Graph{Directed}",
"VERTICES": {"name": "MatElem", "params": "cfa8c0ab-c385-4c2f-8681-76e675e39c3a"},
"CONE_AMBIENT_DIM": "Base.Int",
"FAR_FACE": {"name": "Set", "params": "Base.Int"},
"COMBINATORIAL_DIM": "Base.Int",
"LINEALITY_SPACE": {"name": "MatElem", "params": "a1e6ddef-8159-4dbf-80bd-5b01c4173d65"},
"VERTICES_IN_FACETS": "Polymake.IncidenceMatrixAllocated{Polymake.NonSymmetric}",
"BOUNDED": "Bool",
"LINEALITY_DIM": "Base.Int",
"HASSE_DIAGRAM.DECORATION": {
"name": "Vector",
"params": {"name": "Tuple", "params": [{"name": "Set", "params": "Base.Int"}, "Base.Int"]}
}
}
}
}
},
"data": {
"HASSE_DIAGRAM.TOP_NODE": "0",
"AFFINE_HULL": [],
"FACETS": [
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"}
]
],
"_polymake_type": "polytope::Polytope<OscarNumber>",
"_description": "cube of dimension 3\n",
"HASSE_DIAGRAM.FACES": [
["0", "4", "5", "6", "2", "7", "3", "1"],
["0", "4", "6", "2"],
["5", "7", "3", "1"],
["0", "4", "5", "1"],
["6", "7", "2", "3"],
["0", "2", "3", "1"],
["5", "4", "6", "7"],
["0", "4"],
["6", "2"],
["0", "2"],
["4", "6"],
["5", "1"],
["7", "3"],
["3", "1"],
["5", "7"],
["0", "1"],
["5", "4"],
["2", "3"],
["6", "7"],
["0"],
["1"],
["2"],
["3"],
["4"],
["5"],
["6"],
["7"],
[]
],
"POINTED": "true",
"FEASIBLE": "true",
"LATTICE_POINTS_GENERATORS": [
[
["1", "-1", "-1", "-1"],
["1", "-1", "-1", "0"],
["1", "-1", "-1", "1"],
["1", "-1", "-1", "2"],
["1", "-1", "-1", "3"],
["1", "-1", "0", "-1"],
["1", "-1", "0", "0"],
["1", "-1", "0", "1"],
["1", "-1", "0", "2"],
["1", "-1", "0", "3"],
["1", "-1", "1", "-1"],
["1", "-1", "1", "0"],
["1", "-1", "1", "1"],
["1", "-1", "1", "2"],
["1", "-1", "1", "3"],
["1", "-1", "2", "-1"],
["1", "-1", "2", "0"],
["1", "-1", "2", "1"],
["1", "-1", "2", "2"],
["1", "-1", "2", "3"],
["1", "-1", "3", "-1"],
["1", "-1", "3", "0"],
["1", "-1", "3", "1"],
["1", "-1", "3", "2"],
["1", "-1", "3", "3"],
["1", "0", "-1", "-1"],
["1", "0", "-1", "0"],
["1", "0", "-1", "1"],
["1", "0", "-1", "2"],
["1", "0", "-1", "3"],
["1", "0", "0", "-1"],
["1", "0", "0", "0"],
["1", "0", "0", "1"],
["1", "0", "0", "2"],
["1", "0", "0", "3"],
["1", "0", "1", "-1"],
["1", "0", "1", "0"],
["1", "0", "1", "1"],
["1", "0", "1", "2"],
["1", "0", "1", "3"],
["1", "0", "2", "-1"],
["1", "0", "2", "0"],
["1", "0", "2", "1"],
["1", "0", "2", "2"],
["1", "0", "2", "3"],
["1", "0", "3", "-1"],
["1", "0", "3", "0"],
["1", "0", "3", "1"],
["1", "0", "3", "2"],
["1", "0", "3", "3"],
["1", "1", "-1", "-1"],
["1", "1", "-1", "0"],
["1", "1", "-1", "1"],
["1", "1", "-1", "2"],
["1", "1", "-1", "3"],
["1", "1", "0", "-1"],
["1", "1", "0", "0"],
["1", "1", "0", "1"],
["1", "1", "0", "2"],
["1", "1", "0", "3"],
["1", "1", "1", "-1"],
["1", "1", "1", "0"],
["1", "1", "1", "1"],
["1", "1", "1", "2"],
["1", "1", "1", "3"],
["1", "1", "2", "-1"],
["1", "1", "2", "0"],
["1", "1", "2", "1"],
["1", "1", "2", "2"],
["1", "1", "2", "3"],
["1", "1", "3", "-1"],
["1", "1", "3", "0"],
["1", "1", "3", "1"],
["1", "1", "3", "2"],
["1", "1", "3", "3"],
["1", "2", "-1", "-1"],
["1", "2", "-1", "0"],
["1", "2", "-1", "1"],
["1", "2", "-1", "2"],
["1", "2", "-1", "3"],
["1", "2", "0", "-1"],
["1", "2", "0", "0"],
["1", "2", "0", "1"],
["1", "2", "0", "2"],
["1", "2", "0", "3"],
["1", "2", "1", "-1"],
["1", "2", "1", "0"],
["1", "2", "1", "1"],
["1", "2", "1", "2"],
["1", "2", "1", "3"],
["1", "2", "2", "-1"],
["1", "2", "2", "0"],
["1", "2", "2", "1"],
["1", "2", "2", "2"],
["1", "2", "2", "3"],
["1", "2", "3", "-1"],
["1", "2", "3", "0"],
["1", "2", "3", "1"],
["1", "2", "3", "2"],
["1", "2", "3", "3"],
["1", "3", "-1", "-1"],
["1", "3", "-1", "0"],
["1", "3", "-1", "1"],
["1", "3", "-1", "2"],
["1", "3", "-1", "3"],
["1", "3", "0", "-1"],
["1", "3", "0", "0"],
["1", "3", "0", "1"],
["1", "3", "0", "2"],
["1", "3", "0", "3"],
["1", "3", "1", "-1"],
["1", "3", "1", "0"],
["1", "3", "1", "1"],
["1", "3", "1", "2"],
["1", "3", "1", "3"],
["1", "3", "2", "-1"],
["1", "3", "2", "0"],
["1", "3", "2", "1"],
["1", "3", "2", "2"],
["1", "3", "2", "3"],
["1", "3", "3", "-1"],
["1", "3", "3", "0"],
["1", "3", "3", "1"],
["1", "3", "3", "2"],
["1", "3", "3", "3"]
],
[],
[]
],
"HASSE_DIAGRAM.BOTTOM_NODE": "27",
"CONE_DIM": "4",
"N_FACETS": "6",
"N_VERTICES": "8",
"HASSE_DIAGRAM.ADJACENCY": {
"_ns": {"polymake": ["https://polymake.org", "4.15"]},
"data": [
[],
[0],
[0],
[0],
[0],
[0],
[0],
[1, 3],
[1, 4],
[1, 5],
[1, 6],
[2, 3],
[2, 4],
[2, 5],
[2, 6],
[3, 5],
[3, 6],
[4, 5],
[4, 6],
[7, 9, 15],
[11, 13, 15],
[8, 9, 17],
[12, 13, 17],
[7, 10, 16],
[11, 14, 16],
[8, 10, 18],
[12, 14, 18],
[19, 20, 21, 22, 23, 24, 25, 26]
],
"_type": "common::GraphAdjacency<Directed>"
},
"VERTICES": [
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
}
]
],
"CONE_AMBIENT_DIM": "4",
"FAR_FACE": [],
"COMBINATORIAL_DIM": "3",
"LINEALITY_SPACE": [],
"VERTICES_IN_FACETS": {
"_type": "common::IncidenceMatrix<NonSymmetric>",
"data": [
[0, 2, 4, 6],
[1, 3, 5, 7],
[0, 1, 4, 5],
[2, 3, 6, 7],
[0, 1, 2, 3],
[4, 5, 6, 7],
{"cols": 8}
],
"_ns": {"polymake": ["https://polymake.org", "4.15"]}
},
"BOUNDED": "true",
"LINEALITY_DIM": "0",
"HASSE_DIAGRAM.DECORATION": [
[["0", "4", "5", "6", "2", "7", "3", "1"], "4"],
[["0", "4", "6", "2"], "3"],
[["5", "7", "3", "1"], "3"],
[["0", "4", "5", "1"], "3"],
[["6", "7", "2", "3"], "3"],
[["0", "2", "3", "1"], "3"],
[["5", "4", "6", "7"], "3"],
[["0", "4"], "2"],
[["6", "2"], "2"],
[["0", "2"], "2"],
[["4", "6"], "2"],
[["5", "1"], "2"],
[["7", "3"], "2"],
[["3", "1"], "2"],
[["5", "7"], "2"],
[["0", "1"], "2"],
[["5", "4"], "2"],
[["2", "3"], "2"],
[["6", "7"], "2"],
[["0"], "1"],
[["1"], "1"],
[["2"], "1"],
[["3"], "1"],
[["4"], "1"],
[["5"], "1"],
[["6"], "1"],
[["7"], "1"],
[[], "0"]
]
},
"_refs": {
"a1e6ddef-8159-4dbf-80bd-5b01c4173d65": {
"_type": {"name": "MatSpace", "params": {"_type": "QQBarField"}},
"data": {"ncols": "4", "nrows": "0"}
},
"d891b518-9acd-4994-a9d1-e975df6eb77a": {
"_type": {"name": "MatSpace", "params": {"_type": "QQBarField"}},
"data": {"ncols": "4", "nrows": "6"}
},
"cfd22a93-b027-4f55-9d12-a613e538c810": {
"_type": {"name": "MatSpace", "params": {"_type": "ZZRing"}},
"data": {"ncols": "4", "nrows": "125"}
},
"bdec1ef0-8b9f-4f5d-a7bc-76c4d21d5e77": {
"_type": {"name": "MatSpace", "params": {"_type": "ZZRing"}},
"data": {"ncols": "4", "nrows": "0"}
},
"cfa8c0ab-c385-4c2f-8681-76e675e39c3a": {
"_type": {"name": "MatSpace", "params": {"_type": "QQBarField"}},
"data": {"ncols": "4", "nrows": "8"}
}
}
}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": "Polyhedron",
"params": {
"field": {"_type": "QQBarField"},
"pm_params": {
"name": "Dict",
"params": {
"key_params": "Symbol",
"HASSE_DIAGRAM.TOP_NODE": "Base.Int",
"AFFINE_HULL": {"name": "MatElem", "params": "8586d209-97bb-453f-8699-1ba043c54d0b"},
"FACETS": {"name": "MatElem", "params": "eeabc974-8edf-460e-9362-c1b25a590935"},
"_polymake_type": "String",
"_description": "String",
"HASSE_DIAGRAM.FACES": {"name": "Vector", "params": {"name": "Set", "params": "Base.Int"}},
"POINTED": "Bool",
"FEASIBLE": "Bool",
"LATTICE_POINTS_GENERATORS": {
"name": "Tuple",
"params": [
{"name": "MatElem", "params": "8bd03fdc-8a82-419c-934e-3bcc8e3c2e05"},
{"name": "MatElem", "params": "4cbd87d2-c89a-40c1-b55d-6e7471ee568e"},
{"name": "MatElem", "params": "4cbd87d2-c89a-40c1-b55d-6e7471ee568e"}
]
},
"HASSE_DIAGRAM.BOTTOM_NODE": "Base.Int",
"CONE_DIM": "Base.Int",
"N_FACETS": "Base.Int",
"N_VERTICES": "Base.Int",
"HASSE_DIAGRAM.ADJACENCY": "Graph{Directed}",
"VERTICES": {"name": "MatElem", "params": "8bb64769-8a83-4527-b124-3cada08abb2d"},
"CONE_AMBIENT_DIM": "Base.Int",
"FAR_FACE": {"name": "Set", "params": "Base.Int"},
"COMBINATORIAL_DIM": "Base.Int",
"LINEALITY_SPACE": {"name": "MatElem", "params": "8586d209-97bb-453f-8699-1ba043c54d0b"},
"VERTICES_IN_FACETS": "Polymake.IncidenceMatrixAllocated{Polymake.NonSymmetric}",
"BOUNDED": "Bool",
"LINEALITY_DIM": "Base.Int",
"HASSE_DIAGRAM.DECORATION": {
"name": "Vector",
"params": {"name": "Tuple", "params": [{"name": "Set", "params": "Base.Int"}, "Base.Int"]}
}
}
}
}
},
"data": {
"HASSE_DIAGRAM.TOP_NODE": "0",
"AFFINE_HULL": [],
"FACETS": [
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["1", "1"]], "acb": ["0 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"}
]
],
"_polymake_type": "polytope::Polytope<OscarNumber>",
"_description": "cube of dimension 3\n",
"HASSE_DIAGRAM.FACES": [
["0", "4", "5", "6", "2", "7", "3", "1"],
["0", "4", "6", "2"],
["5", "7", "3", "1"],
["0", "4", "5", "1"],
["6", "7", "2", "3"],
["0", "2", "3", "1"],
["5", "4", "6", "7"],
["0", "4"],
["6", "2"],
["0", "2"],
["4", "6"],
["5", "1"],
["7", "3"],
["3", "1"],
["5", "7"],
["0", "1"],
["5", "4"],
["2", "3"],
["6", "7"],
["0"],
["1"],
["2"],
["3"],
["4"],
["5"],
["6"],
["7"],
[]
],
"POINTED": true,
"FEASIBLE": true,
"LATTICE_POINTS_GENERATORS": [
[
["1", "-1", "-1", "-1"],
["1", "-1", "-1", "0"],
["1", "-1", "-1", "1"],
["1", "-1", "-1", "2"],
["1", "-1", "-1", "3"],
["1", "-1", "0", "-1"],
["1", "-1", "0", "0"],
["1", "-1", "0", "1"],
["1", "-1", "0", "2"],
["1", "-1", "0", "3"],
["1", "-1", "1", "-1"],
["1", "-1", "1", "0"],
["1", "-1", "1", "1"],
["1", "-1", "1", "2"],
["1", "-1", "1", "3"],
["1", "-1", "2", "-1"],
["1", "-1", "2", "0"],
["1", "-1", "2", "1"],
["1", "-1", "2", "2"],
["1", "-1", "2", "3"],
["1", "-1", "3", "-1"],
["1", "-1", "3", "0"],
["1", "-1", "3", "1"],
["1", "-1", "3", "2"],
["1", "-1", "3", "3"],
["1", "0", "-1", "-1"],
["1", "0", "-1", "0"],
["1", "0", "-1", "1"],
["1", "0", "-1", "2"],
["1", "0", "-1", "3"],
["1", "0", "0", "-1"],
["1", "0", "0", "0"],
["1", "0", "0", "1"],
["1", "0", "0", "2"],
["1", "0", "0", "3"],
["1", "0", "1", "-1"],
["1", "0", "1", "0"],
["1", "0", "1", "1"],
["1", "0", "1", "2"],
["1", "0", "1", "3"],
["1", "0", "2", "-1"],
["1", "0", "2", "0"],
["1", "0", "2", "1"],
["1", "0", "2", "2"],
["1", "0", "2", "3"],
["1", "0", "3", "-1"],
["1", "0", "3", "0"],
["1", "0", "3", "1"],
["1", "0", "3", "2"],
["1", "0", "3", "3"],
["1", "1", "-1", "-1"],
["1", "1", "-1", "0"],
["1", "1", "-1", "1"],
["1", "1", "-1", "2"],
["1", "1", "-1", "3"],
["1", "1", "0", "-1"],
["1", "1", "0", "0"],
["1", "1", "0", "1"],
["1", "1", "0", "2"],
["1", "1", "0", "3"],
["1", "1", "1", "-1"],
["1", "1", "1", "0"],
["1", "1", "1", "1"],
["1", "1", "1", "2"],
["1", "1", "1", "3"],
["1", "1", "2", "-1"],
["1", "1", "2", "0"],
["1", "1", "2", "1"],
["1", "1", "2", "2"],
["1", "1", "2", "3"],
["1", "1", "3", "-1"],
["1", "1", "3", "0"],
["1", "1", "3", "1"],
["1", "1", "3", "2"],
["1", "1", "3", "3"],
["1", "2", "-1", "-1"],
["1", "2", "-1", "0"],
["1", "2", "-1", "1"],
["1", "2", "-1", "2"],
["1", "2", "-1", "3"],
["1", "2", "0", "-1"],
["1", "2", "0", "0"],
["1", "2", "0", "1"],
["1", "2", "0", "2"],
["1", "2", "0", "3"],
["1", "2", "1", "-1"],
["1", "2", "1", "0"],
["1", "2", "1", "1"],
["1", "2", "1", "2"],
["1", "2", "1", "3"],
["1", "2", "2", "-1"],
["1", "2", "2", "0"],
["1", "2", "2", "1"],
["1", "2", "2", "2"],
["1", "2", "2", "3"],
["1", "2", "3", "-1"],
["1", "2", "3", "0"],
["1", "2", "3", "1"],
["1", "2", "3", "2"],
["1", "2", "3", "3"],
["1", "3", "-1", "-1"],
["1", "3", "-1", "0"],
["1", "3", "-1", "1"],
["1", "3", "-1", "2"],
["1", "3", "-1", "3"],
["1", "3", "0", "-1"],
["1", "3", "0", "0"],
["1", "3", "0", "1"],
["1", "3", "0", "2"],
["1", "3", "0", "3"],
["1", "3", "1", "-1"],
["1", "3", "1", "0"],
["1", "3", "1", "1"],
["1", "3", "1", "2"],
["1", "3", "1", "3"],
["1", "3", "2", "-1"],
["1", "3", "2", "0"],
["1", "3", "2", "1"],
["1", "3", "2", "2"],
["1", "3", "2", "3"],
["1", "3", "3", "-1"],
["1", "3", "3", "0"],
["1", "3", "3", "1"],
["1", "3", "3", "2"],
["1", "3", "3", "3"]
],
[],
[]
],
"HASSE_DIAGRAM.BOTTOM_NODE": "27",
"CONE_DIM": "4",
"N_FACETS": "6",
"N_VERTICES": "8",
"HASSE_DIAGRAM.ADJACENCY": {
"_type": "common::GraphAdjacency<Directed>",
"data": [
[],
[0],
[0],
[0],
[0],
[0],
[0],
[1, 3],
[1, 4],
[1, 5],
[1, 6],
[2, 3],
[2, 4],
[2, 5],
[2, 6],
[3, 5],
[3, 6],
[4, 5],
[4, 6],
[7, 9, 15],
[11, 13, 15],
[8, 9, 17],
[12, 13, 17],
[7, 10, 16],
[11, 14, 16],
[8, 10, 18],
[12, 14, 18],
[19, 20, 21, 22, 23, 24, 25, 26]
],
"_ns": {"polymake": ["https://polymake.org", "4.15"]}
},
"VERTICES": [
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{"minpoly": [["0", "1"], ["1", "1"]], "acb": ["-1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
}
],
[
{"minpoly": [["0", "-1"], ["1", "1"]], "acb": ["1 0 0 0", "0 0 0 0"], "precision": "30"},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
},
{
"minpoly": [["0", "-625"], ["5", "1"]],
"acb": ["39fb7ccd -1c 20000001 -39", "0 0 0 0"],
"precision": "30"
}
]
],
"CONE_AMBIENT_DIM": "4",
"FAR_FACE": [],
"COMBINATORIAL_DIM": "3",
"LINEALITY_SPACE": [],
"VERTICES_IN_FACETS": {
"_ns": {"polymake": ["https://polymake.org", "4.15"]},
"_type": "common::IncidenceMatrix<NonSymmetric>",
"data": [
[0, 2, 4, 6],
[1, 3, 5, 7],
[0, 1, 4, 5],
[2, 3, 6, 7],
[0, 1, 2, 3],
[4, 5, 6, 7],
{"cols": 8}
]
},
"BOUNDED": true,
"LINEALITY_DIM": "0",
"HASSE_DIAGRAM.DECORATION": [
[["0", "4", "5", "6", "2", "7", "3", "1"], "4"],
[["0", "4", "6", "2"], "3"],
[["5", "7", "3", "1"], "3"],
[["0", "4", "5", "1"], "3"],
[["6", "7", "2", "3"], "3"],
[["0", "2", "3", "1"], "3"],
[["5", "4", "6", "7"], "3"],
[["0", "4"], "2"],
[["6", "2"], "2"],
[["0", "2"], "2"],
[["4", "6"], "2"],
[["5", "1"], "2"],
[["7", "3"], "2"],
[["3", "1"], "2"],
[["5", "7"], "2"],
[["0", "1"], "2"],
[["5", "4"], "2"],
[["2", "3"], "2"],
[["6", "7"], "2"],
[["0"], "1"],
[["1"], "1"],
[["2"], "1"],
[["3"], "1"],
[["4"], "1"],
[["5"], "1"],
[["6"], "1"],
[["7"], "1"],
[[], "0"]
]
},
"_refs": {
"8586d209-97bb-453f-8699-1ba043c54d0b": {
"_type": {"name": "MatSpace", "params": {"_type": "QQBarField"}},
"data": {"ncols": "4", "nrows": "0"}
},
"eeabc974-8edf-460e-9362-c1b25a590935": {
"_type": {"name": "MatSpace", "params": {"_type": "QQBarField"}},
"data": {"ncols": "4", "nrows": "6"}
},
"8bd03fdc-8a82-419c-934e-3bcc8e3c2e05": {
"_type": {"name": "MatSpace", "params": {"_type": "ZZRing"}},
"data": {"ncols": "4", "nrows": "125"}
},
"4cbd87d2-c89a-40c1-b55d-6e7471ee568e": {
"_type": {"name": "MatSpace", "params": {"_type": "ZZRing"}},
"data": {"ncols": "4", "nrows": "0"}
},
"8bb64769-8a83-4527-b124-3cada08abb2d": {
"_type": {"name": "MatSpace", "params": {"_type": "QQBarField"}},
"data": {"ncols": "4", "nrows": "8"}
}
}
}