Oscar.jl/data/schema.json at d9b3887749813db2a98168c2129c37e2609a2ade · oscar-system/Oscar.jl · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
{
  "$defs": {
    "data": {
      "oneOf": [
        {
          "type": "boolean"
        },
        {
          "type": "string"
        },
        {
          "patternProperties": {
            "^[a-zA-Z0-9_]*": {
              "$ref": "#/$defs/data"
            }
          },
          "type": "object",
          "not": { "required": [ "_ns" ] }
        },
        {
          "items": {
            "$ref": "#/$defs/data"
          },
          "type": "array"
        },
        {
          "$ref": "https://polymake.org/schemas/data.json"
        },
        {
          "type": "null"
        },
        {
          "type": "number"
        }
      ]
    }
  },
  "$id": "https://oscar-system.org/schemas/mrdi.json",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "properties": {
    "_ns": {
      "type": "object"
    },
    "_refs": {
      "patternProperties": {
        "^[0-9a-fA-F]{8}-([0-9a-fA-F]{4}-){3}[0-9a-fA-F]{12}$": {
          "$ref": "#"
        }
      },
      "type": "object"
    },
    "_type": {
      "oneOf": [
        {
          "type": "string"
        },
        {
          "properties": {
            "name": {
              "type": "string"
            },
            "params": {
              "$ref": "#/$defs/data"
            }
          },
          "type": "object"
        }
      ]
    },
    "data": {
      "$ref": "#/$defs/data"
    }
  },
  "required": [
    "_type"
  ],
  "type": "object"
}