Initial commit

26 files changed, 428 insertions, 0 deletions

diff --git a/src/act4e_solutions/__init__.py b/src/act4e_solutions/__init__.py
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/src/act4e_solutions/__init__.py
diff --git a/src/act4e_solutions/intro.py b/src/act4e_solutions/intro.py
new file mode 100644
index 0000000..2a4856d
--- /dev/null
+++ b/src/act4e_solutions/intro.py
@@ -0,0 +1,6 @@
+import act4e_interfaces as I
+
+
+class SolSimpleIntro(I.SimpleIntro):
+    def sum(self, a: int, b: int) -> int:
+        raise NotImplementedError()
diff --git a/src/act4e_solutions/maps.py b/src/act4e_solutions/maps.py
new file mode 100644
index 0000000..aff881f
--- /dev/null
+++ b/src/act4e_solutions/maps.py
@@ -0,0 +1,16 @@
+from typing import TypeVar
+
+import act4e_interfaces as I
+
+A = TypeVar("A")
+B = TypeVar("B")
+C = TypeVar("C")
+
+
+class SolFiniteMapOperations(I.FiniteMapOperations):
+
+    def identity(self, s: I.Setoid[A]) -> I.Mapping[A, A]:
+        raise NotImplementedError()
+
+    def compose(self, f: I.FiniteMap[A, B], g: I.FiniteMap[B, C]) -> I.FiniteMap[A, C]:
+        raise NotImplementedError()
diff --git a/src/act4e_solutions/maps_representation.py b/src/act4e_solutions/maps_representation.py
new file mode 100644
index 0000000..f532658
--- /dev/null
+++ b/src/act4e_solutions/maps_representation.py
@@ -0,0 +1,14 @@
+from typing import Any, TypeVar
+
+import act4e_interfaces as I
+
+A = TypeVar("A")
+B = TypeVar("B")
+
+
+class SolFiniteMapRepresentation(I.FiniteMapRepresentation):
+    def load(self, h: I.IOHelper, s: I.FiniteMap_desc) -> I.FiniteMap[A, B]:
+        raise NotImplementedError()
+
+    def save(self, h: I.IOHelper, m: I.FiniteMap[Any, Any]) -> I.FiniteMap_desc:
+        raise NotImplementedError()
diff --git a/src/act4e_solutions/posets.py b/src/act4e_solutions/posets.py
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/src/act4e_solutions/posets.py
diff --git a/src/act4e_solutions/posets_bounds.py b/src/act4e_solutions/posets_bounds.py
new file mode 100644
index 0000000..e1f9d26
--- /dev/null
+++ b/src/act4e_solutions/posets_bounds.py
@@ -0,0 +1,64 @@
+from typing import Any, List, Optional, overload, TypeVar
+
+import act4e_interfaces as I
+
+E = TypeVar("E")
+X = TypeVar("X")
+
+class SolFinitePosetMeasurement(I.FinitePosetMeasurement):
+    def height(self, fp: I.FinitePoset[Any]) -> int:
+        raise NotImplementedError()
+
+    def width(self, fp: I.FinitePoset[Any]) -> int:
+        raise NotImplementedError()
+
+
+class SolFinitePosetConstructionOpposite(I.FinitePosetConstructionOpposite):
+    def opposite(self, p: I.FinitePoset[X]) -> I.FinitePoset[X]:
+        raise NotImplementedError() # implement here
+
+
+class SolFinitePosetSubsetProperties(I.FinitePosetSubsetProperties):
+    def is_chain(self, fp: I.FinitePoset[X], s: List[X]) -> bool:
+        raise NotImplementedError()
+
+    def is_antichain(self, fp: I.FinitePoset[X], s: List[X]) -> bool:
+        raise NotImplementedError()
+
+
+class SolFinitePosetSubsetProperties2(I.FinitePosetSubsetProperties2):
+    def is_lower_set(self, fp: I.FinitePoset[X], s: List[X]) -> bool:
+        raise NotImplementedError()
+
+    def is_upper_set(self, fp: I.FinitePoset[X], s: List[X]) -> bool:
+        raise NotImplementedError()
+
+
+class SolFinitePosetClosures(I.FinitePosetClosures):
+    def upper_closure(self, fp: I.FinitePoset[X], s: List[X]) -> List[X]:
+        raise NotImplementedError()
+
+    def lower_closure(self, fp: I.FinitePoset[X], s: List[X]) -> List[X]:
+        raise NotImplementedError()
+
+
+class SolFinitePosetInfSup(I.FinitePosetInfSup):
+    def lower_bounds(self, fp: I.FinitePoset[E], s: List[E]) -> List[E]:
+        raise NotImplementedError()
+
+    def upper_bounds(self, fp: I.FinitePoset[E], s: List[E]) -> List[E]:
+        raise NotImplementedError()
+
+    def infimum(self, fp: I.FinitePoset[E], s: List[E]) -> Optional[E]:
+        raise NotImplementedError()
+
+    def supremum(self, fp: I.FinitePoset[E], s: List[E]) -> Optional[E]:
+        raise NotImplementedError()
+
+
+class SolFinitePosetMinMax(I.FinitePosetMinMax):
+    def minimal(self, fp: I.FinitePoset[E], S: List[E]) -> List[E]:
+        raise NotImplementedError()
+
+    def maximal(self, fp: I.FinitePoset[E], S: List[E]) -> List[E]:
+        raise NotImplementedError()
diff --git a/src/act4e_solutions/posets_construction.py b/src/act4e_solutions/posets_construction.py
new file mode 100644
index 0000000..ae24f75
--- /dev/null
+++ b/src/act4e_solutions/posets_construction.py
@@ -0,0 +1,10 @@
+from typing import Any, TypeVar
+
+import act4e_interfaces as I
+
+X = TypeVar("X")
+
+
+class SolFinitePosetConstructionPower(I.FinitePosetConstructionPower):
+    def powerposet(self, s: I.FiniteSet[X]) -> I.FinitePosetOfFiniteSubsets[X, Any]:
+        raise NotImplementedError()
diff --git a/src/act4e_solutions/posets_interval.py b/src/act4e_solutions/posets_interval.py
new file mode 100644
index 0000000..6047217
--- /dev/null
+++ b/src/act4e_solutions/posets_interval.py
@@ -0,0 +1,17 @@
+from typing import Any, overload, TypeVar
+
+import act4e_interfaces as I
+
+C = TypeVar("C")
+E = TypeVar("E")
+X = TypeVar("X")
+
+
+class SolFinitePosetConstructionTwisted(I.FinitePosetConstructionTwisted):
+    def twisted(self, s: I.FinitePoset[X]) -> I.FinitePosetOfIntervals[X, Any]:
+        raise NotImplementedError()
+
+
+class SolFinitePosetConstructionArrow(I.FinitePosetConstructionArrow):
+    def arrow(self, s: I.FinitePoset[X]) -> I.FinitePosetOfIntervals[X, Any]:
+        raise NotImplementedError() # implement here
diff --git a/src/act4e_solutions/posets_map.py b/src/act4e_solutions/posets_map.py
new file mode 100644
index 0000000..a91d4d8
--- /dev/null
+++ b/src/act4e_solutions/posets_map.py
@@ -0,0 +1,15 @@
+from typing import TypeVar
+
+import act4e_interfaces as I
+
+A = TypeVar("A")
+B = TypeVar("B")
+X = TypeVar("X")
+
+
+class SolFiniteMonotoneMapProperties(I.FiniteMonotoneMapProperties):
+    def is_monotone(self, p1: I.FinitePoset[A], p2: I.FinitePoset[B], m: I.FiniteMap[A, B]) -> bool:
+        raise NotImplementedError()
+
+    def is_antitone(self, p1: I.FinitePoset[A], p2: I.FinitePoset[B], m: I.FiniteMap[A, B]) -> bool:
+        raise NotImplementedError()
diff --git a/src/act4e_solutions/posets_monoidal.py b/src/act4e_solutions/posets_monoidal.py
new file mode 100644
index 0000000..96afedc
--- /dev/null
+++ b/src/act4e_solutions/posets_monoidal.py
@@ -0,0 +1,12 @@
+from typing import TypeVar
+
+import act4e_interfaces as I
+
+A = TypeVar("A")
+B = TypeVar("B")
+X = TypeVar("X")
+
+
+class SolMonoidalPosetOperations(I.MonoidalPosetOperations):
+    def is_monoidal_poset(self, fp: I.FinitePoset[X], fm: I.FiniteMonoid[X]) -> bool:
+        raise NotImplementedError()
diff --git a/src/act4e_solutions/posets_product.py b/src/act4e_solutions/posets_product.py
new file mode 100644
index 0000000..bf67efd
--- /dev/null
+++ b/src/act4e_solutions/posets_product.py
@@ -0,0 +1,10 @@
+from typing import Any, Sequence, TypeVar
+
+import act4e_interfaces as I
+
+X = TypeVar("X")
+
+
+class SolFinitePosetConstructionProduct(I.FinitePosetConstructionProduct):
+    def product(self, ps: Sequence[I.FinitePoset[X]]) -> I.FinitePosetProduct[X, Any]:
+        raise NotImplementedError()
diff --git a/src/act4e_solutions/posets_representation.py b/src/act4e_solutions/posets_representation.py
new file mode 100644
index 0000000..c43da82
--- /dev/null
+++ b/src/act4e_solutions/posets_representation.py
@@ -0,0 +1,11 @@
+from typing import Any
+
+import act4e_interfaces as I
+
+
+class SolFinitePosetRepresentation(I.FinitePosetRepresentation):
+    def load(self, h: I.IOHelper, s: I.FinitePoset_desc) -> I.FinitePoset[Any]:
+        raise NotImplementedError()
+
+    def save(self, h: I.IOHelper, p: I.FinitePoset[Any]) -> I.FinitePoset_desc:
+        raise NotImplementedError()
diff --git a/src/act4e_solutions/posets_sum.py b/src/act4e_solutions/posets_sum.py
new file mode 100644
index 0000000..a797a14
--- /dev/null
+++ b/src/act4e_solutions/posets_sum.py
@@ -0,0 +1,11 @@
+from typing import Any, overload, Sequence, TypeVar
+
+import act4e_interfaces as I
+
+X = TypeVar("X")
+
+
+class SolFinitePosetConstructionSum(I.FinitePosetConstructionSum):
+    def disjoint_union(self, ps: Sequence[I.FinitePoset[X]]) -> I.FinitePosetDisjointUnion[X, Any]:
+        raise NotImplementedError() # implement here
+
diff --git a/src/act4e_solutions/py.typed b/src/act4e_solutions/py.typed
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/src/act4e_solutions/py.typed
diff --git a/src/act4e_solutions/relations.py b/src/act4e_solutions/relations.py
new file mode 100644
index 0000000..26f90a7
--- /dev/null
+++ b/src/act4e_solutions/relations.py
@@ -0,0 +1,64 @@
+from typing import Any, TypeVar
+
+import act4e_interfaces as I
+from act4e_interfaces import FiniteRelation
+
+E1 = TypeVar("E1")
+E2 = TypeVar("E2")
+E3 = TypeVar("E3")
+E = TypeVar("E")
+
+A = TypeVar("A")
+B = TypeVar("B")
+
+
+class SolFiniteRelationProperties(I.FiniteRelationProperties):
+    def is_surjective(self, fr: I.FiniteRelation[Any, Any]) -> bool:
+        raise NotImplementedError()
+
+    def is_defined_everywhere(self, fr: I.FiniteRelation[Any, Any]) -> bool:
+        raise NotImplementedError()
+
+    def is_injective(self, fr: I.FiniteRelation[Any, Any]) -> bool:
+        raise NotImplementedError()
+
+    def is_single_valued(self, fr: I.FiniteRelation[Any, Any]) -> bool:
+        raise NotImplementedError()
+
+
+class SolFiniteRelationOperations(I.FiniteRelationOperations):
+    def transpose(self, fr: I.FiniteRelation[A, B]) -> I.FiniteRelation[B, A]:
+        raise NotImplementedError()
+
+    def as_relation(self, f: I.FiniteMap[A, B]) -> I.FiniteRelation[A, B]:
+        raise NotImplementedError()
+
+
+class SolFiniteEndorelationProperties(I.FiniteEndorelationProperties):
+    def is_reflexive(self, fr: I.FiniteRelation[Any, Any]) -> bool:
+        raise NotImplementedError()
+
+    def is_irreflexive(self, fr: I.FiniteRelation[Any, Any]) -> bool:
+        raise NotImplementedError()
+
+    def is_transitive(self, fr: I.FiniteRelation[Any, Any]) -> bool:
+        raise NotImplementedError()
+
+    def is_symmetric(self, fr: I.FiniteRelation[Any, Any]) -> bool:
+        raise NotImplementedError()
+
+    def is_antisymmetric(self, fr: I.FiniteRelation[Any, Any]) -> bool:
+        raise NotImplementedError()
+
+    def is_asymmetric(self, fr: I.FiniteRelation[Any, Any]) -> bool:
+        raise NotImplementedError()
+
+
+class SolFiniteEndorelationOperations(I.FiniteEndorelationOperations):
+    def transitive_closure(self, fr: I.FiniteRelation[E, E]) -> I.FiniteRelation[E, E]:
+        raise NotImplementedError()
+
+
+class SolFiniteRelationCompose(I.FiniteRelationCompose):
+    def compose(self, fr1: FiniteRelation[E1, E2], fr2: FiniteRelation[E2, E3]) -> I.FiniteRelation[E1, E3]:
+        raise NotImplementedError()
diff --git a/src/act4e_solutions/relations_representation.py b/src/act4e_solutions/relations_representation.py
new file mode 100644
index 0000000..69ccdf0
--- /dev/null
+++ b/src/act4e_solutions/relations_representation.py
@@ -0,0 +1,14 @@
+from typing import TypeVar
+
+import act4e_interfaces as I
+
+A = TypeVar("A")
+B = TypeVar("B")
+
+
+class SolFiniteRelationRepresentation(I.FiniteRelationRepresentation):
+    def load(self, h: I.IOHelper, data: I.FiniteRelation_desc) -> I.FiniteRelation[A, B]:
+        raise NotImplementedError()
+
+    def save(self, h: I.IOHelper, f: I.FiniteRelation[A, B]) -> I.FiniteRelation_desc:
+        raise NotImplementedError()
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()
diff --git a/src/act4e_solutions/semigroups_morphisms_representation.py b/src/act4e_solutions/semigroups_morphisms_representation.py
new file mode 100644
index 0000000..43df89f
--- /dev/null
+++ b/src/act4e_solutions/semigroups_morphisms_representation.py
@@ -0,0 +1,27 @@
+from typing import Any, TypeVar
+
+import act4e_interfaces as I
+
+
+class SolFiniteSemigroupMorphismRepresentation(I.FiniteSemigroupMorphismRepresentation):
+    def load(self, h: I.IOHelper, s: I.FiniteSemigroupMorphism_desc) -> I.FiniteSemigroupMorphism[Any, Any]:
+        raise NotImplementedError()
+
+    def save(self, h: I.IOHelper, m: I.FiniteSemigroupMorphism[Any, Any]) -> I.FiniteSemigroupMorphism_desc:
+        raise NotImplementedError()
+
+
+class SolFiniteMonoidMorphismRepresentation(I.FiniteMonoidMorphismRepresentation):
+    def load(self, h: I.IOHelper, s: I.FiniteMonoidMorphism_desc) -> I.FiniteMonoidMorphism[Any, Any]:
+        raise NotImplementedError()
+
+    def save(self, h: I.IOHelper, m: I.FiniteMonoidMorphism[Any, Any]) -> I.FiniteMonoidMorphism_desc:
+        raise NotImplementedError()
+
+
+class SolFiniteGroupMorphismRepresentation(I.FiniteGroupMorphismRepresentation):
+    def load(self, h: I.IOHelper, s: I.FiniteGroupMorphism_desc) -> I.FiniteGroupMorphism[Any, Any]:
+        raise NotImplementedError()
+
+    def save(self, h: I.IOHelper, m: I.FiniteGroupMorphism[Any, Any]) -> I.FiniteGroupMorphism_desc:
+        raise NotImplementedError()
diff --git a/src/act4e_solutions/semigroups_representation.py b/src/act4e_solutions/semigroups_representation.py
new file mode 100644
index 0000000..4d75708
--- /dev/null
+++ b/src/act4e_solutions/semigroups_representation.py
@@ -0,0 +1,29 @@
+from typing import Any, TypeVar
+
+import act4e_interfaces as I
+
+X = TypeVar("X")
+
+
+class SolFiniteSemigroupRepresentation(I.FiniteSemigroupRepresentation):
+    def load(self, h: I.IOHelper, s: I.FiniteSemigroup_desc) -> I.FiniteSemigroup[Any]:
+        raise NotImplementedError()
+
+    def save(self, h: I.IOHelper, m: I.FiniteSemigroup[Any]) -> I.FiniteSemigroup_desc:
+        raise NotImplementedError()
+
+
+class SolFiniteMonoidRepresentation(I.FiniteMonoidRepresentation):
+    def load(self, h: I.IOHelper, s: I.FiniteMonoid_desc) -> I.FiniteMonoid[X]:
+        raise NotImplementedError()
+
+    def save(self, h: I.IOHelper, m: I.FiniteMonoid[Any]) -> I.FiniteMonoid_desc:
+        raise NotImplementedError()
+
+
+class SolFiniteGroupRepresentation(I.FiniteGroupRepresentation):
+    def load(self, h: I.IOHelper, s: I.FiniteGroup_desc) -> I.FiniteGroup[X]:
+        raise NotImplementedError()
+
+    def save(self, h: I.IOHelper, m: I.FiniteGroup[Any]) -> I.FiniteGroup_desc:
+        raise NotImplementedError()
diff --git a/src/act4e_solutions/sets.py b/src/act4e_solutions/sets.py
new file mode 100644
index 0000000..1dc635f
--- /dev/null
+++ b/src/act4e_solutions/sets.py
@@ -0,0 +1,14 @@
+from typing import Callable, TypeVar
+
+import act4e_interfaces as I
+
+X = TypeVar("X")
+
+
+class SolEnumerableSetsOperations(I.EnumerableSetsOperations):
+    def make_set_sequence(self, f: Callable[[int], X]) -> I.EnumerableSet[X]:
+        raise NotImplementedError()
+
+    def union_esets(self, a: I.EnumerableSet[X], b: I.EnumerableSet[X]) -> I.EnumerableSet[X]:
+        """Creates the union of two EnumerableSet."""
+        raise NotImplementedError()
diff --git a/src/act4e_solutions/sets_power.py b/src/act4e_solutions/sets_power.py
new file mode 100644
index 0000000..49b4b7b
--- /dev/null
+++ b/src/act4e_solutions/sets_power.py
@@ -0,0 +1,11 @@
+from typing import Any, overload, TypeVar
+
+import act4e_interfaces as I
+
+X = TypeVar("X")
+
+
+class SolFiniteMakePowerSet(I.FiniteMakePowerSet):
+    def powerset(self, s: I.FiniteSet[X]) -> I.FiniteSetOfFiniteSubsets[X, Any]:
+        raise NotImplementedError() # implement here
+
diff --git a/src/act4e_solutions/sets_product.py b/src/act4e_solutions/sets_product.py
new file mode 100644
index 0000000..bdba104
--- /dev/null
+++ b/src/act4e_solutions/sets_product.py
@@ -0,0 +1,11 @@
+from typing import Any, Sequence, TypeVar
+
+import act4e_interfaces as I
+
+X = TypeVar("X")
+
+
+class SolFiniteMakeSetProduct(I.FiniteMakeSetProduct):
+
+    def product(self, components: Sequence[I.FiniteSet[X]]) -> I.FiniteSetProduct[X, Any]:
+        raise NotImplementedError()  # implement here
diff --git a/src/act4e_solutions/sets_properties.py b/src/act4e_solutions/sets_properties.py
new file mode 100644
index 0000000..5390d23
--- /dev/null
+++ b/src/act4e_solutions/sets_properties.py
@@ -0,0 +1,20 @@
+from typing import Any, overload, Sequence, TypeVar
+
+import act4e_interfaces as I
+
+X = TypeVar("X")
+
+
+class SolFiniteSetProperties(I.FiniteSetProperties):
+    def is_subset(self, a: I.FiniteSet[X], b: I.FiniteSet[X]) -> bool:
+        raise NotImplementedError()
+
+
+class SolFiniteMakeSetUnion(I.FiniteMakeSetUnion):
+    def union(self, components: Sequence[I.FiniteSet[X]]) -> I.FiniteSetUnion[X, Any]:
+        raise NotImplementedError() # implement here
+
+
+class SolFiniteMakeSetIntersection(I.FiniteMakeSetIntersection):
+    def intersection(self, components: Sequence[I.FiniteSet[X]]) -> I.FiniteSet[X]:
+        raise NotImplementedError()
diff --git a/src/act4e_solutions/sets_representation.py b/src/act4e_solutions/sets_representation.py
new file mode 100644
index 0000000..7f3e818
--- /dev/null
+++ b/src/act4e_solutions/sets_representation.py
@@ -0,0 +1,11 @@
+from typing import Any
+
+import act4e_interfaces as I
+
+
+class SolFiniteSetRepresentation(I.FiniteSetRepresentation):
+    def load(self, h: I.IOHelper, data: I.FiniteSet_desc) -> I.FiniteSet[Any]:
+        raise NotImplementedError()
+
+    def save(self, h: I.IOHelper, f: I.FiniteSet[Any]) -> I.FiniteSet_desc:
+        raise NotImplementedError()
diff --git a/src/act4e_solutions/sets_sum.py b/src/act4e_solutions/sets_sum.py
new file mode 100644
index 0000000..eab93d3
--- /dev/null
+++ b/src/act4e_solutions/sets_sum.py
@@ -0,0 +1,10 @@
+from typing import Any, Sequence, TypeVar
+
+import act4e_interfaces as I
+
+X = TypeVar("X")
+
+
+class SolFiniteMakeSetDisjointUnion(I.FiniteMakeSetDisjointUnion):
+    def disjoint_union(self, components: Sequence[I.FiniteSet[X]]) -> I.FiniteSetDisjointUnion[X, Any]:
+        raise NotImplementedError()  # implement here
diff --git a/src/act4e_solutions/sets_union_inter.py b/src/act4e_solutions/sets_union_inter.py
new file mode 100644
index 0000000..e70b2a9
--- /dev/null
+++ b/src/act4e_solutions/sets_union_inter.py
@@ -0,0 +1,21 @@
+from typing import Any, overload, Sequence, TypeVar
+
+import act4e_interfaces as I
+
+X = TypeVar("X")
+
+
+class SolFiniteMakeSetUnion(I.FiniteMakeSetUnion):
+
+    def union(self, components: Sequence[I.FiniteSet[X]]) -> I.FiniteSetUnion[X, Any]:
+        raise NotImplementedError() # implement here
+
+
+class SolSetoidOperations(I.SetoidOperations):
+    @classmethod
+    def union_setoids(cls, a: I.Setoid[X], b: I.Setoid[X]) -> I.Setoid[X]:
+        raise NotImplementedError()
+
+    @classmethod
+    def intersection_setoids(cls, a: I.Setoid[X], b: I.Setoid[X]) -> I.Setoid[X]:
+        raise NotImplementedError()