From f7d35f7175bf419721fc5933c44a68a94cee3d48 Mon Sep 17 00:00:00 2001
From: daviddoret <david.doret@me.com>
Date: Fri, 20 Dec 2024 21:30:45 +0100
Subject: [PATCH] first theorem implementation

---
 .idea/workspace.xml                           |  53 +++++++++---------
 ...hared_library.cpython-312-pytest-8.3.2.pyc | Bin 1574 -> 1792 bytes
 tests/test_shared_library.py                  |   6 +-
 3 files changed, 32 insertions(+), 27 deletions(-)

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 0d93acea..ab06878a 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -6,10 +6,7 @@
   <component name="ChangeListManager">
     <list default="true" id="48b609c4-0198-44a9-8f40-0a1e1f4ae31e" name="Changes" comment="first theorem implementation">
       <change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/punctilious/_formula_notations.py" beforeDir="false" afterPath="$PROJECT_DIR$/src/punctilious/_formula_notations.py" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/punctilious/_greek_alphabet_lowercase_serif_italic.py" beforeDir="false" afterPath="$PROJECT_DIR$/src/punctilious/_greek_alphabet_lowercase_serif_italic.py" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/punctilious/_greek_alphabet_uppercase_serif_italic.py" beforeDir="false" afterPath="$PROJECT_DIR$/src/punctilious/_greek_alphabet_uppercase_serif_italic.py" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/punctilious/_latin_alphabet_lowercase_serif_italic.py" beforeDir="false" afterPath="$PROJECT_DIR$/src/punctilious/_latin_alphabet_lowercase_serif_italic.py" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/tests/test_shared_library.py" beforeDir="false" afterPath="$PROJECT_DIR$/tests/test_shared_library.py" afterDir="false" />
     </list>
     <option name="SHOW_DIALOG" value="false" />
     <option name="HIGHLIGHT_CONFLICTS" value="true" />
@@ -247,6 +244,7 @@
     "Python tests.pytest for test_minimal_logic_1.TestPL4.test_pl4.executor": "Debug",
     "Python tests.pytest for test_minimal_logic_1.TestPL4.test_pl4_with_auto_derivation.executor": "Run",
     "Python tests.pytest for test_minimal_logic_1.TestPL5.test_pl5_with_auto_derivation.executor": "Run",
+    "Python tests.pytest for test_packaging.TestPackaging.test_bundling.executor": "Run",
     "Python tests.pytest for test_pl1.TestMinimalPropositionalLogic.test_init.executor": "Run",
     "Python tests.pytest for test_pl1.TestPL1.test_compounding_formulas_1.executor": "Debug",
     "Python tests.pytest for test_pl1.TestPL1.test_connectives_1.executor": "Debug",
@@ -463,7 +461,7 @@
       <recent name="$PROJECT_DIR$/src/punctilious/data2/mappings" />
     </key>
   </component>
-  <component name="RunManager" selected="Python tests.pytest in tests">
+  <component name="RunManager" selected="Python tests.pytest for test_packaging.TestPackaging.test_bundling">
     <configuration name="build" type="PythonConfigurationType" factoryName="Python" nameIsGenerated="true">
       <module name="2023_05_02_PyCharmProject_Maths" />
       <option name="ENV_FILES" value="" />
@@ -721,41 +719,41 @@
       <option name="_new_targetType" value="&quot;PYTHON&quot;" />
       <method v="2" />
     </configuration>
-    <configuration name="pytest in punctilious" type="tests" factoryName="py.test" nameIsGenerated="true">
+    <configuration name="pytest for test_packaging.TestPackaging.test_bundling" type="tests" factoryName="py.test" temporary="true" nameIsGenerated="true">
       <module name="2023_05_02_PyCharmProject_Maths" />
       <option name="ENV_FILES" value="" />
       <option name="INTERPRETER_OPTIONS" value="" />
       <option name="PARENT_ENVS" value="true" />
       <option name="SDK_HOME" value="" />
-      <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" />
+      <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$/tests" />
       <option name="IS_MODULE_SDK" value="true" />
       <option name="ADD_CONTENT_ROOTS" value="true" />
       <option name="ADD_SOURCE_ROOTS" value="true" />
       <option name="_new_keywords" value="&quot;&quot;" />
       <option name="_new_parameters" value="&quot;&quot;" />
       <option name="_new_additionalArguments" value="&quot;&quot;" />
-      <option name="_new_target" value="&quot;$PROJECT_DIR$&quot;" />
-      <option name="_new_targetType" value="&quot;PATH&quot;" />
+      <option name="_new_target" value="&quot;test_packaging.TestPackaging.test_bundling&quot;" />
+      <option name="_new_targetType" value="&quot;PYTHON&quot;" />
       <method v="2" />
     </configuration>
