src/act4e_solutions/semigroups.py


1
2
3
4
5
6
7
8
9
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()