Front Page Rosetta Stone Specification Edit this page

Example: Set of integers

Profiles: basic v1

A set of integers.

Set

Systems

Oscar.jl

Generate code (`generate.jl`) [ edit ]

using Oscar

save("data.mrdi", Set{Int}([1, 2, 3]))

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": "Set", "params": "Base.Int"},
  "data": ["2", "3", "1"]
}

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