{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["cylindricalDecomposition"],"properties":{"cylindricalDecomposition":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["radicand_quadratic","line_polynomial"],"properties":{"radicand_quadratic":{"type":"array","items":{"type":"number","minimum":-4,"maximum":4},"minItems":3,"maxItems":3},"line_polynomial":{"type":"array","items":{"type":"number","minimum":-2,"maximum":2},"minItems":2,"maxItems":2}}},"claim":{}}}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-TD2000-GEO-INDUSTRY-B025/bounded-bivariate-polynomial-sign-invariant-cylindrical-decomposition"}