Example: One in GF(5)
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 multiplicative unit in the finite field $\mathbf{F}_5$.
Related Specification
Systems
Oscar.jl
Generate code (generate.jl) [ edit ]
using Oscar
save("data.mrdi", one(GF(5)))
Data outputs
Profiles: OSCAR v1.0, OSCAR v1.1, OSCAR v1.2, OSCAR v1.3
Data file: data.mrdi
{
"_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.3.1"]},
"_type": {"name": "FqFieldElem", "params": "c822472f-8b89-45d5-abc7-fbe026b1ed8d"},
"data": "1",
"_refs": {"c822472f-8b89-45d5-abc7-fbe026b1ed8d": {"_type": "FqField", "data": "5"}}
}This serialized output is equivalent for these profiles up to UUID renaming and recorded namespace version strings.
Profiles: 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": "FqFieldElem", "params": "5576c715-03ed-445e-a54a-6915905399d6"},
"data": "1",
"_refs": {
"5576c715-03ed-445e-a54a-6915905399d6": {"_type": {"name": "FiniteField", "_instance": "FqField"}, "data": "5"}
}
}This serialized output is equivalent for these profiles up to UUID renaming and recorded namespace version strings.