Specification: Cones

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

Cone is currently documented in the OSCAR v1.7 profile through the rosetta-stone corpus. This page records the present encoding shape and should be read as a profile-specific type description.

Encoding Notes

• Set _type to "Cone" when this type appears at the root of a serialized object.
• Interpret the payload under data according to the active namespace and profile version.
• Follow the linked examples for the currently documented payload shape and referenced ambient objects.

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": "Cone",
    "params": {
      "field": "c8888706-e5e9-4d1b-b311-485b2c7e6e19",
      "pm_params": {
        "name": "Dict",
        "params": {
          "key_params": "Symbol",
          "CONE_AMBIENT_DIM": "Base.Int",
          "INPUT_LINEALITY": {"name": "MatElem", "params": "0f6e8495-ad29-40c6-b03c-294d048a00ac"},
          "INPUT_RAYS": {"name": "MatElem", "params": "b4c8fcd5-6fab-4552-bf31-2f572a0c0f75"},
          "_polymake_type": "String"
        }
      }
    }
  },
  "data": {
    "CONE_AMBIENT_DIM": "2",
    "INPUT_LINEALITY": [],
    "INPUT_RAYS": [[[["0", "1"]], []], [[], [["0", "1"]]]],
    "_polymake_type": "polytope::Cone<OscarNumber>"
  },
  "_refs": {
    "c8888706-e5e9-4d1b-b311-485b2c7e6e19": {
      "_type": {"name": "EmbeddedNumField", "params": "df86748c-4085-4fac-a01d-8dae2d23c1d8"},
      "data": []
    },
    "0f6e8495-ad29-40c6-b03c-294d048a00ac": {
      "_type": {"name": "MatSpace", "params": "c8888706-e5e9-4d1b-b311-485b2c7e6e19"},
      "data": {"ncols": "2", "nrows": "0"}
    },
    "b4c8fcd5-6fab-4552-bf31-2f572a0c0f75": {
      "_type": {"name": "MatSpace", "params": "c8888706-e5e9-4d1b-b311-485b2c7e6e19"},
      "data": {"ncols": "2", "nrows": "2"}
    },
    "df86748c-4085-4fac-a01d-8dae2d23c1d8": {
      "_type": {"name": "Hecke.AbsSimpleNumFieldEmbedding", "params": "503279d5-fda8-4fbd-96d2-d6a5080024ba"},
      "data": ["-5a827999f -22 10000001 -3e", "0 0 0 0"]
    },
    "503279d5-fda8-4fbd-96d2-d6a5080024ba": {
      "_type": {"name": "AbsSimpleNumField", "params": "a78c482c-7f1a-4290-9be9-a4c6c8f3a0fa"},
      "data": {"def_pol": [["0", "-2"], ["2", "1"]], "var": "a"}
    },
    "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

• Number-field cone
• Positive hull cone