Example: Rational number
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
The rational number $\tfrac{42}{23}$ as an element of $\mathbb{Q}$.
Related Specification
Systems
Oscar.jl
Generate code (generate.jl) [ edit ]
using Oscar
save("data.mrdi", QQ(42, 23))
Data outputs
Profiles: OSCAR v1.0, OSCAR v1.1, OSCAR v1.2, OSCAR v1.3, OSCAR v1.4, OSCAR v1.5
Data file: data.mrdi
{
"_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.5.1"]},
"_type": "QQFieldElem",
"data": "42//23"
}This serialized output is equivalent for these profiles up to UUID renaming and recorded namespace version strings.
Profiles: OSCAR v1.6, OSCAR v1.7
Data file: data.mrdi
{
"_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.7.0"]},
"_type": {"name": "QQFieldElem", "params": {"_type": "QQField"}},
"data": "42//23"
}This serialized output is equivalent for these profiles up to UUID renaming and recorded namespace version strings.