Front PageRosetta StoneSpecificationEdit this page

Example: Subgroup of symmetric 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 S_5.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

G = symmetric_group(5)
obj = sylow_subgroup(G, 2)[1]

save("data.mrdi", obj)

Data outputs

Profiles: OSCAR v1.0, OSCAR v1.1

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.1.2"]},
  "_type": "PermGroup",
  "data": {"degree": "5", "gens": [["2", "1"], ["1", "2", "4", "3"], ["3", "4", "1", "2"]]},
  "id": "4df94d49-f265-4b65-b905-dbf79677495d"
}

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

Profiles: OSCAR v1.2, OSCAR v1.3

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.3.1"]},
  "_type": "PermGroup",
  "data": {
    "degree": "5",
    "gens": [["2", "1"], ["1", "2", "4", "3"], ["3", "4", "1", "2"]],
    "attrs": {
      "order": {"_type": "ZZRingElem", "data": "8"},
      "is_nilpotent": {"_type": "Bool", "data": "true"},
      "is_perfect": {"_type": "Bool", "data": "false"},
      "is_solvable": {"_type": "Bool", "data": "true"}
    }
  },
  "id": "814910f4-ef7a-46c9-b0f5-08dc4f73dd70"
}

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

Profiles: OSCAR v1.4, OSCAR v1.5

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.5.1"]},
  "_type": "PermGroup",
  "data": {"degree": "5", "gens": [["2", "1"], ["1", "2", "4", "3"], ["3", "4", "1", "2"]]},
  "attrs": {
    "order": {"_type": "ZZRingElem", "data": "8"},
    "is_nilpotent": {"_type": "Bool", "data": "true"},
    "is_perfect": {"_type": "Bool", "data": "false"},
    "is_solvable": {"_type": "Bool", "data": "true"}
  },
  "id": "6d2ecd31-e674-4dc7-ae62-6700ed18e121"
}

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

Profiles: OSCAR v1.6, OSCAR v1.7

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.7.0"]},
  "_type": "PermGroup",
  "data": {"degree": "5", "gens": [["2", "1"], ["1", "2", "4", "3"], ["3", "4", "1", "2"]]},
  "attrs": {
    "order": {"_type": {"name": "ZZRingElem", "params": {"_type": "ZZRing"}}, "data": "8"},
    "is_nilpotent": {"_type": "Bool", "data": "true"},
    "is_perfect": {"_type": "Bool", "data": "false"},
    "is_solvable": {"_type": "Bool", "data": "true"}
  },
  "id": "ed1a19f6-effe-48d5-9e20-938587a0e185"
}

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

Profiles: OSCAR v1.8

Data file: data.mrdi

{
  "_ns": {
    "Oscar": [
      "https://github.com/oscar-system/Oscar.jl",
      "1.8.0-DEV-1-8dea7e5a4d0cdef038b2fa2cd018d08201b4ac07"
    ]
  },
  "_type": "PermGroup",
  "data": {"degree": "5", "gens": [["2", "1"], ["1", "2", "4", "3"], ["3", "4", "1", "2"]]},
  "attrs": {
    "order": {"_type": {"name": "ZZRingElem", "params": {"_type": "ZZRing"}}, "data": "8"},
    "is_nilpotent": {"_type": "Bool", "data": true},
    "is_perfect": {"_type": "Bool", "data": false},
    "is_solvable": {"_type": "Bool", "data": true}
  },
  "id": "92b0ad76-e9f6-4699-ba58-7b33ff10664b"
}