Specification: Matrix Group Elements (OSCAR v1.5-v1.6)

Profiles: OSCAR v1.5, OSCAR v1.6 Other versions: Matrix Group Elements (OSCAR v1.7-v1.8)

MatrixGroupElem is the older OSCAR encoding for matrix-group elements. In the current corpus this form appears in OSCAR v1.5 and v1.6.

Encoding Notes

• Use a typed _type object whose name is "MatrixGroupElem".
• Store the matrix entries under data.
• Refer to the ambient group using the matching MatrixGroup encoding.

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.6.0"]},
  "_type": {"name": "MatrixGroupElem", "params": "7f614c7f-1f2f-412f-abb5-90f04a868ad5"},
  "data": [["2", "0", "0"], ["0", "1", "0"], ["0", "0", "1"]],
  "_refs": {
    "7f614c7f-1f2f-412f-abb5-90f04a868ad5": {
      "_type": {
        "name": "MatrixGroup",
        "params": {
          "base_ring": "b17f1eb2-73a4-4e35-99ed-adf177d57b34",
          "degree": {"_type": "Base.Int", "data": "3"}
        }
      },
      "data": {
        "gens": [
          [["2", "0", "0"], ["0", "1", "0"], ["0", "0", "1"]],
          [["4", "0", "1"], ["4", "0", "0"], ["0", "4", "0"]]
        ],
        "descr": "GL"
      }
    },
    "b17f1eb2-73a4-4e35-99ed-adf177d57b34": {"_type": {"name": "FiniteField", "_instance": "FqField"}, "data": "5"}
  }
}

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

• Element of matrix group