Example: Square polyhedron

Profiles: OSCAR v1.0, OSCAR v1.1, OSCAR v1.2, OSCAR v1.3, 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": {"_type": "QQField"}},
  "data": {
    "VERTICES_IN_FACETS": [[0, 2], [1, 3], [0, 1], [2, 3], {"cols": 4}],
    "HASSE_DIAGRAM": {
      "BOTTOM_NODE": 0,
      "TOP_NODE": 9,
      "DECORATION": [
        [[], 0],
        [[0], 1],
        [[1], 1],
        [[2], 1],
        [[3], 1],
        [[0, 2], 2],
        [[1, 3], 2],
        [[0, 1], 2],
        [[2, 3], 2],
        [[0, 1, 2, 3], 3]
      ],
      "ADJACENCY": [[1, 2, 3, 4], [5, 7], [6, 7], [5, 8], [6, 8], [9], [9], [9], [9], []],
      "INVERSE_RANK_MAP": [{"0": [0, 0], "1": [1, 4], "2": [5, 8], "3": [9, 9]}],
      "FACES": [[], [0], [1], [2], [3], [0, 2], [1, 3], [0, 1], [2, 3], [0, 1, 2, 3]]
    },
    "LINEALITY_SPACE": [{"cols": 3}],
    "CONE_DIM": 3,
    "BOUNDED": true,
    "_attrs": {
      "FACETS": {"_type": "SparseMatrix<Rational, NonSymmetric>"},
      "_facet_at_infinity": {"attachment": true}
    },
    "FAR_FACE": [],
    "POINTED": true,
    "_ns": {"polymake": ["https://polymake.org", "4.15"]},
    "CONE_AMBIENT_DIM": 3,
    "_facet_at_infinity": 5,
    "VERTICES": [["1", "-1", "-1"], ["1", "1", "-1"], ["1", "-1", "1"], ["1", "1", "1"]],
    "FEASIBLE": true,
    "FACETS": [
      {"0": "1", "1": "1"},
      {"0": "1", "1": "-1"},
      {"0": "1", "2": "1"},
      {"0": "1", "2": "-1"},
      {"cols": 3}
    ],
    "LINEALITY_DIM": 0,
    "_type": "polytope::Polytope<Rational>",
    "AFFINE_HULL": [{"cols": 3}],
    "N_VERTICES": 4,
    "N_FACETS": 4,
    "COMBINATORIAL_DIM": 2,
    "_info": {"description": "cube of dimension 2\n"}
  }
}

This serialized output is equivalent for these profiles up to UUID renaming and recorded namespace version strings.