Front PageRosetta StoneSpecificationEdit this page

Example: Element of matrix group

Profiles: OSCAR v1.5, OSCAR v1.6, OSCAR v1.7, OSCAR v1.8

This example stores a generator element of GL(3, 5).

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

G = general_linear_group(3, 5)
save("data.mrdi", gen(G, 1))

Data outputs

Profiles: OSCAR v1.0

Not available for OSCAR v1.0.

In OSCAR v1.0-1.4 the generator fails with `Unsupported type 'MatrixGroupElem{FqFieldElem, FqMatrix}' for encoding`.

Profiles: OSCAR v1.1

Not available for OSCAR v1.1.

In OSCAR v1.0-1.4 the generator fails with `Unsupported type 'MatrixGroupElem{FqFieldElem, FqMatrix}' for encoding`.

Profiles: OSCAR v1.2

Not available for OSCAR v1.2.

In OSCAR v1.0-1.4 the generator fails with `Unsupported type 'MatrixGroupElem{FqFieldElem, FqMatrix}' for encoding`.

Profiles: OSCAR v1.3

Not available for OSCAR v1.3.

In OSCAR v1.0-1.4 the generator fails with `Unsupported type 'MatrixGroupElem{FqFieldElem, FqMatrix}' for encoding`.

Profiles: OSCAR v1.4

Not available for OSCAR v1.4.

In OSCAR v1.0-1.4 the generator fails with `Unsupported type 'MatrixGroupElem{FqFieldElem, FqMatrix}' for encoding`.

Profiles: OSCAR v1.5, OSCAR v1.6

Data file: data.mrdi

{
  "_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"}
  }
}

This serialized output is equivalent for these profiles up to UUID renaming and recorded namespace version strings.

Profiles: OSCAR v1.7

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.7.0"]},
  "_type": {"name": "MatGroupElem", "params": "823d9334-a9a3-4e9b-897d-d1e5bb36db78"},
  "data": [["2", "0", "0"], ["0", "1", "0"], ["0", "0", "1"]],
  "_refs": {
    "823d9334-a9a3-4e9b-897d-d1e5bb36db78": {
      "_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"
      }
    },
    "5576c715-03ed-445e-a54a-6915905399d6": {"_type": {"name": "FiniteField", "_instance": "FqField"}, "data": "5"}
  }
}