Front PageRosetta StoneSpecificationEdit this page

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

A generator of a Sylow-2 subgroup in a pc group.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

G = small_group(24, 12)
U = sylow_subgroup(G, 2)[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": "PcGroupElem", "params": "9b37f71e-6782-4ce2-985b-2c03f7360d8e"},
  "data": ["1", "0", "0", "0"],
  "_refs": {
    "9b37f71e-6782-4ce2-985b-2c03f7360d8e": {
      "_type": "PcGroup",
      "data": {
        "X": {
          "GapType": "IsPcGroup",
          "fullGroup": "ea221624-fdc6-4c08-b6a3-214ee3975044",
          "gens": [["1", "0", "0", "0"], ["0", "0", "1", "0"], ["0", "0", "0", "1"]]
        }
      }
    },
    "ea221624-fdc6-4c08-b6a3-214ee3975044": {
      "_type": "GAP.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"]]
        ]
      }
    }
  }
}

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": "SubPcGroupElem", "params": "5c6d1cde-e388-483d-830b-5d36cd1d6cb3"},
  "data": ["1", "0", "0", "0"],
  "_refs": {
    "5c6d1cde-e388-483d-830b-5d36cd1d6cb3": {"_type": "SubPcGroup", "data": {"X": "68b4ef6c-4626-448f-a1dd-6f18bb850f0c"}},
    "68b4ef6c-4626-448f-a1dd-6f18bb850f0c": {
      "_type": "GapObj",
      "data": {
        "GapType": "IsPcGroup",
        "fullGroup": "89185ddd-5e26-4fdd-85bf-579b9eaa3d48",
        "gens": [["1", "0", "0", "0"], ["0", "0", "1", "0"], ["0", "0", "0", "1"]]
      }
    },
    "89185ddd-5e26-4fdd-85bf-579b9eaa3d48": {
      "_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": "SubPcGroupElem", "params": "7011d5fe-bbaf-41ed-8957-df7732189aed"},
  "data": ["1", "0", "0", "0"],
  "_refs": {
    "7011d5fe-bbaf-41ed-8957-df7732189aed": {"_type": {"name": "SubPcGroup", "params": "f3ea64de-17ff-4f08-8e95-4ad525ae5b67"}, "data": []},
    "f3ea64de-17ff-4f08-8e95-4ad525ae5b67": {
      "_type": {"name": "GapObj", "params": "1445c9e9-447f-4b9d-8c98-783382d6ab6d"},
      "data": {
        "GapType": "IsPcGroup",
        "gens": [["1", "0", "0", "0"], ["0", "0", "1", "0"], ["0", "0", "0", "1"]]
      }
    },
    "1445c9e9-447f-4b9d-8c98-783382d6ab6d": {
      "_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.