Example: Generator of GF(5^2)

Profiles: OSCAR v1.0, OSCAR v1.1

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.1.2"]},
  "_type": {"name": "FqFieldElem", "params": "e6ebd833-696e-4ac3-9cbd-318951a6891e"},
  "data": [["1", "1"]],
  "_refs": {
    "e6ebd833-696e-4ac3-9cbd-318951a6891e": {
      "_type": "FqField",
      "data": {
        "_type": {"name": "PolyRingElem", "params": "b84ae014-c19f-403f-ac6d-d5d73d219e79"},
        "data": [["0", "2"], ["1", "4"], ["2", "1"]]
      }
    },
    "b84ae014-c19f-403f-ac6d-d5d73d219e79": {
      "_type": "PolyRing",
      "data": {"base_ring": "58163bae-bd56-4799-923d-65d4436f92e4", "symbols": ["x"]}
    },
    "58163bae-bd56-4799-923d-65d4436f92e4": {"_type": "FqField", "data": "5"}
  }
}

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

Profiles: OSCAR v1.2, OSCAR v1.3

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.3.1"]},
  "_type": {"name": "FqFieldElem", "params": "eda35724-e564-476b-b635-a2882072d4fd"},
  "data": [["1", "1"]],
  "_refs": {
    "eda35724-e564-476b-b635-a2882072d4fd": {
      "_type": "FqField",
      "data": {
        "def_pol": {
          "_type": {"name": "PolyRingElem", "params": "958a0487-958b-4b84-8b6c-2ea71c58c279"},
          "data": [["0", "2"], ["1", "4"], ["2", "1"]]
        }
      }
    },
    "958a0487-958b-4b84-8b6c-2ea71c58c279": {
      "_type": "PolyRing",
      "data": {"base_ring": "c822472f-8b89-45d5-abc7-fbe026b1ed8d", "symbols": ["x"]}
    },
    "c822472f-8b89-45d5-abc7-fbe026b1ed8d": {"_type": "FqField", "data": "5"}
  }
}

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

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

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.7.0"]},
  "_type": {"name": "FqFieldElem", "params": "df441132-2db5-4e70-8e25-9f07e8a409a7"},
  "data": [["1", "1"]],
  "_refs": {
    "df441132-2db5-4e70-8e25-9f07e8a409a7": {
      "_type": {
        "_instance": "FqField",
        "name": "FiniteField",
        "params": "f6e86bd7-f1a4-4362-9321-2d30caec1b5c"
      },
      "data": [["0", "2"], ["1", "4"], ["2", "1"]]
    },
    "f6e86bd7-f1a4-4362-9321-2d30caec1b5c": {
      "_type": {"name": "PolyRing", "params": "5576c715-03ed-445e-a54a-6915905399d6"},
      "data": {"symbols": ["x"]}
    },
    "5576c715-03ed-445e-a54a-6915905399d6": {"_type": {"name": "FiniteField", "_instance": "FqField"}, "data": "5"}
  }
}

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