Front PageRosetta StoneSpecificationEdit this page

Example: Element of 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 generator of a Sylow-2 subgroup of S_5.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

G = symmetric_group(5)
U = sylow_subgroup(G, 2)[1]
obj = gen(U, 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": {"name": "PermGroupElem", "params": "11ae54c9-4d34-42c5-8370-35cb53a5d7e8"},
  "data": ["2", "1"],
  "_refs": {
    "11ae54c9-4d34-42c5-8370-35cb53a5d7e8": {
      "_type": "PermGroup",
      "data": {"degree": "5", "gens": [["2", "1"], ["1", "2", "4", "3"], ["3", "4", "1", "2"]]}
    }
  }
}

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": {"name": "PermGroupElem", "params": "6a860ea3-b10e-47d2-9634-5166c9257b23"},
  "data": ["2", "1"],
  "_refs": {
    "6a860ea3-b10e-47d2-9634-5166c9257b23": {
      "_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"}
        }
      }
    }
  }
}

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": {"name": "PermGroupElem", "params": "1da577a2-a6ab-48de-a976-7fb3d69551fd"},
  "data": ["2", "1"],
  "_refs": {
    "1da577a2-a6ab-48de-a976-7fb3d69551fd": {
      "_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"}
      }
    }
  }
}

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": {"name": "PermGroupElem", "params": "96315c79-b678-406f-9400-163e4c312c9c"},
  "data": ["2", "1"],
  "_refs": {
    "96315c79-b678-406f-9400-163e4c312c9c": {
      "_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"}
      }
    }
  }
}

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": {"name": "PermGroupElem", "params": "e3ab165d-a996-434e-924f-40bd240a1e07"},
  "data": ["2", "1"],
  "_refs": {
    "e3ab165d-a996-434e-924f-40bd240a1e07": {
      "_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}
      }
    }
  }
}