From ddd8f64ab375a5f92058972215badf02508014c4 Mon Sep 17 00:00:00 2001 From: Andrea Censi Date: Wed, 18 Oct 2023 13:52:26 +0200 Subject: misc --- src/act4e_solutions/semigroups_morphisms.py | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 src/act4e_solutions/semigroups_morphisms.py (limited to 'src/act4e_solutions') 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 -- cgit v1.2.1