summaryrefslogtreecommitdiffstats
path: root/src/act4e_solutions/semigroups.py
diff options
context:
space:
mode:
Diffstat (limited to 'src/act4e_solutions/semigroups.py')
-rw-r--r--src/act4e_solutions/semigroups.py10
1 files changed, 10 insertions, 0 deletions
diff --git a/src/act4e_solutions/semigroups.py b/src/act4e_solutions/semigroups.py
new file mode 100644
index 0000000..1b02766
--- /dev/null
+++ b/src/act4e_solutions/semigroups.py
@@ -0,0 +1,10 @@
+from typing import List, TypeVar
+
+import act4e_interfaces as I
+
+C = TypeVar("C")
+
+
+class SolFiniteSemigroupConstruct(I.FiniteSemigroupConstruct):
+ def free(self, fs: I.FiniteSet[C]) -> I.FreeSemigroup[C, List[C]]:
+ raise NotImplementedError()