Front PageRosetta StoneSpecificationEdit this page

Example: Mixed tuple

Profiles: basic v1, basic v2

This example stores the tuple (1, "some text", true).

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

obj = (1, "some text", true)
save("data.mrdi", obj)

Data outputs

Profiles: basic v1

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.7.0"]},
  "_type": {"name": "Tuple", "params": ["Base.Int", "String", "Bool"]},
  "data": ["1", "some text", "true"]
}

Profiles: basic v2

Data file: data.mrdi

{
  "_ns": {
    "Oscar": [
      "https://github.com/oscar-system/Oscar.jl",
      "1.8.0-DEV-1-8dea7e5a4d0cdef038b2fa2cd018d08201b4ac07"
    ]
  },
  "_type": {"name": "Tuple", "params": ["Base.Int", "String", "Bool"]},
  "data": ["1", "some text", true]
}