Front PageRosetta StoneSpecificationEdit this page

Example: Uniform matroid

Profiles: OSCAR v1.2, OSCAR v1.3, OSCAR v1.4, OSCAR v1.5, OSCAR v1.6, OSCAR v1.7, OSCAR v1.8

Construct the uniform matroid U_{2,4}.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

obj = uniform_matroid(2, 4)

save("data.mrdi", obj)

Data outputs

Profiles: OSCAR v1.0

Not available for OSCAR v1.0.

In OSCAR v1.0-1.1 the generator fails with `Unsupported type 'Oscar.Matroid' for encoding`.

Profiles: OSCAR v1.1

Not available for OSCAR v1.1.

In OSCAR v1.0-1.1 the generator fails with `Unsupported type 'Oscar.Matroid' for encoding`.

Profiles: 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": "Matroid",
  "data": {
    "matroid": {
      "RANK": 2,
      "_info": {"description": "Uniform matroid of rank 2 on 4 elements.\n"},
      "_type": "matroid::Matroid",
      "BASES": [[0, 1], [0, 2], [0, 3], [1, 2], [1, 3], [2, 3]],
      "_ns": {"polymake": ["https://polymake.org", "4.15"]},
      "N_BASES": 6,
      "N_ELEMENTS": 4
    },
    "groundset": ["1", "2", "3", "4"],
    "gs2num": {"4": "4", "2": "2", "3": "3", "1": "1"}
  }
}

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