diff --git a/counting_isomers.nb b/counting_isomers.nb new file mode 100644 index 0000000..9d3a846 --- /dev/null +++ b/counting_isomers.nb @@ -0,0 +1,1532 @@ +(*CacheID: 234*) +(* Internal cache information: +NotebookFileLineBreakTest +NotebookFileLineBreakTest +NotebookDataPosition[ 0, 0] +NotebookDataLength[ 66684, 1531] +NotebookOptionsPosition[ 64220, 1477] +NotebookOutlinePosition[ 65078, 1504] +CellTagsIndexPosition[ 65035, 1501] +WindowFrame->Normal*) + +(* Beginning of Notebook Content *) +Notebook[{ +Cell[BoxData[ + RowBox[{ + RowBox[{"(*", " ", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"Input", ":", " ", + RowBox[{"a", " ", "vector", " ", "v", " ", "in", " ", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"-", "1"}], ",", " ", "1"}], "}"}], "^", "n"}]}]}], ";", + "\[IndentingNewLine]", + RowBox[{"Output", ":", " ", + RowBox[{"a", " ", "unique", " ", "integer", " ", "via", " ", "Sum_", + RowBox[{ + RowBox[{"{", + RowBox[{"i", "=", "0"}], "}"}], "^", "n"}], " ", + RowBox[{"2", "^", + RowBox[{"(", + RowBox[{"i", "-", "1"}], ")"}]}], + RowBox[{"(", + RowBox[{"v_i", "+", "1"}], ")"}]}]}]}], " ", "\[IndentingNewLine]", + "*)"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + RowBox[{"encodeAsInteger", "[", "v_", "]"}], ":=", " ", + RowBox[{"Dot", "[", + RowBox[{ + RowBox[{ + RowBox[{"(", + RowBox[{"v", "+", "1"}], ")"}], "/", "2"}], " ", ",", " ", + RowBox[{"2", "^", + RowBox[{"(", + RowBox[{"Range", "[", + RowBox[{"0", ",", " ", + RowBox[{ + RowBox[{"Length", "[", "v", "]"}], "-", "1"}]}], "]"}], ")"}]}]}], + "]"}]}], "\[IndentingNewLine]", "\[IndentingNewLine]", + RowBox[{"(*", " ", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"Input", ":", " ", "\[IndentingNewLine]", "n", ":", " ", + RowBox[{ + "the", " ", "number", " ", "of", " ", "ligand", " ", "sites", " ", + RowBox[{"(", + RowBox[{"an", " ", "integer"}], ")"}]}]}], ";", "\[IndentingNewLine]", + " ", + RowBox[{"int", ":", " ", + RowBox[{ + "the", " ", "label", " ", "of", " ", "a", " ", "particular", " ", + "configuration", " ", + RowBox[{"(", + RowBox[{ + "0", " ", "\[LessEqual]", " ", "int", " ", "\[LessEqual]", " ", + RowBox[{ + RowBox[{"2", "^", "n"}], " ", "-", " ", "1"}]}], ")"}]}]}], ";", + " ", "\[IndentingNewLine]", + RowBox[{"Output", ":", " ", + RowBox[{"a", " ", "vector", " ", "in", " ", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"-", "1"}], ",", " ", "1"}], "}"}], "^", "n"}], " ", + RowBox[{"(", + RowBox[{ + "the", " ", "opposite", " ", "transformation", " ", "from", " ", + "encodeAsInteger"}], ")"}]}]}]}], " ", "\[IndentingNewLine]", "*)"}], + "\[IndentingNewLine]", + RowBox[{ + RowBox[{"decodeInteger", "[", + RowBox[{"n_", ",", " ", "int_"}], "]"}], ":=", " ", + RowBox[{ + RowBox[{ + RowBox[{"PadRight", "[", + RowBox[{ + RowBox[{"Reverse", "[", + RowBox[{"IntegerDigits", "[", + RowBox[{"int", ",", " ", "2"}], "]"}], "]"}], ",", " ", "n"}], + "]"}], "*", "2"}], "-", "1"}]}], "\[IndentingNewLine]", + "\[IndentingNewLine]", + RowBox[{"(*", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"Input", ":", " ", + RowBox[{"a", " ", "list", " ", "of", " ", "vectors", " ", "in", " ", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"-", "1"}], ",", " ", "1"}], "}"}], "^", "n"}]}]}], ";", + "\[IndentingNewLine]", + RowBox[{"Output", ":", " ", + RowBox[{ + "a", " ", "representative", " ", "from", " ", "the", " ", "list", " ", + "that", " ", "does", " ", "not", " ", "depend", " ", "on", " ", "the", + " ", "order", " ", "of", " ", "the", " ", "list"}]}], ";", + "\[IndentingNewLine]", + RowBox[{"Note", ":", " ", + RowBox[{ + "here", " ", "we", " ", "take", " ", "the", " ", "one", " ", "with", + " ", "the", " ", "minimum", " ", "encodeAsInteger", " ", "value"}]}]}], + "\[IndentingNewLine]", "*)"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"uniqueRepresentative", "[", "list_", "]"}], ":=", " ", + RowBox[{ + RowBox[{"MinimalBy", "[", + RowBox[{"list", ",", " ", "encodeAsInteger"}], "]"}], "[", + RowBox[{"[", "1", "]"}], "]"}]}], "\[IndentingNewLine]", + "\[IndentingNewLine]", + RowBox[{"(*", " ", "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + "Input", ":", " ", "\[IndentingNewLine]", "generators", ":", " ", + RowBox[{ + "a", " ", "list", " ", "of", " ", "signed", " ", "permutation", " ", + "matrices"}]}], ";", "\[IndentingNewLine]", + RowBox[{"Output", ":", " ", + RowBox[{ + "the", " ", "subgroup", " ", "generated", " ", "by", " ", "those", " ", + "signed", " ", "permutation", " ", "matrices", " ", + RowBox[{"(", + RowBox[{ + "all", " ", "possible", " ", "applications", " ", "in", " ", "all", + " ", "possible", " ", "orders"}], ")"}]}]}]}], "\[IndentingNewLine]", + "*)"}], " ", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"generateSubgroup", "[", "generatorMatrices_", "]"}], ":=", " ", + RowBox[{"Module", "[", + RowBox[{ + RowBox[{"{", + RowBox[{"groupSoFar", ",", " ", + RowBox[{"groupSize", "=", + RowBox[{"-", "1"}]}]}], "}"}], ",", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"groupSoFar", " ", "=", " ", + RowBox[{"DeleteDuplicates", " ", "@", " ", + RowBox[{"Append", "[", + RowBox[{"generatorMatrices", ",", + RowBox[{"IdentityMatrix", "[", + RowBox[{"Length", "[", + RowBox[{"generatorMatrices", "[", + RowBox[{"[", "1", "]"}], "]"}], "]"}], "]"}]}], "]"}]}]}], ";", + "\[IndentingNewLine]", + RowBox[{"While", "[", + RowBox[{ + RowBox[{ + RowBox[{"Length", "[", "groupSoFar", "]"}], "\[NotEqual]", " ", + "groupSize"}], ",", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"groupSize", " ", "=", " ", + RowBox[{"Length", "[", "groupSoFar", "]"}]}], ";", + "\[IndentingNewLine]", + RowBox[{"groupSoFar", "=", " ", + RowBox[{"DeleteDuplicates", "[", + RowBox[{ + RowBox[{ + RowBox[{"(", + RowBox[{"Dot", " ", "@@", " ", "#"}], ")"}], " ", "&"}], "/@", + " ", + RowBox[{"Tuples", "[", + RowBox[{"groupSoFar", ",", " ", "2"}], "]"}]}], "]"}]}], + ";"}]}], "\[IndentingNewLine]", "]"}], ";", "\[IndentingNewLine]", + RowBox[{"SortBy", "[", + RowBox[{"groupSoFar", ",", " ", "Minus"}], "]"}]}]}], " ", + "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]", + "\[IndentingNewLine]", + RowBox[{"(*", " ", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"Input", ":", " ", "\[IndentingNewLine]", "v", ":", " ", + RowBox[{"a", " ", "vector", " ", "v", " ", "in", " ", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"-", "1"}], ",", " ", "1"}], "}"}], "^", "n"}]}]}], ";", + " ", "\[IndentingNewLine]", " ", + RowBox[{"group", ":", " ", + RowBox[{ + "a", " ", "subgroup", " ", "of", " ", "the", " ", "n", " ", "x", " ", + "n", " ", "signed", " ", "permutations", " ", "matrices"}]}], ";", + "\[IndentingNewLine]", + RowBox[{"Output", ":", " ", + RowBox[{"the", " ", "set", " ", + RowBox[{"{", " ", + RowBox[{"G", ".", "v"}], " ", "}"}], " ", "taken", " ", "over", " ", + "all", " ", "G", " ", "in", " ", "the", " ", + RowBox[{"subgroup", " ", "[", + RowBox[{ + "the", " ", "orbit", " ", "of", " ", "v", " ", "under", " ", "G"}], + "]"}]}]}]}], "\[IndentingNewLine]", "*)"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"groupOrbit", "[", + RowBox[{"v_", ",", " ", "group_"}], "]"}], ":=", " ", + RowBox[{"DeleteDuplicates", "[", " ", + RowBox[{ + RowBox[{ + RowBox[{"#", ".", "v"}], " ", "&"}], " ", "/@", " ", "group"}], + "]"}]}], "\[IndentingNewLine]", "\[IndentingNewLine]", + RowBox[{"(*", " ", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"Input", ":", " ", "\[IndentingNewLine]", "group", ":", " ", + RowBox[{ + "a", " ", "subgroup", " ", "of", " ", "the", " ", "n", " ", "x", " ", + "n", " ", "signed", " ", "permutations", " ", "matrices"}]}], ";", + "\[IndentingNewLine]", + RowBox[{"Output", ":", " ", + RowBox[{"all", " ", "possible", " ", "group", " ", "orbits"}]}]}], " ", + "\[IndentingNewLine]", "*)"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"allGroupOrbits", "[", "group_", "]"}], ":=", " ", + RowBox[{ + RowBox[{ + RowBox[{"groupOrbit", "[", + RowBox[{"#", ",", " ", "group"}], "]"}], " ", "&"}], " ", "/@", " ", + RowBox[{"Tuples", "[", + RowBox[{ + RowBox[{"{", + RowBox[{ + RowBox[{"-", "1"}], ",", " ", "1"}], "}"}], ",", " ", + RowBox[{ + RowBox[{"Dimensions", "[", "group", "]"}], "[", + RowBox[{"[", + RowBox[{"-", "1"}], "]"}], "]"}]}], "]"}]}]}], "\[IndentingNewLine]", + "\[IndentingNewLine]", + RowBox[{"(*", " ", "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + RowBox[{"Input", ":", " ", "\[IndentingNewLine]", "group", ":", " ", + RowBox[{ + "a", " ", "subgroup", " ", "of", " ", "the", " ", "n", " ", "x", " ", + "n", " ", "signed", " ", "permutations", " ", "matrices"}]}], ";", + "\[IndentingNewLine]", + RowBox[{"Output", ":", " ", + RowBox[{ + "the", " ", "representatives", " ", "of", " ", "all", " ", + "orbits"}]}]}], ",", " ", + RowBox[{ + "indexed", " ", "by", " ", "the", " ", "length", " ", "of", " ", "the", + " ", "orbit"}]}], " ", "\[IndentingNewLine]", "*)"}], + "\[IndentingNewLine]", + RowBox[{ + RowBox[{"repsByLength", "[", "group_", "]"}], ":=", + RowBox[{"Module", "[", + RowBox[{ + RowBox[{"{", "groupedByLength", "}"}], ",", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"groupedByLength", "=", " ", + RowBox[{"Map", "[", + RowBox[{ + RowBox[{ + RowBox[{"encodeAsInteger", "[", + RowBox[{"uniqueRepresentative", "[", "#", "]"}], "]"}], " ", + "&"}], ",", " ", + RowBox[{"GroupBy", "[", + RowBox[{ + RowBox[{"allGroupOrbits", "[", "group", "]"}], ",", " ", + "Length"}], "]"}], ",", " ", + RowBox[{"{", "2", "}"}]}], "]"}]}], ";", "\[IndentingNewLine]", + RowBox[{"Sort", " ", "/@", " ", + RowBox[{"DeleteDuplicates", " ", "/@", " ", "groupedByLength"}]}]}]}], + "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]", + "\[IndentingNewLine]", + RowBox[{"(*", " ", "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + "Input", ":", " ", "\[IndentingNewLine]", "signedPermutation", ":", " ", + + RowBox[{"a", " ", "signed", " ", "permutation"}]}], ";", + "\[IndentingNewLine]", + RowBox[{"Output", ":", " ", + RowBox[{ + "the", " ", "signed", " ", "permutation", " ", "matrix", " ", + "corresponding", " ", "to", " ", "it"}]}]}], "\[IndentingNewLine]", + "*)"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"toMatrix", "[", "signedPermutation_", "]"}], " ", ":=", " ", + RowBox[{"Module", "[", + RowBox[{ + RowBox[{"{", + RowBox[{"toReturn", ",", " ", "n", ",", " ", "i"}], "}"}], ",", + "\[IndentingNewLine]", + RowBox[{ + RowBox[{"n", " ", "=", " ", + RowBox[{"Length", "[", "signedPermutation", "]"}]}], ";", + "\[IndentingNewLine]", + RowBox[{"toReturn", " ", "=", " ", + RowBox[{"ConstantArray", "[", + RowBox[{"0", ",", " ", + RowBox[{"{", + RowBox[{"n", ",", " ", "n"}], "}"}]}], "]"}]}], ";", + "\[IndentingNewLine]", + RowBox[{"For", "[", + RowBox[{ + RowBox[{"i", "=", "1"}], ",", " ", + RowBox[{"i", "\[LessEqual]", " ", "n"}], ",", " ", + RowBox[{"++", "i"}], ",", " ", "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + RowBox[{"toReturn", "[", + RowBox[{"[", + RowBox[{"i", ",", " ", + RowBox[{"Abs", "[", + RowBox[{"signedPermutation", "[", + RowBox[{"[", "i", "]"}], "]"}], "]"}]}], "]"}], "]"}], " ", + "=", " ", + RowBox[{"Sign", "[", + RowBox[{"signedPermutation", "[", + RowBox[{"[", "i", "]"}], "]"}], "]"}]}], ";"}]}], + "\[IndentingNewLine]", "]"}], ";", "\[IndentingNewLine]", + "toReturn"}]}], "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]", + "\[IndentingNewLine]", + RowBox[{"(*", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"Input", ":", " ", "\[IndentingNewLine]", "group", ":", " ", + RowBox[{ + "a", " ", "subgroup", " ", "of", " ", "the", " ", "n", " ", "x", " ", + "n", " ", "signed", " ", "permutation", " ", "matrices", " ", + RowBox[{"(", + RowBox[{ + "presumably", " ", "generated", " ", "from", " ", "the", " ", "rigid", + " ", "motions"}], ")"}]}]}], ";", "\[IndentingNewLine]", " ", + RowBox[{"reflectionMatrix", ":", " ", + RowBox[{ + "a", " ", "signed", " ", "permutation", " ", "matrix", " ", + "representing", " ", "a", " ", "reflection"}]}], ";", + "\[IndentingNewLine]", + RowBox[{"Output", ":", " ", + RowBox[{"a", " ", "list", " ", "of", " ", "chiral", " ", "pairs"}]}]}], + "\[IndentingNewLine]", "*)"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"chiralPairs", "[", + RowBox[{"group_", ",", " ", "reflectionMatrix_"}], "]"}], ":=", " ", + RowBox[{"Module", "[", + RowBox[{ + RowBox[{"{", + RowBox[{ + "group2", ",", " ", "set1", ",", " ", "set2", ",", " ", "diff"}], + "}"}], ",", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"group2", " ", "=", " ", + RowBox[{"generateSubgroup", "[", + RowBox[{"Append", "[", + RowBox[{"group", ",", " ", "reflectionMatrix"}], "]"}], "]"}]}], + ";", "\[IndentingNewLine]", "\[IndentingNewLine]", + RowBox[{"set1", " ", "=", " ", + RowBox[{"DeleteDuplicates", "[", + RowBox[{"uniqueRepresentative", " ", "/@", " ", + RowBox[{"allGroupOrbits", "[", "group", "]"}]}], "]"}]}], ";", + "\[IndentingNewLine]", + RowBox[{"set2", " ", "=", " ", + RowBox[{"DeleteDuplicates", "[", + RowBox[{"uniqueRepresentative", " ", "/@", " ", + RowBox[{"allGroupOrbits", "[", "group2", "]"}]}], "]"}]}], ";", + "\[IndentingNewLine]", + RowBox[{"diff", " ", "=", " ", + RowBox[{"Complement", "[", + RowBox[{"set1", ",", " ", "set2"}], "]"}]}], ";", + "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + RowBox[{"{", + RowBox[{"#", ",", " ", + RowBox[{"uniqueRepresentative", "[", + RowBox[{"groupOrbit", "[", + RowBox[{ + RowBox[{"reflectionMatrix", ".", "#"}], ",", " ", "group"}], + "]"}], "]"}]}], "}"}], " ", "&"}], " ", "/@", " ", "diff"}]}]}], + "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]", + "\[IndentingNewLine]", + RowBox[{"(*", "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + RowBox[{"Input", ":", " ", "\[IndentingNewLine]", "group", ":", " ", + RowBox[{ + "a", " ", "subgroup", " ", "of", " ", "the", " ", "n", " ", "x", " ", + "n", " ", "signed", " ", "permutation", " ", "matrices", " ", + RowBox[{"(", + RowBox[{ + "presumably", " ", "generated", " ", "from", " ", "the", " ", + "rigid", " ", "motions"}], ")"}]}]}], ";", "\[IndentingNewLine]", + " ", + RowBox[{"reflectionMatrix", ":", " ", + RowBox[{ + "a", " ", "signed", " ", "permutation", " ", "matrix", " ", + "representing", " ", "a", " ", "reflection"}]}], ";", + "\[IndentingNewLine]", + RowBox[{"Output", ":", " ", + RowBox[{ + "the", " ", "representatives", " ", "of", " ", "all", " ", + "orbits"}]}]}], ",", " ", + RowBox[{ + "indexed", " ", "by", " ", "the", " ", "length", " ", "of", " ", "the", + " ", "orbit", " ", "and", " ", "grouped", " ", "into", " ", "chiral", + " ", "pairs"}]}], "\[IndentingNewLine]", "*)"}], "\[IndentingNewLine]", + + RowBox[{ + RowBox[{"repsByLengthWithChiral", "[", + RowBox[{"group_", ",", " ", "reflectionMatrix_"}], "]"}], ":=", " ", + RowBox[{"Module", "[", + RowBox[{ + RowBox[{"{", + RowBox[{"combine", ",", " ", "chiralPairList"}], "}"}], ",", + "\[IndentingNewLine]", + RowBox[{ + RowBox[{"combine", " ", "=", " ", + RowBox[{"Function", "[", + RowBox[{ + RowBox[{"{", + RowBox[{"singletons", ",", " ", "pairs"}], "}"}], ",", " ", + RowBox[{"Join", "[", + RowBox[{ + RowBox[{"Complement", "[", + RowBox[{"singletons", ",", " ", + RowBox[{"Flatten", "[", "pairs", "]"}]}], "]"}], ",", " ", + RowBox[{"Select", "[", + RowBox[{"pairs", ",", " ", + RowBox[{ + RowBox[{"MemberQ", "[", + RowBox[{"singletons", ",", + RowBox[{"#", "[", + RowBox[{"[", "1", "]"}], "]"}]}], "]"}], " ", "&"}]}], + "]"}]}], "]"}]}], "]"}]}], ";", "\[IndentingNewLine]", + RowBox[{"chiralPairList", " ", "=", " ", + RowBox[{"Sort", "[", + RowBox[{"Sort", " ", "/@", " ", + RowBox[{"Map", "[", + RowBox[{"encodeAsInteger", ",", " ", + RowBox[{"chiralPairs", "[", + RowBox[{"group", ",", " ", "reflectionMatrix"}], "]"}], ",", " ", + RowBox[{"{", "2", "}"}]}], "]"}]}], "]"}]}], ";", + "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + RowBox[{"combine", "[", + RowBox[{"#", ",", " ", "chiralPairList"}], "]"}], " ", "&"}], " ", "/@", + " ", + RowBox[{"repsByLength", "[", "group", "]"}]}]}]}], + "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]"}]}]], "Input", + CellChangeTimes->{{3.8336060602595882`*^9, 3.833606174721078*^9}, { + 3.833882638125791*^9, 3.833882727235261*^9}, 3.8338827695642357`*^9, { + 3.833885968148217*^9, 3.83388596825323*^9}, {3.8338864826179733`*^9, + 3.833886488223839*^9}, {3.833886519360746*^9, 3.8338865200688963`*^9}, { + 3.833886550536131*^9, 3.8338865612455587`*^9}, {3.833887975273418*^9, + 3.833888073481557*^9}, {3.833943469413693*^9, 3.833944049573703*^9}, { + 3.8339440836337976`*^9, 3.8339443557937727`*^9}, {3.8339443976139927`*^9, + 3.83394452846262*^9}, {3.8339445690942793`*^9, 3.833945504728942*^9}, { + 3.833945539523355*^9, 3.8339461511109037`*^9}, {3.833946181389557*^9, + 3.833946311847628*^9}, {3.833946349668314*^9, 3.833946635149873*^9}, { + 3.833946687246221*^9, 3.833946899002778*^9}, {3.833947035131915*^9, + 3.833947126724774*^9}, {3.833947388587727*^9, 3.833947481574461*^9}, { + 3.833947633250883*^9, 3.833947705284096*^9}, {3.8339477635847054`*^9, + 3.8339477682726383`*^9}, {3.83394781176915*^9, 3.833947833681757*^9}, { + 3.833947863726281*^9, 3.83394789024446*^9}, {3.833947944014196*^9, + 3.8339479488948507`*^9}, {3.8339479971078243`*^9, 3.833948000449842*^9}, { + 3.8339480560850887`*^9, 3.8339480594281797`*^9}, {3.833948091046772*^9, + 3.8339480935673857`*^9}, {3.833948197754333*^9, 3.833948272274839*^9}, { + 3.833948308320531*^9, 3.8339483268478003`*^9}, {3.833948357795417*^9, + 3.8339483654872026`*^9}, {3.833948396004065*^9, 3.83394839666406*^9}, { + 3.833948454450086*^9, 3.833948601472479*^9}, {3.833948654398136*^9, + 3.8339486552343273`*^9}, {3.833948685972949*^9, 3.833948902898842*^9}, { + 3.833948938006322*^9, 3.833948938172654*^9}, {3.8339490148547993`*^9, + 3.833949243988441*^9}, {3.833949516773225*^9, 3.833949521945216*^9}, { + 3.833949641303814*^9, 3.833949643245438*^9}, {3.8339499335316133`*^9, + 3.833950045535775*^9}, {3.8339500802840023`*^9, 3.833950170280603*^9}, { + 3.833950234218855*^9, 3.833950239362167*^9}, {3.833950294133007*^9, + 3.8339502993037977`*^9}, {3.833950330249597*^9, 3.833950601099142*^9}, { + 3.834115795317815*^9, 3.8341159004565*^9}, {3.834124376389744*^9, + 3.83412454338273*^9}, {3.834124607653132*^9, 3.834124662548861*^9}, { + 3.834124699888238*^9, 3.834124744942678*^9}, {3.834124904991283*^9, + 3.834124909424325*^9}, 3.834125014317478*^9, {3.834125047130836*^9, + 3.834125054951552*^9}, {3.8341250982164803`*^9, 3.83412513412776*^9}, { + 3.8341252356127443`*^9, 3.834125255869424*^9}, {3.834125301266197*^9, + 3.834125305888852*^9}, {3.834125567508975*^9, 3.834125643895319*^9}, { + 3.834125679286252*^9, 3.834125685390149*^9}, {3.834125788534733*^9, + 3.834126104026661*^9}, {3.834126174238804*^9, 3.83412623827105*^9}, + 3.8341262914191637`*^9, {3.834126335729019*^9, 3.834126491432094*^9}, { + 3.834126539368498*^9, 3.834126599965508*^9}, {3.834126636354188*^9, + 3.834126923732041*^9}, {3.8341269935573063`*^9, 3.8341269938727913`*^9}, { + 3.83412766031402*^9, 3.834127952910911*^9}, {3.8343809787619257`*^9, + 3.83438105928588*^9}, {3.83438109205716*^9, 3.8343811521417913`*^9}, { + 3.834381211891219*^9, 3.834381217142537*^9}, {3.83438125895875*^9, + 3.834381291444599*^9}, {3.834723395701229*^9, 3.834723422273712*^9}, { + 3.834723453568379*^9, 3.834723599337504*^9}, {3.8347238276150827`*^9, + 3.8347239999570723`*^9}, {3.8347240727439117`*^9, 3.834724319217598*^9}, { + 3.834724355264824*^9, 3.834724361404847*^9}, {3.8347244262490797`*^9, + 3.834724473619413*^9}, {3.834727735319079*^9, 3.8347277389946632`*^9}, + 3.834730075371273*^9, {3.8348180210014067`*^9, 3.834818022153907*^9}, { + 3.834818105580599*^9, 3.834818107829327*^9}, {3.834818145323386*^9, + 3.834818171761924*^9}, {3.834818227240027*^9, 3.834818230719325*^9}, { + 3.834818266855627*^9, 3.834818277443235*^9}}, + CellLabel->"In[49]:=",ExpressionUUID->"b1e59324-d880-445b-886f-3a82d71a456d"], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{ + RowBox[{"(*", " ", + RowBox[{ + "3", " ", "x", " ", "M", " ", "and", " ", "6", " ", "x", " ", "L"}], " ", + "*)"}], "\[IndentingNewLine]", + RowBox[{"(*", " ", + RowBox[{ + RowBox[{ + RowBox[{"M", "'"}], + RowBox[{"s", ":", " ", "a"}]}], ",", " ", "b", ",", " ", + RowBox[{"c", " ", + RowBox[{"(", "clockwise", ")"}]}]}], " ", "*)"}], "\[IndentingNewLine]", + + RowBox[{"(*", " ", + RowBox[{ + RowBox[{ + RowBox[{"L", "'"}], + RowBox[{"s", ":", " ", "\[IndentingNewLine]", "1", ":", " ", + RowBox[{"{", + RowBox[{ + RowBox[{"a", " ", "\[Rule]", " ", "b"}], ",", " ", "top"}], "}"}]}]}], + ",", " ", + RowBox[{"2", ":", " ", + RowBox[{"{", + RowBox[{ + RowBox[{"a", " ", "\[Rule]", " ", "c"}], ",", " ", "top"}], "}"}]}], + ",", " ", + RowBox[{"3", ":", " ", + RowBox[{"{", + RowBox[{ + RowBox[{"b", " ", "\[Rule]", " ", "c"}], ",", " ", "top"}], "}"}]}], + ",", " ", + RowBox[{"4", ":", " ", + RowBox[{"{", + RowBox[{ + RowBox[{"a", " ", "\[Rule]", " ", "b"}], ",", " ", "bot"}], "}"}]}], + ",", " ", + RowBox[{"5", ":", " ", + RowBox[{"{", + RowBox[{ + RowBox[{"a", " ", "\[Rule]", " ", "c"}], ",", " ", "bot"}], "}"}]}], + ",", " ", + RowBox[{"6", ":", " ", + RowBox[{"{", + RowBox[{ + RowBox[{"b", " ", "\[Rule]", " ", "c"}], ",", " ", "bot"}], "}"}]}]}], + " ", "\[IndentingNewLine]", "*)"}], "\[IndentingNewLine]", + RowBox[{"(*", " ", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"rotate", " ", "in", " ", "the", " ", + RowBox[{"plane", ":", " ", "a"}]}], " ", "\[Rule]", " ", + RowBox[{"b", " ", "\[Rule]", " ", + RowBox[{"c", " ", "\[Rule]", " ", "a"}]}]}], ";", " ", "bot"}], ",", + " ", + RowBox[{"top", " ", "stay", " ", "same"}]}], " ", "*)"}], + "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + RowBox[{"t1", "=", + RowBox[{"toMatrix", "[", + RowBox[{"{", + RowBox[{"3", ",", " ", + RowBox[{"-", "1"}], ",", " ", + RowBox[{"-", "2"}], ",", " ", "6", ",", " ", + RowBox[{"-", "4"}], ",", " ", + RowBox[{"-", "5"}]}], "}"}], "]"}]}], ";"}], "\[IndentingNewLine]", + RowBox[{"(*", " ", + RowBox[{ + RowBox[{ + RowBox[{"rotate", " ", "around", " ", "axis", " ", "through", " ", + RowBox[{"c", ":", " ", "a"}]}], " ", "\[TwoWayRule]", " ", + RowBox[{ + RowBox[{"b", " ", "and", " ", "top"}], " ", "\[TwoWayRule]", " ", + "bot"}]}], ";", " ", + RowBox[{"c", " ", "stays", " ", "same"}]}], " ", "*)"}], + "\[IndentingNewLine]", + RowBox[{ + RowBox[{"t2", " ", "=", " ", + RowBox[{"toMatrix", "[", + RowBox[{"{", + RowBox[{ + RowBox[{"-", "4"}], ",", " ", "6", ",", " ", "5", ",", " ", + RowBox[{"-", "1"}], ",", " ", "3", ",", " ", "2"}], "}"}], "]"}]}], + ";"}], "\[IndentingNewLine]", + RowBox[{"(*", " ", + RowBox[{ + RowBox[{ + RowBox[{ + "reflect", " ", "across", " ", "plane", " ", "through", " ", "all", " ", + RowBox[{"M", "'"}], + RowBox[{"s", ":", " ", "top"}]}], " ", "\[TwoWayRule]", " ", + "bottom"}], ";", " ", + RowBox[{"rest", " ", "stay", " ", "same"}]}], " ", "*)"}], + "\[IndentingNewLine]", + RowBox[{ + RowBox[{"t3", " ", "=", " ", + RowBox[{"toMatrix", "[", + RowBox[{"{", + RowBox[{ + "4", ",", " ", "5", ",", " ", "6", ",", " ", "1", ",", " ", "2", ",", + " ", "3"}], "}"}], "]"}]}], ";"}], "\[IndentingNewLine]", + "\[IndentingNewLine]", + RowBox[{ + RowBox[{"g1", " ", "=", " ", + RowBox[{"generateSubgroup", "[", + RowBox[{"{", + RowBox[{"t1", ",", " ", "t2"}], "}"}], "]"}]}], ";"}], + "\[IndentingNewLine]", + RowBox[{"reps", "=", + RowBox[{"repsByLengthWithChiral", "[", + RowBox[{"g1", ",", " ", "t3"}], "]"}]}], "\[IndentingNewLine]", + RowBox[{"Total", "[", + RowBox[{ + RowBox[{ + RowBox[{"Length", "[", + RowBox[{"Flatten", "[", "#", "]"}], "]"}], " ", "&"}], " ", "/@", " ", + "reps"}], "]"}], " ", + RowBox[{"(*", " ", + RowBox[{"Total", " ", "number", " ", "of", " ", "isomers", " ", + RowBox[{"(", + RowBox[{ + "distinct", " ", "with", " ", "respect", " ", "to", " ", "rotation"}], + ")"}]}], " ", "*)"}], "\[IndentingNewLine]", + RowBox[{"Total", "[", + RowBox[{ + RowBox[{ + RowBox[{"Length", "[", + RowBox[{"Select", "[", + RowBox[{"#", ",", " ", "ListQ"}], "]"}], "]"}], " ", "&"}], " ", "/@", + " ", "reps"}], "]"}], " ", + RowBox[{"(*", " ", + RowBox[{"Total", " ", "number", " ", "of", " ", "chiral", " ", "pairs"}], + " ", "*)"}], "\[IndentingNewLine]"}]}]], "Input", + CellChangeTimes->{{3.8335285648955297`*^9, 3.833528607648259*^9}, { + 3.833528642958818*^9, 3.833528648975029*^9}, {3.833528725230356*^9, + 3.833528763200078*^9}, {3.833528794434328*^9, 3.833528897824984*^9}, { + 3.833528956146647*^9, 3.833528974529829*^9}, 3.833529023987295*^9, { + 3.83352906517202*^9, 3.833529166996027*^9}, {3.833529200470042*^9, + 3.833529214372649*^9}, {3.833531932515602*^9, 3.8335319428341208`*^9}, { + 3.833532028596579*^9, 3.833532065044167*^9}, {3.833603390790204*^9, + 3.8336034904723473`*^9}, {3.833603545491796*^9, 3.83360355308534*^9}, + 3.8336036996242027`*^9, {3.8336038819749928`*^9, 3.8336039654746437`*^9}, { + 3.833606169790679*^9, 3.833606191761898*^9}, {3.833864514147241*^9, + 3.833864554412066*^9}, {3.833864589300226*^9, 3.833864601678554*^9}, { + 3.833882750820929*^9, 3.8338827809699593`*^9}, {3.833882846832309*^9, + 3.833882915063538*^9}, {3.833882951902071*^9, 3.8338829618182793`*^9}, { + 3.8338830547243843`*^9, 3.833883098730877*^9}, {3.833883130402503*^9, + 3.833883174521613*^9}, {3.833883215751336*^9, 3.833883279096188*^9}, { + 3.833883338215493*^9, 3.833883386446618*^9}, {3.8338843522439127`*^9, + 3.833884482205229*^9}, {3.833884641153275*^9, 3.833884697026186*^9}, { + 3.833885900597515*^9, 3.8338859119018087`*^9}, {3.833886069848178*^9, + 3.833886102681863*^9}, {3.8338861599982653`*^9, 3.833886161093472*^9}, { + 3.833888088449296*^9, 3.833888107286834*^9}, {3.8339472126428547`*^9, + 3.8339473325180798`*^9}, {3.8339475237590227`*^9, 3.833947619634315*^9}, + 3.8339477232949266`*^9, {3.833947977285639*^9, 3.8339479788506737`*^9}, { + 3.833948342310728*^9, 3.83394838189399*^9}, {3.833948921792562*^9, + 3.833948924758108*^9}, {3.8339492607755547`*^9, 3.833949307242589*^9}, { + 3.833949349824897*^9, 3.833949370566133*^9}, {3.833950679119917*^9, + 3.833950689887331*^9}, {3.834115719288335*^9, 3.8341157425488863`*^9}, { + 3.83411591131096*^9, 3.834115927321618*^9}, {3.834117654678813*^9, + 3.834117715809107*^9}, {3.834117755938306*^9, 3.834118041474744*^9}, { + 3.834124322273519*^9, 3.834124323272958*^9}, {3.8341245524920883`*^9, + 3.834124559543385*^9}, {3.834124590150725*^9, 3.8341245923925323`*^9}, { + 3.834124754580615*^9, 3.834124878624056*^9}, 3.8341251801912317`*^9, { + 3.834125219227724*^9, 3.834125224766596*^9}, {3.834125272430051*^9, + 3.834125274606182*^9}, {3.834125316585146*^9, 3.8341253367724047`*^9}, { + 3.834125377895557*^9, 3.834125397508317*^9}, {3.834125433758931*^9, + 3.834125455051125*^9}, {3.834125751633473*^9, 3.834125772497952*^9}, { + 3.834126116648572*^9, 3.834126162370469*^9}, {3.83412650241306*^9, + 3.8341265284456863`*^9}, {3.8341269380548*^9, 3.8341269482690077`*^9}, { + 3.834126997241577*^9, 3.834127024983485*^9}, {3.834127205040051*^9, + 3.834127225643955*^9}, {3.8341272676319304`*^9, 3.834127364354868*^9}, { + 3.8341273987016373`*^9, 3.834127404802442*^9}, {3.834127450177396*^9, + 3.834127620738714*^9}, {3.834127800903605*^9, 3.83412780697538*^9}, { + 3.834127969061949*^9, 3.834128051896985*^9}, 3.834128191472206*^9, { + 3.8343809484154663`*^9, 3.834380953894815*^9}, {3.8343815309431562`*^9, + 3.834381531967799*^9}, {3.834722408081154*^9, 3.834722408346929*^9}, { + 3.8347243331674128`*^9, 3.834724335502397*^9}, {3.834724370021131*^9, + 3.834724393523905*^9}, {3.834724486590076*^9, 3.834724495968836*^9}, + 3.834724590080291*^9, 3.834727698728064*^9}, + CellLabel->"In[28]:=",ExpressionUUID->"82b967d0-bf9f-4a39-8c97-b0860e342dcc"], + +Cell[BoxData[ + RowBox[{"\[LeftAssociation]", + RowBox[{ + RowBox[{"6", "\[Rule]", + RowBox[{"{", + RowBox[{"0", ",", + RowBox[{"{", + RowBox[{"2", ",", "13"}], "}"}], ",", + RowBox[{"{", + RowBox[{"3", ",", "6"}], "}"}], ",", + RowBox[{"{", + RowBox[{"5", ",", "10"}], "}"}]}], "}"}]}], ",", + RowBox[{"3", "\[Rule]", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{"1", ",", "8"}], "}"}], ",", + RowBox[{"{", + RowBox[{"4", ",", "11"}], "}"}], ",", + RowBox[{"{", + RowBox[{"7", ",", "14"}], "}"}]}], "}"}]}], ",", + RowBox[{"2", "\[Rule]", + RowBox[{"{", "18", "}"}]}], ",", + RowBox[{"1", "\[Rule]", + RowBox[{"{", + RowBox[{"{", + RowBox[{"21", ",", "42"}], "}"}], "}"}]}]}], + "\[RightAssociation]"}]], "Output", + CellChangeTimes->{{3.834127359363055*^9, 3.834127364575231*^9}, + 3.8341274055068617`*^9, {3.8341274504661922`*^9, 3.834127463708561*^9}, { + 3.8341275100650053`*^9, 3.834127621490081*^9}, 3.834127807257225*^9, + 3.834127840578464*^9, 3.8341278709343853`*^9, 3.834127906436013*^9, + 3.83412796333315*^9, 3.834128001740851*^9, 3.83412805254228*^9, + 3.834128192138269*^9, {3.83438093840405*^9, 3.834380957164372*^9}, + 3.83438130427991*^9, 3.834381536637443*^9, 3.8347190996781683`*^9, + 3.834722409157411*^9, 3.8347243945107937`*^9, 3.834724496789712*^9, + 3.83472459221616*^9, 3.834727700016412*^9, 3.834818042165388*^9, + 3.834818175749226*^9}, + CellLabel->"Out[32]=",ExpressionUUID->"670e6777-4458-428b-97bd-795d57305bf3"], + +Cell[BoxData["16"], "Output", + CellChangeTimes->{{3.834127359363055*^9, 3.834127364575231*^9}, + 3.8341274055068617`*^9, {3.8341274504661922`*^9, 3.834127463708561*^9}, { + 3.8341275100650053`*^9, 3.834127621490081*^9}, 3.834127807257225*^9, + 3.834127840578464*^9, 3.8341278709343853`*^9, 3.834127906436013*^9, + 3.83412796333315*^9, 3.834128001740851*^9, 3.83412805254228*^9, + 3.834128192138269*^9, {3.83438093840405*^9, 3.834380957164372*^9}, + 3.83438130427991*^9, 3.834381536637443*^9, 3.8347190996781683`*^9, + 3.834722409157411*^9, 3.8347243945107937`*^9, 3.834724496789712*^9, + 3.83472459221616*^9, 3.834727700016412*^9, 3.834818042165388*^9, + 3.8348181757504673`*^9}, + CellLabel->"Out[33]=",ExpressionUUID->"26a504a3-faa0-4505-bdcc-3eb8b0f483d8"], + +Cell[BoxData["7"], "Output", + CellChangeTimes->{{3.834127359363055*^9, 3.834127364575231*^9}, + 3.8341274055068617`*^9, {3.8341274504661922`*^9, 3.834127463708561*^9}, { + 3.8341275100650053`*^9, 3.834127621490081*^9}, 3.834127807257225*^9, + 3.834127840578464*^9, 3.8341278709343853`*^9, 3.834127906436013*^9, + 3.83412796333315*^9, 3.834128001740851*^9, 3.83412805254228*^9, + 3.834128192138269*^9, {3.83438093840405*^9, 3.834380957164372*^9}, + 3.83438130427991*^9, 3.834381536637443*^9, 3.8347190996781683`*^9, + 3.834722409157411*^9, 3.8347243945107937`*^9, 3.834724496789712*^9, + 3.83472459221616*^9, 3.834727700016412*^9, 3.834818042165388*^9, + 3.8348181757515182`*^9}, + CellLabel->"Out[34]=",ExpressionUUID->"449d11e2-87b6-459c-9079-b4b05e4c0628"] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{ + RowBox[{"(*", " ", + RowBox[{ + "4", " ", "x", " ", "M", " ", "and", " ", "8", " ", "x", " ", "L"}], " ", + "*)"}], "\[IndentingNewLine]", + RowBox[{"(*", " ", + RowBox[{ + RowBox[{"Vertices", " ", "a", " ", + RowBox[{"(", + RowBox[{"bottom", " ", "left"}], ")"}]}], ",", " ", + RowBox[{"b", " ", + RowBox[{"(", + RowBox[{"bottom", " ", "back"}], ")"}]}], ",", " ", + RowBox[{"c", " ", + RowBox[{"(", + RowBox[{"bottom", " ", "right"}], ")"}]}], ",", " ", + RowBox[{"d", " ", + RowBox[{"(", "top", ")"}]}]}], " ", "*)"}], "\[IndentingNewLine]", + RowBox[{"(*", " ", + RowBox[{ + RowBox[{"1", ":", " ", + RowBox[{"{", + RowBox[{ + RowBox[{"a", " ", "\[Rule]", " ", "b"}], ",", " ", "top"}], "}"}]}], + ",", " ", + RowBox[{"2", ":", " ", + RowBox[{"{", + RowBox[{ + RowBox[{"a", " ", "\[Rule]", " ", "b"}], ",", " ", "bot"}], "}"}]}], + ",", " ", + RowBox[{"3", ":", " ", + RowBox[{"{", + RowBox[{"a", " ", "\[Rule]", " ", "c"}], "}"}]}], ",", " ", + RowBox[{"4", ":", " ", + RowBox[{"{", + RowBox[{"b", " ", "\[Rule]", " ", "c"}], "}"}]}], ",", " ", + RowBox[{"5", ":", " ", + RowBox[{"{", + RowBox[{"a", " ", "\[Rule]", " ", "d"}], "}"}]}], ",", " ", + RowBox[{"6", ":", " ", + RowBox[{"{", + RowBox[{"b", " ", "\[Rule]", " ", "d"}], "}"}]}], ",", " ", + RowBox[{"7", ":", " ", + RowBox[{"{", + RowBox[{ + RowBox[{"c", " ", "\[Rule]", " ", "d"}], ",", " ", "left"}], "}"}]}], + ",", " ", + RowBox[{"8", ":", " ", + RowBox[{"{", " ", + RowBox[{ + RowBox[{"c", " ", "\[Rule]", " ", "d"}], ",", " ", "right"}], + "}"}]}]}], " ", "*)"}], "\[IndentingNewLine]", "\[IndentingNewLine]", + RowBox[{"(*", " ", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{ + "rotate", " ", "around", " ", "axis", " ", "through", " ", "midpoints", + " ", "of", " ", "3", " ", "and", " ", "6"}], ":", " ", "a"}], " ", + "\[TwoWayRule]", " ", "c"}], ",", " ", + RowBox[{"b", " ", "\[TwoWayRule]", " ", "d"}], ",", " ", + RowBox[{"bot", " ", "\[TwoWayRule]", " ", "left"}], ",", " ", + RowBox[{"top", " ", "\[TwoWayRule]", " ", "right"}]}], " ", "*)"}], + "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + RowBox[{"t1", "=", + RowBox[{"toMatrix", "[", + RowBox[{"{", + RowBox[{"8", ",", " ", "7", ",", " ", + RowBox[{"-", "3"}], ",", " ", + RowBox[{"-", "5"}], ",", " ", + RowBox[{"-", "4"}], ",", " ", + RowBox[{"-", "6"}], ",", " ", "2", ",", " ", "1"}], "}"}], "]"}]}], + ";"}], "\[IndentingNewLine]", + RowBox[{"(*", " ", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{ + "rotate", " ", "around", " ", "axis", " ", "through", " ", "midpoints", + " ", "of", " ", "4", " ", "and", " ", "5"}], ":", " ", "a"}], " ", + "\[TwoWayRule]", " ", "d"}], ",", " ", + RowBox[{"b", " ", "\[TwoWayRule]", " ", "c"}], ",", " ", + RowBox[{"top", " ", "\[TwoWayRule]", " ", "left"}], ",", " ", + RowBox[{"bot", " ", "\[TwoWayRule]", " ", "right"}]}], " ", "*)"}], " ", + "\[IndentingNewLine]", + RowBox[{ + RowBox[{"t2", " ", "=", " ", + RowBox[{"toMatrix", "[", + RowBox[{"{", + RowBox[{ + RowBox[{"-", "7"}], ",", " ", + RowBox[{"-", "8"}], ",", " ", + RowBox[{"-", "6"}], ",", " ", + RowBox[{"-", "4"}], ",", " ", + RowBox[{"-", "5"}], ",", " ", + RowBox[{"-", "3"}], ",", " ", + RowBox[{"-", "1"}], ",", " ", + RowBox[{"-", "2"}]}], "}"}], "]"}]}], ";"}], "\[IndentingNewLine]", + RowBox[{"(*", " ", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"reflection", " ", "over", " ", "plane", " ", "slicing", " ", + RowBox[{"(", + RowBox[{"1", ",", " ", "2"}], ")"}], " ", "in", " ", "half", " ", + "and", " ", "separating", " ", + RowBox[{"(", + RowBox[{"7", ",", " ", "8"}], ")"}]}], ":", " ", "a"}], " ", + "\[TwoWayRule]", " ", "b"}], ",", " ", + RowBox[{ + RowBox[{"left", " ", "\[TwoWayRule]", " ", "right"}], ";", " ", + RowBox[{"everything", " ", "else", " ", "remains", " ", + RowBox[{"same", "."}]}]}]}], " ", "*)"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"t3", "=", " ", + RowBox[{"toMatrix", "[", + RowBox[{"{", + RowBox[{ + RowBox[{"-", "1"}], ",", " ", + RowBox[{"-", "2"}], ",", " ", "4", ",", " ", "3", ",", " ", "6", ",", + " ", "5", ",", " ", "8", ",", " ", "7"}], "}"}], "]"}]}], ";"}], + "\[IndentingNewLine]", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"g1", " ", "=", " ", + RowBox[{"generateSubgroup", "[", + RowBox[{"{", + RowBox[{"t1", ",", " ", "t2"}], "}"}], "]"}]}], ";"}], + "\[IndentingNewLine]", + RowBox[{"reps", "=", + RowBox[{"repsByLengthWithChiral", "[", + RowBox[{"g1", ",", " ", "t3"}], "]"}]}], "\[IndentingNewLine]", + RowBox[{"Total", "[", + RowBox[{ + RowBox[{ + RowBox[{"Length", "[", + RowBox[{"Flatten", "[", "#", "]"}], "]"}], " ", "&"}], " ", "/@", " ", + "reps"}], "]"}], " ", + RowBox[{"(*", " ", + RowBox[{"Total", " ", "number", " ", "of", " ", "isomers", " ", + RowBox[{"(", + RowBox[{ + "distinct", " ", "with", " ", "respect", " ", "to", " ", "rotation"}], + ")"}]}], " ", "*)"}], "\[IndentingNewLine]", + RowBox[{"Total", "[", + RowBox[{ + RowBox[{ + RowBox[{"Length", "[", + RowBox[{"Select", "[", + RowBox[{"#", ",", " ", "ListQ"}], "]"}], "]"}], " ", "&"}], " ", "/@", + " ", "reps"}], "]"}], " ", + RowBox[{"(*", " ", + RowBox[{"Total", " ", "number", " ", "of", " ", "chiral", " ", "pairs"}], + " ", "*)"}], "\[IndentingNewLine]"}]}]], "Input", + CellChangeTimes->{{3.8335293408218317`*^9, 3.833529372022278*^9}, { + 3.833529443622858*^9, 3.833529467559103*^9}, {3.83353020612825*^9, + 3.8335302464651957`*^9}, 3.8335303633947268`*^9, {3.833530406754218*^9, + 3.8335304108505383`*^9}, 3.833530480226898*^9, {3.833531040761504*^9, + 3.833531110105815*^9}, {3.833531166571075*^9, 3.8335312354672737`*^9}, { + 3.833531319421014*^9, 3.833531339852556*^9}, {3.833531649680942*^9, + 3.833531680607794*^9}, {3.833531857692088*^9, 3.833531868753605*^9}, { + 3.833531971123728*^9, 3.833532002322939*^9}, {3.8335320745480433`*^9, + 3.8335320747425337`*^9}, {3.8336016521102943`*^9, 3.833601656501566*^9}, { + 3.833603984570895*^9, 3.833604017759241*^9}, {3.833604048878474*^9, + 3.833604049012499*^9}, 3.833604103776392*^9, {3.833606197738901*^9, + 3.833606202124963*^9}, {3.833806277999546*^9, 3.833806294218707*^9}, { + 3.833806366349161*^9, 3.833806398031929*^9}, {3.833883372561371*^9, + 3.833883407324966*^9}, {3.8338845015973883`*^9, 3.833884623755262*^9}, { + 3.833884703799837*^9, 3.833884783607141*^9}, {3.833884813939197*^9, + 3.833884976990052*^9}, {3.8338850168265123`*^9, 3.8338852664283743`*^9}, { + 3.833885327320047*^9, 3.83388547903574*^9}, {3.833885734937347*^9, + 3.833885768082286*^9}, {3.833885883615992*^9, 3.833885894661639*^9}, { + 3.833885945643962*^9, 3.833885949028962*^9}, {3.8338861673866377`*^9, + 3.833886167767679*^9}, {3.833886263587367*^9, 3.833886271318715*^9}, { + 3.833886319093973*^9, 3.833886325303673*^9}, {3.8338868143846493`*^9, + 3.8338868516598673`*^9}, {3.8338871466675863`*^9, + 3.8338871820965633`*^9}, {3.833887228602045*^9, 3.8338872884253597`*^9}, { + 3.833888123067861*^9, 3.83388814681758*^9}, {3.833942753901105*^9, + 3.833942758106175*^9}, {3.83395065736448*^9, 3.8339506678478193`*^9}, + 3.833950708900556*^9, {3.8339508117066317`*^9, 3.833950862976323*^9}, { + 3.834117593063912*^9, 3.834117637293577*^9}, {3.8341181506114817`*^9, + 3.834118155684888*^9}, {3.8341270595540743`*^9, 3.8341270951862097`*^9}, + 3.834128063279105*^9, 3.8341281865776033`*^9, 3.8343815683371487`*^9, { + 3.834381839474038*^9, 3.834381840445551*^9}, {3.834722291420917*^9, + 3.83472238605586*^9}, {3.834722774126255*^9, 3.834722778200222*^9}, { + 3.834723614496472*^9, 3.834723668599682*^9}, {3.834723711215412*^9, + 3.834723724204295*^9}, {3.834723767694778*^9, 3.834723769181551*^9}, { + 3.8347240280856133`*^9, 3.834724064559355*^9}, 3.834724509771462*^9, + 3.834724579317934*^9, {3.834727527545422*^9, 3.834727572763624*^9}, { + 3.834727615436837*^9, 3.8347276910655937`*^9}, {3.83473028317563*^9, + 3.834730331742238*^9}, {3.83473036726862*^9, 3.834730409814105*^9}, { + 3.8347305137461557`*^9, 3.8347305169221573`*^9}, {3.834730560065518*^9, + 3.834730618737647*^9}, {3.834730651611292*^9, 3.8347306565131397`*^9}}, + CellLabel->"In[35]:=",ExpressionUUID->"8f4b4cfc-89a0-429d-8348-1a334b7aa795"], + +Cell[BoxData[ + RowBox[{"\[LeftAssociation]", + RowBox[{ + RowBox[{"4", "\[Rule]", + RowBox[{"{", + RowBox[{ + RowBox[{"{", + RowBox[{"0", ",", "3"}], "}"}], ",", + RowBox[{"{", + RowBox[{"1", ",", "2"}], "}"}], ",", + RowBox[{"{", + RowBox[{"4", ",", "11"}], "}"}], ",", + RowBox[{"{", + RowBox[{"5", ",", "10"}], "}"}], ",", + RowBox[{"{", + RowBox[{"6", ",", "9"}], "}"}], ",", + RowBox[{"{", + RowBox[{"7", ",", "8"}], "}"}], ",", + RowBox[{"{", + RowBox[{"12", ",", "15"}], "}"}], ",", + RowBox[{"{", + RowBox[{"13", ",", "14"}], "}"}], ",", + RowBox[{"{", + RowBox[{"16", ",", "35"}], "}"}], ",", + RowBox[{"{", + RowBox[{"17", ",", "34"}], "}"}], ",", + RowBox[{"{", + RowBox[{"18", ",", "33"}], "}"}], ",", + RowBox[{"{", + RowBox[{"19", ",", "28"}], "}"}], ",", + RowBox[{"{", + RowBox[{"20", ",", "43"}], "}"}], ",", + RowBox[{"{", + RowBox[{"21", ",", "42"}], "}"}], ",", + RowBox[{"{", + RowBox[{"22", ",", "41"}], "}"}], ",", + RowBox[{"{", + RowBox[{"24", ",", "27"}], "}"}], ",", + RowBox[{"{", + RowBox[{"25", ",", "38"}], "}"}], ",", + RowBox[{"{", + RowBox[{"26", ",", "37"}], "}"}], ",", + RowBox[{"{", + RowBox[{"29", ",", "46"}], "}"}], ",", + RowBox[{"{", + RowBox[{"30", ",", "45"}], "}"}], ",", + RowBox[{"{", + RowBox[{"49", ",", "50"}], "}"}], ",", + RowBox[{"{", + RowBox[{"53", ",", "58"}], "}"}], ",", + RowBox[{"{", + RowBox[{"54", ",", "57"}], "}"}], ",", + RowBox[{"{", + RowBox[{"61", ",", "62"}], "}"}], ",", + RowBox[{"{", + RowBox[{"69", ",", "109"}], "}"}], ",", + RowBox[{"{", + RowBox[{"70", ",", "137"}], "}"}], ",", + RowBox[{"{", + RowBox[{"73", ",", "93"}], "}"}], ",", + RowBox[{"{", + RowBox[{"74", ",", "133"}], "}"}], ",", + RowBox[{"{", + RowBox[{"77", ",", "85"}], "}"}], ",", + RowBox[{"{", + RowBox[{"78", ",", "141"}], "}"}]}], "}"}]}], ",", + RowBox[{"2", "\[Rule]", + RowBox[{"{", + RowBox[{"89", ",", "101", ",", + RowBox[{"{", + RowBox[{"65", ",", "125"}], "}"}], ",", + RowBox[{"{", + RowBox[{"66", ",", "129"}], "}"}], ",", + RowBox[{"{", + RowBox[{"90", ",", "153"}], "}"}]}], "}"}]}]}], + "\[RightAssociation]"}]], "Output", + CellChangeTimes->{ + 3.833532187368691*^9, 3.833601577695327*^9, 3.8336040193332033`*^9, + 3.8336040501449337`*^9, 3.833606203402329*^9, {3.833806381450289*^9, + 3.8338063986986732`*^9}, {3.833883398314797*^9, 3.833883407604485*^9}, + 3.8338854817835608`*^9, {3.833885740151939*^9, 3.833885768912794*^9}, + 3.833885950152103*^9, 3.8338859968716*^9, {3.833886142343999*^9, + 3.833886168755148*^9}, 3.833886272527548*^9, 3.833886333242868*^9, + 3.8338865761160707`*^9, {3.833886816320262*^9, 3.8338868525955973`*^9}, + 3.833887182964161*^9, {3.8338872292770643`*^9, 3.833887256554921*^9}, + 3.833887289062457*^9, 3.8338881476557293`*^9, 3.833950711719243*^9, + 3.83411817059127*^9, {3.834127066919095*^9, 3.834127096082159*^9}, + 3.834128063964396*^9, 3.834128201867832*^9, 3.834381492053239*^9, + 3.834381569133543*^9, 3.834381840922201*^9, 3.834722278576418*^9, + 3.8347223246870193`*^9, {3.834722357837277*^9, 3.834722386485792*^9}, + 3.834723724790313*^9, {3.834724043402101*^9, 3.834724053077783*^9}, + 3.834724511543522*^9, {3.834727560622445*^9, 3.834727573506983*^9}, { + 3.834727630365694*^9, 3.834727640806916*^9}, 3.834730619612228*^9, + 3.8347306572342443`*^9, 3.83481818032876*^9}, + CellLabel->"Out[39]=",ExpressionUUID->"c17212ed-88b2-48e4-90a4-77d7b4dddc3b"], + +Cell[BoxData["68"], "Output", + CellChangeTimes->{ + 3.833532187368691*^9, 3.833601577695327*^9, 3.8336040193332033`*^9, + 3.8336040501449337`*^9, 3.833606203402329*^9, {3.833806381450289*^9, + 3.8338063986986732`*^9}, {3.833883398314797*^9, 3.833883407604485*^9}, + 3.8338854817835608`*^9, {3.833885740151939*^9, 3.833885768912794*^9}, + 3.833885950152103*^9, 3.8338859968716*^9, {3.833886142343999*^9, + 3.833886168755148*^9}, 3.833886272527548*^9, 3.833886333242868*^9, + 3.8338865761160707`*^9, {3.833886816320262*^9, 3.8338868525955973`*^9}, + 3.833887182964161*^9, {3.8338872292770643`*^9, 3.833887256554921*^9}, + 3.833887289062457*^9, 3.8338881476557293`*^9, 3.833950711719243*^9, + 3.83411817059127*^9, {3.834127066919095*^9, 3.834127096082159*^9}, + 3.834128063964396*^9, 3.834128201867832*^9, 3.834381492053239*^9, + 3.834381569133543*^9, 3.834381840922201*^9, 3.834722278576418*^9, + 3.8347223246870193`*^9, {3.834722357837277*^9, 3.834722386485792*^9}, + 3.834723724790313*^9, {3.834724043402101*^9, 3.834724053077783*^9}, + 3.834724511543522*^9, {3.834727560622445*^9, 3.834727573506983*^9}, { + 3.834727630365694*^9, 3.834727640806916*^9}, 3.834730619612228*^9, + 3.8347306572342443`*^9, 3.8348181803304358`*^9}, + CellLabel->"Out[40]=",ExpressionUUID->"87661d6b-d9d4-46c9-9e94-ec8a18820d8b"], + +Cell[BoxData["33"], "Output", + CellChangeTimes->{ + 3.833532187368691*^9, 3.833601577695327*^9, 3.8336040193332033`*^9, + 3.8336040501449337`*^9, 3.833606203402329*^9, {3.833806381450289*^9, + 3.8338063986986732`*^9}, {3.833883398314797*^9, 3.833883407604485*^9}, + 3.8338854817835608`*^9, {3.833885740151939*^9, 3.833885768912794*^9}, + 3.833885950152103*^9, 3.8338859968716*^9, {3.833886142343999*^9, + 3.833886168755148*^9}, 3.833886272527548*^9, 3.833886333242868*^9, + 3.8338865761160707`*^9, {3.833886816320262*^9, 3.8338868525955973`*^9}, + 3.833887182964161*^9, {3.8338872292770643`*^9, 3.833887256554921*^9}, + 3.833887289062457*^9, 3.8338881476557293`*^9, 3.833950711719243*^9, + 3.83411817059127*^9, {3.834127066919095*^9, 3.834127096082159*^9}, + 3.834128063964396*^9, 3.834128201867832*^9, 3.834381492053239*^9, + 3.834381569133543*^9, 3.834381840922201*^9, 3.834722278576418*^9, + 3.8347223246870193`*^9, {3.834722357837277*^9, 3.834722386485792*^9}, + 3.834723724790313*^9, {3.834724043402101*^9, 3.834724053077783*^9}, + 3.834724511543522*^9, {3.834727560622445*^9, 3.834727573506983*^9}, { + 3.834727630365694*^9, 3.834727640806916*^9}, 3.834730619612228*^9, + 3.8347306572342443`*^9, 3.83481818033181*^9}, + CellLabel->"Out[41]=",ExpressionUUID->"6683f4c1-d600-4817-88a9-d3fb7bb16cea"] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{ + RowBox[{"(*", " ", + RowBox[{ + "6", " ", "x", " ", "M", " ", "and", " ", "12", " ", "x", " ", "L"}], " ", + "*)"}], "\[IndentingNewLine]", + RowBox[{"(*", " ", + RowBox[{ + RowBox[{"Vertices", " ", "M1"}], ",", " ", "M2", ",", " ", "...", ",", + " ", + RowBox[{ + RowBox[{"M6", " ", "oriented", " ", "like", " ", "a", " ", "6"}], "-", + RowBox[{"sided", " ", "die"}]}]}], " ", "*)"}], "\[IndentingNewLine]", + RowBox[{"(*", " ", + RowBox[{ + RowBox[{ + RowBox[{"1", ":", " ", "M1"}], " ", "\[Rule]", " ", "M2"}], ",", " ", + RowBox[{ + RowBox[{"2", ":", " ", "M1"}], " ", "\[Rule]", " ", "M3"}], ",", " ", + RowBox[{ + RowBox[{"3", ":", " ", "M1"}], " ", "\[Rule]", " ", "M4"}], ",", " ", + RowBox[{ + RowBox[{"4", ":", " ", "M1"}], " ", "\[Rule]", " ", "M5"}], ",", " ", + RowBox[{ + RowBox[{"5", ":", " ", "M2"}], " ", "\[Rule]", " ", "M3"}], ",", " ", + RowBox[{ + RowBox[{"6", ":", " ", "M2"}], " ", "\[Rule]", " ", "M4"}], ",", " ", + "\[IndentingNewLine]", " ", + RowBox[{ + RowBox[{"7", ":", " ", "M2"}], " ", "\[Rule]", " ", "M6"}], ",", " ", + RowBox[{ + RowBox[{"8", ":", " ", "M3"}], " ", "\[Rule]", " ", "M5"}], ",", " ", + RowBox[{ + RowBox[{"9", ":", " ", "M3"}], " ", "\[Rule]", " ", "M6"}], ",", " ", + RowBox[{ + RowBox[{"10", ":", " ", "M4"}], " ", "\[Rule]", " ", "M5"}], ",", " ", + RowBox[{ + RowBox[{"11", ":", " ", "M4"}], " ", "\[Rule]", " ", "M6"}], ",", " ", + RowBox[{ + RowBox[{"12", ":", " ", "M5"}], " ", "\[Rule]", " ", "M6"}]}], + "\[IndentingNewLine]", "*)"}], " ", "\[IndentingNewLine]", + RowBox[{"(*", " ", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"Rotate", " ", "M1"}], " ", "\[Rule]", " ", + RowBox[{"M2", " ", "\[Rule]", " ", + RowBox[{"M6", " ", "\[Rule]", " ", + RowBox[{"M5", " ", "\[Rule]", " ", "M1"}]}]}]}], ";", " ", "M3"}], + ",", " ", + RowBox[{"M4", " ", "stay", " ", "fixed"}]}], " ", "*)"}], + "\[IndentingNewLine]", + RowBox[{ + RowBox[{ + RowBox[{"t1", "=", + RowBox[{"toMatrix", "[", + RowBox[{"{", + RowBox[{"7", ",", " ", "5", ",", " ", "6", ",", " ", + RowBox[{"-", "1"}], ",", " ", + RowBox[{"-", "9"}], ",", " ", + RowBox[{"-", "11"}], ",", " ", + RowBox[{"-", "12"}], ",", " ", + RowBox[{"-", "2"}], ",", " ", "8", ",", " ", + RowBox[{"-", "3"}], ",", " ", "10", ",", " ", "4"}], "}"}], "]"}]}], + ";"}], "\[IndentingNewLine]", + RowBox[{"(*", " ", + RowBox[{ + RowBox[{ + RowBox[{ + RowBox[{"Rotate", " ", "M1"}], " ", "\[Rule]", " ", + RowBox[{"M3", " ", "\[Rule]", " ", + RowBox[{"M6", " ", "\[Rule]", " ", + RowBox[{"M4", " ", "\[Rule]", " ", "M1"}]}]}]}], ";", " ", "M2"}], + ",", " ", + RowBox[{"M5", " ", "stay", " ", "fixed"}]}], " ", "*)"}], + "\[IndentingNewLine]", + RowBox[{ + RowBox[{"t2", "=", + RowBox[{"toMatrix", "[", + RowBox[{"{", + RowBox[{ + RowBox[{"-", "5"}], ",", " ", "9", ",", " ", + RowBox[{"-", "2"}], ",", " ", "8", ",", " ", "7", ",", " ", + RowBox[{"-", "1"}], ",", " ", "6", ",", + RowBox[{"-", "12"}], ",", " ", + RowBox[{"-", "11"}], ",", " ", "4", ",", " ", "3", ",", " ", + RowBox[{"-", "10"}]}], " ", "}"}], "]"}]}], ";"}], + "\[IndentingNewLine]", + RowBox[{"(*", " ", + RowBox[{ + RowBox[{ + "reflection", " ", "over", " ", "plane", " ", "that", " ", "goes", " ", + "through", " ", "M1"}], ",", " ", "M2", ",", " ", "M6", ",", " ", + RowBox[{"M5", " ", + RowBox[{"(", + RowBox[{ + RowBox[{"so", " ", "M3"}], " ", "\[TwoWayRule]", " ", "M4"}], + " "}]}]}], "*)"}], "\[IndentingNewLine]", + RowBox[{ + RowBox[{"t3", "=", + RowBox[{"toMatrix", "[", + RowBox[{"{", + RowBox[{ + "1", ",", " ", "3", ",", " ", "2", ",", " ", "4", ",", " ", "6", ",", + " ", "5", ",", " ", "7", ",", " ", "10", ",", " ", "11", ",", " ", + "8", ",", " ", "9", ",", " ", "12"}], "}"}], "]"}]}], ";"}], + "\[IndentingNewLine]", "\[IndentingNewLine]", + RowBox[{ + RowBox[{"g1", " ", "=", " ", + RowBox[{"generateSubgroup", "[", + RowBox[{"{", + RowBox[{"t1", ",", " ", "t2"}], "}"}], "]"}]}], ";"}], + "\[IndentingNewLine]", + RowBox[{"reps", "=", + RowBox[{"repsByLengthWithChiral", "[", + RowBox[{"g1", ",", " ", "t3"}], "]"}]}], "\[IndentingNewLine]", + RowBox[{"Total", "[", + RowBox[{ + RowBox[{ + RowBox[{"Length", "[", + RowBox[{"Flatten", "[", "#", "]"}], "]"}], " ", "&"}], " ", "/@", " ", + "reps"}], "]"}], " ", + RowBox[{"(*", " ", + RowBox[{"Total", " ", "number", " ", "of", " ", "isomers", " ", + RowBox[{"(", + RowBox[{ + "distinct", " ", "with", " ", "respect", " ", "to", " ", "rotation"}], + ")"}]}], " ", "*)"}], "\[IndentingNewLine]", + RowBox[{"Total", "[", + RowBox[{ + RowBox[{ + RowBox[{"Length", "[", + RowBox[{"Select", "[", + RowBox[{"#", ",", " ", "ListQ"}], "]"}], "]"}], " ", "&"}], " ", "/@", + " ", "reps"}], "]"}], " ", + RowBox[{"(*", " ", + RowBox[{"Total", " ", "number", " ", "of", " ", "chiral", " ", "pairs"}], + " ", "*)"}], "\[IndentingNewLine]"}]}]], "Input", + CellChangeTimes->{{3.833527689398603*^9, 3.833527705333173*^9}, { + 3.8336015842975473`*^9, 3.8336015988427258`*^9}, {3.833601667637182*^9, + 3.833601741813115*^9}, {3.8336018161133327`*^9, 3.833601820616342*^9}, { + 3.833601856528088*^9, 3.833601858863327*^9}, {3.8336019192137327`*^9, + 3.8336019977458267`*^9}, {3.833602048616921*^9, 3.8336020756843987`*^9}, { + 3.8336021570146513`*^9, 3.8336021884739*^9}, {3.833602233397002*^9, + 3.833602261768858*^9}, {3.833602398178646*^9, 3.8336024102011423`*^9}, + 3.833602461181039*^9, {3.833602621979369*^9, 3.8336026764159117`*^9}, { + 3.83360273112155*^9, 3.833602735406303*^9}, {3.833602772772234*^9, + 3.833602817403851*^9}, {3.833602853818673*^9, 3.833602922196951*^9}, { + 3.8336030773370667`*^9, 3.833603157675617*^9}, {3.833604088435891*^9, + 3.833604117171468*^9}, {3.833606208332542*^9, 3.8336062140267067`*^9}, { + 3.833888169403923*^9, 3.8338881864377117`*^9}, {3.833950721371915*^9, + 3.833950741028603*^9}, {3.833950892179039*^9, 3.833950997538827*^9}, { + 3.8341160447874393`*^9, 3.8341168587530737`*^9}, {3.834116914602108*^9, + 3.834116993483634*^9}, 3.834117291313635*^9, {3.834117357370693*^9, + 3.8341173592674294`*^9}, {3.8341174153404903`*^9, 3.834117487149972*^9}, { + 3.834117519835751*^9, 3.834117547056098*^9}, 3.8341270644385233`*^9, + 3.8341271299312963`*^9, {3.8341271920827847`*^9, 3.834127200175706*^9}, + 3.834128068897689*^9, {3.834128123226142*^9, 3.834128178292961*^9}, + 3.834381584527441*^9, {3.834381620224526*^9, 3.8343816756729717`*^9}, { + 3.83438179565357*^9, 3.834381811329792*^9}, {3.834722784951511*^9, + 3.8347227856829853`*^9}, {3.8347232114969053`*^9, 3.83472322666553*^9}, { + 3.8347245454633007`*^9, 3.834724562146044*^9}, {3.834727469625123*^9, + 3.834727497778788*^9}, 3.8347277066329412`*^9}, + CellLabel->"In[42]:=",ExpressionUUID->"72fdb372-49f7-4d9a-866a-a6987246c661"], + +Cell[BoxData[ + RowBox[{"\[LeftAssociation]", + RowBox[{ + RowBox[{"24", "\[Rule]", + RowBox[{"{", + RowBox[{ + "0", ",", "1", ",", "6", ",", "7", ",", "8", ",", "9", ",", "14", ",", + "31", ",", "49", ",", "50", ",", "55", ",", "59", ",", "64", ",", "65", + ",", "70", ",", "71", ",", "72", ",", "73", ",", "94", ",", "206", ",", + "215", ",", "222", ",", "238", ",", "301", ",", "313", ",", + RowBox[{"{", + RowBox[{"2", ",", "4"}], "}"}], ",", + RowBox[{"{", + RowBox[{"3", ",", "5"}], "}"}], ",", + RowBox[{"{", + RowBox[{"10", ",", "12"}], "}"}], ",", + RowBox[{"{", + RowBox[{"11", ",", "13"}], "}"}], ",", + RowBox[{"{", + RowBox[{"16", ",", "32"}], "}"}], ",", + RowBox[{"{", + RowBox[{"17", ",", "33"}], "}"}], ",", + RowBox[{"{", + RowBox[{"18", ",", "36"}], "}"}], ",", + RowBox[{"{", + RowBox[{"19", ",", "37"}], "}"}], ",", + RowBox[{"{", + RowBox[{"20", ",", "34"}], "}"}], ",", + RowBox[{"{", + RowBox[{"21", ",", "35"}], "}"}], ",", + RowBox[{"{", + RowBox[{"22", ",", "38"}], "}"}], ",", + RowBox[{"{", + RowBox[{"23", ",", "39"}], "}"}], ",", + RowBox[{"{", + RowBox[{"24", ",", "40"}], "}"}], ",", + RowBox[{"{", + RowBox[{"25", ",", "41"}], "}"}], ",", + RowBox[{"{", + RowBox[{"26", ",", "44"}], "}"}], ",", + RowBox[{"{", + RowBox[{"27", ",", "45"}], "}"}], ",", + RowBox[{"{", + RowBox[{"28", ",", "42"}], "}"}], ",", + RowBox[{"{", + RowBox[{"29", ",", "43"}], "}"}], ",", + RowBox[{"{", + RowBox[{"30", ",", "46"}], "}"}], ",", + RowBox[{"{", + RowBox[{"51", ",", "53"}], "}"}], ",", + RowBox[{"{", + RowBox[{"66", ",", "68"}], "}"}], ",", + RowBox[{"{", + RowBox[{"67", ",", "69"}], "}"}], ",", + RowBox[{"{", + RowBox[{"74", ",", "76"}], "}"}], ",", + RowBox[{"{", + RowBox[{"75", ",", "77"}], "}"}], ",", + RowBox[{"{", + RowBox[{"80", ",", "96"}], "}"}], ",", + RowBox[{"{", + RowBox[{"81", ",", "97"}], "}"}], ",", + RowBox[{"{", + RowBox[{"82", ",", "100"}], "}"}], ",", + RowBox[{"{", + RowBox[{"83", ",", "101"}], "}"}], ",", + RowBox[{"{", + RowBox[{"84", ",", "98"}], "}"}], ",", + RowBox[{"{", + RowBox[{"85", ",", "99"}], "}"}], ",", + RowBox[{"{", + RowBox[{"86", ",", "102"}], "}"}], ",", + RowBox[{"{", + RowBox[{"87", ",", "103"}], "}"}], ",", + RowBox[{"{", + RowBox[{"88", ",", "104"}], "}"}], ",", + RowBox[{"{", + RowBox[{"89", ",", "105"}], "}"}], ",", + RowBox[{"{", + RowBox[{"90", ",", "108"}], "}"}], ",", + RowBox[{"{", + RowBox[{"91", ",", "109"}], "}"}], ",", + RowBox[{"{", + RowBox[{"92", ",", "106"}], "}"}], ",", + RowBox[{"{", + RowBox[{"93", ",", "107"}], "}"}], ",", + RowBox[{"{", + RowBox[{"145", ",", "453"}], "}"}], ",", + RowBox[{"{", + RowBox[{"147", ",", "449"}], "}"}], ",", + RowBox[{"{", + RowBox[{"151", ",", "223"}], "}"}], ",", + RowBox[{"{", + RowBox[{"192", ",", "365"}], "}"}], ",", + RowBox[{"{", + RowBox[{"193", ",", "220"}], "}"}], ",", + RowBox[{"{", + RowBox[{"194", ",", "361"}], "}"}], ",", + RowBox[{"{", + RowBox[{"195", ",", "450"}], "}"}], ",", + RowBox[{"{", + RowBox[{"196", ",", "433"}], "}"}], ",", + RowBox[{"{", + RowBox[{"197", ",", "212"}], "}"}], ",", + RowBox[{"{", + RowBox[{"198", ",", "582"}], "}"}], ",", + RowBox[{"{", + RowBox[{"199", ",", "443"}], "}"}], ",", + RowBox[{"{", + RowBox[{"200", ",", "333"}], "}"}], ",", + RowBox[{"{", + RowBox[{"202", ",", "329"}], "}"}], ",", + RowBox[{"{", + RowBox[{"204", ",", "462"}], "}"}], ",", + RowBox[{"{", + RowBox[{"208", ",", "229"}], "}"}], ",", + RowBox[{"{", + RowBox[{"209", ",", "323"}], "}"}], ",", + RowBox[{"{", + RowBox[{"210", ",", "291"}], "}"}], ",", + RowBox[{"{", + RowBox[{"211", ",", "355"}], "}"}], ",", + RowBox[{"{", + RowBox[{"213", ",", "339"}], "}"}], ",", + RowBox[{"{", + RowBox[{"214", ",", "307"}], "}"}], ",", + RowBox[{"{", + RowBox[{"216", ",", "225"}], "}"}], ",", + RowBox[{"{", + RowBox[{"217", ",", "322"}], "}"}], ",", + RowBox[{"{", + RowBox[{"218", ",", "290"}], "}"}], ",", + RowBox[{"{", + RowBox[{"219", ",", "221"}], "}"}], ",", + RowBox[{"{", + RowBox[{"224", ",", "436"}], "}"}], ",", + RowBox[{"{", + RowBox[{"227", ",", "458"}], "}"}], ",", + RowBox[{"{", + RowBox[{"228", ",", "432"}], "}"}], ",", + RowBox[{"{", + RowBox[{"230", ",", "316"}], "}"}], ",", + RowBox[{"{", + RowBox[{"297", ",", "312"}], "}"}], ",", + RowBox[{"{", + RowBox[{"298", ",", "435"}], "}"}]}], "}"}]}], ",", + RowBox[{"12", "\[Rule]", + RowBox[{"{", + RowBox[{ + "15", ",", "48", ",", "54", ",", "57", ",", "78", ",", "315", ",", "317", + ",", "330", ",", + RowBox[{"{", + RowBox[{"150", ",", "550"}], "}"}], ",", + RowBox[{"{", + RowBox[{"231", ",", "599"}], "}"}]}], "}"}]}], ",", + RowBox[{"6", "\[Rule]", + RowBox[{"{", + RowBox[{"63", ",", "119", ",", "159", ",", + RowBox[{"{", + RowBox[{"144", ",", "485"}], "}"}]}], "}"}]}], ",", + RowBox[{"8", "\[Rule]", + RowBox[{"{", + RowBox[{"467", ",", + RowBox[{"{", + RowBox[{"232", ",", "600"}], "}"}], ",", + RowBox[{"{", + RowBox[{"289", ",", "440"}], "}"}], ",", + RowBox[{"{", + RowBox[{"345", ",", "838"}], "}"}]}], "}"}]}], ",", + RowBox[{"2", "\[Rule]", + RowBox[{"{", "1337", "}"}]}]}], "\[RightAssociation]"}]], "Output", + CellChangeTimes->{ + 3.8341175476670847`*^9, 3.834127135463233*^9, 3.834128070466435*^9, + 3.834128137567073*^9, 3.834128261217815*^9, 3.8343815866682568`*^9, { + 3.834381639026669*^9, 3.834381676174406*^9}, {3.83438180358237*^9, + 3.834381811776401*^9}, {3.834722761205326*^9, 3.834722787048442*^9}, + 3.834723216714459*^9, 3.834724020352417*^9, 3.834724567498226*^9, { + 3.834727485422978*^9, 3.834727502463253*^9}, 3.8347277108455353`*^9, + 3.8348181869483423`*^9}, + CellLabel->"Out[46]=",ExpressionUUID->"30eb65fe-ee5d-48c9-a652-87c23e930d44"], + +Cell[BoxData["186"], "Output", + CellChangeTimes->{ + 3.8341175476670847`*^9, 3.834127135463233*^9, 3.834128070466435*^9, + 3.834128137567073*^9, 3.834128261217815*^9, 3.8343815866682568`*^9, { + 3.834381639026669*^9, 3.834381676174406*^9}, {3.83438180358237*^9, + 3.834381811776401*^9}, {3.834722761205326*^9, 3.834722787048442*^9}, + 3.834723216714459*^9, 3.834724020352417*^9, 3.834724567498226*^9, { + 3.834727485422978*^9, 3.834727502463253*^9}, 3.8347277108455353`*^9, + 3.83481818695037*^9}, + CellLabel->"Out[47]=",ExpressionUUID->"461368ea-1c84-4871-be75-88668c898707"], + +Cell[BoxData["74"], "Output", + CellChangeTimes->{ + 3.8341175476670847`*^9, 3.834127135463233*^9, 3.834128070466435*^9, + 3.834128137567073*^9, 3.834128261217815*^9, 3.8343815866682568`*^9, { + 3.834381639026669*^9, 3.834381676174406*^9}, {3.83438180358237*^9, + 3.834381811776401*^9}, {3.834722761205326*^9, 3.834722787048442*^9}, + 3.834723216714459*^9, 3.834724020352417*^9, 3.834724567498226*^9, { + 3.834727485422978*^9, 3.834727502463253*^9}, 3.8347277108455353`*^9, + 3.834818186951509*^9}, + CellLabel->"Out[48]=",ExpressionUUID->"eb423fce-3270-4eaa-aadd-e168fbe3b161"] +}, Open ]], + +Cell[CellGroupData[{ + +Cell[BoxData[ + RowBox[{ + RowBox[{"12", "*", "7"}], " ", "+", " ", + RowBox[{"6", "*", "6"}], " ", "+", "4", "+", "4"}]], "Input", + CellChangeTimes->{{3.834820935561257*^9, 3.834820947060216*^9}}, + CellLabel->"In[59]:=",ExpressionUUID->"5af2edf1-dca5-4db1-88b0-0dffdf0f9866"], + +Cell[BoxData["128"], "Output", + CellChangeTimes->{3.834820947695916*^9}, + CellLabel->"Out[59]=",ExpressionUUID->"0d10fb5e-9bd7-4b0b-af5e-52fb610cecee"] +}, Open ]] +}, +WindowSize->{1770.75, 924.}, +WindowMargins->{{Automatic, -111.75}, {Automatic, 30.75}}, +PrintingCopies->1, +PrintingPageRange->{Automatic, Automatic}, +PrintingOptions->{"PaperOrientation"->"Portrait", +"PaperSize"->{594.75, 842.25}, +"PostScriptOutputFile"->"/home/adam/print.pdf"}, +FrontEndVersion->"12.1 for Linux x86 (64-bit) (June 19, 2020)", +StyleDefinitions->Notebook[{ + Cell[ + StyleData[StyleDefinitions -> "Default.nb"]], + Cell[ + StyleData["Font"], MenuSortingValue -> 10000]}, Visible -> False, + FrontEndVersion -> "12.1 for Linux x86 (64-bit) (June 19, 2020)", + StyleDefinitions -> "PrivateStylesheetFormatting.nb"], +ExpressionUUID->"5711cf6b-65b8-41e8-81e6-2972aa2f48d2" +] +(* End of Notebook Content *) + +(* Internal cache information *) +(*CellTagsOutline +CellTagsIndex->{} +*) +(*CellTagsIndex +CellTagsIndex->{} +*) +(*NotebookFileOutline +Notebook[{ +Cell[400, 13, 21768, 485, 2568, "Input",ExpressionUUID->"b1e59324-d880-445b-886f-3a82d71a456d"], +Cell[CellGroupData[{ +Cell[22193, 502, 8265, 183, 442, "Input",ExpressionUUID->"82b967d0-bf9f-4a39-8c97-b0860e342dcc"], +Cell[30461, 687, 1567, 38, 41, "Output",ExpressionUUID->"670e6777-4458-428b-97bd-795d57305bf3"], +Cell[32031, 727, 775, 11, 41, "Output",ExpressionUUID->"26a504a3-faa0-4505-bdcc-3eb8b0f483d8"], +Cell[32809, 740, 774, 11, 41, "Output",ExpressionUUID->"449d11e2-87b6-459c-9079-b4b05e4c0628"] +}, Open ]], +Cell[CellGroupData[{ +Cell[33620, 756, 8739, 195, 417, "Input",ExpressionUUID->"8f4b4cfc-89a0-429d-8348-1a334b7aa795"], +Cell[42362, 953, 3768, 94, 67, "Output",ExpressionUUID->"c17212ed-88b2-48e4-90a4-77d7b4dddc3b"], +Cell[46133, 1049, 1336, 19, 41, "Output",ExpressionUUID->"87661d6b-d9d4-46c9-9e94-ec8a18820d8b"], +Cell[47472, 1070, 1333, 19, 41, "Output",ExpressionUUID->"6683f4c1-d600-4817-88a9-d3fb7bb16cea"] +}, Open ]], +Cell[CellGroupData[{ +Cell[48842, 1094, 7224, 163, 442, "Input",ExpressionUUID->"72fdb372-49f7-4d9a-866a-a6987246c661"], +Cell[56069, 1259, 6490, 179, 169, "Output",ExpressionUUID->"30eb65fe-ee5d-48c9-a652-87c23e930d44"], +Cell[62562, 1440, 586, 9, 41, "Output",ExpressionUUID->"461368ea-1c84-4871-be75-88668c898707"], +Cell[63151, 1451, 586, 9, 41, "Output",ExpressionUUID->"eb423fce-3270-4eaa-aadd-e168fbe3b161"] +}, Open ]], +Cell[CellGroupData[{ +Cell[63774, 1465, 276, 5, 36, "Input",ExpressionUUID->"5af2edf1-dca5-4db1-88b0-0dffdf0f9866"], +Cell[64053, 1472, 151, 2, 41, "Output",ExpressionUUID->"0d10fb5e-9bd7-4b0b-af5e-52fb610cecee"] +}, Open ]] +} +] +*) + diff --git a/counting_isomers.pdf b/counting_isomers.pdf new file mode 100644 index 0000000..a281956 Binary files /dev/null and b/counting_isomers.pdf differ