From 867e7aeafda3304fb802588d887ef35f2523f0fc Mon Sep 17 00:00:00 2001 From: J08nY Date: Mon, 5 Oct 2020 19:58:21 +0200 Subject: Fix schema. --- schema.json | 26 +++++++++++++++++--------- 1 file 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", -- cgit v1.3.1