01243_10243_12043_12403_12430
Counting sequence:
1, 1, 2, 6, 24, 115, 618, 3591, 22088, 141903, 943590, 6452490, 45159480, 322305165, 2339100078, 17223121350, 128428689888, 968383277791, 7374380672718, 56655414930642, 438741242896680, 3422125459579869, 26866961380274598, 212191772351034249, 1685036376746788392, 13448390412313807425, 107830906325903543978, 868317506183679324606, 7020091078009656813768, 56966065493374505797107, 463864780368854949489570, 3789405915124202598021039, 31050415077838655403809568, 255152757902178162336284799, 2102310214513159684793858334, 17365623395621709759349763370, 143787103721000098502424653160, 1193244309552145342884952795245, 9923549149473310047417687680310, 82696135809475308559588184814129, 690462110338568362495369536816600, 5775506372549225333023227821329569, 48394713923811646374413340013229658, 406188986746485469809631382634512934, 3414662949318322891146724623694677576, 28749238209345501071160579251062396515, 242401311106120610660852785091216467602, 2046665497972627547893141834908386311434, 17303616840087392011163677069787458096992, 146481037770453042278579354184427135266897, 1241532869691327774259838294691349160296050, 10535288616405643062027964741325523289268190, 89500686857848973111188070652044789264177880, 761166107982239776578376688597545847078402515, 6480195705336939372956870819694830626188851610, 55225012925762618824087271344960847618164320975, 471093230511700316692722727528346530100835681720, 4022410312034046287982932542050873050825749194015, 34376388469112754186999181656027649074260469801270, 294045896412109219111337227065150642646098723397170, 2517319178857837525181107281697023305624765704236600, 21568386168532092476330253667898444183694252577008525, 184944629068231884573092758423737352453821478232015550, 1587082685409142055391424926929017903798257853184766150, 13629524507153155385686270529976907382768996255985409920, 117131909516819217521331804563463353271070602914986029375, 1007334267063298777028467324504941560410511128103506926270, 8668955687087241496387660865998125092139753639477022828890, 74652795280962322471721153947298375600060285269966970367720, 643284642687218176911056225640933226528275220260454113512205, 5546642435847421702128855564958036496964660297292247482948950, 47854130298269726653246029776890290761645600841700377320671785, 413108059734295336624283046481105807274271218533574119593993720, 3568255157654740125020074720458518612407255404177876873355835985, 30838228674376382501656426132739888943195498738397317641973478938, 266659952900125599964301270645570559537157409561357932750104081750, 2307038488667385213464667410851429223379632981714107507952818106568, 19969841066619225281851169770445298020298051672471394791024071192211, 172946345882263296535788981894269855714163111571429357925206412043858, 1498510152534387263092053976583610862300472801560138906766726490584562, 12990151507990311945511944835062761880869969727226941149376217454393120, 112660033682667047466251931480886957316346713529509241423621960543205329, 977511247641176741371455775839491316221441894567460889504296312647503698, 8485259839452982534989094683896989198995736196547960432068880287916911214, 73687778535676274117315751801500469257934126086151414083889311429817430104, 640189161878082816325332178911953621730453659103820153575270969021620967795, 5564158078670646787460534589692036671639255709055002775328082305626890724090, 48379880515270795887409904315619788938280928820356830848918765687800083026455, 420823856615593609512889647382291564553679524887020029104564178771168551977240, 3661864882136482130585725704017019226122932612598259317762344341842442457118639, 31876232243698001575324445507970363064380261135317057636492507848553565697288950, 277581664776181848108122068337548591982258816948497701234175995651771702970276674, 2418077613428392234991983479612397376493628975532746970251302054059194882192170168, 21071818390315327405905430314814907185954295837019478757001555974631486014368888989, 183688881278574905929573829668265170079740172257833580142598245228171794232051316606, 1601805058296311275267997485476709746956885503410998103884876849537644370850942043665, 13972668265214499007935063103912153376060087056906726108549702939038419630661350446752, 121923938915008564490002426474428782127746822393160335676176403295501103010152533837809, 1064230529055769527105733904891515514668958595458345244810559925579279567315753609491842, 9292161803506360603452299902253429915511309639283807510159272156900023892063333056127126, 81157647307032728965393038194263063251169080916768362623274490873506688595711318567832600
Specification 1
Strategy pack name: point_placements_tracked_fusion_tracked_component_fusion_symmetries
Tree: http://www.permpal.com/tree/24795/
System of equations in Maple syntax:
F[0,x] = F[1,x]+F[2,x]
F[1,x] = 1
F[2,x] = F[3,x]
F[3,x] = F[4,x]*F[7,x]
F[4,x] = F[5,x,1]
F[5,x,k[0]] = (F[6,x,k[0]]*k[0]-F[6,x,1])/(-1+k[0])
F[6,x,k[0]] = F[Av(1243),x,k[0]]
F[7,x] = x
System of equations in latex syntax:
F_{0}\! \left(x \right) = F_{1}\! \left(x \right)+F_{2}\! \left(x \right)
F_{1}\! \left(x \right) = 1
F_{2}\! \left(x \right) = F_{3}\! \left(x \right)
F_{3}\! \left(x \right) = F_{4}\! \left(x \right) F_{7}\! \left(x \right)
F_{4}\! \left(x \right) = F_{5}\! \left(x , 1\right)
F_{5}\! \left(x , y\right) = -\frac{-y F_{6}\! \left(x , y\right)+F_{6}\! \left(x , 1\right)}{-1+y}
F_{6}\! \left(x , y\right) = F_{\mathit{Av} \! \left(1243\right)}\! \left(x , y\right)
F_{7}\! \left(x \right) = x
System of equations in sympy syntax:
Eq(F_0(x), F_1(x) + F_2(x))
Eq(F_1(x), 1)
Eq(F_2(x), F_3(x))
Eq(F_3(x), F_4(x)*F_7(x))
Eq(F_4(x), F_5(x, 1))
Eq(F_5(x, k_0), (-k_0*F_6(x, k_0) + F_6(x, 1))/(1 - k_0))
Eq(F_6(x, k_0), F_Av(1243)(x*k_0))
Eq(F_7(x), x)
Pack JSON:
{"name": "point_placements_tracked_fusion_tracked_component_fusion_symmetries", "initial_strats": [{"class_module": "tilings.strategies.rearrange_assumption", "strategy_class": "RearrangeAssumptionFactory"}, {"class_module": "tilings.strategies.assumption_insertion", "strategy_class": "AddAssumptionFactory"}, {"class_module": "tilings.strategies.factor", "strategy_class": "FactorFactory", "interleaving": null, "unions": false, "ignore_parent": true, "workable": true, "tracked": false}, {"class_module": "tilings.strategies.requirement_insertion", "strategy_class": "PointCorroborationFactory", "ignore_parent": true}, {"class_module": "tilings.strategies.fusion.fusion", "strategy_class": "FusionFactory", "tracked": true}, {"class_module": "tilings.strategies.fusion.component", "strategy_class": "ComponentFusionFactory", "tracked": true, "isolation_level": null}, {"class_module": "tilings.strategies.detect_components", "strategy_class": "DetectComponentsStrategy", "ignore_parent": true, "inferrable": true, "possibly_empty": true, "workable": true}, {"class_module": "tilings.strategies.monotone_sliding", "strategy_class": "MonotoneSlidingFactory"}, {"class_module": "tilings.strategies.point_jumping", "strategy_class": "AssumptionAndPointJumpingFactory"}, {"class_module": "tilings.strategies.requirement_insertion", "strategy_class": "RequirementCorroborationFactory", "ignore_parent": true}], "inferral_strats": [{"class_module": "tilings.strategies.row_and_col_separation", "strategy_class": "RowColumnSeparationStrategy", "ignore_parent": true, "inferrable": true, "possibly_empty": false, "workable": true}, {"class_module": "tilings.strategies.obstruction_inferral", "strategy_class": "ObstructionTransitivityFactory"}], "ver_strats": [{"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}, {"class_module": "tilings.strategies.verification", "strategy_class": "InsertionEncodingVerificationStrategy", "ignore_parent": false}, {"class_module": "tilings.strategies.verification", "strategy_class": "OneByOneVerificationStrategy", "ignore_parent": false, "basis": [], "symmetry": false}, {"class_module": "tilings.strategies.verification", "strategy_class": "LocallyFactorableVerificationStrategy", "ignore_parent": false, "basis": [], "symmetry": false}, {"class_module": "tilings.strategies.verification", "strategy_class": "ComponentVerificationStrategy", "ignore_parent": false}], "expansion_strats": [[{"class_module": "tilings.strategies.requirement_insertion", "strategy_class": "CellInsertionFactory", "ignore_parent": false, "maxreqlen": 1, "extra_basis": [], "one_cell_only": false}, {"class_module": "tilings.strategies.requirement_placement", "strategy_class": "PatternPlacementFactory", "partial": false, "ignore_parent": false, "dirs": [0, 1, 2, 3], "point_only": false}], [{"class_module": "tilings.strategies.requirement_placement", "strategy_class": "FusableRowAndColumnPlacementFactory", "partial": false, "ignore_parent": false, "dirs": [0, 1, 2, 3], "place_row": true, "place_col": true}]], "symmetries": [{"class_module": "tilings.strategies.symmetry", "strategy_class": "SymmetriesFactory", "basis": null}], "iterative": false}
Specification JSON:
{"root": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": []}, "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}], "requirements": [], "assumptions": []}, {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}], "strategy": {"class_module": "tilings.strategies.requirement_insertion", "strategy_class": "RequirementInsertionStrategy", "ignore_parent": false, "gps": [{"patt": [0], "pos": [[0, 0]]}]}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0], "pos": [[2, 0]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 0]]}, {"patt": [1, 0], "pos": [[1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [2, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[2, 1], [2, 1], [2, 1], [2, 1]]}], "requirements": [[{"patt": [0], "pos": [[1, 0]]}]], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": []}, {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}], "strategy": {"class_module": "tilings.strategies.factor", "strategy_class": "FactorStrategy", "ignore_parent": true, "workable": true, "partition": [[[0, 1], [2, 1]], [[1, 0]]]}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}], "strategy": {"class_module": "tilings.strategies.assumption_insertion", "strategy_class": "AddAssumptionsStrategy", "workable": false, "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0], "pos": [[2, 0]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 0]]}, {"patt": [1, 0], "pos": [[1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [2, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[2, 1], [2, 1], [2, 1], [2, 1]]}], "requirements": [[{"patt": [0], "pos": [[1, 0]]}]], "assumptions": []}], "strategy": {"class_module": "tilings.strategies.requirement_placement", "strategy_class": "RequirementPlacementStrategy", "ignore_parent": false, "gps": [{"patt": [0], "pos": [[0, 0]]}], "indices": [0], "direction": 3, "own_col": true, "own_row": true, "include_empty": false}}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "VerificationRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}], "requirements": [], "assumptions": []}, "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "VerificationRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}, "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}}, {"class_module": "tilings.strategies.verification", "rule_class": "OneByOneVerificationRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}, "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "OneByOneVerificationStrategy", "ignore_parent": false, "basis": [[0, 1, 2, 4, 3], [1, 0, 2, 4, 3], [1, 2, 0, 4, 3], [1, 2, 4, 0, 3], [1, 2, 4, 3, 0]], "symmetry": true}}, {"class_module": "tilings.strategies.fusion.fusion", "rule_class": "FusionRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}], "strategy": {"class_module": "tilings.strategies.fusion.fusion", "strategy_class": "FusionStrategy", "row_idx": null, "col_idx": 0, "tracked": true}}]}
Specification 2
Strategy pack name: point_placements_tracked_fusion
Tree: http://www.permpal.com/tree/25100/
System of equations in Maple syntax:
F[0,x] = F[1,x]+F[2,x]
F[1,x] = 1
F[2,x] = F[3,x]
F[3,x] = F[4,x]*F[7,x]
F[4,x] = F[5,x,1]
F[5,x,k[0]] = (F[6,x,k[0]]*k[0]-F[6,x,1])/(-1+k[0])
F[6,x,k[0]] = F[Av(1243),x,k[0]]
F[7,x] = x
System of equations in latex syntax:
F_{0}\! \left(x \right) = F_{1}\! \left(x \right)+F_{2}\! \left(x \right)
F_{1}\! \left(x \right) = 1
F_{2}\! \left(x \right) = F_{3}\! \left(x \right)
F_{3}\! \left(x \right) = F_{4}\! \left(x \right) F_{7}\! \left(x \right)
F_{4}\! \left(x \right) = F_{5}\! \left(x , 1\right)
F_{5}\! \left(x , y\right) = -\frac{-y F_{6}\! \left(x , y\right)+F_{6}\! \left(x , 1\right)}{-1+y}
F_{6}\! \left(x , y\right) = F_{\mathit{Av} \! \left(1243\right)}\! \left(x , y\right)
F_{7}\! \left(x \right) = x
System of equations in sympy syntax:
Eq(F_0(x), F_1(x) + F_2(x))
Eq(F_1(x), 1)
Eq(F_2(x), F_3(x))
Eq(F_3(x), F_4(x)*F_7(x))
Eq(F_4(x), F_5(x, 1))
Eq(F_5(x, k_0), (-k_0*F_6(x, k_0) + F_6(x, 1))/(1 - k_0))
Eq(F_6(x, k_0), F_Av(1243)(x*k_0))
Eq(F_7(x), x)
Pack JSON:
{"name": "point_placements_tracked_fusion", "initial_strats": [{"class_module": "tilings.strategies.rearrange_assumption", "strategy_class": "RearrangeAssumptionFactory"}, {"class_module": "tilings.strategies.assumption_insertion", "strategy_class": "AddAssumptionFactory"}, {"class_module": "tilings.strategies.factor", "strategy_class": "FactorFactory", "interleaving": null, "unions": false, "ignore_parent": true, "workable": true, "tracked": false}, {"class_module": "tilings.strategies.fusion.fusion", "strategy_class": "FusionFactory", "tracked": true}], "inferral_strats": [{"class_module": "tilings.strategies.row_and_col_separation", "strategy_class": "RowColumnSeparationStrategy", "ignore_parent": true, "inferrable": true, "possibly_empty": false, "workable": true}, {"class_module": "tilings.strategies.obstruction_inferral", "strategy_class": "ObstructionTransitivityFactory"}], "ver_strats": [{"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}, {"class_module": "tilings.strategies.verification", "strategy_class": "InsertionEncodingVerificationStrategy", "ignore_parent": false}, {"class_module": "tilings.strategies.verification", "strategy_class": "OneByOneVerificationStrategy", "ignore_parent": false, "basis": [], "symmetry": false}, {"class_module": "tilings.strategies.verification", "strategy_class": "LocallyFactorableVerificationStrategy", "ignore_parent": false, "basis": [], "symmetry": false}], "expansion_strats": [[{"class_module": "tilings.strategies.requirement_insertion", "strategy_class": "CellInsertionFactory", "ignore_parent": false, "maxreqlen": 1, "extra_basis": [], "one_cell_only": false}, {"class_module": "tilings.strategies.requirement_placement", "strategy_class": "PatternPlacementFactory", "partial": false, "ignore_parent": false, "dirs": [0, 1, 2, 3], "point_only": false}]], "symmetries": [], "iterative": false}
Specification JSON:
{"root": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": []}, "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}], "requirements": [], "assumptions": []}, {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}], "strategy": {"class_module": "tilings.strategies.requirement_insertion", "strategy_class": "RequirementInsertionStrategy", "ignore_parent": false, "gps": [{"patt": [0], "pos": [[0, 0]]}]}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0], "pos": [[2, 0]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 0]]}, {"patt": [1, 0], "pos": [[1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [2, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[2, 1], [2, 1], [2, 1], [2, 1]]}], "requirements": [[{"patt": [0], "pos": [[1, 0]]}]], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": []}, {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}], "strategy": {"class_module": "tilings.strategies.factor", "strategy_class": "FactorStrategy", "ignore_parent": true, "workable": true, "partition": [[[0, 1], [2, 1]], [[1, 0]]]}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}], "strategy": {"class_module": "tilings.strategies.assumption_insertion", "strategy_class": "AddAssumptionsStrategy", "workable": false, "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalenceRule", "original_rule": {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0], "pos": [[2, 0]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 0]]}, {"patt": [1, 0], "pos": [[1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [2, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[2, 1], [2, 1], [2, 1], [2, 1]]}], "requirements": [[{"patt": [0], "pos": [[1, 0]]}]], "assumptions": []}], "strategy": {"class_module": "tilings.strategies.requirement_placement", "strategy_class": "RequirementPlacementStrategy", "ignore_parent": false, "gps": [{"patt": [0], "pos": [[0, 0]]}], "indices": [0], "direction": 3, "own_col": true, "own_row": true, "include_empty": false}}}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "VerificationRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}], "requirements": [], "assumptions": []}, "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "VerificationRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}, "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}}, {"class_module": "tilings.strategies.verification", "rule_class": "OneByOneVerificationRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}, "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "OneByOneVerificationStrategy", "ignore_parent": false, "basis": [[0, 1, 2, 4, 3], [1, 0, 2, 4, 3], [1, 2, 0, 4, 3], [1, 2, 4, 0, 3], [1, 2, 4, 3, 0]], "symmetry": false}}, {"class_module": "tilings.strategies.fusion.fusion", "rule_class": "FusionRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}], "strategy": {"class_module": "tilings.strategies.fusion.fusion", "strategy_class": "FusionStrategy", "row_idx": null, "col_idx": 0, "tracked": true}}]}
Specification 3
Strategy pack name: point_placements_tracked_fusion
Tree: http://www.permpal.com/tree/25231/
System of equations in Maple syntax:
F[0,x] = F[1,x]+F[2,x]
F[1,x] = 1
F[2,x] = F[3,x]
F[3,x] = F[4,x]*F[7,x]
F[4,x] = F[5,x,1]
F[5,x,k[0]] = (F[6,x,k[0]]*k[0]-F[6,x,1])/(-1+k[0])
F[6,x,k[0]] = F[Av(1243),x,k[0]]
F[7,x] = x
System of equations in latex syntax:
F_{0}\! \left(x \right) = F_{1}\! \left(x \right)+F_{2}\! \left(x \right)
F_{1}\! \left(x \right) = 1
F_{2}\! \left(x \right) = F_{3}\! \left(x \right)
F_{3}\! \left(x \right) = F_{4}\! \left(x \right) F_{7}\! \left(x \right)
F_{4}\! \left(x \right) = F_{5}\! \left(x , 1\right)
F_{5}\! \left(x , y\right) = -\frac{-y F_{6}\! \left(x , y\right)+F_{6}\! \left(x , 1\right)}{-1+y}
F_{6}\! \left(x , y\right) = F_{\mathit{Av} \! \left(1243\right)}\! \left(x , y\right)
F_{7}\! \left(x \right) = x
System of equations in sympy syntax:
Eq(F_0(x), F_1(x) + F_2(x))
Eq(F_1(x), 1)
Eq(F_2(x), F_3(x))
Eq(F_3(x), F_4(x)*F_7(x))
Eq(F_4(x), F_5(x, 1))
Eq(F_5(x, k_0), (-k_0*F_6(x, k_0) + F_6(x, 1))/(1 - k_0))
Eq(F_6(x, k_0), F_Av(1243)(x*k_0))
Eq(F_7(x), x)
Pack JSON:
{"name": "point_placements_tracked_fusion", "initial_strats": [{"class_module": "tilings.strategies.rearrange_assumption", "strategy_class": "RearrangeAssumptionFactory"}, {"class_module": "tilings.strategies.assumption_insertion", "strategy_class": "AddAssumptionFactory"}, {"class_module": "tilings.strategies.factor", "strategy_class": "FactorFactory", "interleaving": null, "unions": false, "ignore_parent": true, "workable": true, "tracked": false}, {"class_module": "tilings.strategies.fusion.fusion", "strategy_class": "FusionFactory", "tracked": true}], "inferral_strats": [{"class_module": "tilings.strategies.row_and_col_separation", "strategy_class": "RowColumnSeparationStrategy", "ignore_parent": true, "inferrable": true, "possibly_empty": false, "workable": true}, {"class_module": "tilings.strategies.obstruction_inferral", "strategy_class": "ObstructionTransitivityFactory"}], "ver_strats": [{"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}, {"class_module": "tilings.strategies.verification", "strategy_class": "InsertionEncodingVerificationStrategy", "ignore_parent": false}, {"class_module": "tilings.strategies.verification", "strategy_class": "OneByOneVerificationStrategy", "ignore_parent": false, "basis": [], "symmetry": false}, {"class_module": "tilings.strategies.verification", "strategy_class": "LocallyFactorableVerificationStrategy", "ignore_parent": false, "basis": [], "symmetry": false}], "expansion_strats": [[{"class_module": "tilings.strategies.requirement_insertion", "strategy_class": "CellInsertionFactory", "ignore_parent": false, "maxreqlen": 1, "extra_basis": [], "one_cell_only": false}, {"class_module": "tilings.strategies.requirement_placement", "strategy_class": "PatternPlacementFactory", "partial": false, "ignore_parent": false, "dirs": [0, 1, 2, 3], "point_only": false}]], "symmetries": [], "iterative": false}
Specification JSON:
{"root": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": []}, "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}], "requirements": [], "assumptions": []}, {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}], "strategy": {"class_module": "tilings.strategies.requirement_insertion", "strategy_class": "RequirementInsertionStrategy", "ignore_parent": false, "gps": [{"patt": [0], "pos": [[0, 0]]}]}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0], "pos": [[2, 0]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 0]]}, {"patt": [1, 0], "pos": [[1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [2, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[2, 1], [2, 1], [2, 1], [2, 1]]}], "requirements": [[{"patt": [0], "pos": [[1, 0]]}]], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": []}, {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}], "strategy": {"class_module": "tilings.strategies.factor", "strategy_class": "FactorStrategy", "ignore_parent": true, "workable": true, "partition": [[[0, 1], [2, 1]], [[1, 0]]]}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}], "strategy": {"class_module": "tilings.strategies.assumption_insertion", "strategy_class": "AddAssumptionsStrategy", "workable": false, "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalenceRule", "original_rule": {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0], "pos": [[2, 0]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 0]]}, {"patt": [1, 0], "pos": [[1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [2, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[2, 1], [2, 1], [2, 1], [2, 1]]}], "requirements": [[{"patt": [0], "pos": [[1, 0]]}]], "assumptions": []}], "strategy": {"class_module": "tilings.strategies.requirement_placement", "strategy_class": "RequirementPlacementStrategy", "ignore_parent": false, "gps": [{"patt": [0], "pos": [[0, 0]]}], "indices": [0], "direction": 3, "own_col": true, "own_row": true, "include_empty": false}}}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "VerificationRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}], "requirements": [], "assumptions": []}, "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "VerificationRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}, "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}}, {"class_module": "tilings.strategies.verification", "rule_class": "OneByOneVerificationRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}, "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "OneByOneVerificationStrategy", "ignore_parent": false, "basis": [[0, 1, 2, 4, 3], [1, 0, 2, 4, 3], [1, 2, 0, 4, 3], [1, 2, 4, 0, 3], [1, 2, 4, 3, 0]], "symmetry": false}}, {"class_module": "tilings.strategies.fusion.fusion", "rule_class": "FusionRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}], "strategy": {"class_module": "tilings.strategies.fusion.fusion", "strategy_class": "FusionStrategy", "row_idx": null, "col_idx": 0, "tracked": true}}]}
Specification 4
Strategy pack name: point_placements_tracked_fusion
Tree: http://www.permpal.com/tree/25260/
System of equations in Maple syntax:
F[0,x] = F[1,x]+F[2,x]
F[1,x] = 1
F[2,x] = F[3,x]
F[3,x] = F[4,x]*F[7,x]
F[4,x] = F[5,x,1]
F[5,x,k[0]] = (F[6,x,k[0]]*k[0]-F[6,x,1])/(-1+k[0])
F[6,x,k[0]] = F[Av(1243),x,k[0]]
F[7,x] = x
System of equations in latex syntax:
F_{0}\! \left(x \right) = F_{1}\! \left(x \right)+F_{2}\! \left(x \right)
F_{1}\! \left(x \right) = 1
F_{2}\! \left(x \right) = F_{3}\! \left(x \right)
F_{3}\! \left(x \right) = F_{4}\! \left(x \right) F_{7}\! \left(x \right)
F_{4}\! \left(x \right) = F_{5}\! \left(x , 1\right)
F_{5}\! \left(x , y\right) = -\frac{-y F_{6}\! \left(x , y\right)+F_{6}\! \left(x , 1\right)}{-1+y}
F_{6}\! \left(x , y\right) = F_{\mathit{Av} \! \left(1243\right)}\! \left(x , y\right)
F_{7}\! \left(x \right) = x
System of equations in sympy syntax:
Eq(F_0(x), F_1(x) + F_2(x))
Eq(F_1(x), 1)
Eq(F_2(x), F_3(x))
Eq(F_3(x), F_4(x)*F_7(x))
Eq(F_4(x), F_5(x, 1))
Eq(F_5(x, k_0), (-k_0*F_6(x, k_0) + F_6(x, 1))/(1 - k_0))
Eq(F_6(x, k_0), F_Av(1243)(x*k_0))
Eq(F_7(x), x)
Pack JSON:
{"name": "point_placements_tracked_fusion", "initial_strats": [{"class_module": "tilings.strategies.rearrange_assumption", "strategy_class": "RearrangeAssumptionFactory"}, {"class_module": "tilings.strategies.assumption_insertion", "strategy_class": "AddAssumptionFactory"}, {"class_module": "tilings.strategies.factor", "strategy_class": "FactorFactory", "interleaving": null, "unions": false, "ignore_parent": true, "workable": true, "tracked": false}, {"class_module": "tilings.strategies.fusion.fusion", "strategy_class": "FusionFactory", "tracked": true}], "inferral_strats": [{"class_module": "tilings.strategies.row_and_col_separation", "strategy_class": "RowColumnSeparationStrategy", "ignore_parent": true, "inferrable": true, "possibly_empty": false, "workable": true}, {"class_module": "tilings.strategies.obstruction_inferral", "strategy_class": "ObstructionTransitivityFactory"}], "ver_strats": [{"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}, {"class_module": "tilings.strategies.verification", "strategy_class": "InsertionEncodingVerificationStrategy", "ignore_parent": false}, {"class_module": "tilings.strategies.verification", "strategy_class": "OneByOneVerificationStrategy", "ignore_parent": false, "basis": [], "symmetry": false}, {"class_module": "tilings.strategies.verification", "strategy_class": "LocallyFactorableVerificationStrategy", "ignore_parent": false, "basis": [], "symmetry": false}], "expansion_strats": [[{"class_module": "tilings.strategies.requirement_insertion", "strategy_class": "CellInsertionFactory", "ignore_parent": false, "maxreqlen": 1, "extra_basis": [], "one_cell_only": false}, {"class_module": "tilings.strategies.requirement_placement", "strategy_class": "PatternPlacementFactory", "partial": false, "ignore_parent": false, "dirs": [0, 1, 2, 3], "point_only": false}]], "symmetries": [], "iterative": false}
Specification JSON:
{"root": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": []}, "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}], "requirements": [], "assumptions": []}, {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}], "strategy": {"class_module": "tilings.strategies.requirement_insertion", "strategy_class": "RequirementInsertionStrategy", "ignore_parent": false, "gps": [{"patt": [0], "pos": [[0, 0]]}]}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0], "pos": [[2, 0]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 0]]}, {"patt": [1, 0], "pos": [[1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [2, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[2, 1], [2, 1], [2, 1], [2, 1]]}], "requirements": [[{"patt": [0], "pos": [[1, 0]]}]], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": []}, {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}], "strategy": {"class_module": "tilings.strategies.factor", "strategy_class": "FactorStrategy", "ignore_parent": true, "workable": true, "partition": [[[0, 1], [2, 1]], [[1, 0]]]}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}], "strategy": {"class_module": "tilings.strategies.assumption_insertion", "strategy_class": "AddAssumptionsStrategy", "workable": false, "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalenceRule", "original_rule": {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0], "pos": [[2, 0]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 0]]}, {"patt": [1, 0], "pos": [[1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [2, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[2, 1], [2, 1], [2, 1], [2, 1]]}], "requirements": [[{"patt": [0], "pos": [[1, 0]]}]], "assumptions": []}], "strategy": {"class_module": "tilings.strategies.requirement_placement", "strategy_class": "RequirementPlacementStrategy", "ignore_parent": false, "gps": [{"patt": [0], "pos": [[0, 0]]}], "indices": [0], "direction": 3, "own_col": true, "own_row": true, "include_empty": false}}}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "VerificationRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}], "requirements": [], "assumptions": []}, "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "VerificationRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}, "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}}, {"class_module": "tilings.strategies.verification", "rule_class": "OneByOneVerificationRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}, "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "OneByOneVerificationStrategy", "ignore_parent": false, "basis": [[0, 1, 2, 4, 3], [1, 0, 2, 4, 3], [1, 2, 0, 4, 3], [1, 2, 4, 0, 3], [1, 2, 4, 3, 0]], "symmetry": false}}, {"class_module": "tilings.strategies.fusion.fusion", "rule_class": "FusionRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}], "strategy": {"class_module": "tilings.strategies.fusion.fusion", "strategy_class": "FusionStrategy", "row_idx": null, "col_idx": 0, "tracked": true}}]}
Specification 5
Strategy pack name: point_placements_tracked_fusion
Tree: http://www.permpal.com/tree/25866/
System of equations in Maple syntax:
F[0,x] = F[1,x]+F[2,x]
F[1,x] = 1
F[2,x] = F[3,x]
F[3,x] = F[4,x]*F[7,x]
F[4,x] = F[5,x,1]
F[5,x,k[0]] = (F[6,x,k[0]]*k[0]-F[6,x,1])/(-1+k[0])
F[6,x,k[0]] = F[Av(1243),x,k[0]]
F[7,x] = x
System of equations in latex syntax:
F_{0}\! \left(x \right) = F_{1}\! \left(x \right)+F_{2}\! \left(x \right)
F_{1}\! \left(x \right) = 1
F_{2}\! \left(x \right) = F_{3}\! \left(x \right)
F_{3}\! \left(x \right) = F_{4}\! \left(x \right) F_{7}\! \left(x \right)
F_{4}\! \left(x \right) = F_{5}\! \left(x , 1\right)
F_{5}\! \left(x , y\right) = -\frac{-y F_{6}\! \left(x , y\right)+F_{6}\! \left(x , 1\right)}{-1+y}
F_{6}\! \left(x , y\right) = F_{\mathit{Av} \! \left(1243\right)}\! \left(x , y\right)
F_{7}\! \left(x \right) = x
System of equations in sympy syntax:
Eq(F_0(x), F_1(x) + F_2(x))
Eq(F_1(x), 1)
Eq(F_2(x), F_3(x))
Eq(F_3(x), F_4(x)*F_7(x))
Eq(F_4(x), F_5(x, 1))
Eq(F_5(x, k_0), (-k_0*F_6(x, k_0) + F_6(x, 1))/(1 - k_0))
Eq(F_6(x, k_0), F_Av(1243)(x*k_0))
Eq(F_7(x), x)
Pack JSON:
{"name": "point_placements_tracked_fusion", "initial_strats": [{"class_module": "tilings.strategies.rearrange_assumption", "strategy_class": "RearrangeAssumptionFactory"}, {"class_module": "tilings.strategies.assumption_insertion", "strategy_class": "AddAssumptionFactory"}, {"class_module": "tilings.strategies.factor", "strategy_class": "FactorFactory", "interleaving": null, "unions": false, "ignore_parent": true, "workable": true, "tracked": false}, {"class_module": "tilings.strategies.fusion.fusion", "strategy_class": "FusionFactory", "tracked": true}], "inferral_strats": [{"class_module": "tilings.strategies.row_and_col_separation", "strategy_class": "RowColumnSeparationStrategy", "ignore_parent": true, "inferrable": true, "possibly_empty": false, "workable": true}, {"class_module": "tilings.strategies.obstruction_inferral", "strategy_class": "ObstructionTransitivityFactory"}], "ver_strats": [{"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}, {"class_module": "tilings.strategies.verification", "strategy_class": "InsertionEncodingVerificationStrategy", "ignore_parent": false}, {"class_module": "tilings.strategies.verification", "strategy_class": "OneByOneVerificationStrategy", "ignore_parent": false, "basis": [], "symmetry": false}, {"class_module": "tilings.strategies.verification", "strategy_class": "LocallyFactorableVerificationStrategy", "ignore_parent": false, "basis": [], "symmetry": false}], "expansion_strats": [[{"class_module": "tilings.strategies.requirement_insertion", "strategy_class": "CellInsertionFactory", "ignore_parent": false, "maxreqlen": 1, "extra_basis": [], "one_cell_only": false}, {"class_module": "tilings.strategies.requirement_placement", "strategy_class": "PatternPlacementFactory", "partial": false, "ignore_parent": false, "dirs": [0, 1, 2, 3], "point_only": false}]], "symmetries": [], "iterative": false}
Specification JSON:
{"root": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": []}, "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}], "requirements": [], "assumptions": []}, {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}], "strategy": {"class_module": "tilings.strategies.requirement_insertion", "strategy_class": "RequirementInsertionStrategy", "ignore_parent": false, "gps": [{"patt": [0], "pos": [[0, 0]]}]}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0], "pos": [[2, 0]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 0]]}, {"patt": [1, 0], "pos": [[1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [2, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[2, 1], [2, 1], [2, 1], [2, 1]]}], "requirements": [[{"patt": [0], "pos": [[1, 0]]}]], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": []}, {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}], "strategy": {"class_module": "tilings.strategies.factor", "strategy_class": "FactorStrategy", "ignore_parent": true, "workable": true, "partition": [[[0, 1], [2, 1]], [[1, 0]]]}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}], "strategy": {"class_module": "tilings.strategies.assumption_insertion", "strategy_class": "AddAssumptionsStrategy", "workable": false, "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalenceRule", "original_rule": {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "Rule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 0, 2, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 4, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 4, 3, 0], "pos": [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0], "pos": [[2, 0]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 0]]}, {"patt": [1, 0], "pos": [[1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [0, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [0, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 1], [2, 1], [2, 1], [2, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[2, 1], [2, 1], [2, 1], [2, 1]]}], "requirements": [[{"patt": [0], "pos": [[1, 0]]}]], "assumptions": []}], "strategy": {"class_module": "tilings.strategies.requirement_placement", "strategy_class": "RequirementPlacementStrategy", "ignore_parent": false, "gps": [{"patt": [0], "pos": [[0, 0]]}], "indices": [0], "direction": 3, "own_col": true, "own_row": true, "include_empty": false}}}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "VerificationRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}], "requirements": [], "assumptions": []}, "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "VerificationRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]], "assumptions": []}, "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}}, {"class_module": "tilings.strategies.verification", "rule_class": "OneByOneVerificationRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}, "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "OneByOneVerificationStrategy", "ignore_parent": false, "basis": [[0, 1, 2, 4, 3], [1, 0, 2, 4, 3], [1, 2, 0, 4, 3], [1, 2, 4, 0, 3], [1, 2, 4, 3, 0]], "symmetry": false}}, {"class_module": "tilings.strategies.fusion.fusion", "rule_class": "FusionRule", "comb_class": {"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}, "children": [{"class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [], "assumptions": [{"class_module": "tilings.assumptions", "assumption": "TrackingAssumption", "gps": [{"patt": [0], "pos": [[0, 0]]}]}]}], "strategy": {"class_module": "tilings.strategies.fusion.fusion", "strategy_class": "FusionStrategy", "row_idx": null, "col_idx": 0, "tracked": true}}]}