Front PageRosetta StoneSpecificationEdit this page

Example: Complex projective plane

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

Construct the simplicial complex of the complex projective plane.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

obj = complex_projective_plane()

save("data.mrdi", obj)

Data outputs

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

Data file: data.mrdi

{
  "_ns": {"Oscar": ["https://github.com/oscar-system/Oscar.jl", "1.7.0"]},
  "_type": "SimplicialComplex",
  "data": {
    "CLOSED_PSEUDO_MANIFOLD": true,
    "_ns": {"polymake": ["https://polymake.org", "4.15"]},
    "ORIENTED_PSEUDO_MANIFOLD": true,
    "MANIFOLD": true,
    "_info": {"description": "Complex projective plane on nine vertices.\n"},
    "_type": "topaz::SimplicialComplex",
    "DIM": 4,
    "FACETS": [
      [0, 1, 2, 3, 4],
      [0, 1, 2, 3, 6],
      [0, 1, 2, 4, 7],
      [0, 1, 2, 6, 7],
      [0, 1, 3, 4, 5],
      [0, 1, 3, 5, 6],
      [0, 1, 4, 5, 7],
      [0, 1, 5, 6, 8],
      [0, 1, 5, 7, 8],
      [0, 1, 6, 7, 8],
      [0, 2, 3, 4, 8],
      [0, 2, 3, 6, 7],
      [0, 2, 3, 7, 8],
      [0, 2, 4, 5, 7],
      [0, 2, 4, 5, 8],
      [0, 2, 5, 7, 8],
      [0, 3, 4, 5, 6],
      [0, 3, 4, 6, 8],
      [0, 3, 6, 7, 8],
      [0, 4, 5, 6, 8],
      [1, 2, 3, 4, 8],
      [1, 2, 3, 5, 6],
      [1, 2, 3, 5, 8],
      [1, 2, 4, 6, 7],
      [1, 2, 4, 6, 8],
      [1, 2, 5, 6, 8],
      [1, 3, 4, 5, 7],
      [1, 3, 4, 7, 8],
      [1, 3, 5, 7, 8],
      [1, 4, 6, 7, 8],
      [2, 3, 5, 6, 7],
      [2, 3, 5, 7, 8],
      [2, 4, 5, 6, 7],
      [2, 4, 5, 6, 8],
      [3, 4, 5, 6, 7],
      [3, 4, 6, 7, 8]
    ]
  }
}

This serialized output is equivalent for these profiles up to UUID renaming and recorded namespace version strings.