Specification: Set
Profiles: basic v1
Sets are unordered homogeneous containers. The payload is stored as an array, while the mathematical set semantics come from the data type rather than the JSON container alone.
Encoding rules
- Set
_typeto an object withname: "Set". - Record the element type in
_type.params. - Store the elements under
dataas an array; consumers should apply set semantics rather than relying on JSON order.
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.7.0"]},
"_type": {"name": "Set", "params": "Base.Int"},
"data": ["2", "3", "1"]
}
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 |
Set of integers | Set |
| Oscar | 1.0.5 |
Set of polynomial elements | Set |
| Oscar | 1.1.2 |
Set of integers | Set |
| Oscar | 1.1.2 |
Set of polynomial elements | Set |
| Oscar | 1.2.2 |
Set of integers | Set |
| Oscar | 1.2.2 |
Set of polynomial elements | Set |
| Oscar | 1.3.1 |
Set of integers | Set |
| Oscar | 1.3.1 |
Set of polynomial elements | Set |
| Oscar | 1.4.1 |
Set of integers | Set |
| Oscar | 1.4.1 |
Set of polynomial elements | Set |
| Oscar | 1.5.1 |
Set of integers | Set |
| Oscar | 1.5.1 |
Set of polynomial elements | Set |
| Oscar | 1.6.0 |
Set of integers | Set |
| Oscar | 1.6.0 |
Set of polynomial elements | Set |
| Oscar | 1.7.0 |
Set of integers | Set |
| Oscar | 1.7.0 |
Set of polynomial elements | Set |