diff --git a/ReleaseNotes b/ReleaseNotes index 5e482f6bd..229c8682b 100644 --- a/ReleaseNotes +++ b/ReleaseNotes @@ -1,12 +1,18 @@ Release v3.0.0, xxx ======================================================= - * Changes in missing topologies (coverage): the missing topos are grouped by final states (irrespective of the topology structure). - So the FinalStateSMS objects do not exactly match the GeneralElements from v2 (several GeneralElements can be mapped to a single FinalStateSMS) - * Added option for setting the erased quantum numbers for prompt particles in the parameters file. If not defined, it will not erase the attributes + * Extension to general SMS topologies using graphs + * Large code refactoring + * Added option for selecting which quantum numbers to be erased (see the ignorePromptQNumbers option in parameters.ini) + * Changes in missing topologies (coverage): the grouping of topologies is now done only by final states and ignores the topology structure. + * Added outputFormat option to parameters.ini to allow for writing the output using the old format + * Z2parity attribute of particles is not longer needed. + * Introduced centralized database dictionary to decrease redundancies in SMS matching (SMS Dictionary) + * Clustering of SMS for UL results replaced by a (simple) K-means clustering algorithm (see Clustering) * Changed the lock file mechanism for downloading the database to work with all file systems, fixes #37 * Added CITATION.cff file, closes #38 + Release v2.3.3, Tue 19 Dec 2023 ======================================================= diff --git a/docs/manual/source/DatabaseStructure.rst b/docs/manual/source/DatabaseStructure.rst index 04d0478d5..29b4a68ad 100644 --- a/docs/manual/source/DatabaseStructure.rst +++ b/docs/manual/source/DatabaseStructure.rst @@ -395,6 +395,7 @@ in the simplified model (see the :ref:`discussion above `), the reweighting factor :math:`\xi` is computed using only the widths not present in the grid. +.. _smsDictionary: SMS Dictionary ^^^^^^^^^^^^^^ diff --git a/docs/manual/source/ReleaseUpdate.rst b/docs/manual/source/ReleaseUpdate.rst index 2d4316118..5ca044c86 100644 --- a/docs/manual/source/ReleaseUpdate.rst +++ b/docs/manual/source/ReleaseUpdate.rst @@ -38,8 +38,13 @@ New in Version 3.0.0: ^^^^^^^^^^^^^^^^^^^^^ * **Extension to general SMS topologies** (no longer restricted to Z\ :sub:`2` symmetric topologies) - * Added option for selecting which quantum numbers to be erased - * Inclusion of analyses with searches for resonant production + * Large code refactoring + * Added option for selecting which quantum numbers to be erased (see the :ref:`ignorePromptQNumbers`_ option in parameters.ini) + * Added :ref:`outputFormat `_ option to parameters.ini to allow for writing the output using the old format + * Changes in missing topologies (coverage): the grouping of topologies is now done only by final states and ignores the topology structure (see :ref:`missing topologies `_) + * Z2parity attribute of particles is not longer needed + * Introduced centralized database dictionary to decrease redundancies in SMS matching (see :ref:`SMS Dictionary `_) + * Clustering of SMS for UL results replaced by a (simple) K-means clustering algorithm (see :ref:`Clustering `_) * Changed the lock file mechanism for downloading the database to work with all file systems, fixes `#37 `_ * Added CITATION.cff file, closes `#38 `_ diff --git a/docs/manual/source/RunningSModelS.rst b/docs/manual/source/RunningSModelS.rst index 074fcde9b..a30d44a0b 100644 --- a/docs/manual/source/RunningSModelS.rst +++ b/docs/manual/source/RunningSModelS.rst @@ -256,6 +256,10 @@ Below we give more detailed information about each entry in the parameters file. * **outputType** (list of outputs): use to list all the output formats to be generated. Available output formats are: summary, stdout, log, python, xml, slha. +.. _parameterFileOutputFormat: + + * **outputFormat**: use to select in which format the output should be written. Available formats are: current (latest format) or version2 (SModelS 2.x format using bracket notation) + .. _parameterFileStdoutprinter: * *stdout-printer*: options for the stdout or log printer diff --git a/docs/manual/source/TheoryPredictions.rst b/docs/manual/source/TheoryPredictions.rst index 52f5c596e..5d8bab0f7 100644 --- a/docs/manual/source/TheoryPredictions.rst +++ b/docs/manual/source/TheoryPredictions.rst @@ -82,9 +82,9 @@ Note that although the particle properties of N1 and anyBSM match, their canonic * gluino :math:`\leftrightarrow` anyBSM * N1 :math:`\leftrightarrow` MET -In order to fully match the gluino and anyBSM nodes their daughters must also be compared (*Step 2*). Since their daughters (q,N1) and (MET,jet) are final state nodes (undecayed) the comparison procedure stops at this level and results in the following matches: +In order to fully match the gluino and anyBSM nodes their daughters must also be compared (*Step 2*). Since their daughters (g,N1) and (MET,jet) are final state nodes (undecayed) the comparison procedure stops at this level and results in the following matches: - * q :math:`\leftrightarrow` jet + * g :math:`\leftrightarrow` jet * N1 :math:`\leftrightarrow` MET .. _matchB: @@ -242,4 +242,4 @@ The number of clusters is chosen as the smallest possible so all the |SMS| belon .. [#f3] The comparison of the |particle| properties is done only for the properties which have been defined for both |particles|. For instance, it is often the case that the spin property is not defined for particles appearing in the database topologies, so this property will be ignored when comparing particles from the model topology and to the ones from the database topology. -.. [#f4] In order to comparing two sets of daughters (mapped to a bipartite graph) irrespective of their ordering, a `maximal matching algorithm `_ is used. Note that it is possible that the matching is not unique (i.e. :math:`A \leftrightarrow a, B \leftrightarrow b` and :math:`A \leftrightarrow b, B \leftrightarrow a`) and in this case the matching procedure is not deterministic. +.. [#f4] In order to compare two sets of daughters (mapped to a bipartite graph) irrespective of their ordering, a `maximal matching algorithm `_ is used. Note that it is possible that the matching is not unique (i.e. :math:`A \leftrightarrow a, B \leftrightarrow b` and :math:`A \leftrightarrow b, B \leftrightarrow a`) and in this case the matching procedure is not deterministic. diff --git a/docs/manual/source/images/drawGraphs.ipynb b/docs/manual/source/images/drawGraphs.ipynb index c7dc9e1e8..9308f365f 100644 --- a/docs/manual/source/images/drawGraphs.ipynb +++ b/docs/manual/source/images/drawGraphs.ipynb @@ -91,7 +91,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -168,7 +168,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -250,7 +250,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -411,7 +411,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -463,7 +463,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -525,7 +525,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -606,7 +606,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -701,7 +701,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -783,7 +783,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -911,7 +911,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -995,7 +995,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -1079,7 +1079,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -1182,7 +1182,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -1297,7 +1297,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -1423,7 +1423,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -1453,7 +1453,7 @@ }, { "cell_type": "code", - "execution_count": 3, + "execution_count": 14, "id": "0fa781a1", "metadata": {}, "outputs": [], @@ -1467,7 +1467,7 @@ }, { "cell_type": "code", - "execution_count": 4, + "execution_count": 15, "id": "15fd030b", "metadata": {}, "outputs": [], @@ -1625,7 +1625,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -1755,7 +1755,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -1869,7 +1869,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -1983,7 +1983,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -2025,7 +2025,7 @@ }, { "cell_type": "code", - "execution_count": 5, + "execution_count": 19, "id": "2ff86b65", "metadata": {}, "outputs": [ @@ -2089,7 +2089,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -2155,7 +2155,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -2298,7 +2298,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -2407,7 +2407,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -2493,7 +2493,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -2555,7 +2555,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -2606,7 +2606,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -2657,7 +2657,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -2708,7 +2708,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -2759,7 +2759,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -2927,7 +2927,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -3033,7 +3033,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -3128,7 +3128,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -3263,7 +3263,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -3428,7 +3428,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -3593,7 +3593,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -3799,7 +3799,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -3960,7 +3960,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -4140,7 +4140,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -4268,7 +4268,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -4462,7 +4462,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -4624,7 +4624,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -4655,7 +4655,7 @@ }, { "cell_type": "code", - "execution_count": 6, + "execution_count": 30, "id": "bd9b4678", "metadata": {}, "outputs": [], @@ -4666,7 +4666,7 @@ }, { "cell_type": "code", - "execution_count": null, + "execution_count": 31, "id": "f4d79831", "metadata": {}, "outputs": [], @@ -4680,261 +4680,3150 @@ }, { "cell_type": "code", - "execution_count": null, + "execution_count": 32, "id": "a7c9bfd0", "metadata": {}, - "outputs": [], + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "8\n" + ] + } + ], "source": [ "print(len(incSMS))" ] }, { "cell_type": "code", - "execution_count": null, + "execution_count": 33, "id": "232fcfb1", "metadata": {}, - "outputs": [], - "source": [ - "for sms in incSMS:\n", - " sms.draw()" - ] - }, - { - "cell_type": "code", - "execution_count": null, - "id": "ca78ebe4", - "metadata": {}, - "outputs": [], - "source": [ - "nodes_kwargs2={'style' : 'filled', 'fontsize' : '10', 'color' : 'black',\n", - " 'shape' : 'circle','margin' : '0'}\n", - "\n", - "sms = ExpSMS.from_string('(PV(0) > anyBSM(1), anyBSM(2)), (anyBSM(1) > l(3),MET(4)), (anyBSM(2) > jet(5),MET(6))',model=finalStates)\n", - "sms.draw(nodes_kwargs=nodes_kwargs2\n", - "# , filename='sms_incA.png'\n", - " )\n", - "\n", - "\n", - "incSMS[0].draw(nodes_kwargs=nodes_kwargs2\n", - "# , filename='sms_incB.png'\n", - " )\n", - "\n", - "sms = ExpSMS.from_string('(PV(0) > C1(1), C1(2)), (C1(1) > anySM(3),MET(4)), (C1(2) > *anySM(5),MET(6))',model=finalStates)\n", - "sms.draw(nodes_kwargs=nodes_kwargs2\n", - "# , filename='sms_incB2.png'\n", - " )\n", - "sms = ExpSMS.from_string('(PV(0) > C1(1), C1(2)), (C1(1) > anySM(3),anySM(4),MET(5)), (C1(2) > *anySM(6),MET(7))',model=finalStates)\n", - "sms.draw(nodes_kwargs=nodes_kwargs2\n", - "# , filename='sms_incB3.png'\n", - " )\n", - "\n", - "incSMS[4].draw(nodes_kwargs=nodes_kwargs2\n", - "# , filename='sms_incC.png'\n", - " )\n", - "\n", - "sms = ExpSMS.from_string('(PV(0) > anyBSM(1), HSCP(2)), (anyBSM(1) > *anySM(3),MET(4))',model=finalStates)\n", - "sms.draw(nodes_kwargs=nodes_kwargs2\n", - "# , filename='sms_incC2.png'\n", - " )\n", - "sms = ExpSMS.from_string('(PV(0) > anyBSM(1), HSCP(2)), (anyBSM(1) > anyBSM(3),*anySM(4)), (anyBSM(3) > *anySM(5),MET(6))',model=finalStates)\n", - "sms.draw(nodes_kwargs=nodes_kwargs2\n", - "# , filename='sms_incC3.png'\n", - " )\n", - "sms = ExpSMS.from_string('(PV(0) > anyBSM(1), HSCP(2)), (anyBSM(1) > anyBSM(3),MET(4)), (anyBSM(3) > *anySM(5))',model=finalStates)\n", - "sms.draw(nodes_kwargs=nodes_kwargs2\n", - "# , filename='sms_incC4.png'\n", - " )" - ] - }, - { - "cell_type": "code", - "execution_count": null, - "id": "89caf44c", - "metadata": {}, - "outputs": [], - "source": [] - }, - { - "cell_type": "markdown", - "id": "fa3fbf91", - "metadata": {}, - "source": [ - "### Theory Predictions" - ] - }, - { - "cell_type": "code", - "execution_count": null, - "id": "d94b5282", - "metadata": {}, - "outputs": [], - "source": [ - "sms = \"(PV > gluino(1),gluino(2)), (gluino(1) > N1(3),u(4),u~(5)), (gluino(2) > N1(6),d(7),d~(8))\"\n", - "sms = ExpSMS.from_string(sms, model=model)\n", - "sms.sort()\n", - "nodes_kwargs2={'style' : 'filled', 'fontsize' : '10', 'color' : 'black',\n", - " 'shape' : 'circle','margin' : '0'}\n", - "sms.draw(nodes_kwargs=nodes_kwargs2\n", - "# , filename='sms_tpA.png'\n", - " )" - ] - }, - { - "cell_type": "code", - "execution_count": null, - "id": "6ef6cc2d", - "metadata": {}, - "outputs": [], - "source": [ - "sms = \"(PV > anyBSM(1),anyBSM(2)), (anyBSM(1) >jet(3), MET(4),jet(5)), (anyBSM(2) > jet(6),jet(7),MET(8))\"\n", - "sms = ExpSMS.from_string(sms, model=finalStates)\n", - "graph_kwargs3={'layout' : 'dot', 'ranksep' : '0.3', 'rankdir' : \"RL\"}\n", - "nodes_kwargs3={'style' : 'filled', 'fontsize' : '10', 'color' : 'black',\n", - " 'shape' : 'circle','margin' : '0'}\n", - "edges_kwargs3={'arrowhead' : 'vee', 'arrowsize' : '0.7', 'color' : 'grey53'}\n", - "sms.draw(nodes_kwargs=nodes_kwargs3, graph_kwargs=graph_kwargs3,edges_kwargs=edges_kwargs3,\n", - " particleColor='steelblue3',smColor='lightpink3'\n", - "# , filename='sms_tpB.png'\n", - " )\n", - "sms.draw(nodes_kwargs=nodes_kwargs3, graph_kwargs=graph_kwargs3,edges_kwargs=edges_kwargs3,\n", - " particleColor='steelblue3',smColor='lightpink3',labelAttr=None\n", - "# , filename='sms_tpB2.png'\n", - " )\n", - "print(sms.canonName)\n" - ] - }, - { - "cell_type": "code", - "execution_count": null, - "id": "07a4dd96", - "metadata": {}, - "outputs": [], - "source": [ - "sms = \"(PV > gluino(1),gluino(2)), (gluino(1) > N1(3),u~(4))\"\n", - "sms = ExpSMS.from_string(sms, model=model)\n", - "sms.sort()\n", - "nodes_kwargs2={'style' : 'filled', 'fontsize' : '10', 'color' : 'black',\n", - " 'shape' : 'circle','margin' : '0'}\n", - "\n", - "sms.draw(nodes_kwargs=nodes_kwargs2,labelAttr='canonName'\n", - "# , filename='sms_tpA2.png'\n", - " )" - ] - }, - { - "cell_type": "code", - "execution_count": null, - "id": "65e7f21b", - "metadata": {}, - "outputs": [], - "source": [ - "sms = \"(PV > anyBSM(1),anyBSM(2)), (anyBSM(1) >jet(3), MET(4))\"\n", - "sms = ExpSMS.from_string(sms, model=finalStates)\n", - "graph_kwargs3={'layout' : 'dot', 'ranksep' : '0.3', 'rankdir' : \"RL\"}\n", - "nodes_kwargs3={'style' : 'filled', 'fontsize' : '10', 'color' : 'black',\n", - " 'shape' : 'circle','margin' : '0'}\n", - "edges_kwargs3={'arrowhead' : 'vee', 'arrowsize' : '0.7', 'color' : 'grey53'}\n", - "sms.draw(nodes_kwargs=nodes_kwargs3, graph_kwargs=graph_kwargs3,edges_kwargs=edges_kwargs3,\n", - " particleColor='steelblue3',smColor='lightpink3',labelAttr='canonName'\n", - "# , filename='sms_tpB2.png'\n", - " )\n", - "print(sms.canonName)" - ] - }, - { - "cell_type": "code", - "execution_count": null, - "id": "5f62d686", - "metadata": {}, - "outputs": [], - "source": [ - "sms = \"(PV > gluino(1),N1(2)), (gluino(1) > N1(3),u~(4))\"\n", - "sms = ExpSMS.from_string(sms, model=model)\n", - "sms.sort()\n", - "nodes_kwargs2={'style' : 'filled', 'fontsize' : '15', 'color' : 'black',\n", - " 'shape' : 'circle','margin' : '0'}\n", - "\n", - "sms.draw(nodes_kwargs=nodes_kwargs2\n", - "# , filename='sms_tpC1.png'\n", - " )" - ] - }, - { - "cell_type": "code", - "execution_count": null, - "id": "bb5a37df", - "metadata": {}, - "outputs": [], - "source": [ - "sms = \"(PV > gluino(1),N1(2))\"\n", - "sms = ExpSMS.from_string(sms, model=model)\n", - "sms.sort()\n", - "nodes_kwargs2={'style' : 'filled', 'fontsize' : '15', 'color' : 'black',\n", - " 'shape' : 'circle','margin' : '0'}\n", - "\n", - "sms.draw(nodes_kwargs=nodes_kwargs2\n", - "# , filename='sms_tpC4.png'\n", - " )" - ] - }, - { - "cell_type": "code", - "execution_count": null, - "id": "6861af61", - "metadata": {}, - "outputs": [], - "source": [ - "sms = \"(PV > anyBSM(1),MET(2)), (anyBSM(1) >jet(3), MET(4))\"\n", - "sms = ExpSMS.from_string(sms, model=finalStates)\n", - "graph_kwargs3={'layout' : 'dot', 'ranksep' : '0.3', 'rankdir' : \"RL\"}\n", - "nodes_kwargs3={'style' : 'filled', 'fontsize' : '15', 'color' : 'black',\n", - " 'shape' : 'circle','margin' : '0'}\n", - "edges_kwargs3={'arrowhead' : 'vee', 'arrowsize' : '0.7', 'color' : 'grey53'}\n", - "sms.draw(nodes_kwargs=nodes_kwargs3, graph_kwargs=graph_kwargs3,edges_kwargs=edges_kwargs3,\n", - " particleColor='steelblue3',smColor='lightpink3'\n", - "# , filename='sms_tpC2.png'\n", - " )" - ] - }, - { - "cell_type": "code", - "execution_count": null, - "id": "9170a03c", - "metadata": {}, - "outputs": [], - "source": [ - "sms = \"(PV > anyBSM(1),MET(2))\"\n", - "sms = ExpSMS.from_string(sms, model=finalStates)\n", - "graph_kwargs3={'layout' : 'dot', 'ranksep' : '0.3', 'rankdir' : \"RL\"}\n", - "nodes_kwargs3={'style' : 'filled', 'fontsize' : '15', 'color' : 'black',\n", - " 'shape' : 'circle','margin' : '0'}\n", - "edges_kwargs3={'arrowhead' : 'vee', 'arrowsize' : '0.7', 'color' : 'grey53'}\n", - "sms.draw(nodes_kwargs=nodes_kwargs3, graph_kwargs=graph_kwargs3,edges_kwargs=edges_kwargs3,\n", - " particleColor='steelblue3',smColor='lightpink3'\n", - "# , filename='sms_tpC3.png'\n", - " )" - ] - }, - { - "cell_type": "code", - "execution_count": null, - "id": "db81e530", - "metadata": {}, - "outputs": [], - "source": [ - "sms = \"(PV > gluino(1),gluino(2)), (gluino(1) > N1(3),u~(4),u(5)), (N1(3) > N1(6),Z(7)), (gluino(2) > u~(8),u(9),N1(10)), (N1(10) > Z(11),N1(12))\"\n", - "sms = ExpSMS.from_string(sms, model=model)\n", - "nodes_kwargs2={'style' : 'filled', 'fontsize' : '10', 'color' : 'black',\n", - " 'shape' : 'circle','margin' : '0', 'fixedsize' : 'true', \n", - " 'width' : '0.3', 'height' : '0.3'}\n", - "\n", - "sms.draw(nodes_kwargs=nodes_kwargs2,labelAttr={0 : '', 1 : 'A',2 : 'A', 3 : 'B', 4 : 'q', 5 : 'q', 6 : 'C', 7 : 'Z',\n", - " 8 : 'q', 9 : 'q', 10 : 'B', 11 : 'Z', 12 : 'C'}\n", - "# , filename='sms_tpD1.png'\n", - " )\n", - "\n", - "sms.draw(nodes_kwargs=nodes_kwargs2,labelAttr={0 : '', 1 : \"A'\",2 : \"A'\", 3 : \"B'\", 4 : 'q', 5 : 'q', 6 : 'C', 7 : 'Z',\n", - " 8 : 'q', 9 : 'q', 10 : \"B'\", 11 : 'Z', 12 : 'C'}\n", + "outputs": [ + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "C1\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "C1\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "2->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "2->6\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "Hpm\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "Hpm\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "2->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "2->6\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "C1\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "Hpm\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "Inclusive\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "HSCP\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "Inclusive\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "anyBSM\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "HSCP\n", + "\n", + "\n", + "\n", + "2->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "anySM\n", + "\n", + "\n", + "\n", + "2->6\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "Inclusive\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "anyBSM\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "anySM\n", + "\n", + "\n", + "\n", + "2->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "anyBSM\n", + "\n", + "\n", + "\n", + "2->6\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "7\n", + "\n", + "HSCP\n", + "\n", + "\n", + "\n", + "6->7\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "8\n", + "\n", + "anySM\n", + "\n", + "\n", + "\n", + "6->8\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "Inclusive\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "anyBSM\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "HSCP\n", + "\n", + "\n", + "\n", + "2->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "anySM\n", + "\n", + "\n", + "\n", + "2->6\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "7\n", + "\n", + "anySM\n", + "\n", + "\n", + "\n", + "2->7\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + } + ], + "source": [ + "for sms in incSMS:\n", + " sms.draw()" + ] + }, + { + "cell_type": "code", + "execution_count": 34, + "id": "ca78ebe4", + "metadata": {}, + "outputs": [ + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "anyBSM\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "anyBSM\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "l\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "jet\n", + "\n", + "\n", + "\n", + "2->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "2->6\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "C1\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "C1\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "2->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "2->6\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "C1\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "C1\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "anySM\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "2->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "2->6\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "C1\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "C1\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "anySM\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "anySM\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "2->6\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "7\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "2->7\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "Inclusive\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "HSCP\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "anyBSM\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "HSCP\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "anyBSM\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "HSCP\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "anyBSM\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "3->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "3->6\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "anyBSM\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "HSCP\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "anyBSM\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "*anySM\n", + "\n", + "\n", + "\n", + "3->5\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + } + ], + "source": [ + "nodes_kwargs2={'style' : 'filled', 'fontsize' : '10', 'color' : 'black',\n", + " 'shape' : 'circle','margin' : '0'}\n", + "\n", + "sms = ExpSMS.from_string('(PV(0) > anyBSM(1), anyBSM(2)), (anyBSM(1) > l(3),MET(4)), (anyBSM(2) > jet(5),MET(6))',model=finalStates)\n", + "sms.draw(nodes_kwargs=nodes_kwargs2\n", + "# , filename='sms_incA.png'\n", + " )\n", + "\n", + "\n", + "incSMS[0].draw(nodes_kwargs=nodes_kwargs2\n", + "# , filename='sms_incB.png'\n", + " )\n", + "\n", + "sms = ExpSMS.from_string('(PV(0) > C1(1), C1(2)), (C1(1) > anySM(3),MET(4)), (C1(2) > *anySM(5),MET(6))',model=finalStates)\n", + "sms.draw(nodes_kwargs=nodes_kwargs2\n", + "# , filename='sms_incB2.png'\n", + " )\n", + "sms = ExpSMS.from_string('(PV(0) > C1(1), C1(2)), (C1(1) > anySM(3),anySM(4),MET(5)), (C1(2) > *anySM(6),MET(7))',model=finalStates)\n", + "sms.draw(nodes_kwargs=nodes_kwargs2\n", + "# , filename='sms_incB3.png'\n", + " )\n", + "\n", + "incSMS[4].draw(nodes_kwargs=nodes_kwargs2\n", + "# , filename='sms_incC.png'\n", + " )\n", + "\n", + "sms = ExpSMS.from_string('(PV(0) > anyBSM(1), HSCP(2)), (anyBSM(1) > *anySM(3),MET(4))',model=finalStates)\n", + "sms.draw(nodes_kwargs=nodes_kwargs2\n", + "# , filename='sms_incC2.png'\n", + " )\n", + "sms = ExpSMS.from_string('(PV(0) > anyBSM(1), HSCP(2)), (anyBSM(1) > anyBSM(3),*anySM(4)), (anyBSM(3) > *anySM(5),MET(6))',model=finalStates)\n", + "sms.draw(nodes_kwargs=nodes_kwargs2\n", + "# , filename='sms_incC3.png'\n", + " )\n", + "sms = ExpSMS.from_string('(PV(0) > anyBSM(1), HSCP(2)), (anyBSM(1) > anyBSM(3),MET(4)), (anyBSM(3) > *anySM(5))',model=finalStates)\n", + "sms.draw(nodes_kwargs=nodes_kwargs2\n", + "# , filename='sms_incC4.png'\n", + " )" + ] + }, + { + "cell_type": "code", + "execution_count": null, + "id": "89caf44c", + "metadata": {}, + "outputs": [], + "source": [] + }, + { + "cell_type": "markdown", + "id": "fa3fbf91", + "metadata": {}, + "source": [ + "### Theory Predictions" + ] + }, + { + "cell_type": "code", + "execution_count": 35, + "id": "d94b5282", + "metadata": {}, + "outputs": [ + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "gluino\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "gluino\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "N1\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "1->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "N1\n", + "\n", + "\n", + "\n", + "2->6\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "7\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "2->7\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "8\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "2->8\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + } + ], + "source": [ + "sms = \"(PV > gluino(1),gluino(2)), (gluino(1) > N1(3),u(4),u~(5)), (gluino(2) > N1(6),d(7),d~(8))\"\n", + "sms = ExpSMS.from_string(sms, model=model)\n", + "sms.sort()\n", + "nodes_kwargs2={'style' : 'filled', 'fontsize' : '10', 'color' : 'black',\n", + " 'shape' : 'circle','margin' : '0'}\n", + "sms.draw(nodes_kwargs=nodes_kwargs2\n", + "# , filename='sms_tpA.png'\n", + " )" + ] + }, + { + "cell_type": "code", + "execution_count": 36, + "id": "6ef6cc2d", + "metadata": {}, + "outputs": [ + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "anyBSM\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "anyBSM\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "jet\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "jet\n", + "\n", + "\n", + "\n", + "1->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "jet\n", + "\n", + "\n", + "\n", + "2->6\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "7\n", + "\n", + "jet\n", + "\n", + "\n", + "\n", + "2->7\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "8\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "2->8\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "\n", + "\n", + "\n", + "1->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "\n", + "\n", + "\n", + "2->6\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "7\n", + "\n", + "\n", + "\n", + "\n", + "2->7\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "8\n", + "\n", + "\n", + "\n", + "\n", + "2->8\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "name": "stdout", + "output_type": "stream", + "text": [ + "111010100110101000\n" + ] + } + ], + "source": [ + "sms = \"(PV > anyBSM(1),anyBSM(2)), (anyBSM(1) >jet(3), MET(4),jet(5)), (anyBSM(2) > jet(6),jet(7),MET(8))\"\n", + "sms = ExpSMS.from_string(sms, model=finalStates)\n", + "graph_kwargs3={'layout' : 'dot', 'ranksep' : '0.3', 'rankdir' : \"RL\"}\n", + "nodes_kwargs3={'style' : 'filled', 'fontsize' : '10', 'color' : 'black',\n", + " 'shape' : 'circle','margin' : '0'}\n", + "edges_kwargs3={'arrowhead' : 'vee', 'arrowsize' : '0.7', 'color' : 'grey53'}\n", + "sms.draw(nodes_kwargs=nodes_kwargs3, graph_kwargs=graph_kwargs3,edges_kwargs=edges_kwargs3,\n", + " particleColor='steelblue3',smColor='lightpink3'\n", + "# , filename='sms_tpB.png'\n", + " )\n", + "sms.draw(nodes_kwargs=nodes_kwargs3, graph_kwargs=graph_kwargs3,edges_kwargs=edges_kwargs3,\n", + " particleColor='steelblue3',smColor='lightpink3',labelAttr=None\n", + "# , filename='sms_tpB2.png'\n", + " )\n", + "print(sms.canonName)\n" + ] + }, + { + "cell_type": "code", + "execution_count": 37, + "id": "07a4dd96", + "metadata": {}, + "outputs": [ + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "1101101000\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "10\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "110100\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "10\n", + "\n", + "\n", + "\n", + "2->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "10\n", + "\n", + "\n", + "\n", + "2->4\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + } + ], + "source": [ + "sms = \"(PV > gluino(1),gluino(2)), (gluino(1) > N1(3),u~(4))\"\n", + "sms = ExpSMS.from_string(sms, model=model)\n", + "sms.sort()\n", + "nodes_kwargs2={'style' : 'filled', 'fontsize' : '10', 'color' : 'black',\n", + " 'shape' : 'circle','margin' : '0'}\n", + "\n", + "sms.draw(nodes_kwargs=nodes_kwargs2,labelAttr='canonName'\n", + "# , filename='sms_tpA2.png'\n", + " )" + ] + }, + { + "cell_type": "code", + "execution_count": 38, + "id": "65e7f21b", + "metadata": {}, + "outputs": [ + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "1101101000\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "110100\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "10\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "10\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "10\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "name": "stdout", + "output_type": "stream", + "text": [ + "1101101000\n" + ] + } + ], + "source": [ + "sms = \"(PV > anyBSM(1),anyBSM(2)), (anyBSM(1) >jet(3), MET(4))\"\n", + "sms = ExpSMS.from_string(sms, model=finalStates)\n", + "graph_kwargs3={'layout' : 'dot', 'ranksep' : '0.3', 'rankdir' : \"RL\"}\n", + "nodes_kwargs3={'style' : 'filled', 'fontsize' : '10', 'color' : 'black',\n", + " 'shape' : 'circle','margin' : '0'}\n", + "edges_kwargs3={'arrowhead' : 'vee', 'arrowsize' : '0.7', 'color' : 'grey53'}\n", + "sms.draw(nodes_kwargs=nodes_kwargs3, graph_kwargs=graph_kwargs3,edges_kwargs=edges_kwargs3,\n", + " particleColor='steelblue3',smColor='lightpink3',labelAttr='canonName'\n", + "# , filename='sms_tpB2.png'\n", + " )\n", + "print(sms.canonName)" + ] + }, + { + "cell_type": "code", + "execution_count": 39, + "id": "5f62d686", + "metadata": {}, + "outputs": [ + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "N1\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "gluino\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "N1\n", + "\n", + "\n", + "\n", + "2->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "g\n", + "\n", + "\n", + "\n", + "2->4\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + } + ], + "source": [ + "sms = \"(PV > gluino(1),N1(2)), (gluino(1) > N1(3),g(4))\"\n", + "sms = ExpSMS.from_string(sms, model=model)\n", + "sms.sort()\n", + "nodes_kwargs2={'style' : 'filled', 'fontsize' : '15', 'color' : 'black',\n", + " 'shape' : 'circle','margin' : '0'}\n", + "\n", + "sms.draw(nodes_kwargs=nodes_kwargs2\n", + " , filename='sms_tpC1.png'\n", + " )" + ] + }, + { + "cell_type": "code", + "execution_count": 40, + "id": "bb5a37df", + "metadata": {}, + "outputs": [ + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "N1\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "gluino\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + } + ], + "source": [ + "sms = \"(PV > gluino(1),N1(2))\"\n", + "sms = ExpSMS.from_string(sms, model=model)\n", + "sms.sort()\n", + "nodes_kwargs2={'style' : 'filled', 'fontsize' : '15', 'color' : 'black',\n", + " 'shape' : 'circle','margin' : '0'}\n", + "\n", + "sms.draw(nodes_kwargs=nodes_kwargs2\n", + "# , filename='sms_tpC4.png'\n", + " )" + ] + }, + { + "cell_type": "code", + "execution_count": 41, + "id": "6861af61", + "metadata": {}, + "outputs": [ + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "anyBSM\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "jet\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + } + ], + "source": [ + "sms = \"(PV > anyBSM(1),MET(2)), (anyBSM(1) >jet(3), MET(4))\"\n", + "sms = ExpSMS.from_string(sms, model=finalStates)\n", + "graph_kwargs3={'layout' : 'dot', 'ranksep' : '0.3', 'rankdir' : \"RL\"}\n", + "nodes_kwargs3={'style' : 'filled', 'fontsize' : '15', 'color' : 'black',\n", + " 'shape' : 'circle','margin' : '0'}\n", + "edges_kwargs3={'arrowhead' : 'vee', 'arrowsize' : '0.7', 'color' : 'grey53'}\n", + "sms.draw(nodes_kwargs=nodes_kwargs3, graph_kwargs=graph_kwargs3,edges_kwargs=edges_kwargs3,\n", + " particleColor='steelblue3',smColor='lightpink3'\n", + "# , filename='sms_tpC2.png'\n", + " )" + ] + }, + { + "cell_type": "code", + "execution_count": 42, + "id": "9170a03c", + "metadata": {}, + "outputs": [ + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "PV\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "anyBSM\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "MET\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + } + ], + "source": [ + "sms = \"(PV > anyBSM(1),MET(2))\"\n", + "sms = ExpSMS.from_string(sms, model=finalStates)\n", + "graph_kwargs3={'layout' : 'dot', 'ranksep' : '0.3', 'rankdir' : \"RL\"}\n", + "nodes_kwargs3={'style' : 'filled', 'fontsize' : '15', 'color' : 'black',\n", + " 'shape' : 'circle','margin' : '0'}\n", + "edges_kwargs3={'arrowhead' : 'vee', 'arrowsize' : '0.7', 'color' : 'grey53'}\n", + "sms.draw(nodes_kwargs=nodes_kwargs3, graph_kwargs=graph_kwargs3,edges_kwargs=edges_kwargs3,\n", + " particleColor='steelblue3',smColor='lightpink3'\n", + "# , filename='sms_tpC3.png'\n", + " )" + ] + }, + { + "cell_type": "code", + "execution_count": 43, + "id": "db81e530", + "metadata": {}, + "outputs": [ + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "A\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "A\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "B\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "1->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "8\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "2->8\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "9\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "2->9\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "10\n", + "\n", + "B\n", + "\n", + "\n", + "\n", + "2->10\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "C\n", + "\n", + "\n", + "\n", + "3->6\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "7\n", + "\n", + "Z\n", + "\n", + "\n", + "\n", + "3->7\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "11\n", + "\n", + "Z\n", + "\n", + "\n", + "\n", + "10->11\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "12\n", + "\n", + "C\n", + "\n", + "\n", + "\n", + "10->12\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "A'\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "A'\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "B'\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "1->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "8\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "2->8\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "9\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "2->9\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "10\n", + "\n", + "B'\n", + "\n", + "\n", + "\n", + "2->10\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "C\n", + "\n", + "\n", + "\n", + "3->6\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "7\n", + "\n", + "Z\n", + "\n", + "\n", + "\n", + "3->7\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "11\n", + "\n", + "Z\n", + "\n", + "\n", + "\n", + "10->11\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "12\n", + "\n", + "C\n", + "\n", + "\n", + "\n", + "10->12\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "A+A'\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "A+A'\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "B+B'\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "5\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "1->5\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "8\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "2->8\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "9\n", + "\n", + "q\n", + "\n", + "\n", + "\n", + "2->9\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "10\n", + "\n", + "B+B'\n", + "\n", + "\n", + "\n", + "2->10\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "6\n", + "\n", + "C\n", + "\n", + "\n", + "\n", + "3->6\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "7\n", + "\n", + "Z\n", + "\n", + "\n", + "\n", + "3->7\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "11\n", + "\n", + "Z\n", + "\n", + "\n", + "\n", + "10->11\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "12\n", + "\n", + "C\n", + "\n", + "\n", + "\n", + "10->12\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + } + ], + "source": [ + "sms = \"(PV > gluino(1),gluino(2)), (gluino(1) > N1(3),u~(4),u(5)), (N1(3) > N1(6),Z(7)), (gluino(2) > u~(8),u(9),N1(10)), (N1(10) > Z(11),N1(12))\"\n", + "sms = ExpSMS.from_string(sms, model=model)\n", + "nodes_kwargs2={'style' : 'filled', 'fontsize' : '10', 'color' : 'black',\n", + " 'shape' : 'circle','margin' : '0', 'fixedsize' : 'true', \n", + " 'width' : '0.3', 'height' : '0.3'}\n", + "\n", + "sms.draw(nodes_kwargs=nodes_kwargs2,labelAttr={0 : '', 1 : 'A',2 : 'A', 3 : 'B', 4 : 'q', 5 : 'q', 6 : 'C', 7 : 'Z',\n", + " 8 : 'q', 9 : 'q', 10 : 'B', 11 : 'Z', 12 : 'C'}\n", + "# , filename='sms_tpD1.png'\n", + " )\n", + "\n", + "sms.draw(nodes_kwargs=nodes_kwargs2,labelAttr={0 : '', 1 : \"A'\",2 : \"A'\", 3 : \"B'\", 4 : 'q', 5 : 'q', 6 : 'C', 7 : 'Z',\n", + " 8 : 'q', 9 : 'q', 10 : \"B'\", 11 : 'Z', 12 : 'C'}\n", "# , filename='sms_tpD2.png'\n", " )\n", "\n", @@ -4958,7 +7847,7 @@ }, { "cell_type": "code", - "execution_count": null, + "execution_count": 44, "id": "6a1873ec", "metadata": {}, "outputs": [], @@ -4969,10 +7858,76 @@ }, { "cell_type": "code", - "execution_count": null, + "execution_count": 45, "id": "c5834ac4", "metadata": {}, - "outputs": [], + "outputs": [ + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "A\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "B\n", + "\n", + "\n", + "\n", + "1->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "C\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + } + ], "source": [ "sms = ExpSMS.from_string('(PV > anyBSM(1)), (anyBSM(1) > MET(2),MET(3))',\n", " model=finalStates)\n", @@ -4988,10 +7943,76 @@ }, { "cell_type": "code", - "execution_count": null, + "execution_count": 46, "id": "36d3cfef", "metadata": {}, - "outputs": [], + "outputs": [ + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "A\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "B\n", + "\n", + "\n", + "\n", + "1->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "C\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + } + ], "source": [ "sms = ExpSMS.from_string('(PV > anyBSM(1)), (anyBSM(1) > MET(2),MET(3))',\n", " model=finalStates)\n", @@ -5006,10 +8027,146 @@ }, { "cell_type": "code", - "execution_count": null, + "execution_count": 47, "id": "c90834b6", "metadata": {}, - "outputs": [], + "outputs": [ + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "\n", + "\n", + "\n", + "1->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + }, + { + "data": { + "image/svg+xml": [ + "\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "%3\n", + "\n", + "\n", + "\n", + "0\n", + "\n", + "\n", + "\n", + "\n", + "1\n", + "\n", + "\n", + "\n", + "\n", + "0->1\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "2\n", + "\n", + "\n", + "\n", + "\n", + "0->2\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "3\n", + "\n", + "\n", + "\n", + "\n", + "1->3\n", + "\n", + "\n", + "\n", + "\n", + "\n", + "4\n", + "\n", + "\n", + "\n", + "\n", + "1->4\n", + "\n", + "\n", + "\n", + "\n", + "\n" + ], + "text/plain": [ + "" + ] + }, + "metadata": {}, + "output_type": "display_data" + } + ], "source": [ "sms = ExpSMS.from_string('(PV > anyBSM(1)), (anyBSM(1) > MET(2),MET(3))',\n", " model=finalStates)\n", @@ -5022,14 +8179,14 @@ " # , filename='sms_sms1.png'\n", " )\n", "\n", - "sms = ExpSMS.from_string('(PV > anyBSM(1), anyBSM(2)), (anyBSM(1) > MET(2),MET(3))',\n", + "sms = ExpSMS.from_string('(PV > anyBSM(1), anyBSM(2)), (anyBSM(1) > MET(3),MET(4))',\n", " model=finalStates)\n", "nodes_kwargs2={'style' : 'filled', 'fontsize' : '10', 'color' : 'black',\n", " 'shape' : 'circle','margin' : '0', 'fixedsize' : 'false', \n", " 'width' : '0.2', 'height' : '0.2'}\n", "\n", "sms.draw(nodes_kwargs=nodes_kwargs2,maxLabelSize=0,\n", - " labelAttr={0 : '', 1 : '',2 : '', 3 : ''}\n", + " labelAttr={0 : '', 1 : '',2 : '', 3 : '', 4 : ''}\n", " # , filename='sms_sms1.png'\n", " )" ] @@ -5044,7 +8201,7 @@ }, { "cell_type": "code", - "execution_count": 38, + "execution_count": 48, "id": "b55ffb71-8abe-4ba7-9e30-5ed5ca9efbaf", "metadata": {}, "outputs": [], @@ -5054,7 +8211,7 @@ }, { "cell_type": "code", - "execution_count": 39, + "execution_count": 49, "id": "6d8f5980-1d15-424a-9918-148720c07713", "metadata": {}, "outputs": [ @@ -5202,7 +8359,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -5328,7 +8485,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -5350,7 +8507,7 @@ }, { "cell_type": "code", - "execution_count": 40, + "execution_count": 50, "id": "59e0f431-f4e9-4c36-b87f-baf8ce944392", "metadata": {}, "outputs": [ @@ -5426,7 +8583,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -5504,21 +8661,11 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, "output_type": "display_data" - }, - { - "name": "stderr", - "output_type": "stream", - "text": [ - "\n", - "(eog:23935): EOG-CRITICAL **: 10:45:13.842: eog_image_get_file: assertion 'EOG_IS_IMAGE (img)' failed\n", - "\n", - "(eog:23935): GLib-GIO-CRITICAL **: 10:45:13.842: g_file_equal: assertion 'G_IS_FILE (file1)' failed\n" - ] } ], "source": [ @@ -5536,7 +8683,7 @@ }, { "cell_type": "code", - "execution_count": 41, + "execution_count": 51, "id": "bf65277f-5c53-4bd6-8fef-a4727414dae9", "metadata": {}, "outputs": [ @@ -5612,7 +8759,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -5690,49 +8837,11 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, "output_type": "display_data" - }, - { - "name": "stderr", - "output_type": "stream", - "text": [ - "\n", - "(eog:23935): EOG-WARNING **: 10:46:17.735: Thumbnail creation failed\n", - "\n", - "(eog:23935): EOG-WARNING **: 10:46:17.735: Thumbnail creation failed\n", - "\n", - "(eog:23935): EOG-WARNING **: 10:46:17.735: Thumbnail creation failed\n", - "\n", - "(eog:23935): EOG-WARNING **: 10:46:17.735: Thumbnail creation failed\n", - "\n", - "(eog:23935): EOG-WARNING **: 10:49:50.420: Thumbnail creation failed\n", - "\n", - "(eog:23935): EOG-WARNING **: 10:49:50.420: Thumbnail creation failed\n", - "\n", - "(eog:23935): EOG-WARNING **: 10:49:50.420: Thumbnail creation failed\n", - "\n", - "(eog:23935): EOG-WARNING **: 10:49:50.421: Thumbnail creation failed\n", - "\n", - "(eog:23935): EOG-WARNING **: 10:54:00.904: Thumbnail creation failed\n", - "\n", - "(eog:23935): EOG-WARNING **: 10:54:00.904: Thumbnail creation failed\n", - "\n", - "(eog:23935): EOG-WARNING **: 10:54:00.904: Thumbnail creation failed\n", - "\n", - "(eog:23935): EOG-WARNING **: 10:54:00.904: Thumbnail creation failed\n", - "\n", - "(eog:23935): EOG-WARNING **: 10:54:40.749: Thumbnail creation failed\n", - "\n", - "(eog:23935): EOG-WARNING **: 10:54:40.749: Thumbnail creation failed\n", - "\n", - "(eog:23935): EOG-WARNING **: 10:54:40.750: Thumbnail creation failed\n", - "\n", - "(eog:23935): EOG-WARNING **: 10:54:40.750: Thumbnail creation failed\n" - ] } ], "source": [ @@ -5758,7 +8867,7 @@ }, { "cell_type": "code", - "execution_count": 24, + "execution_count": 52, "id": "54568dbe-ac90-4809-9289-74d9d7b6793b", "metadata": {}, "outputs": [ @@ -5882,7 +8991,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -5896,13 +9005,13 @@ "# Hack to create a theory element from a string:\n", "smsA = ExpSMS.from_string(smsA, model=model)\n", "smsA.draw(\n", - " filename='sms_rpv_example1.png'\n", + " # filename='sms_rpv_example1.png'\n", ")" ] }, { "cell_type": "code", - "execution_count": 25, + "execution_count": 53, "id": "8ebb71d8-1eab-4fc0-bc64-411ad621695b", "metadata": {}, "outputs": [], @@ -5918,7 +9027,7 @@ }, { "cell_type": "code", - "execution_count": 26, + "execution_count": 54, "id": "81e86ab1-b34c-4658-9f23-39516b540dda", "metadata": {}, "outputs": [ @@ -5982,7 +9091,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -6048,7 +9157,7 @@ "\n" ], "text/plain": [ - "" + "" ] }, "metadata": {}, @@ -6060,14 +9169,14 @@ "# Hack to create a theory element from a string:\n", "smsA = ExpSMS.from_string(smsA, model=model)\n", "smsA.draw(\n", - " filename='sms_zprime_example1.png'\n", + " # filename='sms_zprime_example1.png'\n", ")\n", "\n", "smsB = \"(PV > zprime(1)), (zprime(1) > q(2),q(3))\"\n", "# Hack to create a theory element from a string:\n", "smsB = ExpSMS.from_string(smsB, model=model)\n", "smsB.draw(\n", - " filename='sms_zprime_example2.png'\n", + " # filename='sms_zprime_example2.png'\n", ")" ] }, diff --git a/docs/manual/source/images/sms_tpC1.png b/docs/manual/source/images/sms_tpC1.png index 6bb6c47fd..2ce7f3ccf 100644 Binary files a/docs/manual/source/images/sms_tpC1.png and b/docs/manual/source/images/sms_tpC1.png differ diff --git a/docs/manual/source/images/theoryPredB.png b/docs/manual/source/images/theoryPredB.png index e699b7cbb..72795cdd2 100644 Binary files a/docs/manual/source/images/theoryPredB.png and b/docs/manual/source/images/theoryPredB.png differ diff --git a/docs/manual/source/images/theoryPredC.png b/docs/manual/source/images/theoryPredC.png index 9f4e1937b..78e53fffe 100644 Binary files a/docs/manual/source/images/theoryPredC.png and b/docs/manual/source/images/theoryPredC.png differ diff --git a/docs/manual/source/images/theoryPredD.png b/docs/manual/source/images/theoryPredD.png index 94801104f..ff43c4c63 100644 Binary files a/docs/manual/source/images/theoryPredD.png and b/docs/manual/source/images/theoryPredD.png differ diff --git a/docs/manual/source/images/theoryPredD.svg b/docs/manual/source/images/theoryPredD.svg index e235fe844..4a964b0f6 100644 --- a/docs/manual/source/images/theoryPredD.svg +++ b/docs/manual/source/images/theoryPredD.svg @@ -1,56 +1,56 @@ - + - - + + - - + + - + \Large Database SMS - + \Large Model SMS - - + + - - + + - - + + - - + + - + \Huge $\checkmark$ - + - + - + - + - + - + - + - + @@ -59,8 +59,8 @@ false 1.0499999999999998 - 0.55 - 0.408 + 0.487 + 0.385