diff options
author | Andrea Censi <acensi@ethz.ch> | 2022-05-11 19:40:29 +0200 |
---|---|---|
committer | Andrea Censi <acensi@ethz.ch> | 2022-05-11 19:40:29 +0200 |
commit | 2d2bf6ef16898856c343708c667daa856d7fa36a (patch) | |
tree | 7335976fc7bb1b79d8b8812886f94715fe59ed95 /src/act4e_solutions | |
parent | minor (diff) | |
parent | minor (diff) | |
download | act4e-2d2bf6ef16898856c343708c667daa856d7fa36a.tar.gz act4e-2d2bf6ef16898856c343708c667daa856d7fa36a.zip |
Merge branch 'alphubel-prod' of github.com:ACT4E/ACT4E-exercises-template into alphubel-prod
Diffstat (limited to 'src/act4e_solutions')
-rw-r--r-- | src/act4e_solutions/semigroups_morphisms_representation.py | 27 |
1 files changed, 27 insertions, 0 deletions
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() |