Front PageRosetta StoneSpecificationEdit this page

Example: Element of free group

Profiles: OSCAR v1.0, OSCAR v1.1, OSCAR v1.2, OSCAR v1.3, OSCAR v1.4, OSCAR v1.5, OSCAR v1.6, OSCAR v1.7, OSCAR v1.8

A generator of a rank-2 free group.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

F = free_group(2)
obj = gen(F, 1)

save("data.mrdi", obj)

Data outputs

Profiles: OSCAR v1.0

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.0.5"]},
  "_type": {"name": "FPGroupElem", "params": "e5a30bea-5103-4d12-9829-7b9a980ec02f"},
  "data": ["1", "1"],
  "_refs": {
    "e5a30bea-5103-4d12-9829-7b9a980ec02f": {
      "_type": "FPGroup",
      "data": {"X": {"GapType": "IsFreeGroup", "wfilt": "IsLetterWordsFamily", "names": ["f1", "f2"]}}
    }
  }
}

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": {"name": "FPGroupElem", "params": "2db148bc-88d4-498a-a87e-29f8eff9e292"},
  "data": ["1", "1"],
  "_refs": {
    "2db148bc-88d4-498a-a87e-29f8eff9e292": {"_type": "FPGroup", "data": {"X": "be9b3970-d159-484e-a81a-d8c7978b36cc"}},
    "be9b3970-d159-484e-a81a-d8c7978b36cc": {
      "_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": "FPGroupElem", "params": "38e1c0cc-822a-4dbf-8b74-38a89e358045"},
  "data": ["1", "1"],
  "_refs": {
    "38e1c0cc-822a-4dbf-8b74-38a89e358045": {"_type": {"name": "FPGroup", "params": "4868c2f8-dc27-4a94-bbc4-a4655b40e7c3"}, "data": []},
    "4868c2f8-dc27-4a94-bbc4-a4655b40e7c3": {
      "_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.