summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.devcontainer/Dockerfile6
-rw-r--r--.gitignore2
-rw-r--r--src/act4e_solutions/semigroups_morphisms_representation.py27
3 files changed, 32 insertions, 3 deletions
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
index 120994e..601075b 100644
--- a/.devcontainer/Dockerfile
+++ b/.devcontainer/Dockerfile
@@ -26,8 +26,8 @@ COPY .devcontainer/act4e-check /usr/local/bin
RUN chmod +x /usr/local/bin/act4e-check
-COPY src src
-COPY setup.py .
+# COPY src src
+# COPY setup.py .
-RUN python3 -m pip install -e .
+# RUN python3 -m pip install -e .
diff --git a/.gitignore b/.gitignore
index fcfda9f..9a5bb0b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,5 @@ __pycache__
*.egg-info
.DS_Store
.python-version
+.vscode/*log
+.out-results/*html \ No newline at end of file
diff --git a/src/act4e_solutions/semigroups_morphisms_representation.py b/src/act4e_solutions/semigroups_morphisms_representation.py
new file mode 100644
index 0000000..43df89f
--- /dev/null
+++ b/src/act4e_solutions/semigroups_morphisms_representation.py
@@ -0,0 +1,27 @@
+from typing import Any, TypeVar
+
+import act4e_interfaces as I
+
+
+class SolFiniteSemigroupMorphismRepresentation(I.FiniteSemigroupMorphismRepresentation):
+ def load(self, h: I.IOHelper, s: I.FiniteSemigroupMorphism_desc) -> I.FiniteSemigroupMorphism[Any, Any]:
+ raise NotImplementedError()
+
+ def save(self, h: I.IOHelper, m: I.FiniteSemigroupMorphism[Any, Any]) -> I.FiniteSemigroupMorphism_desc:
+ raise NotImplementedError()
+
+
+class SolFiniteMonoidMorphismRepresentation(I.FiniteMonoidMorphismRepresentation):
+ def load(self, h: I.IOHelper, s: I.FiniteMonoidMorphism_desc) -> I.FiniteMonoidMorphism[Any, Any]:
+ raise NotImplementedError()
+
+ def save(self, h: I.IOHelper, m: I.FiniteMonoidMorphism[Any, Any]) -> I.FiniteMonoidMorphism_desc:
+ raise NotImplementedError()
+
+
+class SolFiniteGroupMorphismRepresentation(I.FiniteGroupMorphismRepresentation):
+ def load(self, h: I.IOHelper, s: I.FiniteGroupMorphism_desc) -> I.FiniteGroupMorphism[Any, Any]:
+ raise NotImplementedError()
+
+ def save(self, h: I.IOHelper, m: I.FiniteGroupMorphism[Any, Any]) -> I.FiniteGroupMorphism_desc:
+ raise NotImplementedError()