Front PageRosetta StoneSpecificationEdit this page

Example: Element of pc 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

An element from the small group (24, 12).

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

G = small_group(24, 12)
obj = gen(G, 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": "PcGroupElem", "params": "767bed59-46ec-4edd-9e17-99b0be056dbd"},
  "data": ["1", "0", "0", "0"],
  "_refs": {
    "767bed59-46ec-4edd-9e17-99b0be056dbd": {
      "_type": "PcGroup",
      "data": {
        "X": {
          "GapType": "IsPcGroup",
          "relord": ["2", "3", "2", "2"],
          "power_rels": [],
          "comm_rels": [
            ["2", "1", ["2", "1"]],
            ["3", "1", ["3", "1", "4", "1"]],
            ["4", "1", ["3", "1", "4", "1"]],
            ["3", "2", ["3", "1", "4", "1"]],
            ["4", "2", ["3", "1"]]
          ]
        }
      }
    }
  }
}

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": "PcGroupElem", "params": "19829e6e-a8a7-42d6-a7c6-ed1fb1a95718"},
  "data": ["1", "0", "0", "0"],
  "_refs": {
    "19829e6e-a8a7-42d6-a7c6-ed1fb1a95718": {"_type": "PcGroup", "data": {"X": "2d5459cc-e6d8-4e32-aff1-bd1c52b81a5b"}},
    "2d5459cc-e6d8-4e32-aff1-bd1c52b81a5b": {
      "_type": "GapObj",
      "data": {
        "GapType": "IsPcGroup",
        "relord": ["2", "3", "2", "2"],
        "power_rels": [],
        "comm_rels": [
          ["2", "1", ["2", "1"]],
          ["3", "1", ["3", "1", "4", "1"]],
          ["4", "1", ["3", "1", "4", "1"]],
          ["3", "2", ["3", "1", "4", "1"]],
          ["4", "2", ["3", "1"]]
        ]
      }
    }
  }
}

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": "PcGroupElem", "params": "62198964-b65f-49ad-99a4-92bb9a221eb1"},
  "data": ["1", "0", "0", "0"],
  "_refs": {
    "62198964-b65f-49ad-99a4-92bb9a221eb1": {"_type": {"name": "PcGroup", "params": "5ba833e1-7046-4969-9248-4cfb2e600082"}, "data": []},
    "5ba833e1-7046-4969-9248-4cfb2e600082": {
      "_type": "GapObj",
      "data": {
        "GapType": "IsPcGroup",
        "relord": ["2", "3", "2", "2"],
        "power_rels": [],
        "comm_rels": [
          ["2", "1", ["2", "1"]],
          ["3", "1", ["3", "1", "4", "1"]],
          ["4", "1", ["3", "1", "4", "1"]],
          ["3", "2", ["3", "1", "4", "1"]],
          ["4", "2", ["3", "1"]]
        ]
      }
    }
  }
}

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