Front PageRosetta StoneSpecificationEdit this page

Example: Element of abelian 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 element of a free abelian group of rank 2.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

A = free_abelian_group(2)
save("data.mrdi", gen(A, 1))

Data outputs

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

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.7.0"]},
  "_type": {"name": "FinGenAbGroupElem", "params": "6a8d4ead-4a6e-4032-bf9e-5f20e4bd83db"},
  "data": [["1", "0"]],
  "_refs": {
    "6a8d4ead-4a6e-4032-bf9e-5f20e4bd83db": {"_type": "FinGenAbGroup", "data": [["0", "0"], ["0", "0"]]}
  }
}

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