From 5a5331537c3fa89ac1a553e101997e945ce97bc0 Mon Sep 17 00:00:00 2001 From: Andrea Censi Date: Mon, 21 Feb 2022 12:22:37 +0100 Subject: skeletons --- src/act4e_solutions/semigroups.py | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 src/act4e_solutions/semigroups.py (limited to 'src/act4e_solutions/semigroups.py') diff --git a/src/act4e_solutions/semigroups.py b/src/act4e_solutions/semigroups.py new file mode 100644 index 0000000..31ecd58 --- /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 MyFiniteSemigroupConstruct(I.FiniteSemigroupConstruct): + def free(self, fs: I.FiniteSet[C]) -> I.FreeSemigroup[C, List[C]]: + raise NotImplementedError() -- cgit v1.2.1 From cc712ed5fdf07e24af3ac0a133f483c506af55a9 Mon Sep 17 00:00:00 2001 From: Andrea Censi Date: Mon, 21 Feb 2022 12:24:14 +0100 Subject: skeletons --- src/act4e_solutions/semigroups.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/act4e_solutions/semigroups.py') diff --git a/src/act4e_solutions/semigroups.py b/src/act4e_solutions/semigroups.py index 31ecd58..1b02766 100644 --- a/src/act4e_solutions/semigroups.py +++ b/src/act4e_solutions/semigroups.py @@ -5,6 +5,6 @@ import act4e_interfaces as I C = TypeVar("C") -class MyFiniteSemigroupConstruct(I.FiniteSemigroupConstruct): +class SolFiniteSemigroupConstruct(I.FiniteSemigroupConstruct): def free(self, fs: I.FiniteSet[C]) -> I.FreeSemigroup[C, List[C]]: raise NotImplementedError() -- cgit v1.2.1