Specification: Vector

Profiles: basic v1

Vectors are homogeneous ordered containers. Their element type is recorded in _type.params, and the payload is an array whose entries follow that element type's serialization rules.

Encoding rules

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": "Vector",
    "params": {
      "name": "LinearProgram",
      "params": {
        "field": "d8166834-ecd8-49c8-9144-73168fc31ddc",
        "pm_params": {
          "name": "Dict",
          "params": {
            "key_params": "Symbol",
            "AFFINE_HULL": {"name": "MatElem", "params": "124ffdc4-3eb0-4594-9d35-333bb816a242"},
            "FACETS": {"name": "MatElem", "params": "d8ebf837-5486-462c-a61d-65f24905ad13"},
            "_polymake_type": "String",
            "GROUP": {
              "name": "Tuple",
              "params": [
                {
                  "name": "Dict",
                  "params": {
                    "key_params": "Symbol",
                    "VERTICES_ACTION.GENERATORS": {"name": "Vector", "params": {"name": "Vector", "params": "Base.Int"}}
                  }
                }
              ]
            },
            "LP": {
              "name": "Tuple",
              "params": [
                {
                  "name": "Dict",
                  "params": {
                    "key_params": "Symbol",
                    "MINIMAL_FACE": {"name": "Set", "params": "Base.Int"},
                    "MINIMAL_VALUE": {
                      "name": "EmbeddedNumFieldElem",
                      "params": "d8166834-ecd8-49c8-9144-73168fc31ddc"
                    },
                    "LINEAR_OBJECTIVE": {
                      "name": "Vector",
                      "params": {
                        "name": "EmbeddedNumFieldElem",
                        "params": "d8166834-ecd8-49c8-9144-73168fc31ddc"
                      }
                    }
                  }
                },
                {
                  "name": "Dict",
                  "params": {
                    "key_params": "Symbol",
                    "MINIMAL_FACE": {"name": "Set", "params": "Base.Int"},
                    "MINIMAL_VALUE": {
                      "name": "EmbeddedNumFieldElem",
                      "params": "d8166834-ecd8-49c8-9144-73168fc31ddc"
                    },
                    "LINEAR_OBJECTIVE": {
                      "name": "Vector",
                      "params": {
                        "name": "EmbeddedNumFieldElem",
                        "params": "d8166834-ecd8-49c8-9144-73168fc31ddc"
                      }
                    }
                  }
                }
              ]
            },
            "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",
            "CONE_DIM": "Base.Int",
            "VERTICES": {"name": "MatElem", "params": "3d5beb2a-ed39-446e-b2c4-b82d660f9356"},
            "N_VERTICES": "Base.Int",
            "CONE_AMBIENT_DIM": "Base.Int",
            "FAR_FACE": {"name": "Set", "params": "Base.Int"},
            "COMBINATORIAL_DIM": "Base.Int",
            "LINEALITY_SPACE": {"name": "MatElem", "params": "124ffdc4-3eb0-4594-9d35-333bb816a242"},
            "VERTICES_IN_FACETS": "Polymake.IncidenceMatrixAllocated{Polymake.NonSymmetric}",
            "CENTERED": "Bool",
            "BOUNDED": "Bool",
            "LINEALITY_DIM": "Base.Int",
            "ESSENTIALLY_GENERIC": "Bool",
            "GRAPH.ADJACENCY": "Graph{Undirected}"
          }
        }
      }
    }
  },
  "data": [
    {
      "feasible_region": {
        "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"
              ]
            ]
          }
        ],
        "LP": [
          {
            "MINIMAL_FACE": ["6"],
            "MINIMAL_VALUE": [["0", "-1//4"], ["1", "-9//4"]],
            "LINEAR_OBJECTIVE": [[["0", "2"]], [["0", "3"]], [["0", "-2"]], [["0", "4"]]]
          },
          {
            "MINIMAL_FACE": ["14"],
            "MINIMAL_VALUE": [["0", "-2"], ["1", "-5//2"]],
            "LINEAR_OBJECTIVE": [[["0", "2"]], [["0", "-1"]], [["0", "-2"], ["1", "1"]], [["0", "5"], ["1", "1"]]]
          }
        ],
        "DUAL_GRAPH.ADJACENCY": {
          "_ns": {"polymake": ["https://polymake.org", "4.15"]},
          "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]
          ],
          "_type": "common::GraphAdjacency<Undirected>"
        },
        "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,
        "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",
        "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,
        "GRAPH.ADJACENCY": {
          "_type": "common::GraphAdjacency<Undirected>",
          "data": [
            [1, 2, 4],
            [0, 3, 6],
            [0, 5, 8],
            [1, 5, 10],
            [0, 7, 9],
            [2, 3, 12],
            [1, 7, 11],
            [4, 6, 14],
            [2, 9, 13],
            [4, 8, 16],
            [3, 11, 15],
            [6, 10, 17],
            [5, 13, 15],
            [8, 12, 18],
            [7, 16, 17],
            [10, 12, 19],
            [9, 14, 18],
            [11, 14, 19],
            [13, 16, 19],
            [15, 17, 18]
          ],
          "_ns": {"polymake": ["https://polymake.org", "4.15"]}
        }
      },
      "convention": "min",
      "lpcoeffs": [[["0", "2"]], [["0", "3"]], [["0", "-2"]], [["0", "4"]]]
    },
    {
      "feasible_region": {
        "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"
              ]
            ]
          }
        ],
        "LP": [
          {
            "MINIMAL_FACE": ["6"],
            "MINIMAL_VALUE": [["0", "-1//4"], ["1", "-9//4"]],
            "LINEAR_OBJECTIVE": [[["0", "2"]], [["0", "3"]], [["0", "-2"]], [["0", "4"]]]
          },
          {
            "MINIMAL_FACE": ["14"],
            "MINIMAL_VALUE": [["0", "-2"], ["1", "-5//2"]],
            "LINEAR_OBJECTIVE": [[["0", "2"]], [["0", "-1"]], [["0", "-2"], ["1", "1"]], [["0", "5"], ["1", "1"]]]
          }
        ],
        "DUAL_GRAPH.ADJACENCY": {
          "_ns": {"polymake": ["https://polymake.org", "4.15"]},
          "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]
          ],
          "_type": "common::GraphAdjacency<Undirected>"
        },
        "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,
        "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",
        "FAR_FACE": [],
        "COMBINATORIAL_DIM": "3",
        "LINEALITY_SPACE": [],
        "VERTICES_IN_FACETS": {
          "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}
          ],
          "_type": "common::IncidenceMatrix<NonSymmetric>",
          "_ns": {"polymake": ["https://polymake.org", "4.15"]}
        },
        "CENTERED": true,
        "BOUNDED": true,
        "LINEALITY_DIM": "0",
        "ESSENTIALLY_GENERIC": false,
        "GRAPH.ADJACENCY": {
          "_ns": {"polymake": ["https://polymake.org", "4.15"]},
          "data": [
            [1, 2, 4],
            [0, 3, 6],
            [0, 5, 8],
            [1, 5, 10],
            [0, 7, 9],
            [2, 3, 12],
            [1, 7, 11],
            [4, 6, 14],
            [2, 9, 13],
            [4, 8, 16],
            [3, 11, 15],
            [6, 10, 17],
            [5, 13, 15],
            [8, 12, 18],
            [7, 16, 17],
            [10, 12, 19],
            [9, 14, 18],
            [11, 14, 19],
            [13, 16, 19],
            [15, 17, 18]
          ],
          "_type": "common::GraphAdjacency<Undirected>"
        }
      },
      "convention": "min",
      "lpcoeffs": [[["0", "2"]], [["0", "-1"]], [["0", "-2"], ["1", "1"]], [["0", "5"], ["1", "1"]]]
    }
  ],
  "_refs": {
    "d8166834-ecd8-49c8-9144-73168fc31ddc": {
      "_type": {"name": "EmbeddedNumField", "params": "a07ce4fe-c7a5-47ce-93aa-ec518fc0cac9"},
      "data": []
    },
    "124ffdc4-3eb0-4594-9d35-333bb816a242": {
      "_type": {"name": "MatSpace", "params": "d8166834-ecd8-49c8-9144-73168fc31ddc"},
      "data": {"ncols": "4", "nrows": "0"}
    },
    "d8ebf837-5486-462c-a61d-65f24905ad13": {
      "_type": {"name": "MatSpace", "params": "d8166834-ecd8-49c8-9144-73168fc31ddc"},
      "data": {"ncols": "4", "nrows": "12"}
    },
    "3d5beb2a-ed39-446e-b2c4-b82d660f9356": {
      "_type": {"name": "MatSpace", "params": "d8166834-ecd8-49c8-9144-73168fc31ddc"},
      "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.

Profile Version Example Root type
Oscar 1.0.5 Vector of integers Vector
Oscar 1.1.2 Vector of integers Vector
Oscar 1.2.2 Generators of Weyl group Vector
Oscar 1.2.2 Negative coroots Vector
Oscar 1.2.2 Positive roots Vector
Oscar 1.2.2 Vector of integers Vector
Oscar 1.3.1 Generators of Weyl group Vector
Oscar 1.3.1 Generators of weight lattice Vector
Oscar 1.3.1 Negative coroots Vector
Oscar 1.3.1 Positive roots Vector
Oscar 1.3.1 Vector of integers Vector
Oscar 1.4.1 Generators of Weyl group Vector
Oscar 1.4.1 Generators of weight lattice Vector
Oscar 1.4.1 Negative coroots Vector
Oscar 1.4.1 Positive roots Vector
Oscar 1.4.1 Vector of integers Vector
Oscar 1.5.1 Generators of Weyl group Vector
Oscar 1.5.1 Generators of weight lattice Vector
Oscar 1.5.1 Negative coroots Vector
Oscar 1.5.1 Pair of linear programs Vector
Oscar 1.5.1 Pair of mixed-integer linear programs Vector
Oscar 1.5.1 Positive roots Vector
Oscar 1.5.1 Vector of integers Vector
Oscar 1.6.0 Generators of Weyl group Vector
Oscar 1.6.0 Generators of weight lattice Vector
Oscar 1.6.0 Negative coroots Vector
Oscar 1.6.0 Pair of linear programs Vector
Oscar 1.6.0 Pair of mixed-integer linear programs Vector
Oscar 1.6.0 Positive roots Vector
Oscar 1.6.0 Vector of integers Vector
Oscar 1.7.0 Generators of Weyl group Vector
Oscar 1.7.0 Generators of weight lattice Vector
Oscar 1.7.0 Negative coroots Vector
Oscar 1.7.0 Pair of linear programs Vector
Oscar 1.7.0 Pair of mixed-integer linear programs Vector
Oscar 1.7.0 Positive roots Vector
Oscar 1.7.0 Vector of integers Vector
Oscar 1.8.0-DEV-1-8dea7e5a4d0cdef038b2fa2cd018d08201b4ac07 Pair of linear programs Vector
Oscar 1.8.0-DEV-1-8dea7e5a4d0cdef038b2fa2cd018d08201b4ac07 Pair of mixed-integer linear programs Vector

Rosetta Stone Examples