Example: Free group

Profiles: OSCAR v1.0

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.0.5"]},
  "_type": "FPGroup",
  "data": {"X": {"GapType": "IsFreeGroup", "wfilt": "IsLetterWordsFamily", "names": ["f1", "f2"]}},
  "id": "e0ac705b-3d0a-47c7-a216-1df7ed336690"
}

Profiles: OSCAR v1.1, OSCAR v1.2, OSCAR v1.3

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.3.1"]},
  "_type": "FPGroup",
  "data": {"X": "cfaa0f43-86f9-4bf2-ac71-28688f35a22d"},
  "id": "1da2fab9-8665-4481-94e6-14eb2f404fcd",
  "_refs": {
    "cfaa0f43-86f9-4bf2-ac71-28688f35a22d": {
      "_type": "GapObj",
      "data": {"GapType": "IsFreeGroup", "wfilt": "IsLetterWordsFamily", "names": ["f1", "f2"]}
    }
  }
}

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": "FPGroup", "params": "c13bb735-8e0a-4c0f-a3d8-050150a8a104"},
  "data": [],
  "id": "e712e428-473c-46df-96df-407d89461485",
  "_refs": {
    "c13bb735-8e0a-4c0f-a3d8-050150a8a104": {
      "_type": "GapObj",
      "data": {"GapType": "IsFreeGroup", "wfilt": "IsLetterWordsFamily", "names": ["f1", "f2"]}
    }
  }
}

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