{"service":"HALOWERK datenvertragswerk","endpoint":"/v1/finite-monoid-group-completion","method":"POST","content_type":"application/json","inputSchema":{"type":"object","properties":{"table":{"anyOf":[{"type":"array","maxItems":5,"items":{"type":"array","maxItems":5,"items":{"type":"integer","minimum":0,"maximum":4},"minItems":1},"minItems":1},{"type":"null"}]},"claimed_value":{"anyOf":[{"type":"object","properties":{"source_size":{"type":"integer","minimum":1,"maximum":5},"group_size":{"type":"integer","minimum":1,"maximum":25},"identity":{"const":0},"classes":{"type":"array","maxItems":25,"items":{"type":"array","maxItems":25,"items":{"type":"array","maxItems":2,"items":{"type":"integer","minimum":0,"maximum":4},"minItems":2}}},"representatives":{"type":"array","maxItems":25,"items":{"type":"array","maxItems":2,"items":{"type":"integer","minimum":0,"maximum":4},"minItems":2}},"pair_classes":{"type":"array","maxItems":5,"items":{"type":"array","maxItems":5,"items":{"type":"integer","minimum":0,"maximum":24}}},"addition":{"type":"array","maxItems":25,"items":{"type":"array","maxItems":25,"items":{"type":"integer","minimum":0,"maximum":24}}},"inverse":{"type":"array","maxItems":25,"items":{"type":"integer","minimum":0,"maximum":24}},"monoid_map":{"type":"array","maxItems":5,"items":{"type":"integer","minimum":0,"maximum":24}}},"required":["source_size","group_size","identity","classes","representatives","pair_classes","addition","inverse","monoid_map"],"additionalProperties":false},{"type":"null"}]}},"required":["table","claimed_value"],"additionalProperties":false},"requestExample":{"table":[[0,1],[1,0]],"claimed_value":{"source_size":2,"group_size":2,"identity":0,"classes":[[[0,0],[1,1]],[[0,1],[1,0]]],"representatives":[[0,0],[0,1]],"pair_classes":[[0,1],[1,0]],"addition":[[0,1],[1,0]],"inverse":[0,1],"monoid_map":[0,1]}},"operations":[{"method":"POST","inputSchema":{"type":"object","properties":{"table":{"anyOf":[{"type":"array","maxItems":5,"items":{"type":"array","maxItems":5,"items":{"type":"integer","minimum":0,"maximum":4},"minItems":1},"minItems":1},{"type":"null"}]},"claimed_value":{"anyOf":[{"type":"object","properties":{"source_size":{"type":"integer","minimum":1,"maximum":5},"group_size":{"type":"integer","minimum":1,"maximum":25},"identity":{"const":0},"classes":{"type":"array","maxItems":25,"items":{"type":"array","maxItems":25,"items":{"type":"array","maxItems":2,"items":{"type":"integer","minimum":0,"maximum":4},"minItems":2}}},"representatives":{"type":"array","maxItems":25,"items":{"type":"array","maxItems":2,"items":{"type":"integer","minimum":0,"maximum":4},"minItems":2}},"pair_classes":{"type":"array","maxItems":5,"items":{"type":"array","maxItems":5,"items":{"type":"integer","minimum":0,"maximum":24}}},"addition":{"type":"array","maxItems":25,"items":{"type":"array","maxItems":25,"items":{"type":"integer","minimum":0,"maximum":24}}},"inverse":{"type":"array","maxItems":25,"items":{"type":"integer","minimum":0,"maximum":24}},"monoid_map":{"type":"array","maxItems":5,"items":{"type":"integer","minimum":0,"maximum":24}}},"required":["source_size","group_size","identity","classes","representatives","pair_classes","addition","inverse","monoid_map"],"additionalProperties":false},{"type":"null"}]}},"required":["table","claimed_value"],"additionalProperties":false},"requestExample":{"table":[[0,1],[1,0]],"claimed_value":{"source_size":2,"group_size":2,"identity":0,"classes":[[[0,0],[1,1]],[[0,1],[1,0]]],"representatives":[[0,0],[0,1]],"pair_classes":[[0,1],[1,0]],"addition":[[0,1],[1,0]],"inverse":[0,1],"monoid_map":[0,1]}}}]}