{ "schema": 1, "provenance": { "date": "2026-09-11", "node": "v24.14.0", "platform": "darwin", "arch": "arm64", "jsSha256": "6e6ee514837cf9cb8e6495df0c74bbb9fa148f1db63732d3b05e82ce648aac1b" }, "action": { "parameters": { "mode": "action", "a": "1,2,0", "b": "0,2,1", "start": "0", "word": "b", "space": "rose", "relators": "abAB" }, "result": { "n": 3, "generators": { "a": [ 1, 2, 0 ], "b": [ 0, 2, 1 ], "A": [ 2, 0, 1 ], "B": [ 0, 2, 1 ] }, "convention": "词从左到右：then(p,q)=q∘p；甲板变换需与两个生成动作交换", "orbits": [ [ 0, 1, 2 ] ], "selectedOrbit": [ 0, 1, 2 ], "connected": true, "normalForConnected": false, "imageOrder": 6, "imageElements": [ { "index": 0, "permutation": [ 0, 1, 2 ], "witness": "", "parent": null, "letter": null }, { "index": 1, "permutation": [ 1, 2, 0 ], "witness": "a", "parent": 0, "letter": "a" }, { "index": 2, "permutation": [ 2, 0, 1 ], "witness": "A", "parent": 0, "letter": "A" }, { "index": 3, "permutation": [ 0, 2, 1 ], "witness": "b", "parent": 0, "letter": "b" }, { "index": 4, "permutation": [ 2, 1, 0 ], "witness": "ab", "parent": 1, "letter": "b" }, { "index": 5, "permutation": [ 1, 0, 2 ], "witness": "Ab", "parent": 2, "letter": "b" } ], "imageTransitions": [ { "from": 0, "letter": "a", "to": 1 }, { "from": 0, "letter": "A", "to": 2 }, { "from": 0, "letter": "b", "to": 3 }, { "from": 0, "letter": "B", "to": 3 }, { "from": 1, "letter": "a", "to": 2 }, { "from": 1, "letter": "A", "to": 0 }, { "from": 1, "letter": "b", "to": 4 }, { "from": 1, "letter": "B", "to": 4 }, { "from": 2, "letter": "a", "to": 0 }, { "from": 2, "letter": "A", "to": 1 }, { "from": 2, "letter": "b", "to": 5 }, { "from": 2, "letter": "B", "to": 5 }, { "from": 3, "letter": "a", "to": 5 }, { "from": 3, "letter": "A", "to": 4 }, { "from": 3, "letter": "b", "to": 0 }, { "from": 3, "letter": "B", "to": 0 }, { "from": 4, "letter": "a", "to": 3 }, { "from": 4, "letter": "A", "to": 5 }, { "from": 4, "letter": "b", "to": 1 }, { "from": 4, "letter": "B", "to": 1 }, { "from": 5, "letter": "a", "to": 4 }, { "from": 5, "letter": "A", "to": 3 }, { "from": 5, "letter": "b", "to": 2 }, { "from": 5, "letter": "B", "to": 2 } ], "imageStabilizerIndices": [ 0, 3 ], "imageStabilizerOrder": 2, "componentIndex": 3, "kernelIndex": 6, "deckOrder": 1, "deckPermutations": [ [ 0, 1, 2 ] ], "deckCandidateChecks": [ { "index": 0, "permutation": [ 0, 1, 2 ], "commutes": true, "failures": [] }, { "index": 1, "permutation": [ 0, 2, 1 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "a", "sheet": 1, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "a", "sheet": 2, "deckAfterMove": 0, "moveAfterDeck": 2 } ] }, { "index": 2, "permutation": [ 1, 0, 2 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "a", "sheet": 1, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "a", "sheet": 2, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 0, "deckAfterMove": 1, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 1, "deckAfterMove": 2, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 2, "deckAfterMove": 0, "moveAfterDeck": 1 } ] }, { "index": 3, "permutation": [ 1, 2, 0 ], "commutes": false, "failures": [ { "letter": "b", "sheet": 0, "deckAfterMove": 1, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 1, "deckAfterMove": 0, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 2, "deckAfterMove": 2, "moveAfterDeck": 0 } ] }, { "index": 4, "permutation": [ 2, 0, 1 ], "commutes": false, "failures": [ { "letter": "b", "sheet": 0, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 1, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 2, "deckAfterMove": 0, "moveAfterDeck": 2 } ] }, { "index": 5, "permutation": [ 2, 1, 0 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "a", "sheet": 1, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "a", "sheet": 2, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 0, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 1, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 2, "deckAfterMove": 1, "moveAfterDeck": 0 } ] } ], "deckOrbits": [ [ 0 ], [ 1 ], [ 2 ] ], "wordRuns": [ { "start": 0, "word": "b", "reduced": "b", "end": 0, "closed": true, "steps": [ { "index": 0, "letter": "b", "from": 0, "to": 0 } ] }, { "start": 1, "word": "b", "reduced": "b", "end": 2, "closed": false, "steps": [ { "index": 0, "letter": "b", "from": 1, "to": 2 } ] }, { "start": 2, "word": "b", "reduced": "b", "end": 1, "closed": false, "steps": [ { "index": 0, "letter": "b", "from": 2, "to": 1 } ] } ], "wordPermutation": [ 0, 2, 1 ], "selectedRun": { "start": 0, "word": "b", "reduced": "b", "end": 0, "closed": true, "steps": [ { "index": 0, "letter": "b", "from": 0, "to": 0 } ] }, "relators": [], "relationRuns": [], "validForPresentation": true, "tree": { "start": 0, "vertices": [ 0, 1, 2 ], "representatives": [ { "sheet": 0, "word": "", "parent": null }, { "sheet": 1, "word": "a", "parent": { "from": 0, "letter": "a" } }, { "sheet": 2, "word": "A", "parent": { "from": 0, "letter": "A" } } ], "treeEdges": [ "a:0", "a:2" ], "edges": [ { "edge": "a:0", "from": 0, "letter": "a", "to": 1, "tree": true, "basis": null, "rawWord": "aA", "reducedWord": "" }, { "edge": "b:0", "from": 0, "letter": "b", "to": 0, "tree": false, "basis": 1, "rawWord": "b", "reducedWord": "b" }, { "edge": "a:1", "from": 1, "letter": "a", "to": 2, "tree": false, "basis": 2, "rawWord": "aaa", "reducedWord": "aaa" }, { "edge": "b:1", "from": 1, "letter": "b", "to": 2, "tree": false, "basis": 3, "rawWord": "aba", "reducedWord": "aba" }, { "edge": "a:2", "from": 2, "letter": "a", "to": 0, "tree": true, "basis": null, "rawWord": "Aa", "reducedWord": "" }, { "edge": "b:2", "from": 2, "letter": "b", "to": 1, "tree": false, "basis": 4, "rawWord": "AbA", "reducedWord": "AbA" } ], "basis": [ { "edge": "b:0", "from": 0, "letter": "b", "to": 0, "tree": false, "basis": 1, "rawWord": "b", "reducedWord": "b", "index": 1 }, { "edge": "a:1", "from": 1, "letter": "a", "to": 2, "tree": false, "basis": 2, "rawWord": "aaa", "reducedWord": "aaa", "index": 2 }, { "edge": "b:1", "from": 1, "letter": "b", "to": 2, "tree": false, "basis": 3, "rawWord": "aba", "reducedWord": "aba", "index": 3 }, { "edge": "b:2", "from": 2, "letter": "b", "to": 1, "tree": false, "basis": 4, "rawWord": "AbA", "reducedWord": "AbA", "index": 4 } ], "graphRank": 4 }, "rewrite": { "from": 0, "word": "b", "to": 0, "closed": true, "steps": [ { "index": 0, "letter": "b", "from": 0, "to": 0, "edge": "b:0", "basisLetter": 1, "before": [], "after": [ 1 ] } ], "basisWord": [ 1 ], "expandedWord": "b", "reducedExpansion": "b", "completedLoop": "b", "reducedCompletedLoop": "b", "identity": true }, "liftedRelations": [], "subgroupPresentationAvailable": true, "freeRankForRose": 4, "proofScope": "树与自由基描述玫瑰的一维覆盖；附加关系逐纤维恒等才延拓为所选呈示复形的覆盖。图秩不冒充加二维胞腔后的子群秩。" } }, "partial": { "parameters": { "mode": "relations", "a": "1,2,0,3", "b": "0,2,1,3", "start": "3", "word": "abAB", "space": "torus", "relators": "abAB" }, "result": { "n": 4, "generators": { "a": [ 1, 2, 0, 3 ], "b": [ 0, 2, 1, 3 ], "A": [ 2, 0, 1, 3 ], "B": [ 0, 2, 1, 3 ] }, "convention": "词从左到右：then(p,q)=q∘p；甲板变换需与两个生成动作交换", "orbits": [ [ 0, 1, 2 ], [ 3 ] ], "selectedOrbit": [ 3 ], "connected": false, "normalForConnected": null, "imageOrder": 6, "imageElements": [ { "index": 0, "permutation": [ 0, 1, 2, 3 ], "witness": "", "parent": null, "letter": null }, { "index": 1, "permutation": [ 1, 2, 0, 3 ], "witness": "a", "parent": 0, "letter": "a" }, { "index": 2, "permutation": [ 2, 0, 1, 3 ], "witness": "A", "parent": 0, "letter": "A" }, { "index": 3, "permutation": [ 0, 2, 1, 3 ], "witness": "b", "parent": 0, "letter": "b" }, { "index": 4, "permutation": [ 2, 1, 0, 3 ], "witness": "ab", "parent": 1, "letter": "b" }, { "index": 5, "permutation": [ 1, 0, 2, 3 ], "witness": "Ab", "parent": 2, "letter": "b" } ], "imageTransitions": [ { "from": 0, "letter": "a", "to": 1 }, { "from": 0, "letter": "A", "to": 2 }, { "from": 0, "letter": "b", "to": 3 }, { "from": 0, "letter": "B", "to": 3 }, { "from": 1, "letter": "a", "to": 2 }, { "from": 1, "letter": "A", "to": 0 }, { "from": 1, "letter": "b", "to": 4 }, { "from": 1, "letter": "B", "to": 4 }, { "from": 2, "letter": "a", "to": 0 }, { "from": 2, "letter": "A", "to": 1 }, { "from": 2, "letter": "b", "to": 5 }, { "from": 2, "letter": "B", "to": 5 }, { "from": 3, "letter": "a", "to": 5 }, { "from": 3, "letter": "A", "to": 4 }, { "from": 3, "letter": "b", "to": 0 }, { "from": 3, "letter": "B", "to": 0 }, { "from": 4, "letter": "a", "to": 3 }, { "from": 4, "letter": "A", "to": 5 }, { "from": 4, "letter": "b", "to": 1 }, { "from": 4, "letter": "B", "to": 1 }, { "from": 5, "letter": "a", "to": 4 }, { "from": 5, "letter": "A", "to": 3 }, { "from": 5, "letter": "b", "to": 2 }, { "from": 5, "letter": "B", "to": 2 } ], "imageStabilizerIndices": [ 0, 1, 2, 3, 4, 5 ], "imageStabilizerOrder": 6, "componentIndex": 1, "kernelIndex": 6, "deckOrder": 1, "deckPermutations": [ [ 0, 1, 2, 3 ] ], "deckCandidateChecks": [ { "index": 0, "permutation": [ 0, 1, 2, 3 ], "commutes": true, "failures": [] }, { "index": 1, "permutation": [ 0, 1, 3, 2 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 1, "deckAfterMove": 3, "moveAfterDeck": 2 }, { "letter": "a", "sheet": 2, "deckAfterMove": 0, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 3, "deckAfterMove": 2, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 1, "deckAfterMove": 3, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 2, "deckAfterMove": 1, "moveAfterDeck": 3 }, { "letter": "b", "sheet": 3, "deckAfterMove": 2, "moveAfterDeck": 1 } ] }, { "index": 2, "permutation": [ 0, 2, 1, 3 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "a", "sheet": 1, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "a", "sheet": 2, "deckAfterMove": 0, "moveAfterDeck": 2 } ] }, { "index": 3, "permutation": [ 0, 2, 3, 1 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "a", "sheet": 1, "deckAfterMove": 3, "moveAfterDeck": 0 }, { "letter": "a", "sheet": 2, "deckAfterMove": 0, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 3, "deckAfterMove": 1, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 1, "deckAfterMove": 3, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 2, "deckAfterMove": 2, "moveAfterDeck": 3 }, { "letter": "b", "sheet": 3, "deckAfterMove": 1, "moveAfterDeck": 2 } ] }, { "index": 4, "permutation": [ 0, 3, 1, 2 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 3, "moveAfterDeck": 1 }, { "letter": "a", "sheet": 1, "deckAfterMove": 1, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 2, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "a", "sheet": 3, "deckAfterMove": 2, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 1, "deckAfterMove": 1, "moveAfterDeck": 3 }, { "letter": "b", "sheet": 2, "deckAfterMove": 3, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 3, "deckAfterMove": 2, "moveAfterDeck": 1 } ] }, { "index": 5, "permutation": [ 0, 3, 2, 1 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 3, "moveAfterDeck": 1 }, { "letter": "a", "sheet": 1, "deckAfterMove": 2, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 3, "deckAfterMove": 1, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 1, "deckAfterMove": 2, "moveAfterDeck": 3 }, { "letter": "b", "sheet": 2, "deckAfterMove": 3, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 3, "deckAfterMove": 1, "moveAfterDeck": 2 } ] }, { "index": 6, "permutation": [ 1, 0, 2, 3 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "a", "sheet": 1, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "a", "sheet": 2, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 0, "deckAfterMove": 1, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 1, "deckAfterMove": 2, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 2, "deckAfterMove": 0, "moveAfterDeck": 1 } ] }, { "index": 7, "permutation": [ 1, 0, 3, 2 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "a", "sheet": 1, "deckAfterMove": 3, "moveAfterDeck": 1 }, { "letter": "a", "sheet": 2, "deckAfterMove": 1, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 3, "deckAfterMove": 2, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 0, "deckAfterMove": 1, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 1, "deckAfterMove": 3, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 2, "deckAfterMove": 0, "moveAfterDeck": 3 }, { "letter": "b", "sheet": 3, "deckAfterMove": 2, "moveAfterDeck": 1 } ] }, { "index": 8, "permutation": [ 1, 2, 0, 3 ], "commutes": false, "failures": [ { "letter": "b", "sheet": 0, "deckAfterMove": 1, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 1, "deckAfterMove": 0, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 2, "deckAfterMove": 2, "moveAfterDeck": 0 } ] }, { "index": 9, "permutation": [ 1, 2, 3, 0 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 1, "deckAfterMove": 3, "moveAfterDeck": 0 }, { "letter": "a", "sheet": 2, "deckAfterMove": 1, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 3, "deckAfterMove": 0, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 0, "deckAfterMove": 1, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 1, "deckAfterMove": 3, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 2, "deckAfterMove": 2, "moveAfterDeck": 3 } ] }, { "index": 10, "permutation": [ 1, 3, 0, 2 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 3, "moveAfterDeck": 2 }, { "letter": "a", "sheet": 1, "deckAfterMove": 0, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 3, "deckAfterMove": 2, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 0, "deckAfterMove": 1, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 1, "deckAfterMove": 0, "moveAfterDeck": 3 }, { "letter": "b", "sheet": 2, "deckAfterMove": 3, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 3, "deckAfterMove": 2, "moveAfterDeck": 1 } ] }, { "index": 11, "permutation": [ 1, 3, 2, 0 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 3, "moveAfterDeck": 2 }, { "letter": "a", "sheet": 1, "deckAfterMove": 2, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 2, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "a", "sheet": 3, "deckAfterMove": 0, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 0, "deckAfterMove": 1, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 1, "deckAfterMove": 2, "moveAfterDeck": 3 }, { "letter": "b", "sheet": 2, "deckAfterMove": 3, "moveAfterDeck": 1 } ] }, { "index": 12, "permutation": [ 2, 0, 1, 3 ], "commutes": false, "failures": [ { "letter": "b", "sheet": 0, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 1, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 2, "deckAfterMove": 0, "moveAfterDeck": 2 } ] }, { "index": 13, "permutation": [ 2, 0, 3, 1 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 1, "deckAfterMove": 3, "moveAfterDeck": 1 }, { "letter": "a", "sheet": 2, "deckAfterMove": 2, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 3, "deckAfterMove": 1, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 0, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 1, "deckAfterMove": 3, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 2, "deckAfterMove": 0, "moveAfterDeck": 3 }, { "letter": "b", "sheet": 3, "deckAfterMove": 1, "moveAfterDeck": 2 } ] }, { "index": 14, "permutation": [ 2, 1, 0, 3 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "a", "sheet": 1, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "a", "sheet": 2, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 0, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 1, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 2, "deckAfterMove": 1, "moveAfterDeck": 0 } ] }, { "index": 15, "permutation": [ 2, 1, 3, 0 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "a", "sheet": 1, "deckAfterMove": 3, "moveAfterDeck": 2 }, { "letter": "a", "sheet": 2, "deckAfterMove": 2, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 3, "deckAfterMove": 0, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 0, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 1, "deckAfterMove": 3, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 2, "deckAfterMove": 1, "moveAfterDeck": 3 } ] }, { "index": 16, "permutation": [ 2, 3, 0, 1 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 3, "moveAfterDeck": 0 }, { "letter": "a", "sheet": 1, "deckAfterMove": 0, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 2, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "a", "sheet": 3, "deckAfterMove": 1, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 0, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 1, "deckAfterMove": 0, "moveAfterDeck": 3 }, { "letter": "b", "sheet": 2, "deckAfterMove": 3, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 3, "deckAfterMove": 1, "moveAfterDeck": 2 } ] }, { "index": 17, "permutation": [ 2, 3, 1, 0 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 3, "moveAfterDeck": 0 }, { "letter": "a", "sheet": 1, "deckAfterMove": 1, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 3, "deckAfterMove": 0, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 0, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 1, "deckAfterMove": 1, "moveAfterDeck": 3 }, { "letter": "b", "sheet": 2, "deckAfterMove": 3, "moveAfterDeck": 2 } ] }, { "index": 18, "permutation": [ 3, 0, 1, 2 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 0, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 2, "deckAfterMove": 3, "moveAfterDeck": 2 }, { "letter": "a", "sheet": 3, "deckAfterMove": 2, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 1, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 2, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 3, "deckAfterMove": 2, "moveAfterDeck": 1 } ] }, { "index": 19, "permutation": [ 3, 0, 2, 1 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 0, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 1, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "a", "sheet": 2, "deckAfterMove": 3, "moveAfterDeck": 0 }, { "letter": "a", "sheet": 3, "deckAfterMove": 1, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 1, "deckAfterMove": 2, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 2, "deckAfterMove": 0, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 3, "deckAfterMove": 1, "moveAfterDeck": 2 } ] }, { "index": 20, "permutation": [ 3, 1, 0, 2 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 1, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 1, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "a", "sheet": 2, "deckAfterMove": 3, "moveAfterDeck": 1 }, { "letter": "a", "sheet": 3, "deckAfterMove": 2, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 1, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 2, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 3, "deckAfterMove": 2, "moveAfterDeck": 1 } ] }, { "index": 21, "permutation": [ 3, 1, 2, 0 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 1, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 2, "deckAfterMove": 3, "moveAfterDeck": 0 }, { "letter": "a", "sheet": 3, "deckAfterMove": 0, "moveAfterDeck": 1 } ] }, { "index": 22, "permutation": [ 3, 2, 0, 1 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 2, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 2, "deckAfterMove": 3, "moveAfterDeck": 1 }, { "letter": "a", "sheet": 3, "deckAfterMove": 1, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 1, "deckAfterMove": 0, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 2, "deckAfterMove": 2, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 3, "deckAfterMove": 1, "moveAfterDeck": 2 } ] }, { "index": 23, "permutation": [ 3, 2, 1, 0 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 2, "moveAfterDeck": 3 }, { "letter": "a", "sheet": 1, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "a", "sheet": 2, "deckAfterMove": 3, "moveAfterDeck": 2 }, { "letter": "a", "sheet": 3, "deckAfterMove": 0, "moveAfterDeck": 1 } ] } ], "deckOrbits": [ [ 0 ], [ 1 ], [ 2 ], [ 3 ] ], "wordRuns": [ { "start": 0, "word": "abAB", "reduced": "abAB", "end": 2, "closed": false, "steps": [ { "index": 0, "letter": "a", "from": 0, "to": 1 }, { "index": 1, "letter": "b", "from": 1, "to": 2 }, { "index": 2, "letter": "A", "from": 2, "to": 1 }, { "index": 3, "letter": "B", "from": 1, "to": 2 } ] }, { "start": 1, "word": "abAB", "reduced": "abAB", "end": 0, "closed": false, "steps": [ { "index": 0, "letter": "a", "from": 1, "to": 2 }, { "index": 1, "letter": "b", "from": 2, "to": 1 }, { "index": 2, "letter": "A", "from": 1, "to": 0 }, { "index": 3, "letter": "B", "from": 0, "to": 0 } ] }, { "start": 2, "word": "abAB", "reduced": "abAB", "end": 1, "closed": false, "steps": [ { "index": 0, "letter": "a", "from": 2, "to": 0 }, { "index": 1, "letter": "b", "from": 0, "to": 0 }, { "index": 2, "letter": "A", "from": 0, "to": 2 }, { "index": 3, "letter": "B", "from": 2, "to": 1 } ] }, { "start": 3, "word": "abAB", "reduced": "abAB", "end": 3, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 3, "to": 3 }, { "index": 1, "letter": "b", "from": 3, "to": 3 }, { "index": 2, "letter": "A", "from": 3, "to": 3 }, { "index": 3, "letter": "B", "from": 3, "to": 3 } ] } ], "wordPermutation": [ 2, 0, 1, 3 ], "selectedRun": { "start": 3, "word": "abAB", "reduced": "abAB", "end": 3, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 3, "to": 3 }, { "index": 1, "letter": "b", "from": 3, "to": 3 }, { "index": 2, "letter": "A", "from": 3, "to": 3 }, { "index": 3, "letter": "B", "from": 3, "to": 3 } ] }, "relators": [ "abAB" ], "relationRuns": [ { "index": 0, "word": "abAB", "reduced": "abAB", "permutation": [ 2, 0, 1, 3 ], "identity": false, "failures": [ 0, 1, 2 ], "runs": [ { "start": 0, "word": "abAB", "reduced": "abAB", "end": 2, "closed": false, "steps": [ { "index": 0, "letter": "a", "from": 0, "to": 1 }, { "index": 1, "letter": "b", "from": 1, "to": 2 }, { "index": 2, "letter": "A", "from": 2, "to": 1 }, { "index": 3, "letter": "B", "from": 1, "to": 2 } ] }, { "start": 1, "word": "abAB", "reduced": "abAB", "end": 0, "closed": false, "steps": [ { "index": 0, "letter": "a", "from": 1, "to": 2 }, { "index": 1, "letter": "b", "from": 2, "to": 1 }, { "index": 2, "letter": "A", "from": 1, "to": 0 }, { "index": 3, "letter": "B", "from": 0, "to": 0 } ] }, { "start": 2, "word": "abAB", "reduced": "abAB", "end": 1, "closed": false, "steps": [ { "index": 0, "letter": "a", "from": 2, "to": 0 }, { "index": 1, "letter": "b", "from": 0, "to": 0 }, { "index": 2, "letter": "A", "from": 0, "to": 2 }, { "index": 3, "letter": "B", "from": 2, "to": 1 } ] }, { "start": 3, "word": "abAB", "reduced": "abAB", "end": 3, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 3, "to": 3 }, { "index": 1, "letter": "b", "from": 3, "to": 3 }, { "index": 2, "letter": "A", "from": 3, "to": 3 }, { "index": 3, "letter": "B", "from": 3, "to": 3 } ] } ] } ], "validForPresentation": false, "tree": { "start": 3, "vertices": [ 3 ], "representatives": [ { "sheet": 3, "word": "", "parent": null } ], "treeEdges": [], "edges": [ { "edge": "a:3", "from": 3, "letter": "a", "to": 3, "tree": false, "basis": 1, "rawWord": "a", "reducedWord": "a" }, { "edge": "b:3", "from": 3, "letter": "b", "to": 3, "tree": false, "basis": 2, "rawWord": "b", "reducedWord": "b" } ], "basis": [ { "edge": "a:3", "from": 3, "letter": "a", "to": 3, "tree": false, "basis": 1, "rawWord": "a", "reducedWord": "a", "index": 1 }, { "edge": "b:3", "from": 3, "letter": "b", "to": 3, "tree": false, "basis": 2, "rawWord": "b", "reducedWord": "b", "index": 2 } ], "graphRank": 2 }, "rewrite": { "from": 3, "word": "abAB", "to": 3, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 3, "to": 3, "edge": "a:3", "basisLetter": 1, "before": [], "after": [ 1 ] }, { "index": 1, "letter": "b", "from": 3, "to": 3, "edge": "b:3", "basisLetter": 2, "before": [ 1 ], "after": [ 1, 2 ] }, { "index": 2, "letter": "A", "from": 3, "to": 3, "edge": "a:3", "basisLetter": -1, "before": [ 1, 2 ], "after": [ 1, 2, -1 ] }, { "index": 3, "letter": "B", "from": 3, "to": 3, "edge": "b:3", "basisLetter": -2, "before": [ 1, 2, -1 ], "after": [ 1, 2, -1, -2 ] } ], "basisWord": [ 1, 2, -1, -2 ], "expandedWord": "abAB", "reducedExpansion": "abAB", "completedLoop": "abAB", "reducedCompletedLoop": "abAB", "identity": true }, "liftedRelations": [], "subgroupPresentationAvailable": false, "freeRankForRose": null, "proofScope": "树与自由基描述玫瑰的一维覆盖；附加关系逐纤维恒等才延拓为所选呈示复形的覆盖。图秩不冒充加二维胞腔后的子群秩。" } }, "disconnected": { "parameters": { "mode": "action", "a": "0,1,2", "b": "0,1,2", "start": "0", "word": "abAB", "space": "rose", "relators": "abAB" }, "result": { "n": 3, "generators": { "a": [ 0, 1, 2 ], "b": [ 0, 1, 2 ], "A": [ 0, 1, 2 ], "B": [ 0, 1, 2 ] }, "convention": "词从左到右：then(p,q)=q∘p；甲板变换需与两个生成动作交换", "orbits": [ [ 0 ], [ 1 ], [ 2 ] ], "selectedOrbit": [ 0 ], "connected": false, "normalForConnected": null, "imageOrder": 1, "imageElements": [ { "index": 0, "permutation": [ 0, 1, 2 ], "witness": "", "parent": null, "letter": null } ], "imageTransitions": [ { "from": 0, "letter": "a", "to": 0 }, { "from": 0, "letter": "A", "to": 0 }, { "from": 0, "letter": "b", "to": 0 }, { "from": 0, "letter": "B", "to": 0 } ], "imageStabilizerIndices": [ 0 ], "imageStabilizerOrder": 1, "componentIndex": 1, "kernelIndex": 1, "deckOrder": 6, "deckPermutations": [ [ 0, 1, 2 ], [ 0, 2, 1 ], [ 1, 0, 2 ], [ 1, 2, 0 ], [ 2, 0, 1 ], [ 2, 1, 0 ] ], "deckCandidateChecks": [ { "index": 0, "permutation": [ 0, 1, 2 ], "commutes": true, "failures": [] }, { "index": 1, "permutation": [ 0, 2, 1 ], "commutes": true, "failures": [] }, { "index": 2, "permutation": [ 1, 0, 2 ], "commutes": true, "failures": [] }, { "index": 3, "permutation": [ 1, 2, 0 ], "commutes": true, "failures": [] }, { "index": 4, "permutation": [ 2, 0, 1 ], "commutes": true, "failures": [] }, { "index": 5, "permutation": [ 2, 1, 0 ], "commutes": true, "failures": [] } ], "deckOrbits": [ [ 0, 1, 2 ] ], "wordRuns": [ { "start": 0, "word": "abAB", "reduced": "abAB", "end": 0, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 0, "to": 0 }, { "index": 1, "letter": "b", "from": 0, "to": 0 }, { "index": 2, "letter": "A", "from": 0, "to": 0 }, { "index": 3, "letter": "B", "from": 0, "to": 0 } ] }, { "start": 1, "word": "abAB", "reduced": "abAB", "end": 1, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 1, "to": 1 }, { "index": 1, "letter": "b", "from": 1, "to": 1 }, { "index": 2, "letter": "A", "from": 1, "to": 1 }, { "index": 3, "letter": "B", "from": 1, "to": 1 } ] }, { "start": 2, "word": "abAB", "reduced": "abAB", "end": 2, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 2, "to": 2 }, { "index": 1, "letter": "b", "from": 2, "to": 2 }, { "index": 2, "letter": "A", "from": 2, "to": 2 }, { "index": 3, "letter": "B", "from": 2, "to": 2 } ] } ], "wordPermutation": [ 0, 1, 2 ], "selectedRun": { "start": 0, "word": "abAB", "reduced": "abAB", "end": 0, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 0, "to": 0 }, { "index": 1, "letter": "b", "from": 0, "to": 0 }, { "index": 2, "letter": "A", "from": 0, "to": 0 }, { "index": 3, "letter": "B", "from": 0, "to": 0 } ] }, "relators": [], "relationRuns": [], "validForPresentation": true, "tree": { "start": 0, "vertices": [ 0 ], "representatives": [ { "sheet": 0, "word": "", "parent": null } ], "treeEdges": [], "edges": [ { "edge": "a:0", "from": 0, "letter": "a", "to": 0, "tree": false, "basis": 1, "rawWord": "a", "reducedWord": "a" }, { "edge": "b:0", "from": 0, "letter": "b", "to": 0, "tree": false, "basis": 2, "rawWord": "b", "reducedWord": "b" } ], "basis": [ { "edge": "a:0", "from": 0, "letter": "a", "to": 0, "tree": false, "basis": 1, "rawWord": "a", "reducedWord": "a", "index": 1 }, { "edge": "b:0", "from": 0, "letter": "b", "to": 0, "tree": false, "basis": 2, "rawWord": "b", "reducedWord": "b", "index": 2 } ], "graphRank": 2 }, "rewrite": { "from": 0, "word": "abAB", "to": 0, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 0, "to": 0, "edge": "a:0", "basisLetter": 1, "before": [], "after": [ 1 ] }, { "index": 1, "letter": "b", "from": 0, "to": 0, "edge": "b:0", "basisLetter": 2, "before": [ 1 ], "after": [ 1, 2 ] }, { "index": 2, "letter": "A", "from": 0, "to": 0, "edge": "a:0", "basisLetter": -1, "before": [ 1, 2 ], "after": [ 1, 2, -1 ] }, { "index": 3, "letter": "B", "from": 0, "to": 0, "edge": "b:0", "basisLetter": -2, "before": [ 1, 2, -1 ], "after": [ 1, 2, -1, -2 ] } ], "basisWord": [ 1, 2, -1, -2 ], "expandedWord": "abAB", "reducedExpansion": "abAB", "completedLoop": "abAB", "reducedCompletedLoop": "abAB", "identity": true }, "liftedRelations": [], "subgroupPresentationAvailable": true, "freeRankForRose": 2, "proofScope": "树与自由基描述玫瑰的一维覆盖；附加关系逐纤维恒等才延拓为所选呈示复形的覆盖。图秩不冒充加二维胞腔后的子群秩。" } }, "schreier": { "parameters": { "mode": "schreier", "a": "1,2,0", "b": "1,2,0", "start": "0", "word": "abAB", "space": "torus", "relators": "abAB" }, "result": { "n": 3, "generators": { "a": [ 1, 2, 0 ], "b": [ 1, 2, 0 ], "A": [ 2, 0, 1 ], "B": [ 2, 0, 1 ] }, "convention": "词从左到右：then(p,q)=q∘p；甲板变换需与两个生成动作交换", "orbits": [ [ 0, 1, 2 ] ], "selectedOrbit": [ 0, 1, 2 ], "connected": true, "normalForConnected": true, "imageOrder": 3, "imageElements": [ { "index": 0, "permutation": [ 0, 1, 2 ], "witness": "", "parent": null, "letter": null }, { "index": 1, "permutation": [ 1, 2, 0 ], "witness": "a", "parent": 0, "letter": "a" }, { "index": 2, "permutation": [ 2, 0, 1 ], "witness": "A", "parent": 0, "letter": "A" } ], "imageTransitions": [ { "from": 0, "letter": "a", "to": 1 }, { "from": 0, "letter": "A", "to": 2 }, { "from": 0, "letter": "b", "to": 1 }, { "from": 0, "letter": "B", "to": 2 }, { "from": 1, "letter": "a", "to": 2 }, { "from": 1, "letter": "A", "to": 0 }, { "from": 1, "letter": "b", "to": 2 }, { "from": 1, "letter": "B", "to": 0 }, { "from": 2, "letter": "a", "to": 0 }, { "from": 2, "letter": "A", "to": 1 }, { "from": 2, "letter": "b", "to": 0 }, { "from": 2, "letter": "B", "to": 1 } ], "imageStabilizerIndices": [ 0 ], "imageStabilizerOrder": 1, "componentIndex": 3, "kernelIndex": 3, "deckOrder": 3, "deckPermutations": [ [ 0, 1, 2 ], [ 1, 2, 0 ], [ 2, 0, 1 ] ], "deckCandidateChecks": [ { "index": 0, "permutation": [ 0, 1, 2 ], "commutes": true, "failures": [] }, { "index": 1, "permutation": [ 0, 2, 1 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "a", "sheet": 1, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "a", "sheet": 2, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 0, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 1, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 2, "deckAfterMove": 0, "moveAfterDeck": 2 } ] }, { "index": 2, "permutation": [ 1, 0, 2 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "a", "sheet": 1, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "a", "sheet": 2, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 0, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 1, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 2, "deckAfterMove": 1, "moveAfterDeck": 0 } ] }, { "index": 3, "permutation": [ 1, 2, 0 ], "commutes": true, "failures": [] }, { "index": 4, "permutation": [ 2, 0, 1 ], "commutes": true, "failures": [] }, { "index": 5, "permutation": [ 2, 1, 0 ], "commutes": false, "failures": [ { "letter": "a", "sheet": 0, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "a", "sheet": 1, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "a", "sheet": 2, "deckAfterMove": 2, "moveAfterDeck": 1 }, { "letter": "b", "sheet": 0, "deckAfterMove": 1, "moveAfterDeck": 0 }, { "letter": "b", "sheet": 1, "deckAfterMove": 0, "moveAfterDeck": 2 }, { "letter": "b", "sheet": 2, "deckAfterMove": 2, "moveAfterDeck": 1 } ] } ], "deckOrbits": [ [ 0, 1, 2 ] ], "wordRuns": [ { "start": 0, "word": "abAB", "reduced": "abAB", "end": 0, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 0, "to": 1 }, { "index": 1, "letter": "b", "from": 1, "to": 2 }, { "index": 2, "letter": "A", "from": 2, "to": 1 }, { "index": 3, "letter": "B", "from": 1, "to": 0 } ] }, { "start": 1, "word": "abAB", "reduced": "abAB", "end": 1, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 1, "to": 2 }, { "index": 1, "letter": "b", "from": 2, "to": 0 }, { "index": 2, "letter": "A", "from": 0, "to": 2 }, { "index": 3, "letter": "B", "from": 2, "to": 1 } ] }, { "start": 2, "word": "abAB", "reduced": "abAB", "end": 2, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 2, "to": 0 }, { "index": 1, "letter": "b", "from": 0, "to": 1 }, { "index": 2, "letter": "A", "from": 1, "to": 0 }, { "index": 3, "letter": "B", "from": 0, "to": 2 } ] } ], "wordPermutation": [ 0, 1, 2 ], "selectedRun": { "start": 0, "word": "abAB", "reduced": "abAB", "end": 0, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 0, "to": 1 }, { "index": 1, "letter": "b", "from": 1, "to": 2 }, { "index": 2, "letter": "A", "from": 2, "to": 1 }, { "index": 3, "letter": "B", "from": 1, "to": 0 } ] }, "relators": [ "abAB" ], "relationRuns": [ { "index": 0, "word": "abAB", "reduced": "abAB", "permutation": [ 0, 1, 2 ], "identity": true, "failures": [], "runs": [ { "start": 0, "word": "abAB", "reduced": "abAB", "end": 0, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 0, "to": 1 }, { "index": 1, "letter": "b", "from": 1, "to": 2 }, { "index": 2, "letter": "A", "from": 2, "to": 1 }, { "index": 3, "letter": "B", "from": 1, "to": 0 } ] }, { "start": 1, "word": "abAB", "reduced": "abAB", "end": 1, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 1, "to": 2 }, { "index": 1, "letter": "b", "from": 2, "to": 0 }, { "index": 2, "letter": "A", "from": 0, "to": 2 }, { "index": 3, "letter": "B", "from": 2, "to": 1 } ] }, { "start": 2, "word": "abAB", "reduced": "abAB", "end": 2, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 2, "to": 0 }, { "index": 1, "letter": "b", "from": 0, "to": 1 }, { "index": 2, "letter": "A", "from": 1, "to": 0 }, { "index": 3, "letter": "B", "from": 0, "to": 2 } ] } ] } ], "validForPresentation": true, "tree": { "start": 0, "vertices": [ 0, 1, 2 ], "representatives": [ { "sheet": 0, "word": "", "parent": null }, { "sheet": 1, "word": "a", "parent": { "from": 0, "letter": "a" } }, { "sheet": 2, "word": "A", "parent": { "from": 0, "letter": "A" } } ], "treeEdges": [ "a:0", "a:2" ], "edges": [ { "edge": "a:0", "from": 0, "letter": "a", "to": 1, "tree": true, "basis": null, "rawWord": "aA", "reducedWord": "" }, { "edge": "b:0", "from": 0, "letter": "b", "to": 1, "tree": false, "basis": 1, "rawWord": "bA", "reducedWord": "bA" }, { "edge": "a:1", "from": 1, "letter": "a", "to": 2, "tree": false, "basis": 2, "rawWord": "aaa", "reducedWord": "aaa" }, { "edge": "b:1", "from": 1, "letter": "b", "to": 2, "tree": false, "basis": 3, "rawWord": "aba", "reducedWord": "aba" }, { "edge": "a:2", "from": 2, "letter": "a", "to": 0, "tree": true, "basis": null, "rawWord": "Aa", "reducedWord": "" }, { "edge": "b:2", "from": 2, "letter": "b", "to": 0, "tree": false, "basis": 4, "rawWord": "Ab", "reducedWord": "Ab" } ], "basis": [ { "edge": "b:0", "from": 0, "letter": "b", "to": 1, "tree": false, "basis": 1, "rawWord": "bA", "reducedWord": "bA", "index": 1 }, { "edge": "a:1", "from": 1, "letter": "a", "to": 2, "tree": false, "basis": 2, "rawWord": "aaa", "reducedWord": "aaa", "index": 2 }, { "edge": "b:1", "from": 1, "letter": "b", "to": 2, "tree": false, "basis": 3, "rawWord": "aba", "reducedWord": "aba", "index": 3 }, { "edge": "b:2", "from": 2, "letter": "b", "to": 0, "tree": false, "basis": 4, "rawWord": "Ab", "reducedWord": "Ab", "index": 4 } ], "graphRank": 4 }, "rewrite": { "from": 0, "word": "abAB", "to": 0, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 0, "to": 1, "edge": "a:0", "basisLetter": 0, "before": [], "after": [] }, { "index": 1, "letter": "b", "from": 1, "to": 2, "edge": "b:1", "basisLetter": 3, "before": [], "after": [ 3 ] }, { "index": 2, "letter": "A", "from": 2, "to": 1, "edge": "a:1", "basisLetter": -2, "before": [ 3 ], "after": [ 3, -2 ] }, { "index": 3, "letter": "B", "from": 1, "to": 0, "edge": "b:0", "basisLetter": -1, "before": [ 3, -2 ], "after": [ 3, -2, -1 ] } ], "basisWord": [ 3, -2, -1 ], "expandedWord": "abaAAAaB", "reducedExpansion": "abAB", "completedLoop": "abAB", "reducedCompletedLoop": "abAB", "identity": true }, "liftedRelations": [ { "sheet": 0, "relationIndex": 0, "relator": "abAB", "conjugated": "abAB", "rewrite": { "from": 0, "word": "abAB", "to": 0, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 0, "to": 1, "edge": "a:0", "basisLetter": 0, "before": [], "after": [] }, { "index": 1, "letter": "b", "from": 1, "to": 2, "edge": "b:1", "basisLetter": 3, "before": [], "after": [ 3 ] }, { "index": 2, "letter": "A", "from": 2, "to": 1, "edge": "a:1", "basisLetter": -2, "before": [ 3 ], "after": [ 3, -2 ] }, { "index": 3, "letter": "B", "from": 1, "to": 0, "edge": "b:0", "basisLetter": -1, "before": [ 3, -2 ], "after": [ 3, -2, -1 ] } ], "basisWord": [ 3, -2, -1 ], "expandedWord": "abaAAAaB", "reducedExpansion": "abAB", "completedLoop": "abAB", "reducedCompletedLoop": "abAB", "identity": true } }, { "sheet": 1, "relationIndex": 0, "relator": "abAB", "conjugated": "aabABA", "rewrite": { "from": 0, "word": "aabABA", "to": 0, "closed": true, "steps": [ { "index": 0, "letter": "a", "from": 0, "to": 1, "edge": "a:0", "basisLetter": 0, "before": [], "after": [] }, { "index": 1, "letter": "a", "from": 1, "to": 2, "edge": "a:1", "basisLetter": 2, "before": [], "after": [ 2 ] }, { "index": 2, "letter": "b", "from": 2, "to": 0, "edge": "b:2", "basisLetter": 4, "before": [ 2 ], "after": [ 2, 4 ] }, { "index": 3, "letter": "A", "from": 0, "to": 2, "edge": "a:2", "basisLetter": 0, "before": [ 2, 4 ], "after": [ 2, 4 ] }, { "index": 4, "letter": "B", "from": 2, "to": 1, "edge": "b:1", "basisLetter": -3, "before": [ 2, 4 ], "after": [ 2, 4, -3 ] }, { "index": 5, "letter": "A", "from": 1, "to": 0, "edge": "a:0", "basisLetter": 0, "before": [ 2, 4, -3 ], "after": [ 2, 4, -3 ] } ], "basisWord": [ 2, 4, -3 ], "expandedWord": "aaaAbABA", "reducedExpansion": "aabABA", "completedLoop": "aabABA", "reducedCompletedLoop": "aabABA", "identity": true } }, { "sheet": 2, "relationIndex": 0, "relator": "abAB", "conjugated": "AabABa", "rewrite": { "from": 0, "word": "AabABa", "to": 0, "closed": true, "steps": [ { "index": 0, "letter": "A", "from": 0, "to": 2, "edge": "a:2", "basisLetter": 0, "before": [], "after": [] }, { "index": 1, "letter": "a", "from": 2, "to": 0, "edge": "a:2", "basisLetter": 0, "before": [], "after": [] }, { "index": 2, "letter": "b", "from": 0, "to": 1, "edge": "b:0", "basisLetter": 1, "before": [], "after": [ 1 ] }, { "index": 3, "letter": "A", "from": 1, "to": 0, "edge": "a:0", "basisLetter": 0, "before": [ 1 ], "after": [ 1 ] }, { "index": 4, "letter": "B", "from": 0, "to": 2, "edge": "b:2", "basisLetter": -4, "before": [ 1 ], "after": [ 1, -4 ] }, { "index": 5, "letter": "a", "from": 2, "to": 0, "edge": "a:2", "basisLetter": 0, "before": [ 1, -4 ], "after": [ 1, -4 ] } ], "basisWord": [ 1, -4 ], "expandedWord": "bABa", "reducedExpansion": "bABa", "completedLoop": "AabABa", "reducedCompletedLoop": "bABa", "identity": true } } ], "subgroupPresentationAvailable": true, "freeRankForRose": null, "proofScope": "树与自由基描述玫瑰的一维覆盖；附加关系逐纤维恒等才延拓为所选呈示复形的覆盖。图秩不冒充加二维胞腔后的子群秩。" } } }