From a3127ad923f712d23b8d66798c704c1084d8b7f1 Mon Sep 17 00:00:00 2001 From: Andrea Censi Date: Wed, 2 Mar 2022 15:34:44 +0100 Subject: Update Dockerfile --- .devcontainer/Dockerfile | 6 +++--- 1 file changed, 3 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 . -- cgit v1.2.1 From 5b4aacf96438e1bf7aa52fe76afbd07339387b14 Mon Sep 17 00:00:00 2001 From: Andrea Censi Date: Tue, 15 Mar 2022 21:44:36 +0100 Subject: added template --- .../semigroups_morphisms_representation.py | 27 ++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 src/act4e_solutions/semigroups_morphisms_representation.py 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() -- cgit v1.2.1 From 76d974e8dc2618313d1e2967eea5bb37e319b4c6 Mon Sep 17 00:00:00 2001 From: Andrea Censi Date: Sun, 8 May 2022 17:25:56 +0200 Subject: minor --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) 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 -- cgit v1.2.1