Front PageRosetta StoneSpecificationEdit this page

Example: 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 Sylow-2 subgroup of the small group (24, 12).

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

G = small_group(24, 12)
obj = sylow_subgroup(G, 2)[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": "PcGroup",
  "data": {
    "X": {
      "GapType": "IsPcGroup",
      "fullGroup": "588ef311-4c49-4cd5-8424-8179277fdcab",
      "gens": [["1", "0", "0", "0"], ["0", "0", "1", "0"], ["0", "0", "0", "1"]]
    }
  },
  "id": "b341ba2d-7f2b-422f-98a5-121a61f51ac3",
  "_refs": {
    "588ef311-4c49-4cd5-8424-8179277fdcab": {
      "_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": "SubPcGroup",
  "data": {"X": "239d6db7-63f5-4d35-9caa-5fd000e54c38"},
  "id": "73cedc51-734e-465d-b845-30a376e784a4",
  "_refs": {
    "239d6db7-63f5-4d35-9caa-5fd000e54c38": {
      "_type": "GapObj",
      "data": {
        "GapType": "IsPcGroup",
        "fullGroup": "7b27c6a4-6654-4785-ac05-6eb980125f2c",
        "gens": [["1", "0", "0", "0"], ["0", "0", "1", "0"], ["0", "0", "0", "1"]]
      }
    },
    "7b27c6a4-6654-4785-ac05-6eb980125f2c": {
      "_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": "SubPcGroup", "params": "1cbd3048-f764-4894-878d-2b5e2c76a448"},
  "data": [],
  "id": "6a31bedd-23ba-47df-8e62-239d63803871",
  "_refs": {
    "1cbd3048-f764-4894-878d-2b5e2c76a448": {
      "_type": {"name": "GapObj", "params": "25193cb5-ddd1-438e-8490-b179ac93b0df"},
      "data": {
        "GapType": "IsPcGroup",
        "gens": [["1", "0", "0", "0"], ["0", "0", "1", "0"], ["0", "0", "0", "1"]]
      }
    },
    "25193cb5-ddd1-438e-8490-b179ac93b0df": {
      "_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.