-    <configuration name="pytest in test_greek_alphabet_lowercase_serif_italic.py" type="tests" factoryName="py.test" temporary="true" nameIsGenerated="true">
+    <configuration name="pytest in punctilious" type="tests" factoryName="py.test" nameIsGenerated="true">
       <module name="2023_05_02_PyCharmProject_Maths" />
       <option name="ENV_FILES" value="" />
       <option name="INTERPRETER_OPTIONS" value="" />
       <option name="PARENT_ENVS" value="true" />
       <option name="SDK_HOME" value="" />
-      <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$/tests" />
+      <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" />
       <option name="IS_MODULE_SDK" value="true" />
       <option name="ADD_CONTENT_ROOTS" value="true" />
       <option name="ADD_SOURCE_ROOTS" value="true" />
       <option name="_new_keywords" value="&quot;&quot;" />
       <option name="_new_parameters" value="&quot;&quot;" />
       <option name="_new_additionalArguments" value="&quot;&quot;" />
-      <option name="_new_target" value="&quot;$PROJECT_DIR$/tests/test_greek_alphabet_lowercase_serif_italic.py&quot;" />
+      <option name="_new_target" value="&quot;$PROJECT_DIR$&quot;" />
       <option name="_new_targetType" value="&quot;PATH&quot;" />
       <method v="2" />
     </configuration>
-    <configuration name="pytest in test_representations.py" type="tests" factoryName="py.test" temporary="true" nameIsGenerated="true">
+    <configuration name="pytest in test_greek_alphabet_lowercase_serif_italic.py" type="tests" factoryName="py.test" temporary="true" nameIsGenerated="true">
       <module name="2023_05_02_PyCharmProject_Maths" />
       <option name="ENV_FILES" value="" />
       <option name="INTERPRETER_OPTIONS" value="" />
@@ -768,7 +766,7 @@
       <option name="_new_keywords" value="&quot;&quot;" />
       <option name="_new_parameters" value="&quot;&quot;" />
       <option name="_new_additionalArguments" value="&quot;&quot;" />
-      <option name="_new_target" value="&quot;$PROJECT_DIR$/tests/test_representations.py&quot;" />
+      <option name="_new_target" value="&quot;$PROJECT_DIR$/tests/test_greek_alphabet_lowercase_serif_italic.py&quot;" />
       <option name="_new_targetType" value="&quot;PATH&quot;" />
       <method v="2" />
     </configuration>
@@ -802,20 +800,20 @@
       <item itemvalue="Python tests.pytest in punctilious" />
       <item itemvalue="Python tests.pytest for test_identifiers.TestSlug" />
       <item itemvalue="Python tests.pytest for test_identifiers.TestSlug.test_unique_identifier" />
+      <item itemvalue="Python tests.pytest for test_packaging.TestPackaging.test_bundling" />
       <item itemvalue="Python tests.pytest in test_greek_alphabet_lowercase_serif_italic.py" />
       <item itemvalue="Python tests.pytest in tests" />
-      <item itemvalue="Python tests.pytest in test_representations.py" />
       <item itemvalue="Shell Script.pytest tests" />
       <item itemvalue="Shell Script.pytest" />
       <item itemvalue="Shell Script.python -m build" />
     </list>
     <recent_temporary>
       <list>
+        <item itemvalue="Python tests.pytest for test_packaging.TestPackaging.test_bundling" />
         <item itemvalue="Python tests.pytest in tests" />
         <item itemvalue="Python tests.pytest in test_greek_alphabet_lowercase_serif_italic.py" />
         <item itemvalue="Python tests.pytest for test_identifiers.TestSlug.test_unique_identifier" />
         <item itemvalue="Python tests.pytest for test_identifiers.TestSlug" />
-        <item itemvalue="Python tests.pytest in test_representations.py" />
       </list>
     </recent_temporary>
   </component>
@@ -835,14 +833,6 @@
       <option name="presentableId" value="Default" />
       <updated>1687980987309</updated>
     </task>
-    <task id="LOCAL-01174" summary="interpretation">
-      <option name="closed" value="true" />
-      <created>1733639416240</created>
-      <option name="number" value="01174" />
-      <option name="presentableId" value="LOCAL-01174" />
-      <option name="project" value="LOCAL" />
-      <updated>1733639416240</updated>
-    </task>
     <task id="LOCAL-01175" summary="interpretation integrated with foundations">
       <option name="closed" value="true" />
       <created>1733644925706</created>
@@ -1227,7 +1217,15 @@
       <option name="project" value="LOCAL" />
       <updated>1734725759821</updated>
     </task>
