Front PageRosetta StoneSpecificationEdit this page

Example: Element 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 the symmetric group S_5.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

G = symmetric_group(5)
obj = gen(G, 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": "d4ec232c-0471-4049-8cd2-42578dc0aad2"},
  "data": ["2", "3", "4", "5", "1"],
  "_refs": {
    "d4ec232c-0471-4049-8cd2-42578dc0aad2": {"_type": "PermGroup", "data": {"degree": "5", "gens": [["2", "3", "4", "5", "1"], ["2", "1"]]}}
  }
}

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": "74f73322-c3a5-4acb-8c4a-49c54c3043b5"},
  "data": ["2", "3", "4", "5", "1"],
  "_refs": {
    "74f73322-c3a5-4acb-8c4a-49c54c3043b5": {
      "_type": "PermGroup",
      "data": {
        "degree": "5",
        "gens": [["2", "3", "4", "5", "1"], ["2", "1"]],
        "attrs": {
          "order": {"_type": "ZZRingElem", "data": "120"},
          "is_perfect": {"_type": "Bool", "data": "false"}
        }
      }
    }
  }
}

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": "414ceefc-267a-41bd-90c9-cea182d98b56"},
  "data": ["2", "3", "4", "5", "1"],
  "_refs": {
    "414ceefc-267a-41bd-90c9-cea182d98b56": {
      "_type": "PermGroup",
      "data": {"degree": "5", "gens": [["2", "3", "4", "5", "1"], ["2", "1"]]},
      "attrs": {
        "order": {"_type": "ZZRingElem", "data": "120"},
        "is_perfect": {"_type": "Bool", "data": "false"}
      }
    }
  }
}

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": "c7183c10-6109-4112-a8d8-83abcf216c96"},
  "data": ["2", "3", "4", "5", "1"],
  "_refs": {
    "c7183c10-6109-4112-a8d8-83abcf216c96": {
      "_type": "PermGroup",
      "data": {"degree": "5", "gens": [["2", "3", "4", "5", "1"], ["2", "1"]]},
      "attrs": {
        "order": {"_type": {"name": "ZZRingElem", "params": {"_type": "ZZRing"}}, "data": "120"},
        "is_perfect": {"_type": "Bool", "data": "false"}
      }
    }
  }
}

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": "6271db69-03ea-4e8b-a2eb-629a816cf947"},
  "data": ["2", "3", "4", "5", "1"],
  "_refs": {
    "6271db69-03ea-4e8b-a2eb-629a816cf947": {
      "_type": "PermGroup",
      "data": {"degree": "5", "gens": [["2", "3", "4", "5", "1"], ["2", "1"]]},
      "attrs": {
        "order": {"_type": {"name": "ZZRingElem", "params": {"_type": "ZZRing"}}, "data": "120"},
        "is_perfect": {"_type": "Bool", "data": false}
      }
    }
  }
}