diff options
| -rw-r--r-- | src/act4e_solutions/semigroups_morphisms.py | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/act4e_solutions/semigroups_morphisms.py b/src/act4e_solutions/semigroups_morphisms.py new file mode 100644 index 0000000..7c48610 --- /dev/null +++ b/src/act4e_solutions/semigroups_morphisms.py @@ -0,0 +1,16 @@ +from typing import Any, TypeVar + +import act4e_interfaces as I +A = TypeVar("A") +B = TypeVar("B") + + +class SolFiniteSemigroupMorphismsChecks(I.FiniteSemigroupMorphismsChecks): + def is_semigroup_morphism(self, a: I.FiniteSemigroup[A], b: I.FiniteSemigroup[B], f: I.FiniteMap[A, B]) -> bool: + raise NotImplementedError + + def is_monoid_morphism(self, a: I.FiniteMonoid[A], b: I.FiniteMonoid[B], f: I.FiniteMap[A, B]) -> bool: + raise NotImplementedError + + def is_group_morphism(self, a: I.FiniteGroup[A], b: I.FiniteGroup[B], f: I.FiniteMap[A, B]) -> bool: + raise NotImplementedError |