{"service":"HALOWERK datenvertragswerk","endpoint":"/v1/finite-magma-congruence-family","method":"POST","content_type":"application/json","inputSchema":{"$schema":"http://json-schema.org/draft-07/schema#","type":"object","additionalProperties":false,"required":["table","claim"],"properties":{"table":{"anyOf":[{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":2},"minItems":1,"maxItems":3},"minItems":1,"maxItems":3},{"type":"null"}]},"claim":{"anyOf":[{"type":"object","additionalProperties":false,"required":["partitions","blocks","quotient_tables","refinement_matrix"],"properties":{"partitions":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":2},"minItems":1,"maxItems":3},"minItems":0,"maxItems":5},"blocks":{"type":"array","items":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":2},"minItems":1,"maxItems":3},"minItems":1,"maxItems":3},"minItems":0,"maxItems":5},"quotient_tables":{"type":"array","items":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":2},"minItems":1,"maxItems":3},"minItems":1,"maxItems":3},"minItems":0,"maxItems":5},"refinement_matrix":{"type":"array","items":{"type":"array","items":{"type":"boolean"},"minItems":1,"maxItems":5},"minItems":0,"maxItems":5}}},{"type":"null"}]}}},"requestExample":{"table":[[0]],"claim":{"partitions":[[0]],"blocks":[[[0]]],"quotient_tables":[[[0]]],"refinement_matrix":[[true]]}},"operations":[{"method":"POST","inputSchema":{"$schema":"http://json-schema.org/draft-07/schema#","type":"object","additionalProperties":false,"required":["table","claim"],"properties":{"table":{"anyOf":[{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":2},"minItems":1,"maxItems":3},"minItems":1,"maxItems":3},{"type":"null"}]},"claim":{"anyOf":[{"type":"object","additionalProperties":false,"required":["partitions","blocks","quotient_tables","refinement_matrix"],"properties":{"partitions":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":2},"minItems":1,"maxItems":3},"minItems":0,"maxItems":5},"blocks":{"type":"array","items":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":2},"minItems":1,"maxItems":3},"minItems":1,"maxItems":3},"minItems":0,"maxItems":5},"quotient_tables":{"type":"array","items":{"type":"array","items":{"type":"array","items":{"type":"integer","minimum":0,"maximum":2},"minItems":1,"maxItems":3},"minItems":1,"maxItems":3},"minItems":0,"maxItems":5},"refinement_matrix":{"type":"array","items":{"type":"array","items":{"type":"boolean"},"minItems":1,"maxItems":5},"minItems":0,"maxItems":5}}},{"type":"null"}]}}},"requestExample":{"table":[[0]],"claim":{"partitions":[[0]],"blocks":[[[0]]],"quotient_tables":[[[0]]],"refinement_matrix":[[true]]}}}]}