Front PageRosetta StoneSpecificationEdit this page

Example: Homomorphism of free abelian groups

Profiles: OSCAR v1.5, OSCAR v1.6, OSCAR v1.7, OSCAR v1.8

A homomorphism from rank-2 to rank-3 free abelian group defined by an integer matrix.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

dom = free_abelian_group(2)
codom = free_abelian_group(3)
mat = matrix(ZZ, [[1, 2, 3], [2, 3, 4]])
obj = hom(dom, codom, mat)

save("data.mrdi", obj)

Data outputs

Profiles: OSCAR v1.0

Not available for OSCAR v1.0.

In OSCAR v1.0-1.4 the generator fails with `Unsupported type 'FinGenAbGroupHom' for encoding`.

Profiles: OSCAR v1.1

Not available for OSCAR v1.1.

In OSCAR v1.0-1.4 the generator fails with `Unsupported type 'FinGenAbGroupHom' for encoding`.

Profiles: OSCAR v1.2

Not available for OSCAR v1.2.

In OSCAR v1.0-1.4 the generator fails with `Unsupported type 'FinGenAbGroupHom' for encoding`.

Profiles: OSCAR v1.3

Not available for OSCAR v1.3.

In OSCAR v1.0-1.4 the generator fails with `Unsupported type 'FinGenAbGroupHom' for encoding`.

Profiles: OSCAR v1.4

Not available for OSCAR v1.4.

In OSCAR v1.0-1.4 the generator fails with `Unsupported type 'FinGenAbGroupHom' for encoding`.

Profiles: 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": "FinGenAbGroupHom",
    "params": {
      "domain": "9012fc82-58d5-4e23-94e9-915241dd083d",
      "codomain": "a6382371-d9d6-488a-af71-debd1eff4bf0"
    }
  },
  "data": [["1", "2", "3"], ["2", "3", "4"]],
  "id": "8e133f0e-5f2d-45d2-99e5-fd942728d6fd",
  "_refs": {
    "9012fc82-58d5-4e23-94e9-915241dd083d": {"_type": "FinGenAbGroup", "data": [["0", "0"], ["0", "0"]]},
    "a6382371-d9d6-488a-af71-debd1eff4bf0": {"_type": "FinGenAbGroup", "data": [["0", "0", "0"], ["0", "0", "0"], ["0", "0", "0"]]}
  }
}

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