Specification: ZZRingElem (OSCAR v1.0-v1.5)
Profiles: OSCAR v1.0, OSCAR v1.1, OSCAR v1.2, OSCAR v1.3, OSCAR v1.4, OSCAR v1.5
Other versions: ZZRingElem (OSCAR v1.6-v1.8)
In OSCAR v1.0 through v1.5, elements of ZZ are encoded with the bare type name
"ZZRingElem" and a decimal string payload.
Encoding rules
- Use
_type: "ZZRingElem". - Store the value under
dataas a decimal string. - The ambient ring is implicit in the type name.
Canonical Example Payload
The following payload is taken directly from the current rosetta-stone corpus.
{
"_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.5.1"]},
"_type": "ZZRingElem",
"data": "42"
}
Documented Profiles in This Corpus
This table records the profile/version pairs currently represented by the rosetta-stone examples for this data type. Add new rows as new systems or encoding revisions are documented.
| Profile | Version | Example | Root type |
|---|---|---|---|
| Oscar | 1.0.5 |
Integer in ZZ | ZZRingElem |
| Oscar | 1.1.2 |
Integer in ZZ | ZZRingElem |
| Oscar | 1.2.2 |
Integer in ZZ | ZZRingElem |
| Oscar | 1.3.1 |
Integer in ZZ | ZZRingElem |
| Oscar | 1.4.1 |
Integer in ZZ | ZZRingElem |
| Oscar | 1.5.1 |
Integer in ZZ | ZZRingElem |