diff options
| -rw-r--r-- | schema.json | 26 |
1 files changed, 17 insertions, 9 deletions
diff --git a/schema.json b/schema.json index 7d4a05b..a1a9644 100644 --- a/schema.json +++ b/schema.json @@ -12,19 +12,27 @@ "properties": { "power": {"type": "integer"}, "coeff": {"$ref": "#/definitions/Number"} - } + }, + "required": ["power", "coeff"] } }, "Element": { - "type": "object", - "properties": { - "value": { - "anyOf": [ - {"$ref": "#/definitions/Number"}, - {"$ref": "#/definitions/Polynomial"} - ] + "anyOf": [ + { + "type": "object", + "properties": { + "raw": {"$ref": "#/definitions/Number"} + }, + "required": ["raw"] + }, + { + "type": "object", + "properties": { + "poly": {"$ref": "#/definitions/Polynomial"} + }, + "required": ["poly"] } - } + ] }, "Weierstrass": { "type": "object", |