diff options
Diffstat (limited to 'Interaction Nets.nb')
| -rw-r--r-- | Interaction Nets.nb | 505 |
1 files changed, 505 insertions, 0 deletions
diff --git a/Interaction Nets.nb b/Interaction Nets.nb new file mode 100644 index 0000000..7e35974 --- /dev/null +++ b/Interaction Nets.nb @@ -0,0 +1,505 @@ +Notebook[{Cell[ +CellGroupData[{Cell[ +BoxData[{RowBox[{"Annihilation"," ","="," ",RowBox[ +{RowBox[{RowBox[{"{","\n"," ",RowBox[{RowBox[{RowBox[{"#","[","x_","]"}]," ","\[Rule]"," ",RowBox[ +{"#","[","y_","]"}]}],",","\n"," ",RowBox[{RowBox[{"#","[","y_","]"}]," ","\[Rule]"," ",RowBox[ +{"#","[","x_","]"}]}],",","\n"," ",RowBox[{"f1n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[ +{"a_",","," ",RowBox[{"#","[","x_","]"}]}],"]"}],"]"}],",","\n"," ",RowBox[{"f2n_","[",RowBox[ +{"OrderlessPatternSequence","[",RowBox[{"b_",","," ",RowBox[{"#","[","x_","]"}]}],"]"}],"]"}],",","\n"," ",RowBox[ +{"f3n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"c_",","," ",RowBox[{"#","[","y_","]"}]}],"]"}],"]"}],",","\n"," ",RowBox[ +{"f4n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"d_",","," ",RowBox[{"#","[","y_","]"}]}],"]"}],"]"}]}],"\n"," ","}"}],"\[RuleDelayed]"," ",RowBox[ +{"Splice","[","\n"," ",RowBox[{"Join","[","\n"," ",RowBox[{RowBox[ +{"If","[","\n"," ",RowBox[{RowBox[{"f1n","===","f4n","===","UndirectedEdge"}],",","\n"," ",RowBox[ +{"{",RowBox[{RowBox[{"a","\[UndirectedEdge]","d"}],",",RowBox[{"d","\[UndirectedEdge]","a"}]}],"}"}],",","\n"," ",RowBox[ +{"{",RowBox[{RowBox[{"f1n","[",RowBox[{"a",",","d"}],"]"}],",",RowBox[{"f4n","[",RowBox[ +{"d",",","a"}],"]"}]}],"}"}]}],"\n"," ","]"}],",","\n"," ",RowBox[ +{"If","[","\n"," ",RowBox[{RowBox[{"f2n","===","f3n","===","UndirectedEdge"}],",","\n"," ",RowBox[ +{"{",RowBox[{RowBox[{"b","\[UndirectedEdge]","c"}],",",RowBox[{"c","\[UndirectedEdge]","b"}]}],"}"}],",","\n"," ",RowBox[ +{"{",RowBox[{RowBox[{"f2n","[",RowBox[{"b",",","c"}],"]"}],",",RowBox[{"f3n","[",RowBox[ +{"c",",","b"}],"]"}]}],"}"}]}],"\n"," ","]"}]}],"\n"," ","]"}],"\n"," ","]"}]}],"&"}]}],"\n",RowBox[ +{"\[Delta]Annihilation","=",RowBox[{RowBox[{"{","\n"," ",RowBox[{RowBox[{RowBox[ +{"\[Delta]","[","x_","]"}]," ","\[Rule]"," ",RowBox[{"\[Delta]","[","y_","]"}]}],",","\n"," ",RowBox[ +{RowBox[{"\[Delta]","[","y_","]"}]," ","\[Rule]"," ",RowBox[{"\[Delta]","[","x_","]"}]}],",","\n"," ",RowBox[ +{"f1n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"a_",","," ",RowBox[{"\[Delta]","[","x_","]"}]}],"]"}],"]"}],",","\n"," ",RowBox[ +{"f2n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"b_",","," ",RowBox[{"\[Delta]","[","x_","]"}]}],"]"}],"]"}],",","\n"," ",RowBox[ +{"f3n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"c_",","," ",RowBox[{"\[Delta]","[","y_","]"}]}],"]"}],"]"}],",","\n"," ",RowBox[ +{"f4n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"d_",","," ",RowBox[{"\[Delta]","[","y_","]"}]}],"]"}],"]"}]}],"\n"," ","}"}],"\[RuleDelayed]"," ",RowBox[ +{"Splice","[","\n"," ",RowBox[{"Join","[","\n"," ",RowBox[{RowBox[ +{"If","[","\n"," ",RowBox[{RowBox[{"False","&&",RowBox[{"f1n","===","f3n","===","UndirectedEdge"}]}],",","\n"," ",RowBox[ +{"{",RowBox[{"a","\[UndirectedEdge]","c"}],"}"}],",","\n"," ",RowBox[ +{"{",RowBox[{RowBox[{"f1n","[",RowBox[{"a",",","c"}],"]"}],",",RowBox[{"f3n","[",RowBox[ +{"c",",","a"}],"]"}]}],"}"}]}],"\n"," ","]"}],",","\n"," ",RowBox[ +{"If","[","\n"," ",RowBox[{RowBox[{"False","&&",RowBox[{"f2n","===","f4n","===","UndirectedEdge"}]}],",","\n"," ",RowBox[ +{"{",RowBox[{"b","\[UndirectedEdge]","d"}],"}"}],",","\n"," ",RowBox[ +{"{",RowBox[{RowBox[{"f2n","[",RowBox[{"b",",","d"}],"]"}],",",RowBox[{"f4n","[",RowBox[ +{"d",",","b"}],"]"}]}],"}"}]}],"\n"," ","]"}]}],"\n"," ","]"}],"\n"," ","]"}]}]}],"\n",RowBox[ +{"\[Gamma]Annihilation","="," ",RowBox[{RowBox[{"{","\n"," ",RowBox[{RowBox[{RowBox[ +{"\[Gamma]","[","x_","]"}]," ","\[Rule]"," ",RowBox[{"\[Gamma]","[","y_","]"}]}],",","\n"," ",RowBox[ +{RowBox[{"\[Gamma]","[","y_","]"}]," ","\[Rule]"," ",RowBox[{"\[Gamma]","[","x_","]"}]}],",","\n"," ",RowBox[ +{"f1n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"a_",","," ",RowBox[{"\[Gamma]","[","x_","]"}]}],"]"}],"]"}],",","\n"," ",RowBox[ +{"f2n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"b_",","," ",RowBox[{"\[Gamma]","[","x_","]"}]}],"]"}],"]"}],",","\n"," ",RowBox[ +{"f3n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"c_",","," ",RowBox[{"\[Gamma]","[","y_","]"}]}],"]"}],"]"}],",","\n"," ",RowBox[ +{"f4n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"d_",","," ",RowBox[{"\[Gamma]","[","y_","]"}]}],"]"}],"]"}]}],"\n"," ","}"}],"\[RuleDelayed]"," ",RowBox[ +{"Splice","[","\n"," ",RowBox[{"Join","[","\n"," ",RowBox[{RowBox[ +{"If","[","\n"," ",RowBox[{RowBox[{"f1n","===","f4n","===","UndirectedEdge"}],",","\n"," ",RowBox[ +{"{",RowBox[{"a","\[UndirectedEdge]","d"}],"}"}],",","\n"," ",RowBox[ +{"{",RowBox[{RowBox[{"f1n","[",RowBox[{"a",",","d"}],"]"}],",",RowBox[{"f4n","[",RowBox[ +{"d",",","a"}],"]"}]}],"}"}]}],"\n"," ","]"}],",","\n"," ",RowBox[ +{"If","[","\n"," ",RowBox[{RowBox[{"f2n","===","f3n","===","UndirectedEdge"}],",","\n"," ",RowBox[ +{"{",RowBox[{"b","\[UndirectedEdge]","c"}],"}"}],",","\n"," ",RowBox[ +{"{",RowBox[{RowBox[{"f2n","[",RowBox[{"b",",","c"}],"]"}],",",RowBox[{"f3n","[",RowBox[ +{"c",",","b"}],"]"}]}],"}"}]}],"\n"," ","]"}]}],"\n"," ","]"}],"\n"," ","]"}]}]}],"\n",RowBox[ +{"Duplication"," ","="," ",RowBox[{RowBox[{"{","\n",RowBox[{RowBox[{RowBox[{"\[Gamma]","[","x_","]"}],"\[Rule]",RowBox[ +{"\[Delta]","[","y_","]"}]}],",","\n",RowBox[{RowBox[{"\[Delta]","[","y_","]"}],"\[Rule]",RowBox[ +{"\[Gamma]","[","x_","]"}]}],",","\n",RowBox[{"f1n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[ +{"a_",",",RowBox[{"\[Gamma]","[","x_","]"}]}],"]"}],"]"}],",","\n",RowBox[{"f2n_","[",RowBox[ +{"OrderlessPatternSequence","[",RowBox[{"b_",",",RowBox[{"\[Gamma]","[","x_","]"}]}],"]"}],"]"}],",","\n",RowBox[ +{"f3n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"c_",",",RowBox[{"\[Delta]","[","y_","]"}]}],"]"}],"]"}],",","\n",RowBox[ +{"f4n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"d_",",",RowBox[{"\[Delta]","[","y_","]"}]}],"]"}],"]"}]}],"\n","}"}],"\[RuleDelayed]"," ",RowBox[ +{"Module","[",RowBox[{RowBox[{"{",RowBox[{"\[Gamma]1",",","\[Gamma]2",",","\[Delta]1",",","\[Delta]2"}],"}"}],",",RowBox[ +{"Splice","[","\n",RowBox[{"Join","[","\n",RowBox[{RowBox[{"{","\n",RowBox[{RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]1","]"}],"\[UndirectedEdge]",RowBox[{"\[Delta]","[","\[Delta]1","]"}]}],",","\n",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]1","]"}],"\[UndirectedEdge]",RowBox[{"\[Delta]","[","\[Delta]2","]"}]}],",","\n",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]2","]"}],"\[UndirectedEdge]",RowBox[{"\[Delta]","[","\[Delta]1","]"}]}],",","\n",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]2","]"}],"\[UndirectedEdge]",RowBox[{"\[Delta]","[","\[Delta]2","]"}]}]}],"\n","}"}],",","\n",RowBox[ +{"{",RowBox[{RowBox[{RowBox[{"\[Gamma]","[","\[Gamma]1","]"}],"\[Rule]","c"}],",",RowBox[ +{"f3n","[",RowBox[{"c",",",RowBox[{"\[Gamma]","[","\[Gamma]1","]"}]}],"]"}],","," ",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]2","]"}],"\[Rule]","d"}],",",RowBox[{"f4n","[",RowBox[ +{"d",",",RowBox[{"\[Gamma]","[","\[Gamma]2","]"}]}],"]"}]}],"}"}],",","\n",RowBox[ +{"If","[",RowBox[{RowBox[{"a","===","b"}],",",RowBox[{"{",RowBox[{RowBox[{RowBox[ +{"\[Delta]","[","\[Delta]1","]"}],"\[Rule]",RowBox[{"\[Delta]","[","\[Delta]2","]"}]}],",",RowBox[ +{RowBox[{"\[Delta]","[","\[Delta]2","]"}],"\[Rule]",RowBox[{"\[Delta]","[","\[Delta]1","]"}]}]}],"}"}],"\n",",",RowBox[ +{"{",RowBox[{RowBox[{RowBox[{"\[Delta]","[","\[Delta]1","]"}],"\[Rule]","a"}],",",RowBox[ +{"f1n","[",RowBox[{"a",",",RowBox[{"\[Delta]","[","\[Delta]1","]"}]}],"]"}],","," ",RowBox[ +{RowBox[{"\[Delta]","[","\[Delta]2","]"}],"\[Rule]","b"}],",",RowBox[{"f2n","[",RowBox[ +{"b",",",RowBox[{"\[Delta]","[","\[Delta]2","]"}]}],"]"}]}],"}"}]}],"]"}]}],"\n","]"}],"\n","]"}]}],"]"}]}]}],"\n",RowBox[ +{"RemoveCombinators","=",RowBox[{"{",RowBox[{RowBox[{"\[Delta]","\[Rule]","Identity"}],","," ",RowBox[ +{"\[Gamma]","\[Rule]","Identity"}]}],"}"}]}],"\n",RowBox[{"Labels","=",RowBox[{RowBox[ +{"SubsetReplace","[",RowBox[{RowBox[{"VertexList","@","#"}],",",RowBox[{"{",RowBox[ +{RowBox[{RowBox[{"{",RowBox[{"\[Gamma]","[","x_","]"}],"}"}],"\[Rule]",RowBox[{"x","\[Rule]",RowBox[ +{"Placed","[",RowBox[{"\"\[Gamma]\"",",","Center"}],"]"}]}]}],",",RowBox[{RowBox[ +{"{",RowBox[{"\[Delta]","[","x_","]"}],"}"}],"\[Rule]",RowBox[{"x","\[Rule]",RowBox[ +{"Placed","[",RowBox[{"\"\[Delta]\"",",","Center"}],"]"}]}]}],",",RowBox[{RowBox[ +{"{","_","}"}],"\[Rule]","Nothing"}]}],"}"}]}],"]"}],"&"}]}]}],"Input",CellLabel -> "In[22]:= ", +ExpressionUUID -> "f90d3e4e-5357-4d88-9485-7f8dd8050411"],Cell[ +BoxData[RowBox[{RowBox[ +{RowBox[{"{",RowBox[{RowBox[{RowBox[{"#1","[","x_","]"}],"\[Rule]",RowBox[{"#1","[","y_","]"}]}],",",RowBox[ +{RowBox[{"#1","[","y_","]"}],"\[Rule]",RowBox[{"#1","[","x_","]"}]}],",",RowBox[{"f1n_","[",RowBox[ +{"OrderlessPatternSequence","[",RowBox[{"a_",",",RowBox[{"#1","[","x_","]"}]}],"]"}],"]"}],",",RowBox[ +{"f2n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"b_",",",RowBox[{"#1","[","x_","]"}]}],"]"}],"]"}],",",RowBox[ +{"f3n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"c_",",",RowBox[{"#1","[","y_","]"}]}],"]"}],"]"}],",",RowBox[ +{"f4n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"d_",",",RowBox[{"#1","[","y_","]"}]}],"]"}],"]"}]}],"}"}],"\[RuleDelayed]",RowBox[ +{"Splice","[",RowBox[{"Join","[",RowBox[{RowBox[{"If","[",RowBox[{RowBox[{"f1n","===","f4n","===","UndirectedEdge"}],",",RowBox[ +{"{",RowBox[{RowBox[{"a","\[UndirectedEdge]","d"}],",",RowBox[{"d","\[UndirectedEdge]","a"}]}],"}"}],",",RowBox[ +{"{",RowBox[{RowBox[{"f1n","[",RowBox[{"a",",","d"}],"]"}],",",RowBox[{"f4n","[",RowBox[ +{"d",",","a"}],"]"}]}],"}"}]}],"]"}],",",RowBox[{"If","[",RowBox[{RowBox[{"f2n","===","f3n","===","UndirectedEdge"}],",",RowBox[ +{"{",RowBox[{RowBox[{"b","\[UndirectedEdge]","c"}],",",RowBox[{"c","\[UndirectedEdge]","b"}]}],"}"}],",",RowBox[ +{"{",RowBox[{RowBox[{"f2n","[",RowBox[{"b",",","c"}],"]"}],",",RowBox[{"f3n","[",RowBox[ +{"c",",","b"}],"]"}]}],"}"}]}],"]"}]}],"]"}],"]"}]}],"&"}],StandardForm],"Output", +CellLabel -> "Out[22]= ",ExpressionUUID -> "3ea66b39-2601-4e90-a894-d8e2303083c2"],Cell[ +BoxData[ +RowBox[{RowBox[{"{",RowBox[{RowBox[{RowBox[{"\[Delta]","[","x_","]"}],"\[Rule]",RowBox[ +{"\[Delta]","[","y_","]"}]}],",",RowBox[{RowBox[{"\[Delta]","[","y_","]"}],"\[Rule]",RowBox[ +{"\[Delta]","[","x_","]"}]}],",",RowBox[{"f1n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[ +{"a_",",",RowBox[{"\[Delta]","[","x_","]"}]}],"]"}],"]"}],",",RowBox[{"f2n_","[",RowBox[ +{"OrderlessPatternSequence","[",RowBox[{"b_",",",RowBox[{"\[Delta]","[","x_","]"}]}],"]"}],"]"}],",",RowBox[ +{"f3n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"c_",",",RowBox[{"\[Delta]","[","y_","]"}]}],"]"}],"]"}],",",RowBox[ +{"f4n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"d_",",",RowBox[{"\[Delta]","[","y_","]"}]}],"]"}],"]"}]}],"}"}],"\[RuleDelayed]",RowBox[ +{"Splice","[",RowBox[{"Join","[",RowBox[{RowBox[{"If","[",RowBox[{RowBox[{"False","&&",RowBox[ +{"f1n","===","f3n","===","UndirectedEdge"}]}],",",RowBox[{"{",RowBox[{"a","\[UndirectedEdge]","c"}],"}"}],",",RowBox[ +{"{",RowBox[{RowBox[{"f1n","[",RowBox[{"a",",","c"}],"]"}],",",RowBox[{"f3n","[",RowBox[ +{"c",",","a"}],"]"}]}],"}"}]}],"]"}],",",RowBox[{"If","[",RowBox[{RowBox[{"False","&&",RowBox[ +{"f2n","===","f4n","===","UndirectedEdge"}]}],",",RowBox[{"{",RowBox[{"b","\[UndirectedEdge]","d"}],"}"}],",",RowBox[ +{"{",RowBox[{RowBox[{"f2n","[",RowBox[{"b",",","d"}],"]"}],",",RowBox[{"f4n","[",RowBox[ +{"d",",","b"}],"]"}]}],"}"}]}],"]"}]}],"]"}],"]"}]}],StandardForm],"Output",CellLabel -> "Out[23]= ", +ExpressionUUID -> "53fd67ed-f870-40b1-aad3-c7f30e53b877"],Cell[ +BoxData[RowBox[{RowBox[ +{"{",RowBox[{RowBox[{RowBox[{"\[Gamma]","[","x_","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","y_","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","y_","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","x_","]"}]}],",",RowBox[ +{"f1n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"a_",",",RowBox[{"\[Gamma]","[","x_","]"}]}],"]"}],"]"}],",",RowBox[ +{"f2n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"b_",",",RowBox[{"\[Gamma]","[","x_","]"}]}],"]"}],"]"}],",",RowBox[ +{"f3n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"c_",",",RowBox[{"\[Gamma]","[","y_","]"}]}],"]"}],"]"}],",",RowBox[ +{"f4n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"d_",",",RowBox[{"\[Gamma]","[","y_","]"}]}],"]"}],"]"}]}],"}"}],"\[RuleDelayed]",RowBox[ +{"Splice","[",RowBox[{"Join","[",RowBox[{RowBox[{"If","[",RowBox[{RowBox[{"f1n","===","f4n","===","UndirectedEdge"}],",",RowBox[ +{"{",RowBox[{"a","\[UndirectedEdge]","d"}],"}"}],",",RowBox[{"{",RowBox[{RowBox[{"f1n","[",RowBox[ +{"a",",","d"}],"]"}],",",RowBox[{"f4n","[",RowBox[{"d",",","a"}],"]"}]}],"}"}]}],"]"}],",",RowBox[ +{"If","[",RowBox[{RowBox[{"f2n","===","f3n","===","UndirectedEdge"}],",",RowBox[{"{",RowBox[ +{"b","\[UndirectedEdge]","c"}],"}"}],",",RowBox[{"{",RowBox[{RowBox[{"f2n","[",RowBox[ +{"b",",","c"}],"]"}],",",RowBox[{"f3n","[",RowBox[{"c",",","b"}],"]"}]}],"}"}]}],"]"}]}],"]"}],"]"}]}], +StandardForm],"Output",CellLabel -> "Out[24]= ",ExpressionUUID -> "39445db4-f03a-4985-ae4e-c478b00673e9"],Cell[ +BoxData[ +RowBox[{RowBox[{"{",RowBox[{RowBox[{RowBox[{"\[Gamma]","[","x_","]"}],"\[Rule]",RowBox[ +{"\[Delta]","[","y_","]"}]}],",",RowBox[{RowBox[{"\[Delta]","[","y_","]"}],"\[Rule]",RowBox[ +{"\[Gamma]","[","x_","]"}]}],",",RowBox[{"f1n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[ +{"a_",",",RowBox[{"\[Gamma]","[","x_","]"}]}],"]"}],"]"}],",",RowBox[{"f2n_","[",RowBox[ +{"OrderlessPatternSequence","[",RowBox[{"b_",",",RowBox[{"\[Gamma]","[","x_","]"}]}],"]"}],"]"}],",",RowBox[ +{"f3n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"c_",",",RowBox[{"\[Delta]","[","y_","]"}]}],"]"}],"]"}],",",RowBox[ +{"f4n_","[",RowBox[{"OrderlessPatternSequence","[",RowBox[{"d_",",",RowBox[{"\[Delta]","[","y_","]"}]}],"]"}],"]"}]}],"}"}],"\[RuleDelayed]",RowBox[ +{"Module","[",RowBox[{RowBox[{"{",RowBox[{"\[Gamma]1",",","\[Gamma]2",",","\[Delta]1",",","\[Delta]2"}],"}"}],",",RowBox[ +{"Splice","[",RowBox[{"Join","[",RowBox[{RowBox[{"{",RowBox[{RowBox[{RowBox[{"\[Gamma]","[","\[Gamma]1","]"}],"\[UndirectedEdge]",RowBox[ +{"\[Delta]","[","\[Delta]1","]"}]}],",",RowBox[{RowBox[{"\[Gamma]","[","\[Gamma]1","]"}],"\[UndirectedEdge]",RowBox[ +{"\[Delta]","[","\[Delta]2","]"}]}],",",RowBox[{RowBox[{"\[Gamma]","[","\[Gamma]2","]"}],"\[UndirectedEdge]",RowBox[ +{"\[Delta]","[","\[Delta]1","]"}]}],",",RowBox[{RowBox[{"\[Gamma]","[","\[Gamma]2","]"}],"\[UndirectedEdge]",RowBox[ +{"\[Delta]","[","\[Delta]2","]"}]}]}],"}"}],",",RowBox[{"{",RowBox[{RowBox[{RowBox[ +{"\[Gamma]","[","\[Gamma]1","]"}],"\[Rule]","c"}],",",RowBox[{"f3n","[",RowBox[{"c",",",RowBox[ +{"\[Gamma]","[","\[Gamma]1","]"}]}],"]"}],",",RowBox[{RowBox[{"\[Gamma]","[","\[Gamma]2","]"}],"\[Rule]","d"}],",",RowBox[ +{"f4n","[",RowBox[{"d",",",RowBox[{"\[Gamma]","[","\[Gamma]2","]"}]}],"]"}]}],"}"}],",",RowBox[ +{"If","[",RowBox[{RowBox[{"a","===","b"}],",",RowBox[{"{",RowBox[{RowBox[{RowBox[ +{"\[Delta]","[","\[Delta]1","]"}],"\[Rule]",RowBox[{"\[Delta]","[","\[Delta]2","]"}]}],",",RowBox[ +{RowBox[{"\[Delta]","[","\[Delta]2","]"}],"\[Rule]",RowBox[{"\[Delta]","[","\[Delta]1","]"}]}]}],"}"}],",",RowBox[ +{"{",RowBox[{RowBox[{RowBox[{"\[Delta]","[","\[Delta]1","]"}],"\[Rule]","a"}],",",RowBox[ +{"f1n","[",RowBox[{"a",",",RowBox[{"\[Delta]","[","\[Delta]1","]"}]}],"]"}],",",RowBox[ +{RowBox[{"\[Delta]","[","\[Delta]2","]"}],"\[Rule]","b"}],",",RowBox[{"f2n","[",RowBox[ +{"b",",",RowBox[{"\[Delta]","[","\[Delta]2","]"}]}],"]"}]}],"}"}]}],"]"}]}],"]"}],"]"}]}],"]"}]}], +StandardForm],"Output",CellLabel -> "Out[25]= ",ExpressionUUID -> "22841fc4-5b82-4aa4-bea2-4e18868d6b29"],Cell[ +BoxData[ +RowBox[{"{",RowBox[{RowBox[{"\[Delta]","\[Rule]","Identity"}],",",RowBox[{"\[Gamma]","\[Rule]","Identity"}]}],"}"}], +StandardForm],"Output",CellLabel -> "Out[26]= ",ExpressionUUID -> "d470e915-e10c-4cb8-a93b-d86957b5fffc"],Cell[ +BoxData[ +RowBox[{RowBox[{"SubsetReplace","[",RowBox[{RowBox[{"VertexList","[","#1","]"}],",",RowBox[ +{"{",RowBox[{RowBox[{RowBox[{"{",RowBox[{"\[Gamma]","[","x_","]"}],"}"}],"\[Rule]",RowBox[ +{"x","\[Rule]",RowBox[{"Placed","[",RowBox[{"\"\[Gamma]\"",",","Center"}],"]"}]}]}],",",RowBox[ +{RowBox[{"{",RowBox[{"\[Delta]","[","x_","]"}],"}"}],"\[Rule]",RowBox[{"x","\[Rule]",RowBox[ +{"Placed","[",RowBox[{"\"\[Delta]\"",",","Center"}],"]"}]}]}],",",RowBox[{RowBox[ +{"{","_","}"}],"\[Rule]","Nothing"}]}],"}"}]}],"]"}],"&"}],StandardForm],"Output", +CellLabel -> "Out[27]= ",ExpressionUUID -> "a745a1b8-ede7-4017-a086-4ed05039e2bb"]}, +Open],ExpressionUUID -> "bb730844-c050-4670-aca4-9ac8fd01af55"],Cell[ +CellGroupData[ +{Cell[ +BoxData[{RowBox[{"A","=",RowBox[{"Module","[",RowBox[{RowBox[{"{","a","}"}],",",RowBox[ +{"{",RowBox[{RowBox[{RowBox[{"\[Gamma]","[","a","]"}],"\[Rule]","x"}],","," ",RowBox[ +{RowBox[{"\[Gamma]","[","a","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","a","]"}]}],","," ",RowBox[ +{RowBox[{"\[Gamma]","[","a","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","a","]"}]}]}],"}"}]}],"]"}]}],"\n",RowBox[ +{"B","=",RowBox[{"Module","[",RowBox[{RowBox[{"{",RowBox[{"y",",","z",",","w"}],"}"}],",",RowBox[ +{"{",RowBox[{RowBox[{RowBox[{"\[Gamma]","[","y","]"}],"\[Rule]","x"}],",",RowBox[ +{RowBox[{"\[Delta]","[","z","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","y","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","w","]"}],"\[Rule]",RowBox[{"\[Delta]","[","z","]"}]}],",",RowBox[ +{RowBox[{"\[Delta]","[","z","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","w","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","w","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","y","]"}]}]}],"}"}]}],"]"}]}],"\n",RowBox[ +{"IDK","=",RowBox[{RowBox[{"Flatten","[",RowBox[{"SubsetReplace","[",RowBox[{"#",",",RowBox[ +{"{",RowBox[{"\[Delta]Annihilation",","," ","\[Gamma]Annihilation",",","Duplication"}],"}"}]}],"]"}],"]"}],"&"}]}],"\n",RowBox[ +{"R","=",RowBox[{RowBox[{"Graph","[",RowBox[{RowBox[{"#","/.","RemoveCombinators"}],",",RowBox[ +{"VertexLabels","\[Rule]",RowBox[{"Labels","[","#","]"}]}],",",RowBox[{"VertexSize","\[Rule]","0.25"}]}],"]"}],"&"}]}],"\n",RowBox[ +{"R","[","A","]"}],"\n",RowBox[{"R","[","B","]"}]}],"Input",CellLabel -> "In[28]:= ", +ExpressionUUID -> "4b486582-9a25-4404-9d32-8e3e08466b80"],Cell[ +BoxData[RowBox[{"{",RowBox[ +{RowBox[{RowBox[{"\[Gamma]","[","a$76531","]"}],"\[Rule]","x"}],",",RowBox[{RowBox[ +{"\[Gamma]","[","a$76531","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","a$76531","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","a$76531","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","a$76531","]"}]}]}],"}"}], +StandardForm],"Output",CellLabel -> "Out[28]= ",ExpressionUUID -> "5aadd8f6-67b2-4592-b97c-51d0146fe900"],Cell[ +BoxData[ +RowBox[{"{",RowBox[{RowBox[{RowBox[{"\[Gamma]","[","y$76537","]"}],"\[Rule]","x"}],",",RowBox[ +{RowBox[{"\[Delta]","[","z$76537","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","y$76537","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","w$76537","]"}],"\[Rule]",RowBox[{"\[Delta]","[","z$76537","]"}]}],",",RowBox[ +{RowBox[{"\[Delta]","[","z$76537","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","w$76537","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","w$76537","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","y$76537","]"}]}]}],"}"}], +StandardForm],"Output",CellLabel -> "Out[29]= ",ExpressionUUID -> "b5b0874d-f516-43b9-9ad5-93b0138b1c57"],Cell[ +BoxData[ +RowBox[{RowBox[{"Flatten","[",RowBox[{"SubsetReplace","[",RowBox[{"#1",",",RowBox[ +{"{",RowBox[{"\[Delta]Annihilation",",","\[Gamma]Annihilation",",","Duplication"}],"}"}]}],"]"}],"]"}],"&"}], +StandardForm],"Output",CellLabel -> "Out[30]= ",ExpressionUUID -> "72f6488e-518a-4e9f-901b-ad2e8b042c9c"],Cell[ +BoxData[ +RowBox[{RowBox[{"Graph","[",RowBox[{RowBox[{"#1","/.","\[VeryThinSpace]","RemoveCombinators"}],",",RowBox[ +{"VertexLabels","\[Rule]",RowBox[{"Labels","[","#1","]"}]}],",",RowBox[{"VertexSize","\[Rule]","0.25`"}]}],"]"}],"&"}], +StandardForm],"Output",CellLabel -> "Out[31]= ",ExpressionUUID -> "b0f92e3b-8d6e-4dcf-b0c1-8f4c2c44487e"],Cell[ +BoxData[ +GraphicsBox[NamespaceBox["NetworkGraphics",DynamicModuleBox[{Set[Typeset`graph,HoldComplete[ +Graph[{a$76531,x},{{{1,2}},{{1,1},{1,1}}},{VertexLabels -> {a$76531 -> Placed["\[Gamma]", +Center]},VertexSize -> {0.25`}}]]]},TagBox[GraphicsGroupBox[{{Arrowheads[Medium],Directive[ +Opacity[0.7`],Hue[0.6`,0.7`,0.5`]],{Arrowheads[0.`],ArrowBox[BezierCurveBox[{{1.`,0.`},{0.8548913593664869`,0.260447687440812`},{0.9107849880196767`,0.4077294770859501`},{0.997086038303959`,0.46968080364466913`},{1.278428894200268`,0.3782669683695422`},{1.3118338344014893`,0.2774208077450141`},{1.2704826659745478`,0.12541388634068423`},{1.`,0.`}}, +SplineDegree -> 7],0.125`]},{Arrowheads[0.`],ArrowBox[BezierCurveBox[{{1.`,0.`},{1.270482665974548`,-0.12541388634068412`},{1.3118338344014895`,-0.277420807745014`},{1.2784288942002682`,-0.378266968369542`},{0.9970860383039594`,-0.46968080364466913`},{0.910784988019677`,-0.4077294770859501`},{0.8548913593664871`,-0.26044768744081204`},{1.`,0.`}}, +SplineDegree -> 7],0.125`]},ArrowBox[{{1.`,0.`},{0.`,1.2246467991473532`*^-16}},0.125`]},{Directive[ +Hue[0.6`,0.2`,0.8`],EdgeForm[Directive[GrayLevel[0],Opacity[0.7`]]]],{DiskBox[{1.`,0.`}, +0.125`],InsetBox[FormBox["\"\[Gamma]\"",TraditionalForm],{1.`,0.`},BaseStyle -> "Graphics"]},DiskBox[ +{0.`,1.2246467991473532`*^-16},0.125`]}}],MouseAppearanceTag["NetworkGraphics"]], +AllowKernelInitialization -> False]],{FormatType -> TraditionalForm,FrameTicks -> None,DefaultBaseStyle -> "NetworkGraphics"}], +StandardForm],"Output",CellLabel -> "Out[32]= ",ExpressionUUID -> "c917454e-e546-436b-a716-7b54b8d82ab8"],Cell[ +BoxData[ +GraphicsBox[NamespaceBox["NetworkGraphics",DynamicModuleBox[{Set[Typeset`graph,HoldComplete[ +Graph[{y$76537,x,z$76537,w$76537},{{{1,2},{3,1},{4,3}},{{3,4},{4,1}}},{VertexLabels -> {z$76537 -> Placed[ +"\[Delta]",Center],w$76537 -> Placed["\[Gamma]",Center],y$76537 -> Placed["\[Gamma]", +Center]},VertexSize -> {0.25`}}]]]},TagBox[GraphicsGroupBox[{{Arrowheads[Medium],Directive[ +Opacity[0.7`],Hue[0.6`,0.7`,0.5`]],{Arrowheads[0.`],ArrowBox[{{0.9436577907281397`,0.43563423903277654`},{0.`,0.`}}, +0.10894725023294383`]},ArrowBox[{{0.9436577907281397`,0.43563423903277654`},{2.092600517076475`,0.43578097428483575`}}, +0.10894725023294383`],{Arrowheads[0.`],ArrowBox[BezierCurveBox[{{9.010006417964345`*^-5,0.8715779972064679`},{0.14336798712108537`,0.4357741824813585`},{0.`,0.`}}], +0.10894725023294383`]},ArrowBox[{{9.010006417964345`*^-5,0.8715779972064679`},{0.9436577907281397`,0.43563423903277654`}}, +0.10894725023294383`],ArrowBox[BezierCurveBox[{{0.`,0.`},{-0.1432778870569057`,0.4358038147251092`},{9.010006417964345`*^-5,0.8715779972064679`}}], +0.10894725023294383`]},{Directive[Hue[0.6`,0.2`,0.8`],EdgeForm[Directive[GrayLevel[ +0],Opacity[0.7`]]]],{DiskBox[{0.9436577907281397`,0.43563423903277654`},0.10894725023294383`],InsetBox[ +FormBox["\"\[Gamma]\"",TraditionalForm],{0.9436577907281397`,0.43563423903277654`}, +BaseStyle -> "Graphics"]},DiskBox[{2.092600517076475`,0.43578097428483575`},0.10894725023294383`],{DiskBox[ +{9.010006417964345`*^-5,0.8715779972064679`},0.10894725023294383`],InsetBox[FormBox[ +"\"\[Delta]\"",TraditionalForm],{9.010006417964345`*^-5,0.8715779972064679`},BaseStyle -> "Graphics"]},{DiskBox[ +{0.`,0.`},0.10894725023294383`],InsetBox[FormBox["\"\[Gamma]\"",TraditionalForm], +{0.`,0.`},BaseStyle -> "Graphics"]}}}],MouseAppearanceTag["NetworkGraphics"]],AllowKernelInitialization -> False]], +{FormatType -> TraditionalForm,FrameTicks -> None,DefaultBaseStyle -> "NetworkGraphics"}], +StandardForm],"Output",CellLabel -> "Out[33]= ",ExpressionUUID -> "42649789-cefc-4a0d-8a3c-de61af83510f"]}, +Open],ExpressionUUID -> "09bdb811-e13e-4d69-88e1-8bb3187b8f05"],Cell[ +BoxData[""], +"Input",ExpressionUUID -> "9dee94d1-0cd2-4184-8d88-ffc971819149"],Cell[ +CellGroupData[ +{Cell[ +BoxData[RowBox[{"G","=",RowBox[{"Module","[",RowBox[{RowBox[{"{",RowBox[{"b",",","a",",","y",",","z",",","w"}],"}"}],",",RowBox[ +{"{",RowBox[{RowBox[{"x","\[UndirectedEdge]",RowBox[{"\[Gamma]","[","b","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","a","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","a","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","a","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","a","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","a","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","b","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","b","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","y","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","y","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","b","]"}]}],",",RowBox[ +{RowBox[{"\[Delta]","[","z","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","y","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","w","]"}],"\[Rule]",RowBox[{"\[Delta]","[","z","]"}]}],",",RowBox[ +{RowBox[{"\[Delta]","[","z","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","w","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","w","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","y","]"}]}]}],"}"}]}],"]"}]}]], +"Input",CellLabel -> "In[34]:= ",ExpressionUUID -> "eeab1346-aea0-4a4f-ab30-b37d469d1ce9"],Cell[ +BoxData[ +RowBox[{"{",RowBox[{RowBox[{"x","\[UndirectedEdge]",RowBox[{"\[Gamma]","[","b$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","a$77790","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","a$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","a$77790","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","a$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","a$77790","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","b$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","b$77790","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","y$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","y$77790","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","b$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Delta]","[","z$77790","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","y$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","w$77790","]"}],"\[Rule]",RowBox[{"\[Delta]","[","z$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Delta]","[","z$77790","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","w$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","w$77790","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","y$77790","]"}]}]}],"}"}], +StandardForm],"Output",CellLabel -> "Out[34]= ",ExpressionUUID -> "33ab710f-80a8-45fa-972f-8884fefc3028"]}, +Open],ExpressionUUID -> "b6a8d426-542b-4c9b-9333-544178295515"],Cell[ +CellGroupData[ +{Cell[ +BoxData[RowBox[{"G","=",RowBox[{"Module","[",RowBox[{RowBox[{"{","z","}"}],","," ",RowBox[ +{"EdgeAdd","[",RowBox[{RowBox[{"GraphUnion","[",RowBox[{RowBox[{"A","/.",RowBox[{RowBox[ +{"x","\[UndirectedEdge]","y_"}],"\[Rule]",RowBox[{RowBox[{"\[Gamma]","[","z","]"}],"\[UndirectedEdge]","y"}]}]}],","," ",RowBox[ +{"B","/.",RowBox[{RowBox[{"x","\[UndirectedEdge]","y_"}],"\[Rule]",RowBox[{RowBox[ +{"\[Gamma]","[","z","]"}],"\[UndirectedEdge]","y"}]}]}]}],"]"}],",",RowBox[{"{",RowBox[ +{"x","\[UndirectedEdge]",RowBox[{"\[Gamma]","[","z","]"}]}],"}"}]}],"]"}]}],"]"}]}]], +"Input",ExpressionUUID -> "e89ebf44-2e40-47ff-802b-67c09e5a0417"],Cell[ +BoxData[GraphicsBox[ +NamespaceBox["NetworkGraphics",DynamicModuleBox[{Set[Typeset`graph,HoldComplete[Graph[ +{x,\[Gamma][a$249493],\[Gamma][w$249499],\[Gamma][y$249499],\[Delta][z$249499],\[Gamma][ +z$285003]},{{{2,1},{3,5},{4,1},{5,4}},{{2,2},{3,4},{5,3},{1,6}}}]]]},TagBox[GraphicsGroupBox[ +GraphicsComplexBox[CompressedData["1:eJwB4QMe/CFib1JlAgAAAD0AAAACAAAAuqr2Qg1SAUAl2YYiuz/mP+ynUmBaPAdAb70b4u1C9j8ASDldL4BcP73np80URNY/FjtBdb+s7D/BPWHMRD3mPwAAAAAAAAAASd3fqI2u8D8aWYwHiT4HQAAAAAAAAAAA4Y/80+42B0DOgXcm0E72P4/ecspe5QZAGtExHpQ+9z8Qr4J4sLgGQIkgrVd2Uvg/LRLxWXm0BkAe6vTLVXT5PxLggP0P2QZAHKCzMvKM+j+9MJAThSMHQDYaDHPJhfs/3i+asd+NB0Bh8CjT5Ur8PwgbJ/WXDwhAGGru03fM/D9qL+8vRp4IQA/hu9gaAP0/i+ktkHguCUDbUbqQquH8P4MB4SGetAlAfouBA5hz/D9JP1VP9CUKQEcCqm63vvs/qrcb1GN5CkCI7sL5itH6P/c1aWk7qApADtByyxi/+T827LMyua4KQPICO2Vknfg/Q6Gs5FeMCkApy1ibqoP3PyWfUnbZQwpANwLWaoSI9j+O6ZaADtsJQP497PMWwPU/dbJU115aCUCD5wHRdTr1Pw3sce8czAhA85Jm+FgC9T8fuV3qsTsIQEgCfqNAHPU/rig8R7O0B0CSCNniGIb1P1N/DQX1QQdApHIHSWQ39j9QrNd//bOYv9LRgGEk9do/kP9F70fxnr8zSnJ7YCfcPyA1cNGTIKK/mhqBog5e3T/Qelq5O1Ckv2aG++N2mN4/EIG/UlAGpr/9rUcY39XfP0AZhTzOQae/58aNqMWK4D9YEayq+gGov9gZYSRfK+E/UInp1GNGqL+GJBbpXMzhP9BzrZ+Xoai/ZtraE8qw6j+oL8kEFWqov9KBic/MUes/UAOZgse2p7+vJVktdfLrPxAmi0IZiKa/VEjyDWSS7D/I8cp6vd6kv+mI0L86Me0/cEYlBLC7or8Nl1M3m87tP3hk68Q0IKC/B+5tRihq7j+QDlnirRuav2Vf0NOFA+8/MKMs2LDjmz8enobJP/faP8gu1T82BKE/2YBL5Pop3D/AEA9/sZ+jP84ugAIVYd0/ELy09b7CpT8WS4bx1ZveP1DwdL0abKc/P8xCVYPZ3z+QzYL9yJqoP8WIOouwjOA/6PmyfxZOqT+iLArpWC3hPxA+lxqZhak/DtS4pFvO4T+QU9NPZSqpP+6Jfc/Isuo/mNuVJfzlqD+clDKUxlPrP4DjbrfPJag/jecFEGD06z9QS6nNUeqmP3bXbyw2lOw/CEVEND00pT9B65VG6jLtP1D/WUyVBKM/JyFTZx7Q7T/4yYxypVygP1uJ2np1a+4/sECrdQB8mj+LRdOHkwTvP2d72S0="], +{{Arrowheads[Medium],Directive[Opacity[0.7`],Hue[0.6`,0.7`,0.5`]],{Arrowheads[0.`],ArrowBox[ +{1,6},0.02955823019083928`]},{Arrowheads[0.`],ArrowBox[BezierCurveBox[{2,10,13,15,21,23,26,2}, +SplineDegree -> 7],0.02955823019083928`]},ArrowBox[{2,1},0.02955823019083928`],{Arrowheads[ +0.`],ArrowBox[{3,4},0.02955823019083928`]},ArrowBox[BezierCurveBox[{3,{-0.1133688938649714`,0.6949744059771972`},5}], +0.02955823019083928`],{Arrowheads[0.`],ArrowBox[BezierCurveBox[{3,{0.11510843992940381`,0.6955465104863875`},5}], +0.02955823019083928`]},ArrowBox[{4,1},0.02955823019083928`],ArrowBox[{5,4},0.02955823019083928`]},{Directive[ +Hue[0.6`,0.2`,0.8`],EdgeForm[Directive[GrayLevel[0],Opacity[0.7`]]]],DiskBox[1,0.02955823019083928`],DiskBox[ +2,0.02955823019083928`],DiskBox[3,0.02955823019083928`],DiskBox[4,0.02955823019083928`],DiskBox[ +5,0.02955823019083928`],DiskBox[6,0.02955823019083928`]}}]],MouseAppearanceTag["NetworkGraphics"]], +AllowKernelInitialization -> False]],{FormatType -> TraditionalForm,FrameTicks -> None,DefaultBaseStyle -> "NetworkGraphics"}], +StandardForm],"Output",CellLabel -> "Out[1601]= ",ExpressionUUID -> "5cc313e1-c8b7-4083-afb1-871ccb77584b"]}, +Open],ExpressionUUID -> "81437d7e-d830-4a9e-ba97-2a26847b2fdc"],Cell[ +CellGroupData[ +{Cell[ +BoxData[""],"Input",ExpressionUUID -> "c0ca22f4-2ba8-44e2-9aee-3c3bc2045477"],Cell[ +BoxData[ +RowBox[{"{",RowBox[{"a$123315","\[Rule]",RowBox[{"Placed","[",RowBox[{"\"\[Gamma]\"",",","Center"}],"]"}]}],"}"}], +StandardForm],"Output",CellLabel -> "Out[424]= ",ExpressionUUID -> "4e9a0607-f254-40cd-bf4c-ab6ed5d52049"]}, +Open],ExpressionUUID -> "bcf4d785-c05a-49cb-a591-ba90d508a22f"],Cell[ +CellGroupData[ +{Cell[ +BoxData[{RowBox[{"R","[","G","]"}],"\n",RowBox[{"G2","=",RowBox[{"SubsetReplace","[",RowBox[ +{"G",",",RowBox[{"{","\[Gamma]Annihilation","}"}]}],"]"}]}],"\n",RowBox[{"R","[","G2","]"}],"\n",RowBox[ +{"G3","=",RowBox[{"SubsetReplace","[",RowBox[{"G2",",",RowBox[{"{","Duplication","}"}]}],"]"}]}],"\n",RowBox[ +{"R","[","G3","]"}],"\n",RowBox[{"G4","=",RowBox[{"SubsetReplace","[",RowBox[{"G3",",",RowBox[ +{"{","\[Delta]Annihilation","}"}]}],"]"}]}],"\n",RowBox[{"R","[","G4","]"}],"\n",RowBox[ +{"G5","=",RowBox[{"SubsetReplace","[",RowBox[{"G4",",",RowBox[{"{","\[Gamma]Annihilation","}"}]}],"]"}]}],"\n",RowBox[ +{"R","[","G5","]"}]}],"Input",CellLabel -> "In[35]:= ",ExpressionUUID -> "b69acc2f-d0f1-4654-9c1d-2e22b3492dc1"],Cell[ +BoxData[ +GraphicsBox[NamespaceBox["NetworkGraphics",DynamicModuleBox[{Set[Typeset`graph,HoldComplete[ +Graph[{x,b$77790,a$77790,y$77790,z$77790,w$77790},{{{3,2},{2,4},{4,2},{5,4},{6,5}},{{1,2},{3,3},{3,3},{5,6},{6,4}}}, +{VertexLabels -> {b$77790 -> Placed["\[Gamma]",Center],a$77790 -> Placed["\[Gamma]", +Center],w$77790 -> Placed["\[Gamma]",Center],y$77790 -> Placed["\[Gamma]",Center],z$77790 -> Placed[ +"\[Delta]",Center]},VertexSize -> {0.25`}}]]]},TagBox[GraphicsGroupBox[{{Arrowheads[ +Medium],Directive[Opacity[0.7`],Hue[0.6`,0.7`,0.5`]],{Arrowheads[0.`],ArrowBox[{{0.0013050129035765412`,0.`},{0.7348459980759194`,0.6936601808702931`}}, +0.08633129152957525`]},ArrowBox[BezierCurveBox[{{0.7348459980759194`,0.6936601808702931`},{1.365415985713799`,0.9011134587872454`},{1.9960278064313373`,0.6937873789047591`}}], +0.08633129152957525`],{Arrowheads[0.`],ArrowBox[BezierCurveBox[{{0.`,1.3871822276219086`},{-0.07322982502714331`,1.0981720059925226`},{-0.21496768830963478`,1.0294231776591674`},{-0.3202520250013412`,1.043602267543314`},{-0.46211833250350143`,1.3031870179415257`},{-0.41719538939317713`,1.3994562618611799`},{-0.2827905189024245`,1.4816228857023686`},{0.`,1.3871822276219086`}}, +SplineDegree -> 7],0.08633129152957525`]},{Arrowheads[0.`],ArrowBox[BezierCurveBox[ +{{0.`,1.3871822276219086`},{-0.11063177309346961`,1.664039819647065`},{-0.03637298035827427`,1.8029702158410106`},{0.05713809719164082`,1.8533836715647463`},{0.32449043889420204`,1.7267621203589731`},{0.3447326563059303`,1.6224736225425236`},{0.28429316167666163`,1.476998226773844`},{0.`,1.3871822276219086`}}, +SplineDegree -> 7],0.08633129152957525`]},ArrowBox[{{0.`,1.3871822276219086`},{0.7348459980759194`,0.6936601808702931`}}, +0.08633129152957525`],{Arrowheads[0.`],ArrowBox[{{1.9960278064313373`,0.6937873789047591`},{2.886707775889597`,1.0391691554988953`}}, +0.08633129152957525`]},ArrowBox[BezierCurveBox[{{1.9960278064313373`,0.6937873789047591`},{1.36545781879345`,0.4863341009878059`},{0.7348459980759194`,0.6936601808702931`}}], +0.08633129152957525`],{Arrowheads[0.`],ArrowBox[BezierCurveBox[{{2.886430573150463`,0.3485188788920079`},{2.772998126992576`,0.6938896006210065`},{2.886707775889597`,1.0391691554988953`}}], +0.08633129152957525`]},ArrowBox[{{2.886430573150463`,0.3485188788920079`},{1.9960278064313373`,0.6937873789047591`}}, +0.08633129152957525`],ArrowBox[BezierCurveBox[{{2.886707775889597`,1.0391691554988953`},{3.000140222047485`,0.6937984337699077`},{2.886430573150463`,0.3485188788920079`}}], +0.08633129152957525`]},{Directive[Hue[0.6`,0.2`,0.8`],EdgeForm[Directive[GrayLevel[ +0],Opacity[0.7`]]]],DiskBox[{0.0013050129035765412`,0.`},0.08633129152957525`],{DiskBox[ +{0.7348459980759194`,0.6936601808702931`},0.08633129152957525`],InsetBox[FormBox[ +"\"\[Gamma]\"",TraditionalForm],{0.7348459980759194`,0.6936601808702931`},BaseStyle -> "Graphics"]},{DiskBox[ +{0.`,1.3871822276219086`},0.08633129152957525`],InsetBox[FormBox["\"\[Gamma]\"",TraditionalForm], +{0.`,1.3871822276219086`},BaseStyle -> "Graphics"]},{DiskBox[{1.9960278064313373`,0.6937873789047591`}, +0.08633129152957525`],InsetBox[FormBox["\"\[Gamma]\"",TraditionalForm],{1.9960278064313373`,0.6937873789047591`}, +BaseStyle -> "Graphics"]},{DiskBox[{2.886430573150463`,0.3485188788920079`},0.08633129152957525`],InsetBox[ +FormBox["\"\[Delta]\"",TraditionalForm],{2.886430573150463`,0.3485188788920079`}, +BaseStyle -> "Graphics"]},{DiskBox[{2.886707775889597`,1.0391691554988953`},0.08633129152957525`],InsetBox[ +FormBox["\"\[Gamma]\"",TraditionalForm],{2.886707775889597`,1.0391691554988953`}, +BaseStyle -> "Graphics"]}}}],MouseAppearanceTag["NetworkGraphics"]],AllowKernelInitialization -> False]], +{FormatType -> TraditionalForm,FrameTicks -> None,DefaultBaseStyle -> "NetworkGraphics"}], +StandardForm],"Output",CellLabel -> "Out[35]= ",ExpressionUUID -> "18a421b6-affb-41d7-93f1-46c63717c49b"],Cell[ +BoxData[ +RowBox[{"{",RowBox[{RowBox[{RowBox[{"\[Gamma]","[","a$77790","]"}],"\[UndirectedEdge]",RowBox[ +{"\[Gamma]","[","a$77790","]"}]}],",",RowBox[{RowBox[{"\[Gamma]","[","a$77790","]"}],"\[UndirectedEdge]",RowBox[ +{"\[Gamma]","[","a$77790","]"}]}],",",RowBox[{"x","\[UndirectedEdge]",RowBox[{"\[Gamma]","[","w$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","a$77790","]"}],"\[Rule]",RowBox[{"\[Delta]","[","z$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Delta]","[","z$77790","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","a$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","w$77790","]"}],"\[Rule]",RowBox[{"\[Delta]","[","z$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Delta]","[","z$77790","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","w$77790","]"}]}]}],"}"}], +StandardForm],"Output",CellLabel -> "Out[36]= ",ExpressionUUID -> "b14ad229-9708-43d6-8c66-693b00f986f9"],Cell[ +BoxData[ +GraphicsBox[NamespaceBox["NetworkGraphics",DynamicModuleBox[{Set[Typeset`graph,HoldComplete[ +Graph[{a$77790,x,w$77790,z$77790},{{{1,4},{4,1},{3,4}},{{1,1},{1,1},{2,3},{4,3}}}, +{VertexLabels -> {a$77790 -> Placed["\[Gamma]",Center],w$77790 -> Placed["\[Gamma]", +Center],z$77790 -> Placed["\[Delta]",Center]},VertexSize -> {0.25`}}]]]},TagBox[GraphicsGroupBox[ +{{Arrowheads[Medium],Directive[Opacity[0.7`],Hue[0.6`,0.7`,0.5`]],{Arrowheads[0.`],ArrowBox[ +BezierCurveBox[{{3.0230585198086324`,1.7474479052645875`*^-15},{2.877949879175119`,0.2604476874408134`},{2.9338435078283087`,0.4077294770859517`},{3.020144558112591`,0.46968080364467085`},{3.3014874140089`,0.3782669683695444`},{3.334892354210121`,0.27742080774501643`},{3.2935411857831802`,0.12541388634068645`},{3.0230585198086324`,1.7474479052645875`*^-15}}, +SplineDegree -> 7],0.12165060001758393`]},{Arrowheads[0.`],ArrowBox[BezierCurveBox[ +{{3.0230585198086324`,1.7474479052645875`*^-15},{3.2935411857831807`,-0.12541388634068196`},{3.3348923542101225`,-0.2774208077450117`},{3.3014874140089012`,-0.3782669683695399`},{3.0201445581125927`,-0.46968080364466747`},{2.93384350782831`,-0.4077294770859486`},{2.87794987917512`,-0.2604476874408106`},{3.0230585198086324`,1.7474479052645875`*^-15}}, +SplineDegree -> 7],0.12165060001758393`]},ArrowBox[BezierCurveBox[{{3.0230585198086324`,1.7474479052645875`*^-15},{2.536456119738295`,-0.16003452449732616`},{2.049853719667961`,5.460774703951837`*^-16}}], +0.12165060001758393`],{Arrowheads[0.`],ArrowBox[{{0.`,1.5290169171065141`*^-15},{0.9759641293748642`,0.`}}, +0.12165060001758393`]},ArrowBox[BezierCurveBox[{{0.9759641293748642`,0.`},{1.5129089245214131`,0.1765912066199672`},{2.049853719667961`,5.460774703951837`*^-16}}], +0.12165060001758393`],{Arrowheads[0.`],ArrowBox[BezierCurveBox[{{0.9759641293748642`,0.`},{1.5129089245214118`,-0.17659120661996675`},{2.049853719667961`,5.460774703951837`*^-16}}], +0.12165060001758393`]},ArrowBox[BezierCurveBox[{{2.049853719667961`,5.460774703951837`*^-16},{2.5364561197382978`,0.16003452449732852`},{3.0230585198086324`,1.7474479052645875`*^-15}}], +0.12165060001758393`]},{Directive[Hue[0.6`,0.2`,0.8`],EdgeForm[Directive[GrayLevel[ +0],Opacity[0.7`]]]],{DiskBox[{3.0230585198086324`,1.7474479052645875`*^-15},0.12165060001758393`],InsetBox[ +FormBox["\"\[Gamma]\"",TraditionalForm],{3.0230585198086324`,1.7474479052645875`*^-15}, +BaseStyle -> "Graphics"]},DiskBox[{0.`,1.5290169171065141`*^-15},0.12165060001758393`],{DiskBox[ +{0.9759641293748642`,0.`},0.12165060001758393`],InsetBox[FormBox["\"\[Gamma]\"",TraditionalForm], +{0.9759641293748642`,0.`},BaseStyle -> "Graphics"]},{DiskBox[{2.049853719667961`,5.460774703951837`*^-16}, +0.12165060001758393`],InsetBox[FormBox["\"\[Delta]\"",TraditionalForm],{2.049853719667961`,5.460774703951837`*^-16}, +BaseStyle -> "Graphics"]}}}],MouseAppearanceTag["NetworkGraphics"]],AllowKernelInitialization -> False]], +{FormatType -> TraditionalForm,FrameTicks -> None,DefaultBaseStyle -> "NetworkGraphics"}], +StandardForm],"Output",CellLabel -> "Out[37]= ",ExpressionUUID -> "5b9e62f7-6ecd-47bf-9826-c6274f354e10"],Cell[ +BoxData[ +RowBox[{"{",RowBox[{RowBox[{"x","\[UndirectedEdge]",RowBox[{"\[Gamma]","[","w$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]1$78340","]"}],"\[UndirectedEdge]",RowBox[{"\[Delta]","[","\[Delta]1$78340","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]1$78340","]"}],"\[UndirectedEdge]",RowBox[{"\[Delta]","[","\[Delta]2$78340","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}],"\[UndirectedEdge]",RowBox[{"\[Delta]","[","\[Delta]1$78340","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}],"\[UndirectedEdge]",RowBox[{"\[Delta]","[","\[Delta]2$78340","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]1$78340","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","w$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","w$77790","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","\[Gamma]1$78340","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","w$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","w$77790","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}]}],",",RowBox[ +{RowBox[{"\[Delta]","[","\[Delta]1$78340","]"}],"\[Rule]",RowBox[{"\[Delta]","[","\[Delta]2$78340","]"}]}],",",RowBox[ +{RowBox[{"\[Delta]","[","\[Delta]2$78340","]"}],"\[Rule]",RowBox[{"\[Delta]","[","\[Delta]1$78340","]"}]}]}],"}"}], +StandardForm],"Output",CellLabel -> "Out[38]= ",ExpressionUUID -> "3366f75d-b739-410c-93de-0cd7aa3229b6"],Cell[ +BoxData[ +GraphicsBox[NamespaceBox["NetworkGraphics",DynamicModuleBox[{Set[Typeset`graph,HoldComplete[ +Graph[{x,w$77790,\[Gamma]1$78340,\[Delta]1$78340,\[Delta]2$78340,\[Gamma]2$78340}, +{{{3,2},{2,3},{6,2},{4,5},{5,4}},{{1,2},{3,4},{3,5},{6,4},{6,5},{2,6}}},{VertexLabels -> {\[Delta]2$78340 -> Placed[ +"\[Delta]",Center],w$77790 -> Placed["\[Gamma]",Center],\[Delta]1$78340 -> Placed[ +"\[Delta]",Center],\[Gamma]1$78340 -> Placed["\[Gamma]",Center],\[Gamma]2$78340 -> Placed[ +"\[Gamma]",Center]},VertexSize -> {0.25`}}]]]},TagBox[GraphicsGroupBox[{{Arrowheads[ +Medium],Directive[Opacity[0.7`],Hue[0.6`,0.7`,0.5`]],{Arrowheads[0.`],ArrowBox[{{0.`,0.40443395246704283`},{1.1562052842328847`,0.40459185666840314`}}, +0.08336160838719317`]},{Arrowheads[0.`],ArrowBox[BezierCurveBox[{{1.1562052842328847`,0.40459185666840314`},{1.7475003010073529`,0.37488097501284484`},{2.2057325433523`,0.`}}], +0.08336160838719317`]},ArrowBox[BezierCurveBox[{{1.1562052842328847`,0.40459185666840314`},{1.615224614197073`,0.7792626241983851`},{2.207028299019947`,0.8083371483107751`}}], +0.08336160838719317`],{Arrowheads[0.`],ArrowBox[{{2.207028299019947`,0.8083371483107751`},{3.013792777982588`,0.7379048415939171`}}, +0.08336160838719317`]},{Arrowheads[0.`],ArrowBox[{{2.207028299019947`,0.8083371483107751`},{3.0147209700166946`,0.07101262043285722`}}, +0.08336160838719317`]},ArrowBox[BezierCurveBox[{{2.207028299019947`,0.8083371483107751`},{1.7480089690557472`,0.4336663807807898`},{1.1562052842328847`,0.40459185666840314`}}], +0.08336160838719317`],{Arrowheads[0.`],ArrowBox[{{3.013792777982588`,0.7379048415939171`},{2.2057325433523`,0.`}}, +0.08336160838719317`]},ArrowBox[BezierCurveBox[{{3.013792777982588`,0.7379048415939171`},{3.1239211291379725`,0.40461136360501215`},{3.0147209700166946`,0.07101262043285722`}}], +0.08336160838719317`],{Arrowheads[0.`],ArrowBox[{{3.0147209700166946`,0.07101262043285722`},{2.2057325433523`,0.`}}, +0.08336160838719317`]},ArrowBox[BezierCurveBox[{{3.0147209700166946`,0.07101262043285722`},{2.904592618861311`,0.4043060984217406`},{3.013792777982588`,0.7379048415939171`}}], +0.08336160838719317`],ArrowBox[BezierCurveBox[{{2.2057325433523`,0.`},{1.6144375265778357`,0.0297108816555572`},{1.1562052842328847`,0.40459185666840314`}}], +0.08336160838719317`]},{Directive[Hue[0.6`,0.2`,0.8`],EdgeForm[Directive[GrayLevel[ +0],Opacity[0.7`]]]],DiskBox[{0.`,0.40443395246704283`},0.08336160838719317`],{DiskBox[ +{1.1562052842328847`,0.40459185666840314`},0.08336160838719317`],InsetBox[FormBox[ +"\"\[Gamma]\"",TraditionalForm],{1.1562052842328847`,0.40459185666840314`},BaseStyle -> "Graphics"]},{DiskBox[ +{2.207028299019947`,0.8083371483107751`},0.08336160838719317`],InsetBox[FormBox["\"\[Gamma]\"", +TraditionalForm],{2.207028299019947`,0.8083371483107751`},BaseStyle -> "Graphics"]},{DiskBox[ +{3.013792777982588`,0.7379048415939171`},0.08336160838719317`],InsetBox[FormBox["\"\[Delta]\"", +TraditionalForm],{3.013792777982588`,0.7379048415939171`},BaseStyle -> "Graphics"]},{DiskBox[ +{3.0147209700166946`,0.07101262043285722`},0.08336160838719317`],InsetBox[FormBox[ +"\"\[Delta]\"",TraditionalForm],{3.0147209700166946`,0.07101262043285722`},BaseStyle -> "Graphics"]},{DiskBox[ +{2.2057325433523`,0.`},0.08336160838719317`],InsetBox[FormBox["\"\[Gamma]\"",TraditionalForm], +{2.2057325433523`,0.`},BaseStyle -> "Graphics"]}}}],MouseAppearanceTag["NetworkGraphics"]], +AllowKernelInitialization -> False]],{FormatType -> TraditionalForm,FrameTicks -> None,DefaultBaseStyle -> "NetworkGraphics"}], +StandardForm],"Output",CellLabel -> "Out[39]= ",ExpressionUUID -> "1f0917f0-6bfd-4261-b23c-d152f17c747b"],Cell[ +BoxData[ +RowBox[{"{",RowBox[{RowBox[{"x","\[UndirectedEdge]",RowBox[{"\[Gamma]","[","w$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]1$78340","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","w$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","w$77790","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","\[Gamma]1$78340","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}],"\[Rule]",RowBox[{"\[Gamma]","[","w$77790","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","w$77790","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]1$78340","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","\[Gamma]1$78340","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]1$78340","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","\[Gamma]1$78340","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}]}]}],"}"}], +StandardForm],"Output",CellLabel -> "Out[40]= ",ExpressionUUID -> "b8d739f6-6089-4308-961b-783e2c256286"],Cell[ +BoxData[ +GraphicsBox[NamespaceBox["NetworkGraphics",DynamicModuleBox[{Set[Typeset`graph,HoldComplete[ +Graph[{x,w$77790,\[Gamma]1$78340,\[Gamma]2$78340},{{{3,2},{2,3},{4,2}},{{1,2},{2,4},{3,3},{3,3},{4,4},{4,4}}}, +{VertexLabels -> {w$77790 -> Placed["\[Gamma]",Center],\[Gamma]1$78340 -> Placed[ +"\[Gamma]",Center],\[Gamma]2$78340 -> Placed["\[Gamma]",Center]},VertexSize -> {0.25`}}]]]}, +TagBox[GraphicsGroupBox[{{Arrowheads[Medium],Directive[Opacity[0.7`],Hue[0.6`,0.7`, +0.5`]],{Arrowheads[0.`],ArrowBox[{{0.`,1.4954761788806423`},{0.8690519974308984`,1.0004821695801203`}}, +0.12492791713306223`]},{Arrowheads[0.`],ArrowBox[BezierCurveBox[{{0.8690519974308984`,1.0004821695801203`},{1.0372189474612004`,0.5014404874876061`},{0.8763458264732245`,0.`}}], +0.12492791713306223`]},ArrowBox[BezierCurveBox[{{0.8690519974308984`,1.0004821695801203`},{1.2174688624398624`,1.3945976619977545`},{1.7318025873749314`,1.5049704511292161`}}], +0.12492791713306223`],{Arrowheads[0.`],ArrowBox[BezierCurveBox[{{1.7318025873749314`,1.5049704511292161`},{1.4750691671441885`,1.6565536507800926`},{1.448974443417304`,1.811908369661474`},{1.4922019348796842`,1.908950742491208`},{1.781214521295004`,1.9720539653655318`},{1.860956343588271`,1.9018608038759373`},{1.9019899717683717`,1.7497678564935137`},{1.7318025873749314`,1.5049704511292161`}}, +SplineDegree -> 7],0.12492791713306223`]},{Arrowheads[0.`],ArrowBox[BezierCurveBox[ +{{1.7318025873749314`,1.5049704511292161`},{2.0286026566156985`,1.5332411847321632`},{2.141028944206786`,1.4228946707700925`},{2.1630972445863077`,1.318977260001182`},{1.9663722943657087`,1.0980483442741953`},{1.8606012998326609`,1.1079647376732729`},{1.738006405845013`,1.206891555337912`},{1.7318025873749314`,1.5049704511292161`}}, +SplineDegree -> 7],0.12492791713306223`]},ArrowBox[BezierCurveBox[{{1.7318025873749314`,1.5049704511292161`},{1.3833857223659587`,1.110854958711594`},{0.8690519974308984`,1.0004821695801203`}}], +0.12492791713306223`],{Arrowheads[0.`],ArrowBox[BezierCurveBox[{{0.8763458264732245`,0.`},{1.1357287335403743`,0.14700347955462584`},{1.2834140806937755`,0.09218503812042636`},{1.3459929060280127`,0.006337913751916974`},{1.2566325231402649`,-0.2756638837844717`},{1.1560325683564703`,-0.3098031169342333`},{1.0037282312884064`,-0.2695611960636657`},{0.8763458264732245`,0.`}}, +SplineDegree -> 7],0.12492791713306223`]},{Arrowheads[0.`],ArrowBox[BezierCurveBox[ +{{0.8763458264732245`,0.`},{0.7529071239234099`,-0.27138976066276216`},{0.6012056968274634`,-0.31384797897381045`},{0.5001186899885164`,-0.28117910707871785`},{0.40665626065669946`,-5.101452268693879`*^-4},{0.4679767959401364`,0.08624024436942032`},{0.6148472005568505`,0.14320608968762902`},{0.8763458264732245`,0.`}}, +SplineDegree -> 7],0.12492791713306223`]},ArrowBox[BezierCurveBox[{{0.8763458264732245`,0.`},{0.7081788764429222`,0.4990416820925221`},{0.8690519974308984`,1.0004821695801203`}}], +0.12492791713306223`]},{Directive[Hue[0.6`,0.2`,0.8`],EdgeForm[Directive[GrayLevel[ +0],Opacity[0.7`]]]],DiskBox[{0.`,1.4954761788806423`},0.12492791713306223`],{DiskBox[ +{0.8690519974308984`,1.0004821695801203`},0.12492791713306223`],InsetBox[FormBox[ +"\"\[Gamma]\"",TraditionalForm],{0.8690519974308984`,1.0004821695801203`},BaseStyle -> "Graphics"]},{DiskBox[ +{1.7318025873749314`,1.5049704511292161`},0.12492791713306223`],InsetBox[FormBox[ +"\"\[Gamma]\"",TraditionalForm],{1.7318025873749314`,1.5049704511292161`},BaseStyle -> "Graphics"]},{DiskBox[ +{0.8763458264732245`,0.`},0.12492791713306223`],InsetBox[FormBox["\"\[Gamma]\"",TraditionalForm], +{0.8763458264732245`,0.`},BaseStyle -> "Graphics"]}}}],MouseAppearanceTag["NetworkGraphics"]], +AllowKernelInitialization -> False]],{FormatType -> TraditionalForm,FrameTicks -> None,DefaultBaseStyle -> "NetworkGraphics"}], +StandardForm],"Output",CellLabel -> "Out[41]= ",ExpressionUUID -> "f4f11832-7980-45b6-802c-e9ff7c8c2fce"],Cell[ +BoxData[ +RowBox[{"{",RowBox[{RowBox[{RowBox[{"\[Gamma]","[","\[Gamma]1$78340","]"}],"\[UndirectedEdge]",RowBox[ +{"\[Gamma]","[","\[Gamma]2$78340","]"}]}],",",RowBox[{RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}],"\[Rule]",RowBox[ +{"\[Gamma]","[","\[Gamma]1$78340","]"}]}],",",RowBox[{RowBox[{"\[Gamma]","[","\[Gamma]1$78340","]"}],"\[UndirectedEdge]","x"}],",",RowBox[ +{RowBox[{"\[Gamma]","[","w$77790","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}]}],",",RowBox[ +{RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}],"\[UndirectedEdge]",RowBox[{"\[Gamma]","[","\[Gamma]2$78340","]"}]}]}],"}"}], +StandardForm],"Output",CellLabel -> "Out[42]= ",ExpressionUUID -> "0e767641-c9db-40ec-9850-7ec3de541fca"],Cell[ +BoxData[ +GraphicsBox[NamespaceBox["NetworkGraphics",DynamicModuleBox[{Set[Typeset`graph,HoldComplete[ +Graph[{\[Gamma]1$78340,\[Gamma]2$78340,x,w$77790},{{{2,1}},{{1,2},{1,3},{4,2},{2,2},{2,2}}}, +{VertexLabels -> {w$77790 -> Placed["\[Gamma]",Center],\[Gamma]1$78340 -> Placed[ +"\[Gamma]",Center],\[Gamma]2$78340 -> Placed["\[Gamma]",Center]},VertexSize -> {0.25`}}]]]}, +TagBox[GraphicsGroupBox[{{Arrowheads[Medium],Directive[Opacity[0.7`],Hue[0.6`,0.7`, +0.5`]],{Arrowheads[0.`],ArrowBox[BezierCurveBox[{{0.9496010561689269`,3.691737640127853`*^-13},{1.4733684961720173`,0.17225741836890737`},{1.9971359361750727`,2.696999478677295`*^-13}}], +0.11870013202111586`]},{Arrowheads[0.`],ArrowBox[{{0.9496010561689269`,3.691737640127853`*^-13},{0.`,0.`}}, +0.11870013202111586`]},{Arrowheads[0.`],ArrowBox[BezierCurveBox[{{1.9971359361750727`,2.696999478677295`*^-13},{1.647373410742906`,0.08810406656244488`},{1.5935992184489391`,0.18332581121990316`},{1.5925494397662336`,0.2568348994799915`},{1.7403010366954579`,0.40458649640917665`},{1.8138101249555458`,0.4035367177264516`},{1.90903186961299`,0.34976252543245934`},{1.9971359361750727`,2.696999478677295`*^-13}}, +SplineDegree -> 7],0.11870013202111586`]},{Arrowheads[0.`],ArrowBox[BezierCurveBox[ +{{1.9971359361750727`,2.696999478677295`*^-13},{2.0852400027372746`,0.34976252543242936`},{2.180461747394737`,0.4035367177263892`},{2.253970835654825`,0.40458649640908917`},{2.401722432583999`,0.2568348994798535`},{2.4006726539012684`,0.1833258112197657`},{2.346898461607269`,0.08810406656232561`},{1.9971359361750727`,2.696999478677295`*^-13}}, +SplineDegree -> 7],0.11870013202111586`]},{Arrowheads[0.`],ArrowBox[{{1.9971359361750727`,2.696999478677295`*^-13},{2.9477142782720716`,3.55092509332364`*^-14}}, +0.11870013202111586`]},ArrowBox[BezierCurveBox[{{1.9971359361750727`,2.696999478677295`*^-13},{1.4733684961719815`,-0.17225741836826855`},{0.9496010561689269`,3.691737640127853`*^-13}}], +0.11870013202111586`]},{Directive[Hue[0.6`,0.2`,0.8`],EdgeForm[Directive[GrayLevel[ +0],Opacity[0.7`]]]],{DiskBox[{0.9496010561689269`,3.691737640127853`*^-13},0.11870013202111586`],InsetBox[ +FormBox["\"\[Gamma]\"",TraditionalForm],{0.9496010561689269`,3.691737640127853`*^-13}, +BaseStyle -> "Graphics"]},{DiskBox[{1.9971359361750727`,2.696999478677295`*^-13}, +0.11870013202111586`],InsetBox[FormBox["\"\[Gamma]\"",TraditionalForm],{1.9971359361750727`,2.696999478677295`*^-13}, +BaseStyle -> "Graphics"]},DiskBox[{0.`,0.`},0.11870013202111586`],{DiskBox[{2.9477142782720716`,3.55092509332364`*^-14}, +0.11870013202111586`],InsetBox[FormBox["\"\[Gamma]\"",TraditionalForm],{2.9477142782720716`,3.55092509332364`*^-14}, +BaseStyle -> "Graphics"]}}}],MouseAppearanceTag["NetworkGraphics"]],AllowKernelInitialization -> False]], +{FormatType -> TraditionalForm,FrameTicks -> None,DefaultBaseStyle -> "NetworkGraphics"}], +StandardForm],"Output",CellLabel -> "Out[43]= ",ExpressionUUID -> "d13651d4-fa47-421c-93b3-6ec71b70ac76"]}, +Open],ExpressionUUID -> "8813db4f-f6b3-4c7a-b03d-56471a09a438"],Cell[ +BoxData[""], +"Input",ExpressionUUID -> "db752eec-bac6-4b10-950b-0126113aa206"],Cell[ +CellGroupData[ +{Cell[ +BoxData[""],"Input",ExpressionUUID -> "33a40da6-c6db-40bc-8891-dfa7d8e540cf"],Cell[ +BoxData[ +RowBox[{"{",RowBox[{"{",RowBox[{RowBox[{RowBox[{"\[Delta]","[","\[Delta]1$99385","]"}],"\[Rule]",RowBox[ +{"\[Delta]","[","\[Delta]2$99385","]"}]}],",",RowBox[{RowBox[{"\[Delta]","[","\[Delta]2$99385","]"}],"\[Rule]",RowBox[ +{"\[Delta]","[","\[Delta]1$99385","]"}]}],",",RowBox[{RowBox[{"\[Gamma]","[","\[Gamma]1$99385","]"}],"\[UndirectedEdge]",RowBox[ +{"\[Delta]","[","\[Delta]1$99385","]"}]}],",",RowBox[{RowBox[{"\[Gamma]","[","\[Gamma]2$99385","]"}],"\[UndirectedEdge]",RowBox[ +{"\[Delta]","[","\[Delta]1$99385","]"}]}],",",RowBox[{RowBox[{"\[Gamma]","[","\[Gamma]1$99385","]"}],"\[UndirectedEdge]",RowBox[ +{"\[Delta]","[","\[Delta]2$99385","]"}]}],",",RowBox[{RowBox[{"\[Gamma]","[","\[Gamma]2$99385","]"}],"\[UndirectedEdge]",RowBox[ +{"\[Delta]","[","\[Delta]2$99385","]"}]}]}],"}"}],"}"}],StandardForm],"Output",CellLabel -> "Out[222]= ", +ExpressionUUID -> "37963111-2051-455b-be49-b60dcd541d4b"]},Open],ExpressionUUID -> "9146f5ee-1268-4c10-9cda-4e69fa6fe122"],Cell[ +BoxData[ +""],"Input",ExpressionUUID -> "7eada232-efc4-4d8f-87e6-13f6392176ca"]},StyleDefinitions -> "Default.nb", +FrontEndVersion -> "13.3 for Wolfram Cloud 1.67.0.1 (October 23, 2023)",Magnification -> 1.25`, +TaggingRules -> {"TryRealOnly" -> False}] \ No newline at end of file |