foundations

daviddoret · Dec 22, 2024 · f954b5c · f954b5c
1 parent 8d949da
commit f954b5c
Show file tree

Hide file tree

Showing 9 changed files with 40 additions and 66 deletions.
diff --git a/.idea/workspace.xml b/.idea/workspace.xml
diff --git a/src/punctilious/__init__.py b/src/punctilious/__init__.py
@@ -31,7 +31,7 @@
 from _declarations import declare_variable, declare_function
 
 # import _propositional_logic_1
-# import _tao_analysis_1_2006
+import tao_analysis_1_2006
 
 prefs = _representation.TagsPreferences()
 packages = _bundling.get_packages()

diff --git a/src/punctilious/__pycache__/__init__.cpython-312.pyc b/src/punctilious/__pycache__/__init__.cpython-312.pyc
diff --git a/src/punctilious/__pycache__/_tao_analysis_1_2006.cpython-312.pyc b/src/punctilious/__pycache__/_tao_analysis_1_2006.cpython-312.pyc
diff --git a/src/punctilious/__pycache__/tao_analysis_1_2006.cpython-312.pyc b/src/punctilious/__pycache__/tao_analysis_1_2006.cpython-312.pyc
diff --git a/src/punctilious/_tao_analysis_1_2006.py b/src/punctilious/_tao_analysis_1_2006.py
diff --git a/src/punctilious/data/mappings/tao_analysis_1_2006.yaml b/src/punctilious/data/mappings/tao_analysis_1_2006.yaml
@@ -4,11 +4,11 @@ description:
   en: Maps the connectors to their representations, according to (Tao, 2006).
 connectors:
   - uid: { slug: successor, uuid: f85163bf-381d-41fa-bdbb-70cd28bb826b }
-    connector_representation: { slug: zero, uuid: 328cbbbf-7331-44b3-88c3-5d7ea912a213 }
-    formula_representation: { slug: prefix_formula, uuid: ca64ae2f-f8a7-4a87-a99d-57d86a8ba0ad }
+    connector_representation: { uid: { slug: successor, uuid: 41c2d319-bf0c-4442-9af6-a6db82ad1f80 } }
+    formula_representation: { uid: { slug: postfix_formula, uuid: af99c47e-c6b8-43e0-a8f4-6331ba79e8fd } }
   - uid: { slug: zero, uuid: 85927ea1-566e-4349-bab9-9845ba3a4b93 }
-    connector_representation: { slug: successor, uuid: 41c2d319-bf0c-4442-9af6-a6db82ad1f80 }
-    formula_representation: { slug: atomic_formula, uuid: f6bd05d7-ee5b-4480-9d59-ea9fa3a13516 }
+    connector_representation: { uid: { slug: zero, uuid: 328cbbbf-7331-44b3-88c3-5d7ea912a213 } }
+    formula_representation: { uid: { slug: atomic_formula, uuid: f6bd05d7-ee5b-4480-9d59-ea9fa3a13516 } }
 bibliography:
   - slug: tao_2006
     citation: Tao, 2006

diff --git a/src/punctilious/data/representations/tao_analysis_1_2006.yaml b/src/punctilious/data/representations/tao_analysis_1_2006.yaml
@@ -1,15 +1,15 @@
 schema: http://punctilious.org/data/schemas/punctilious_package_schema_1.yaml
 uid: { slug: tao_analysis_1_2006_representations, uuid: 4bb42d13-1e72-4192-bf40-efeeee858705 }
 representations:
-  - uid: { slug: zero, uuid: 328cbbbf-7331-44b3-88c3-5d7ea912a213 }
+  - uid: { slug: successor, uuid: 41c2d319-bf0c-4442-9af6-a6db82ad1f80 }
     renderers:
       - implementation: string_constant
-        string_constant: '0'
+        string_constant: '++'
         tags: { technical_language: unicode_basic, connector_representation: symbol }
-  - uid: { slug: successor, uuid: 41c2d319-bf0c-4442-9af6-a6db82ad1f80 }
+  - uid: { slug: zero, uuid: 328cbbbf-7331-44b3-88c3-5d7ea912a213 }
     renderers:
       - implementation: string_constant
-        string_constant: '++'
+        string_constant: '0'
         tags: { technical_language: unicode_basic, connector_representation: symbol }
 bibliography:
   - slug: tao_2006

diff --git a/src/punctilious/tao_analysis_1_2006.py b/src/punctilious/tao_analysis_1_2006.py
@@ -0,0 +1,16 @@
+import _util
+import _formal_language
+import _bundling
+
+yaml_file_1 = _bundling.YamlFileBundle(path='data.connectors',
+                                       resource='tao_analysis_1_2006.yaml')
+yaml_file_2 = _bundling.YamlFileBundle(path='data.representations',
+                                       resource='tao_analysis_1_2006.yaml')
+yaml_file_3 = _bundling.YamlFileBundle(path='data.mappings',
+                                       resource='tao_analysis_1_2006.yaml')
+
+successor: _formal_language.Connector = yaml_file_1.connectors.get_from_uuid(
+    'f85163bf-381d-41fa-bdbb-70cd28bb826b', raise_error_if_not_found=True)
+
+zero: _formal_language.Connector = yaml_file_1.connectors.get_from_uuid(
+    '85927ea1-566e-4349-bab9-9845ba3a4b93', raise_error_if_not_found=True)