-    <option name="localTasksCounter" value="1223" />
+    <task id="LOCAL-01223" summary="first theorem implementation">
+      <option name="closed" value="true" />
+      <created>1734726097638</created>
+      <option name="number" value="01223" />
+      <option name="presentableId" value="LOCAL-01223" />
+      <option name="project" value="LOCAL" />
+      <updated>1734726097638</updated>
+    </task>
+    <option name="localTasksCounter" value="1224" />
     <servers>
       <YouTrack url="https://punctilious.youtrack.cloud">
         <username>random</username>
@@ -1398,6 +1396,11 @@
           <line>86</line>
           <option name="timeStamp" value="328" />
         </line-breakpoint>
+        <line-breakpoint enabled="true" suspend="THREAD" type="python-line">
+          <url>file://$PROJECT_DIR$/tests/test_packaging.py</url>
+          <line>15</line>
+          <option name="timeStamp" value="330" />
+        </line-breakpoint>
       </breakpoints>
       <default-breakpoints>
         <breakpoint type="python-exception">
diff --git a/tests/__pycache__/test_shared_library.cpython-312-pytest-8.3.2.pyc b/tests/__pycache__/test_shared_library.cpython-312-pytest-8.3.2.pyc
index a5b201b7f2ad8d73004973ccd6ba1f69d0b801c6..9961a3f6f3ee58206d61db64b6a5dfd10855f75a 100644
GIT binary patch
delta 533
zcmZ3+)4<1fnwOW00SJ08rKT@tp2*kC#>dFOFr8tt0JHqWZL7^nK$2jP1y%>+LB)7b
z`5@jJ*450DQyJ|UnI|u0l$W|CmX=?XTbh#?UzA!<lv<pcSCUwgnV+Z0KKU4<oANC|
zm~>t~M56c>Ut&pqZf0^kRAw>{Q!AG^&}3F1E{>l(o5@Y$j-J7FJ*SI$PS^DUFX{z;
zVP@nGW^8bNF!?!?Jd+UPWDe#_<T#xT==6Kc%b3}V_$Ifr$kz)1Z7dQ55keqB7)aa_
zNGr`t2KfNyK26plW{|8Dh!6!4Y#;&@T*V+KD}X?e7?5>~Ke;G1u_QGfW<-%3P?Q&>
zFat<5FnnNQl2C8(|H8(=&3m0oZ89ILwH%UHgD>g@gS;9F@+vo9gIAHn<WSZ;Z9b6M
z%*7=|MWA2;8@iIANCLzLS^JB_CO1E&G$+-rNOST#R#|CQM*bPapBaGE2LTR7{t3lj
J7=RR50|445dm#V-

delta 294
zcmZqRTgJn8nwOW00SH93Q`3JlP2_84y94A+XPDg2EI)DEYL+#utC=QGXS8QzntYv6
zo=KB+vH+9Y<VvPiE)k$QRv<3+oy@`P#&(6vzrp#&<TPe^rUwj@+nF!1tYHIc?PpoW
z%v!`d*@9I*gdeE7NB~3#0trplB4!X<97G6#2sRJ_a!oPFTm=v)5(ctv@h2ChCYGee
zr<LX<mt^MW6-fa_c|Z!oCLdz;=YiPG&DY>nBsy82El-;lq>H(@q^JnwO0e>k3`L?K
uHpswV95%W6DWy57c15a_Pq4{KvoP|{DE`a<q(1PmGxAR;{=xvHz#0HS=tRW;

diff --git a/tests/test_shared_library.py b/tests/test_shared_library.py
index 3e4a722f..ebf637d8 100644
--- a/tests/test_shared_library.py
+++ b/tests/test_shared_library.py
@@ -5,7 +5,8 @@
 def create_atomic_connector(c: str):
     ren = pu.RendererForStringConstant(string_constant=c)
     rep = pu.Representation(uid=pu.create_uid(f'rep'), renderers=(ren,))
-    con = pu.Connector(uid=pu.create_uid(f'con'), connector_representation=rep)
+    con = pu.Connector(uid=pu.create_uid(f'con'), connector_representation=rep,
+                       formula_representation=pu.formula_notations.atomic_formula)
     return con
 
 
@@ -15,5 +16,6 @@ def create_function(c: str):
                        '{% endfor %})')
     ren = pu.RendererForStringTemplate(string_template=string_template)
     rep = pu.Representation(uid=pu.create_uid(f'rep'), renderers=(ren,))
-    con = pu.Connector(uid=pu.create_uid(f'fun'), connector_representation=rep)
+    con = pu.Connector(uid=pu.create_uid(f'fun'), connector_representation=rep,
+                       formula_representation=pu.formula_notations.function_formula)
     return con