Front PageRosetta StoneSpecificationEdit this page

Example: Boolean

Profiles: basic v1, basic v2

This example stores the boolean value true.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

obj = 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": "Bool",
  "data": "true"
}

Profiles: basic v2

Data file: data.mrdi

{
  "_ns": {
    "Oscar": [
      "https://github.com/oscar-system/Oscar.jl",
      "1.8.0-DEV-1-8dea7e5a4d0cdef038b2fa2cd018d08201b4ac07"
    ]
  },
  "_type": "Bool",
  "data": true
}