Front PageRosetta StoneSpecificationEdit this page

Example: Normal fan of square

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 normal fan of a square.

Systems

Oscar.jl

Generate code (generate.jl) [ edit ]

using Oscar

obj = normal_fan(cube(2))

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": {"name": "PolyhedralFan", "params": {"_type": "QQField"}},
  "data": {
    "COMPLETE": true,
    "FAN_DIM": 2,
    "LINEALITY_SPACE": [{"cols": 2}],
    "REGULAR": true,
    "PSEUDO_REGULAR": true,
    "FAN_AMBIENT_DIM": 2,
    "_ns": {"polymake": ["https://polymake.org", "4.15"]},
    "_type": "fan::PolyhedralFan<Rational>",
    "RAYS": [["1", "0"], ["-1", "0"], ["0", "1"], ["0", "-1"]],
    "MAXIMAL_CONES": [[0, 2], [1, 2], [0, 3], [1, 3], {"cols": 4}]
  }
}

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