Front PageRosetta StoneSpecificationEdit this page

Example: Subdivision of points

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

Construct a subdivision of points over the rationals.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

moaepts = [4 0 0; 0 4 0; 0 0 4; 2 1 1; 1 2 1; 1 1 2]
moaeimnonreg0 = incidence_matrix([[4,5,6],[1,4,2],[2,4,5],[2,3,5],[3,5,6],[1,3,6],[1,4,6]])
obj = subdivision_of_points(moaepts, moaeimnonreg0)

save("data.mrdi", obj)

Data outputs

Profiles: OSCAR v1.0

Not available for OSCAR v1.0.

In OSCAR v1.0-1.1 the generator does not run successfully; the exact failure mode varies across versions.

Profiles: OSCAR v1.1

Not available for OSCAR v1.1.

In OSCAR v1.0-1.1 the generator does not run successfully; the exact failure mode varies across versions.

Profiles: 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": {"name": "SubdivisionOfPoints", "params": {"_type": "QQField"}},
  "data": {
    "MAXIMAL_CELLS": [[3, 4, 5], [0, 1, 3], [1, 3, 4], [1, 2, 4], [2, 4, 5], [0, 2, 5], [0, 3, 5], {"cols": 6}],
    "_ns": {"polymake": ["https://polymake.org", "4.15"]},
    "_type": "fan::SubdivisionOfPoints<Rational>",
    "POINTS": [
      ["1", "4", "0", "0"],
      ["1", "0", "4", "0"],
      ["1", "0", "0", "4"],
      ["1", "2", "1", "1"],
      ["1", "1", "2", "1"],
      ["1", "1", "1", "2"]
    ]
  }
}

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