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

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

Rosetta Stone Examples