Specification: Univariate Polynomial

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

A univariate polynomial payload is interpreted relative to a polynomial ring stored in _type.params or _refs. The coefficients and exponents are encoded as structured JSON data rather than as presentation text.

Encoding rules

• Set _type to an object with name: "PolyRingElem".
• Use _type.params to point to the ambient polynomial ring.
• Encode each term structurally under data so that reconstruction does not depend on parsing pretty-printed algebra.

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": "PolyRingElem", "params": "a78c482c-7f1a-4290-9be9-a4c6c8f3a0fa"},
  "data": [["0", "10"], ["1", "-1"], ["2", "7"]],
  "_refs": {
    "a78c482c-7f1a-4290-9be9-a4c6c8f3a0fa": {"_type": {"name": "PolyRing", "params": {"_type": "QQField"}}, "data": {"symbols": ["x"]}}
  }
}

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.

Rosetta Stone Examples

• Univariate polynomial