first theorem implementation

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

Hide file tree

Showing 9 changed files with 92 additions and 85 deletions.
diff --git a/.idea/workspace.xml b/.idea/workspace.xml
diff --git a/src/punctilious/__pycache__/_formula_notations.cpython-312.pyc b/src/punctilious/__pycache__/_formula_notations.cpython-312.pyc
diff --git a/src/punctilious/__pycache__/_greek_alphabet_lowercase_serif_italic.cpython-312.pyc b/src/punctilious/__pycache__/_greek_alphabet_lowercase_serif_italic.cpython-312.pyc
diff --git a/src/punctilious/__pycache__/_greek_alphabet_uppercase_serif_italic.cpython-312.pyc b/src/punctilious/__pycache__/_greek_alphabet_uppercase_serif_italic.cpython-312.pyc
diff --git a/src/punctilious/__pycache__/_latin_alphabet_lowercase_serif_italic.cpython-312.pyc b/src/punctilious/__pycache__/_latin_alphabet_lowercase_serif_italic.cpython-312.pyc
diff --git a/src/punctilious/_formula_notations.py b/src/punctilious/_formula_notations.py
@@ -36,4 +36,8 @@ def infix_formula(self) -> _representation.Representation:
 
     @property
     def prefix_formula(self) -> _representation.Representation:
+        return self.representations.get_from_uuid('ca64ae2f-f8a7-4a87-a99d-57d86a8ba0ad', raise_error_if_not_found=True)
+
+    @property
+    def postfix_formula(self) -> _representation.Representation:
         return self.representations.get_from_uuid('af99c47e-c6b8-43e0-a8f4-6331ba79e8fd', raise_error_if_not_found=True)
