Specification: Weight Lattice Elements (OSCAR v1.3)

Profiles: OSCAR v1.3 Other versions: Weight Lattice Elements (OSCAR v1.4-v1.8)

In OSCAR v1.3, WeightLatticeElem already uses a typed _type object, but its referenced WeightLattice payload still stores root_system under data.

Encoding Notes

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.3.1"]},
  "_type": {"name": "WeightLatticeElem", "params": "17f32d27-551e-46af-95ac-99e6686d2fc2"},
  "data": ["1", "-2", "3", "0", "2", "-1"],
  "_refs": {
    "17f32d27-551e-46af-95ac-99e6686d2fc2": {"_type": "WeightLattice", "data": {"root_system": "c329b055-e238-477e-964e-2fc2db5758ed"}},
    "c329b055-e238-477e-964e-2fc2db5758ed": {
      "_type": "RootSystem",
      "data": {
        "cartan_matrix": [
          ["2", "-1", "0", "0", "0", "0"],
          ["-1", "2", "0", "0", "0", "0"],
          ["0", "0", "2", "-1", "0", "0"],
          ["0", "0", "-1", "2", "-1", "0"],
          ["0", "0", "0", "-1", "2", "-1"],
          ["0", "0", "0", "0", "-2", "2"]
        ],
        "type": [["A", "2"], ["B", "4"]]
      }
    }
  }
}

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.3.1 Element of weight lattice WeightLatticeElem

Rosetta Stone Examples