Front PageRosetta StoneSpecificationEdit this page

Example: Complete graph

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

Let $G$ be the complete graph on 4 vertices:

$$ G = K_4. $$

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

G = complete_graph(4)
save("data.mrdi", G)

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": "Graph{Undirected}",
  "data": {
    "_ns": {"polymake": ["https://polymake.org", "4.15"]},
    "_type": "common::GraphAdjacency<Undirected>",
    "data": [[1, 2, 3], [0, 2, 3], [0, 1, 3], [0, 1, 2]]
  }
}

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