Front PageRosetta StoneSpecificationEdit this page

Example: Element of subgroup 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 subgroup of a free group.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

F = free_group(2)
U = sub(F, [gen(F, 1)])[1]
obj = gen(U, 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": "9ac20838-998c-44b2-9e4d-80c5ddfcec96"},
  "data": ["1", "1"],
  "_refs": {
    "9ac20838-998c-44b2-9e4d-80c5ddfcec96": {
      "_type": "FPGroup",
      "data": {
        "X": {
          "GapType": "IsFreeGroup",
          "freeGroup": "ae5835d0-6f33-408e-8e7f-df58c56325c8",
          "gens": [["1", "1"]]
        }
      }
    },
    "ae5835d0-6f33-408e-8e7f-df58c56325c8": {
      "_type": "GAP.GapObj",
      "data": {"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": "SubFPGroupElem", "params": "5a34a9db-3805-49cf-8866-3143374fe9eb"},
  "data": ["1", "1"],
  "_refs": {
    "5a34a9db-3805-49cf-8866-3143374fe9eb": {"_type": "SubFPGroup", "data": {"X": "fa507f10-4730-478f-b44e-6987de878adb"}},
    "fa507f10-4730-478f-b44e-6987de878adb": {
      "_type": "GapObj",
      "data": {
        "GapType": "IsFreeGroup",
        "freeGroup": "c1346e43-6520-4798-ab99-d6129e8000db",
        "gens": [["1", "1"]]
      }
    },
    "c1346e43-6520-4798-ab99-d6129e8000db": {
      "_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": "SubFPGroupElem", "params": "2afb0211-b5e4-46b5-ab43-37edeb8b89cb"},
  "data": ["1", "1"],
  "_refs": {
    "2afb0211-b5e4-46b5-ab43-37edeb8b89cb": {"_type": {"name": "SubFPGroup", "params": "41fe1425-8ca5-448a-a057-1c35c6a8b23c"}, "data": []},
    "41fe1425-8ca5-448a-a057-1c35c6a8b23c": {
      "_type": {"name": "GapObj", "params": "92a965c8-0d4b-45e0-8b6c-9d9b47425182"},
      "data": {"GapType": "IsFreeGroup", "gens": [["1", "1"]]}
    },
    "92a965c8-0d4b-45e0-8b6c-9d9b47425182": {
      "_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.