Specification: Multivariate 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

Multivariate polynomials extend the same idea to several variables. The payload is a structured list of terms, while the ambient ring and coefficient context are carried by the type parameters and references.

Encoding rules

• Set _type to an object with name: "MPolyRingElem".
• Reference the ambient multivariate polynomial ring through _type.params.
• Encode monomials and coefficients structurally under data instead of using a textual polynomial syntax.

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": "MPolyRingElem", "params": "3f63beec-6153-4ee4-b4e8-1b924abc7412"},
  "data": [[["2", "1", "0"], "3"], [["0", "5", "1"], "-5"]],
  "_refs": {
    "3f63beec-6153-4ee4-b4e8-1b924abc7412": {
      "_type": {"name": "MPolyRing", "params": {"_type": "QQField"}},
      "data": {"symbols": ["x", "y", "z"]}
    }
  }
}

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

• Multivariate polynomial