Front PageRosetta StoneSpecificationEdit this page

Example: 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

The full symmetric group S_5.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

obj = symmetric_group(5)

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", "3", "4", "5", "1"], ["2", "1"]]},
  "id": "23db6e06-45b5-4865-a1ed-66ffe7eb22a4"
}

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", "3", "4", "5", "1"], ["2", "1"]],
    "attrs": {
      "order": {"_type": "ZZRingElem", "data": "120"},
      "is_perfect": {"_type": "Bool", "data": "false"}
    }
  },
  "id": "56f44a8f-ea22-4152-b083-95917a9659c5"
}

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", "3", "4", "5", "1"], ["2", "1"]]},
  "attrs": {
    "order": {"_type": "ZZRingElem", "data": "120"},
    "is_perfect": {"_type": "Bool", "data": "false"}
  },
  "id": "a389c4cd-ed3b-4138-ac62-088bfb4f779a"
}

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", "3", "4", "5", "1"], ["2", "1"]]},
  "attrs": {
    "order": {"_type": {"name": "ZZRingElem", "params": {"_type": "ZZRing"}}, "data": "120"},
    "is_perfect": {"_type": "Bool", "data": "false"}
  },
  "id": "65a297da-6ff1-4eac-b4d4-22a1497011e7"
}

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", "3", "4", "5", "1"], ["2", "1"]]},
  "attrs": {
    "order": {"_type": {"name": "ZZRingElem", "params": {"_type": "ZZRing"}}, "data": "120"},
    "is_perfect": {"_type": "Bool", "data": false}
  },
  "id": "017e693a-9a2e-49fb-a649-403a75577f85"
}