Example: Weyl group
Profiles: OSCAR v1.2, OSCAR v1.3, OSCAR v1.4, OSCAR v1.5, OSCAR v1.6, OSCAR v1.7, OSCAR v1.8
The Weyl group of A2 x B4.
Related Specification
Systems
Oscar.jl
Generate code (generate.jl) [ edit ]
using Oscar
save("data.mrdi", weyl_group((:A, 2), (:B, 4)))
Data outputs
Profiles: OSCAR v1.2, OSCAR v1.3
Data file: data.mrdi
{
"_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.3.1"]},
"_type": "WeylGroup",
"data": {"root_system": "183d6219-0215-4d04-a1fe-30c1f7a49398"},
"id": "07b88f91-7c6b-4f7c-b319-08d10897c584",
"_refs": {
"183d6219-0215-4d04-a1fe-30c1f7a49398": {
"_type": "RootSystem",
"data": {
"cartan_matrix": [
["2", "-1", "0", "0", "0", "0"],
["-1", "2", "0", "0", "0", "0"],
["0", "0", "2", "-1", "0", "0"],
["0", "0", "-1", "2", "-1", "0"],
["0", "0", "0", "-1", "2", "-1"],
["0", "0", "0", "0", "-2", "2"]
],
"type": [["A", "2"], ["B", "4"]]
}
}
}
}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": "WeylGroup", "params": "3bdd177a-b720-4520-a304-5684675a1d9b"},
"data": {},
"id": "8c43682d-e69e-4b92-a66f-628108e7593b",
"_refs": {
"3bdd177a-b720-4520-a304-5684675a1d9b": {
"_type": "RootSystem",
"data": {
"cartan_matrix": [
["2", "-1", "0", "0", "0", "0"],
["-1", "2", "0", "0", "0", "0"],
["0", "0", "2", "-1", "0", "0"],
["0", "0", "-1", "2", "-1", "0"],
["0", "0", "0", "-1", "2", "-1"],
["0", "0", "0", "0", "-2", "2"]
],
"type": [["A", "2"], ["B", "4"]]
}
}
}
}This serialized output is equivalent for these profiles up to UUID renaming and recorded namespace version strings.