diff --git a/src/punctilious/_greek_alphabet_lowercase_serif_italic.py b/src/punctilious/_greek_alphabet_lowercase_serif_italic.py
@@ -24,96 +24,96 @@ def __new__(cls, *args, **kwargs):
 
     @property
     def alpha(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('af966a34-70de-4a6a-b558-7abbf2446863')
+        return self.representations.get_from_uuid('af966a34-70de-4a6a-b558-7abbf2446863', raise_error_if_not_found=True)
 
     @property
     def beta(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('469ec9d4-2e12-476f-8481-31c6af81aca3')
+        return self.representations.get_from_uuid('469ec9d4-2e12-476f-8481-31c6af81aca3', raise_error_if_not_found=True)
 
     @property
     def gamma(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('b1ac97b8-a6e7-4b67-80eb-f81ef9eb9063')
+        return self.representations.get_from_uuid('b1ac97b8-a6e7-4b67-80eb-f81ef9eb9063', raise_error_if_not_found=True)
 
     @property
     def delta(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('16bf14cd-9afc-4440-b357-fab02b9b5e42')
+        return self.representations.get_from_uuid('16bf14cd-9afc-4440-b357-fab02b9b5e42', raise_error_if_not_found=True)
 
     @property
     def epsilon(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('22a3f9c5-c551-4995-a9c5-fc9d1ab8ddcc')
+        return self.representations.get_from_uuid('22a3f9c5-c551-4995-a9c5-fc9d1ab8ddcc', raise_error_if_not_found=True)
 
     @property
     def zeta(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('1ee46da0-9965-4c7e-802c-5febde2de5ba')
+        return self.representations.get_from_uuid('1ee46da0-9965-4c7e-802c-5febde2de5ba', raise_error_if_not_found=True)
 
     @property
     def eta(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('6d026717-63e1-4d4c-a501-e5e928ab44b8')
+        return self.representations.get_from_uuid('6d026717-63e1-4d4c-a501-e5e928ab44b8', raise_error_if_not_found=True)
 
     @property
     def theta(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('a3c8444d-6b51-4ab4-8576-769f4dd6510c')
+        return self.representations.get_from_uuid('a3c8444d-6b51-4ab4-8576-769f4dd6510c', raise_error_if_not_found=True)
 
     @property
     def iota(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('6950e5e9-ebcc-425f-b893-cbb627c3e053')
+        return self.representations.get_from_uuid('6950e5e9-ebcc-425f-b893-cbb627c3e053', raise_error_if_not_found=True)
 
     @property
     def kappa(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('c723f39a-a6d9-4714-a1f3-b5a95d34c8b6')
+        return self.representations.get_from_uuid('c723f39a-a6d9-4714-a1f3-b5a95d34c8b6', raise_error_if_not_found=True)
 
     @property
     def lambda2(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('2a7b543b-451a-4dd4-a5fc-1bb04d1c5df5')
+        return self.representations.get_from_uuid('2a7b543b-451a-4dd4-a5fc-1bb04d1c5df5', raise_error_if_not_found=True)
 
     @property
     def mu(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('76680bec-be5e-47fa-ae3b-7e284a718d1d')
+        return self.representations.get_from_uuid('76680bec-be5e-47fa-ae3b-7e284a718d1d', raise_error_if_not_found=True)
 
     @property
     def nu(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('17017741-7ff0-4610-a01e-288f2ff0ad8a')
+        return self.representations.get_from_uuid('17017741-7ff0-4610-a01e-288f2ff0ad8a', raise_error_if_not_found=True)
 
     @property
     def xi(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('bcd97e99-bab4-4a7b-a0d9-cb563cec365b')
+        return self.representations.get_from_uuid('bcd97e99-bab4-4a7b-a0d9-cb563cec365b', raise_error_if_not_found=True)
 
     @property
     def omicron(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('8ccf8abe-9b59-4155-8baf-4e35dea6617b')
+        return self.representations.get_from_uuid('8ccf8abe-9b59-4155-8baf-4e35dea6617b', raise_error_if_not_found=True)
 
     @property
     def pi(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('f1baf6d1-899b-46ee-859f-16f2684aa097')
+        return self.representations.get_from_uuid('f1baf6d1-899b-46ee-859f-16f2684aa097', raise_error_if_not_found=True)
 
     @property
     def rho(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('3ef4b18e-5e14-4199-bd56-1e1003f87059')
+        return self.representations.get_from_uuid('3ef4b18e-5e14-4199-bd56-1e1003f87059', raise_error_if_not_found=True)
 
     @property
     def sigma(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('4cb54736-72c0-4d11-b0d3-d8a734c83037')
+        return self.representations.get_from_uuid('4cb54736-72c0-4d11-b0d3-d8a734c83037', raise_error_if_not_found=True)
 
     @property
     def tau(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('86f864be-9374-4a12-b0c3-ae5fef923afb')
+        return self.representations.get_from_uuid('86f864be-9374-4a12-b0c3-ae5fef923afb', raise_error_if_not_found=True)
 
     @property
     def upsilon(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('7c79a352-903d-4662-beb3-32b664fb2682')
+        return self.representations.get_from_uuid('7c79a352-903d-4662-beb3-32b664fb2682', raise_error_if_not_found=True)
 
     @property
     def phi(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('8359a003-5e6a-47be-bc05-51a3959b237c')
+        return self.representations.get_from_uuid('8359a003-5e6a-47be-bc05-51a3959b237c', raise_error_if_not_found=True)
 
     @property
     def chi(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('5ead0605-09d5-4d3c-9115-17e91523ba88')
+        return self.representations.get_from_uuid('5ead0605-09d5-4d3c-9115-17e91523ba88', raise_error_if_not_found=True)
 
     @property
     def psi(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('4321183d-3c52-4194-9730-2ff00067d767')
+        return self.representations.get_from_uuid('4321183d-3c52-4194-9730-2ff00067d767', raise_error_if_not_found=True)
 
     @property
     def omega(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('7f7cd2bb-be7b-49e4-8a4a-ac087a568111')
+        return self.representations.get_from_uuid('7f7cd2bb-be7b-49e4-8a4a-ac087a568111', raise_error_if_not_found=True)
diff --git a/src/punctilious/_greek_alphabet_uppercase_serif_italic.py b/src/punctilious/_greek_alphabet_uppercase_serif_italic.py
@@ -24,100 +24,100 @@ def __new__(cls, *args, **kwargs):
 
     @property
     def alpha(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('af05e251-1c4a-4f64-99ec-aa96c6e3842e')
+        return self.representations.get_from_uuid('af05e251-1c4a-4f64-99ec-aa96c6e3842e', raise_error_if_not_found=True)
 
     @property
     def beta(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('955fbd94-208b-41ed-80d8-af76b0165a4c')
+        return self.representations.get_from_uuid('955fbd94-208b-41ed-80d8-af76b0165a4c', raise_error_if_not_found=True)
 
     @property
     def gamma(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('c8f9f0c8-3ff3-44f7-af59-f8ec673b777d')
+        return self.representations.get_from_uuid('c8f9f0c8-3ff3-44f7-af59-f8ec673b777d', raise_error_if_not_found=True)
 
     @property
     def delta(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('6fa30814-b5f5-4826-bab1-f0d6bf0d0db0')
+        return self.representations.get_from_uuid('6fa30814-b5f5-4826-bab1-f0d6bf0d0db0', raise_error_if_not_found=True)
 
     @property
     def epsilon(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('9aa47841-845f-41b5-82ea-7a620d843232')
+        return self.representations.get_from_uuid('9aa47841-845f-41b5-82ea-7a620d843232', raise_error_if_not_found=True)
 
     @property
     def zeta(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('0a21c25b-9b5d-44e4-a5fa-5e2ac56a61ff')
+        return self.representations.get_from_uuid('0a21c25b-9b5d-44e4-a5fa-5e2ac56a61ff', raise_error_if_not_found=True)
 
     @property
     def eta(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('5ff632bd-25dc-42fb-97e7-62b7d07275fa')
+        return self.representations.get_from_uuid('5ff632bd-25dc-42fb-97e7-62b7d07275fa', raise_error_if_not_found=True)
 
     @property
     def theta(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('8b89822f-ed39-4459-8635-25dda022898b')
+        return self.representations.get_from_uuid('8b89822f-ed39-4459-8635-25dda022898b', raise_error_if_not_found=True)
 
     @property
     def iota(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('6f0d39a7-7147-4afa-8109-032a3db7e078')
+        return self.representations.get_from_uuid('6f0d39a7-7147-4afa-8109-032a3db7e078', raise_error_if_not_found=True)
 
     @property
     def kappa(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('06ab959a-5e60-43a7-9a6d-666a3469d84e')
+        return self.representations.get_from_uuid('06ab959a-5e60-43a7-9a6d-666a3469d84e', raise_error_if_not_found=True)
 
     @property
     def lambda2(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('55c8fd12-d8b6-47ae-a60e-1833776d7afc')
+        return self.representations.get_from_uuid('55c8fd12-d8b6-47ae-a60e-1833776d7afc', raise_error_if_not_found=True)
 
     @property
     def mu(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('be530dad-6aec-4e23-a987-431268f29e54')
+        return self.representations.get_from_uuid('be530dad-6aec-4e23-a987-431268f29e54', raise_error_if_not_found=True)
 
     @property
     def nu(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('76f6d9fb-e679-4a01-8a8c-0b73929fb5b6')
+        return self.representations.get_from_uuid('76f6d9fb-e679-4a01-8a8c-0b73929fb5b6', raise_error_if_not_found=True)
 
     @property
     def xi(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('4407a62c-baf6-45f6-8cf3-f9842ac6f4a8')
+        return self.representations.get_from_uuid('4407a62c-baf6-45f6-8cf3-f9842ac6f4a8', raise_error_if_not_found=True)
 
     @property
     def omicron(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('3d91ccf4-547a-4715-868c-dae76cf1f662')
+        return self.representations.get_from_uuid('3d91ccf4-547a-4715-868c-dae76cf1f662', raise_error_if_not_found=True)
 
     @property
     def pi(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('a81c2831-32c0-4af2-9e35-188f77b1c02c')
+        return self.representations.get_from_uuid('a81c2831-32c0-4af2-9e35-188f77b1c02c', raise_error_if_not_found=True)
 
     @property
     def rho(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('b155af3f-22d0-4925-b9b6-76956ecb5085')
+        return self.representations.get_from_uuid('b155af3f-22d0-4925-b9b6-76956ecb5085', raise_error_if_not_found=True)
 
     @property
     def sigma(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('5b045e7f-f22e-4f63-a632-2344b294be7a')
+        return self.representations.get_from_uuid('5b045e7f-f22e-4f63-a632-2344b294be7a', raise_error_if_not_found=True)
 
     @property
     def tau(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('c490c323-8d9c-4a30-8839-1945908c3368')
+        return self.representations.get_from_uuid('c490c323-8d9c-4a30-8839-1945908c3368', raise_error_if_not_found=True)
 
     @property
     def upsilon(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('bd08b70e-5b8b-4a48-b50d-c9708b874611')
+        return self.representations.get_from_uuid('bd08b70e-5b8b-4a48-b50d-c9708b874611', raise_error_if_not_found=True)
 
     @property
     def phi(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('0392b688-e665-424d-8d35-e7373f0a223b')
+        return self.representations.get_from_uuid('0392b688-e665-424d-8d35-e7373f0a223b', raise_error_if_not_found=True)
 
     @property
     def chi(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('9cb5900e-f898-4ab0-ba6c-652ae8061aaf')
+        return self.representations.get_from_uuid('9cb5900e-f898-4ab0-ba6c-652ae8061aaf', raise_error_if_not_found=True)
 
     @property
     def psi(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('55d0a419-b1b7-456e-8064-1c4fa68161c5')
+        return self.representations.get_from_uuid('55d0a419-b1b7-456e-8064-1c4fa68161c5', raise_error_if_not_found=True)
 
     @property
     def omega(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('b0d2d08a-b0f0-4281-b60a-5fb496b45f26')
+        return self.representations.get_from_uuid('b0d2d08a-b0f0-4281-b60a-5fb496b45f26', raise_error_if_not_found=True)
 
     @property
     def nabla(self) -> _representation.Representation:
-        return self.representations.get_from_uuid('4d9ae39c-472a-4b50-a3a9-a0cd8ffc5bf0')
+        return self.representations.get_from_uuid('4d9ae39c-472a-4b50-a3a9-a0cd8ffc5bf0', raise_error_if_not_found=True)