Specification: Matrix Groups (OSCAR v1.7-v1.8)

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

MatGroup is the current OSCAR encoding for matrix groups. In the present corpus this form appears in OSCAR v1.7 and the draft OSCAR v1.8 profile.

Encoding Notes

• Use a typed _type object whose name is "MatGroup".
• Record the ambient base ring and degree in _type.params.
• Store generators and descriptive metadata under data.

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.7.0"]},
  "_type": {
    "name": "MatGroup",
    "params": {
      "base_ring": "5576c715-03ed-445e-a54a-6915905399d6",
      "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"
  },
  "id": "d2fbccb6-149c-4095-acb9-0b37fcc533ad",
  "_refs": {
    "5576c715-03ed-445e-a54a-6915905399d6": {"_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

• Matrix group