Specification: Polyhedral Complexes

Profiles: OSCAR v1.2, OSCAR v1.3, OSCAR v1.4, OSCAR v1.5, OSCAR v1.6, OSCAR v1.7, OSCAR v1.8

PolyhedralComplex 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 "PolyhedralComplex" 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": "PolyhedralComplex",
    "params": {
      "field": "6f902f3c-e34a-4c08-b174-70a336c1e8c8",
      "pm_params": {
        "name": "Dict",
        "params": {
          "key_params": "Symbol",
          "INPUT_POLYTOPES": "Polymake.IncidenceMatrixAllocated{Polymake.NonSymmetric}",
          "INPUT_LINEALITY": {"name": "MatElem", "params": "c7af8b8f-ffce-48ed-9a3a-9d4fc07ccd64"},
          "_polymake_type": "String",
          "POINTS": {"name": "MatElem", "params": "ff2a6398-0f75-403b-947f-d2d00a510cab"}
        }
      }
    }
  },
  "data": {
    "INPUT_POLYTOPES": {
      "_ns": {"polymake": ["https://polymake.org", "4.15"]},
      "data": [[0, 1, 2], [0, 2, 3], {"cols": 4}],
      "_type": "common::IncidenceMatrix<NonSymmetric>"
    },
    "INPUT_LINEALITY": [],
    "_polymake_type": "fan::PolyhedralComplex<OscarNumber>",
    "POINTS": [
      [[["0", "1"]], [], []],
      [[["0", "1"]], [["0", "1"]], []],
      [[["0", "1"]], [["0", "1"]], [["0", "1"]]],
      [[["0", "1"]], [], [["0", "1"]]]
    ]
  },
  "_refs": {
    "6f902f3c-e34a-4c08-b174-70a336c1e8c8": {
      "_type": {"name": "EmbeddedNumField", "params": "df86748c-4085-4fac-a01d-8dae2d23c1d8"},
      "data": []
    },
    "c7af8b8f-ffce-48ed-9a3a-9d4fc07ccd64": {
      "_type": {"name": "MatSpace", "params": "6f902f3c-e34a-4c08-b174-70a336c1e8c8"},
      "data": {"ncols": "3", "nrows": "0"}
    },
    "ff2a6398-0f75-403b-947f-d2d00a510cab": {
      "_type": {"name": "MatSpace", "params": "6f902f3c-e34a-4c08-b174-70a336c1e8c8"},
      "data": {"ncols": "3", "nrows": "4"}
    },
    "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 polyhedral complex
• Polyhedral complex