first theorem implementation

daviddoret · Dec 20, 2024 · f7d35f7 · f7d35f7
1 parent e2914cf
commit f7d35f7
Show file tree

Hide file tree

Showing 3 changed files with 32 additions and 27 deletions.
diff --git a/.idea/workspace.xml b/.idea/workspace.xml
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
diff --git 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