Specification: Dictionary

Profiles: basic v1

Dictionaries map keys to values. In the current corpus, the key and value types are recorded explicitly inside _type.params.

Encoding rules

• Set _type to an object with name: "Dict".
• Record key and value types under _type.params, for example key_params and value_params.
• Serialize the payload under data as a JSON object from encoded keys to encoded values.

Canonical Example Payload

The following payload is taken directly from the current rosetta-stone corpus.

{
  "_ns": {
    "Oscar": [
      "https://github.com/oscar-system/Oscar.jl",
      "1.8.0-DEV-1-8dea7e5a4d0cdef038b2fa2cd018d08201b4ac07"
    ]
  },
  "_type": {
    "name": "Dict",
    "params": {
      "key_params": "String",
      "precise": {
        "name": "Polyhedron",
        "params": {
          "field": "80df8f7a-007d-4b88-80f2-cd2682b131b5",
          "pm_params": {
            "name": "Dict",
            "params": {
              "key_params": "Symbol",
              "HASSE_DIAGRAM.TOP_NODE": "Base.Int",
              "AFFINE_HULL": {"name": "MatElem", "params": "13d1a5a3-a14f-4d8f-a4f9-0e2e392603cb"},
              "FACETS": {"name": "MatElem", "params": "60aaec5f-8381-45e8-b78e-6d4a131765bd"},
              "_polymake_type": "String",
              "GROUP": {
                "name": "Tuple",
                "params": [
                  {
                    "name": "Dict",
                    "params": {
                      "key_params": "Symbol",
                      "VERTICES_ACTION.GENERATORS": {"name": "Vector", "params": {"name": "Vector", "params": "Base.Int"}}
                    }
                  }
                ]
              },
              "HASSE_DIAGRAM.FACES": {"name": "Vector", "params": {"name": "Set", "params": "Base.Int"}},
              "DUAL_GRAPH.ADJACENCY": "Graph{Undirected}",
              "POINTED": "Bool",
              "TRIANGULATION": {
                "name": "Tuple",
                "params": [
                  {
                    "name": "Dict",
                    "params": {
                      "key_params": "Symbol",
                      "FACETS": {"name": "Vector", "params": {"name": "Set", "params": "Base.Int"}}
                    }
                  }
                ]
              },
              "FEASIBLE": "Bool",
              "LATTICE_POINTS_GENERATORS": {
                "name": "Tuple",
                "params": [
                  {"name": "MatElem", "params": "1ae5b353-e54f-4d37-985d-f4c1d5bee848"},
                  {"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",
              "VERTICES": {"name": "MatElem", "params": "5fb4ee62-c4ca-4aef-978b-5134d892dce0"},
              "N_VERTICES": "Base.Int",
              "HASSE_DIAGRAM.ADJACENCY": "Graph{Directed}",
              "CONE_AMBIENT_DIM": "Base.Int",
              "FAR_FACE": {"name": "Set", "params": "Base.Int"},
              "COMBINATORIAL_DIM": "Base.Int",
              "LINEALITY_SPACE": {"name": "MatElem", "params": "13d1a5a3-a14f-4d8f-a4f9-0e2e392603cb"},
              "VERTICES_IN_FACETS": "Polymake.IncidenceMatrixAllocated{Polymake.NonSymmetric}",
              "CENTERED": "Bool",
              "BOUNDED": "Bool",
              "LINEALITY_DIM": "Base.Int",
              "ESSENTIALLY_GENERIC": "Bool",
              "HASSE_DIAGRAM.DECORATION": {
                "name": "Vector",
                "params": {"name": "Tuple", "params": [{"name": "Set", "params": "Base.Int"}, "Base.Int"]}
              }
            }
          }
        }
      },
      "unprecise": {"name": "Polyhedron", "params": {"_type": "Floats"}}
    }
  },
  "data": {
    "precise": {
      "HASSE_DIAGRAM.TOP_NODE": "0",
      "AFFINE_HULL": [],
      "FACETS": [
        [[["0", "1"], ["1", "1//2"]], [["0", "-1//2"], ["1", "-1//2"]], [["0", "-1"]], []],
        [[["0", "1"], ["1", "1//2"]], [], [["0", "-1//2"], ["1", "-1//2"]], [["0", "-1"]]],
        [[["0", "1"], ["1", "1//2"]], [], [["0", "-1//2"], ["1", "-1//2"]], [["0", "1"]]],
        [[["0", "1"], ["1", "1//2"]], [["0", "1//2"], ["1", "1//2"]], [["0", "1"]], []],
        [[["0", "3//4"], ["1", "1//4"]], [["0", "1//2"], ["1", "-1//2"]], [], [["0", "1"]]],
        [[["0", "1"], ["1", "1//2"]], [["0", "1//2"], ["1", "1//2"]], [["0", "-1"]], []],
        [[["0", "3//4"], ["1", "1//4"]], [["0", "1//2"], ["1", "-1//2"]], [], [["0", "-1"]]],
        [[["0", "3//4"], ["1", "1//4"]], [["0", "-1//2"], ["1", "1//2"]], [], [["0", "-1"]]],
        [[["0", "1"], ["1", "1//2"]], [], [["0", "1//2"], ["1", "1//2"]], [["0", "-1"]]],
        [[["0", "3//4"], ["1", "1//4"]], [["0", "-1//2"], ["1", "1//2"]], [], [["0", "1"]]],
        [[["0", "1"], ["1", "1//2"]], [["0", "-1//2"], ["1", "-1//2"]], [["0", "1"]], []],
        [[["0", "1"], ["1", "1//2"]], [], [["0", "1//2"], ["1", "1//2"]], [["0", "1"]]]
      ],
      "_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"
            ]
          ]
        }
      ],
      "HASSE_DIAGRAM.FACES": [
        [
          "5",
          "16",
          "7",
          "12",
          "8",
          "17",
          "1",
          "19",
          "0",
          "4",
          "6",
          "13",
          "2",
          "10",
          "11",
          "9",
          "15",
          "18",
          "14",
          "3"
        ],
        ["0", "4", "2", "9", "8"],
        ["0", "5", "2", "3", "1"],
        ["0", "4", "6", "7", "1"],
        ["15", "11", "10", "17", "19"],
        ["4", "16", "7", "9", "14"],
        ["6", "11", "10", "3", "1"],
        ["5", "13", "2", "12", "8"],
        ["5", "15", "10", "12", "3"],
        ["13", "15", "18", "12", "19"],
        ["6", "7", "11", "14", "17"],
        ["13", "16", "18", "9", "8"],
        ["16", "18", "14", "17", "19"],
        ["0", "2"],
        ["0", "4"],
        ["4", "9"],
        ["2", "8"],
        ["9", "8"],
        ["0", "1"],
        ["3", "1"],
        ["5", "2"],
        ["5", "3"],
        ["4", "7"],
        ["6", "1"],
        ["6", "7"],
        ["11", "10"],
        ["15", "10"],
        ["15", "19"],
        ["11", "17"],
        ["17", "19"],
        ["7", "14"],
        ["16", "9"],
        ["16", "14"],
        ["10", "3"],
        ["6", "11"],
        ["5", "12"],
        ["13", "12"],
        ["13", "8"],
        ["15", "12"],
        ["13", "18"],
        ["18", "19"],
        ["14", "17"],
        ["16", "18"],
        ["0"],
        ["1"],
        ["2"],
        ["3"],
        ["4"],
        ["5"],
        ["6"],
        ["7"],
        ["8"],
        ["9"],
        ["10"],
        ["11"],
        ["12"],
        ["13"],
        ["14"],
        ["15"],
        ["16"],
        ["17"],
        ["18"],
        ["19"],
        []
      ],
      "DUAL_GRAPH.ADJACENCY": {
        "_ns": {"polymake": ["https://polymake.org", "4.15"]},
        "_type": "common::GraphAdjacency<Undirected>",
        "data": [
          [1, 2, 4, 6, 10],
          [0, 2, 5, 6, 7],
          [0, 1, 4, 5, 9],
          [5, 7, 8, 9, 11],
          [0, 2, 9, 10, 11],
          [1, 2, 3, 7, 9],
          [0, 1, 7, 8, 10],
          [1, 3, 5, 6, 8],
          [3, 6, 7, 10, 11],
          [2, 3, 4, 5, 11],
          [0, 4, 6, 8, 11],
          [3, 4, 8, 9, 10]
        ]
      },
      "POINTED": true,
      "TRIANGULATION": [
        {
          "FACETS": [
            ["0", "4", "2", "1"],
            ["4", "2", "3", "1"],
            ["5", "4", "2", "3"],
            ["5", "4", "6", "3"],
            ["4", "6", "3", "1"],
            ["5", "4", "6", "7"],
            ["5", "4", "2", "8"],
            ["5", "4", "7", "8"],
            ["4", "7", "9", "8"],
            ["5", "6", "10", "3"],
            ["5", "6", "7", "10"],
            ["5", "7", "10", "8"],
            ["7", "10", "9", "8"],
            ["7", "11", "10", "9"],
            ["6", "7", "11", "10"],
            ["10", "9", "12", "8"],
            ["11", "10", "9", "12"],
            ["5", "10", "12", "8"],
            ["13", "9", "12", "8"],
            ["13", "11", "9", "12"],
            ["7", "11", "9", "14"],
            ["13", "11", "9", "14"],
            ["15", "11", "10", "12"],
            ["13", "15", "11", "12"],
            ["13", "15", "11", "14"],
            ["13", "15", "16", "14"],
            ["13", "16", "9", "14"],
            ["15", "16", "14", "17"],
            ["15", "11", "14", "17"],
            ["13", "15", "16", "18"],
            ["15", "16", "18", "17"],
            ["15", "18", "17", "19"]
          ]
        }
      ],
      "FEASIBLE": true,
      "LATTICE_POINTS_GENERATORS": [
        [
          ["1", "-1", "0", "0"],
          ["1", "0", "-1", "0"],
          ["1", "0", "0", "-1"],
          ["1", "0", "0", "0"],
          ["1", "0", "0", "1"],
          ["1", "0", "1", "0"],
          ["1", "1", "0", "0"]
        ],
        [],
        []
      ],
      "HASSE_DIAGRAM.BOTTOM_NODE": "63",
      "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",
      "HASSE_DIAGRAM.ADJACENCY": {
        "_type": "common::GraphAdjacency<Directed>",
        "data": [
          [],
          [0],
          [0],
          [0],
          [0],
          [0],
          [0],
          [0],
          [0],
          [0],
          [0],
          [0],
          [0],
          [1, 2],
          [1, 3],
          [1, 5],
          [1, 7],
          [1, 11],
          [2, 3],
          [2, 6],
          [2, 7],
          [2, 8],
          [3, 5],
          [3, 6],
          [3, 10],
          [4, 6],
          [4, 8],
          [4, 9],
          [4, 10],
          [4, 12],
          [5, 10],
          [5, 11],
          [5, 12],
          [6, 8],
          [6, 10],
          [7, 8],
          [7, 9],
          [7, 11],
          [8, 9],
          [9, 11],
          [9, 12],
          [10, 12],
          [11, 12],
          [13, 14, 18],
          [18, 19, 23],
          [13, 16, 20],
          [19, 21, 33],
          [14, 15, 22],
          [20, 21, 35],
          [23, 24, 34],
          [22, 24, 30],
          [16, 17, 37],
          [15, 17, 31],
          [25, 26, 33],
          [25, 28, 34],
          [35, 36, 38],
          [36, 37, 39],
          [30, 32, 41],
          [26, 27, 38],
          [31, 32, 42],
          [28, 29, 41],
          [39, 40, 42],
          [27, 29, 40],
          [43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62]
        ],
        "_ns": {"polymake": ["https://polymake.org", "4.15"]}
      },
      "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, 8, 9],
          [0, 1, 2, 3, 5],
          [0, 1, 4, 6, 7],
          [10, 11, 15, 17, 19],
          [4, 7, 9, 14, 16],
          [1, 3, 6, 10, 11],
          [2, 5, 8, 12, 13],
          [3, 5, 10, 12, 15],
          [12, 13, 15, 18, 19],
          [6, 7, 11, 14, 17],
          [8, 9, 13, 16, 18],
          [14, 16, 17, 18, 19],
          {"cols": 20}
        ]
      },
      "CENTERED": true,
      "BOUNDED": true,
      "LINEALITY_DIM": "0",
      "ESSENTIALLY_GENERIC": false,
      "HASSE_DIAGRAM.DECORATION": [
        [
          [
            "5",
            "16",
            "7",
            "12",
            "8",
            "17",
            "1",
            "19",
            "0",
            "4",
            "6",
            "13",
            "2",
            "10",
            "11",
            "9",
            "15",
            "18",
            "14",
            "3"
          ],
          "4"
        ],
        [["0", "4", "2", "9", "8"], "3"],
        [["0", "5", "2", "3", "1"], "3"],
        [["0", "4", "6", "7", "1"], "3"],
        [["15", "11", "10", "17", "19"], "3"],
        [["4", "16", "7", "9", "14"], "3"],
        [["6", "11", "10", "3", "1"], "3"],
        [["5", "13", "2", "12", "8"], "3"],
        [["5", "15", "10", "12", "3"], "3"],
        [["13", "15", "18", "12", "19"], "3"],
        [["6", "7", "11", "14", "17"], "3"],
        [["13", "16", "18", "9", "8"], "3"],
        [["16", "18", "14", "17", "19"], "3"],
        [["0", "2"], "2"],
        [["0", "4"], "2"],
        [["4", "9"], "2"],
        [["2", "8"], "2"],
        [["9", "8"], "2"],
        [["0", "1"], "2"],
        [["3", "1"], "2"],
        [["5", "2"], "2"],
        [["5", "3"], "2"],
        [["4", "7"], "2"],
        [["6", "1"], "2"],
        [["6", "7"], "2"],
        [["11", "10"], "2"],
        [["15", "10"], "2"],
        [["15", "19"], "2"],
        [["11", "17"], "2"],
        [["17", "19"], "2"],
        [["7", "14"], "2"],
        [["16", "9"], "2"],
        [["16", "14"], "2"],
        [["10", "3"], "2"],
        [["6", "11"], "2"],
        [["5", "12"], "2"],
        [["13", "12"], "2"],
        [["13", "8"], "2"],
        [["15", "12"], "2"],
        [["13", "18"], "2"],
        [["18", "19"], "2"],
        [["14", "17"], "2"],
        [["16", "18"], "2"],
        [["0"], "1"],
        [["1"], "1"],
        [["2"], "1"],
        [["3"], "1"],
        [["4"], "1"],
        [["5"], "1"],
        [["6"], "1"],
        [["7"], "1"],
        [["8"], "1"],
        [["9"], "1"],
        [["10"], "1"],
        [["11"], "1"],
        [["12"], "1"],
        [["13"], "1"],
        [["14"], "1"],
        [["15"], "1"],
        [["16"], "1"],
        [["17"], "1"],
        [["18"], "1"],
        [["19"], "1"],
        [[], "0"]
      ]
    },
    "unprecise": {
      "VERTICES_IN_FACETS": [
        [0, 2, 4, 8, 9],
        [0, 1, 2, 3, 5],
        [0, 1, 4, 6, 7],
        [10, 11, 15, 17, 19],
        [4, 7, 9, 14, 16],
        [1, 3, 6, 10, 11],
        [2, 5, 8, 12, 13],
        [3, 5, 10, 12, 15],
        [12, 13, 15, 18, 19],
        [6, 7, 11, 14, 17],
        [8, 9, 13, 16, 18],
        [14, 16, 17, 18, 19],
        {"cols": 20}
      ],
      "HASSE_DIAGRAM": {
        "DECORATION": [
          [[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], 4],
          [[0, 2, 4, 8, 9], 3],
          [[0, 1, 2, 3, 5], 3],
          [[0, 1, 4, 6, 7], 3],
          [[10, 11, 15, 17, 19], 3],
          [[4, 7, 9, 14, 16], 3],
          [[1, 3, 6, 10, 11], 3],
          [[2, 5, 8, 12, 13], 3],
          [[3, 5, 10, 12, 15], 3],
          [[12, 13, 15, 18, 19], 3],
          [[6, 7, 11, 14, 17], 3],
          [[8, 9, 13, 16, 18], 3],
          [[14, 16, 17, 18, 19], 3],
          [[0, 2], 2],
          [[0, 4], 2],
          [[4, 9], 2],
          [[2, 8], 2],
          [[8, 9], 2],
          [[0, 1], 2],
          [[1, 3], 2],
          [[2, 5], 2],
          [[3, 5], 2],
          [[4, 7], 2],
          [[1, 6], 2],
          [[6, 7], 2],
          [[10, 11], 2],
          [[10, 15], 2],
          [[15, 19], 2],
          [[11, 17], 2],
          [[17, 19], 2],
          [[7, 14], 2],
          [[9, 16], 2],
          [[14, 16], 2],
          [[3, 10], 2],
          [[6, 11], 2],
          [[5, 12], 2],
          [[12, 13], 2],
          [[8, 13], 2],
          [[12, 15], 2],
          [[13, 18], 2],
          [[18, 19], 2],
          [[14, 17], 2],
          [[16, 18], 2],
          [[0], 1],
          [[1], 1],
          [[2], 1],
          [[3], 1],
          [[4], 1],
          [[5], 1],
          [[6], 1],
          [[7], 1],
          [[8], 1],
          [[9], 1],
          [[10], 1],
          [[11], 1],
          [[12], 1],
          [[13], 1],
          [[14], 1],
          [[15], 1],
          [[16], 1],
          [[17], 1],
          [[18], 1],
          [[19], 1],
          [[], 0]
        ],
        "TOP_NODE": 0,
        "BOTTOM_NODE": 63,
        "ADJACENCY": [
          [],
          [0],
          [0],
          [0],
          [0],
          [0],
          [0],
          [0],
          [0],
          [0],
          [0],
          [0],
          [0],
          [1, 2],
          [1, 3],
          [1, 5],
          [1, 7],
          [1, 11],
          [2, 3],
          [2, 6],
          [2, 7],
          [2, 8],
          [3, 5],
          [3, 6],
          [3, 10],
          [4, 6],
          [4, 8],
          [4, 9],
          [4, 10],
          [4, 12],
          [5, 10],
          [5, 11],
          [5, 12],
          [6, 8],
          [6, 10],
          [7, 8],
          [7, 9],
          [7, 11],
          [8, 9],
          [9, 11],
          [9, 12],
          [10, 12],
          [11, 12],
          [13, 14, 18],
          [18, 19, 23],
          [13, 16, 20],
          [19, 21, 33],
          [14, 15, 22],
          [20, 21, 35],
          [23, 24, 34],
          [22, 24, 30],
          [16, 17, 37],
          [15, 17, 31],
          [25, 26, 33],
          [25, 28, 34],
          [35, 36, 38],
          [36, 37, 39],
          [30, 32, 41],
          [26, 27, 38],
          [31, 32, 42],
          [28, 29, 41],
          [39, 40, 42],
          [27, 29, 40],
          [43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62]
        ],
        "INVERSE_RANK_MAP": [{"0": [63, 63], "1": [43, 62], "2": [13, 42], "3": [1, 12], "4": [0, 0]}]
      },
      "_vertex_indices": [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20],
      "CENTERED": true,
      "ESSENTIALLY_GENERIC": false,
      "CONE_AMBIENT_DIM": 4,
      "_attrs": {
        "_vertex_indices": {"attachment": true, "_type": "Vector<Int>"},
        "_facet_at_infinity": {"attachment": true},
        "VERTICES": {"_type": "SparseMatrix<Float, NonSymmetric>"}
      },
      "POINTED": true,
      "LINEALITY_DIM": 0,
      "FAR_FACE": [],
      "AFFINE_HULL": [{"cols": 4}],
      "COMBINATORIAL_DIM": 3,
      "DUAL_GRAPH": {
        "ADJACENCY": [
          [1, 2, 4, 6, 10],
          [0, 2, 5, 6, 7],
          [0, 1, 4, 5, 9],
          [5, 7, 8, 9, 11],
          [0, 2, 9, 10, 11],
          [1, 2, 3, 7, 9],
          [0, 1, 7, 8, 10],
          [1, 3, 5, 6, 8],
          [3, 6, 7, 10, 11],
          [2, 3, 4, 5, 11],
          [0, 4, 6, 8, 11],
          [3, 4, 8, 9, 10]
        ]
      },
      "_facet_at_infinity": 13,
      "_type": "polytope::Polytope<Float>",
      "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]
            ]
          }
        }
      ],
      "FACETS": [
        [2.11803398863412, -1.61803398869233, -1, 0],
        [2.11803398863412, 0, -1.61803398869233, -1],
        [2.11803398863412, 0, -1.61803398869233, 1],
        [2.11803398863412, 1.61803398869233, 1, 0],
        [1.30901699431706, -0.618033988692332, 0, 1],
        [2.11803398863412, 1.61803398869233, -1, 0],
        [1.30901699431706, -0.618033988692332, 0, -1],
        [1.30901699431706, 0.618033988692332, 0, -1],
        [2.11803398863412, 0, 1.61803398869233, -1],
        [1.30901699431706, 0.618033988692332, 0, 1],
        [2.11803398863412, -1.61803398869233, 1, 0],
        [2.11803398863412, 0, 1.61803398869233, 1]
      ],
      "FEASIBLE": true,
      "VERTICES": [
        {"0": 1, "1": 0.5, "2": 1.30901699431706},
        {"0": 1, "1": -0.5, "2": 1.30901699431706},
        [1, 0.809016994346166, 0.809016994346166, 0.809016994346166],
        [1, -0.809016994346166, 0.809016994346166, 0.809016994346166],
        [1, 0.809016994346166, 0.809016994346166, -0.809016994346166],
        {"0": 1, "2": 0.5, "3": 1.30901699431706},
        [1, -0.809016994346166, 0.809016994346166, -0.809016994346166],
        {"0": 1, "2": 0.5, "3": -1.30901699431706},
        {"0": 1, "1": 1.30901699431706, "3": 0.5},
        {"0": 1, "1": 1.30901699431706, "3": -0.5},
        {"0": 1, "1": -1.30901699431706, "3": 0.5},
        {"0": 1, "1": -1.30901699431706, "3": -0.5},
        {"0": 1, "2": -0.5, "3": 1.30901699431706},
        [1, 0.809016994346166, -0.809016994346166, 0.809016994346166],
        {"0": 1, "2": -0.5, "3": -1.30901699431706},
        [1, -0.809016994346166, -0.809016994346166, 0.809016994346166],
        [1, 0.809016994346166, -0.809016994346166, -0.809016994346166],
        [1, -0.809016994346166, -0.809016994346166, -0.809016994346166],
        {"0": 1, "1": 0.5, "2": -1.30901699431706},
        {"0": 1, "1": -0.5, "2": -1.30901699431706},
        {"cols": 4}
      ],
      "BOUNDED": true,
      "_ns": {"polymake": ["https://polymake.org", "4.15"]},
      "N_VERTICES": 20,
      "CONE_DIM": 4,
      "LATTICE_POINTS_GENERATORS": [
        [
          ["1", "-1", "0", "0"],
          ["1", "0", "-1", "0"],
          ["1", "0", "0", "-1"],
          ["1", "0", "0", "0"],
          ["1", "0", "0", "1"],
          ["1", "0", "1", "0"],
          ["1", "1", "0", "0"]
        ],
        [{"cols": 4}],
        [{"cols": 4}]
      ],
      "LINEALITY_SPACE": [{"cols": 4}],
      "TRIANGULATION": [
        {
          "FACETS": [
            [0, 1, 2, 4],
            [1, 2, 3, 4],
            [2, 3, 4, 5],
            [3, 4, 5, 6],
            [1, 3, 4, 6],
            [4, 5, 6, 7],
            [2, 4, 5, 8],
            [4, 5, 7, 8],
            [4, 7, 8, 9],
            [3, 5, 6, 10],
            [5, 6, 7, 10],
            [5, 7, 8, 10],
            [7, 8, 9, 10],
            [7, 9, 10, 11],
            [6, 7, 10, 11],
            [8, 9, 10, 12],
            [9, 10, 11, 12],
            [5, 8, 10, 12],
            [8, 9, 12, 13],
            [9, 11, 12, 13],
            [7, 9, 11, 14],
            [9, 11, 13, 14],
            [10, 11, 12, 15],
            [11, 12, 13, 15],
            [11, 13, 14, 15],
            [13, 14, 15, 16],
            [9, 13, 14, 16],
            [14, 15, 16, 17],
            [11, 14, 15, 17],
            [13, 15, 16, 18],
            [15, 16, 17, 18],
            [15, 17, 18, 19]
          ]
        }
      ]
    }
  },
  "_refs": {
    "80df8f7a-007d-4b88-80f2-cd2682b131b5": {
      "_type": {"name": "EmbeddedNumField", "params": "a07ce4fe-c7a5-47ce-93aa-ec518fc0cac9"},
      "data": []
    },
    "13d1a5a3-a14f-4d8f-a4f9-0e2e392603cb": {
      "_type": {"name": "MatSpace", "params": "80df8f7a-007d-4b88-80f2-cd2682b131b5"},
      "data": {"ncols": "4", "nrows": "0"}
    },
    "60aaec5f-8381-45e8-b78e-6d4a131765bd": {
      "_type": {"name": "MatSpace", "params": "80df8f7a-007d-4b88-80f2-cd2682b131b5"},
      "data": {"ncols": "4", "nrows": "12"}
    },
    "1ae5b353-e54f-4d37-985d-f4c1d5bee848": {
      "_type": {"name": "MatSpace", "params": {"_type": "ZZRing"}},
      "data": {"ncols": "4", "nrows": "7"}
    },
    "4cbd87d2-c89a-40c1-b55d-6e7471ee568e": {
      "_type": {"name": "MatSpace", "params": {"_type": "ZZRing"}},
      "data": {"ncols": "4", "nrows": "0"}
    },
    "5fb4ee62-c4ca-4aef-978b-5134d892dce0": {
      "_type": {"name": "MatSpace", "params": "80df8f7a-007d-4b88-80f2-cd2682b131b5"},
      "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"]}}
  }
}

Documented Profiles in This Corpus

This table records the profile/version pairs currently represented by the rosetta-stone examples for this data type. Add new rows as new systems or encoding revisions are documented.

Rosetta Stone Examples

• Dictionary (String to Int)
• Dictionary (String to polynomial variable)
• Dodecahedron dictionary