From 54c087a997cd8408a69f6d46307de7651a6f8264 Mon Sep 17 00:00:00 2001
From: Nao Pross <np@0hm.ch>
Date: Sun, 29 Oct 2023 19:04:41 +0100
Subject: Pass TestFinitePosetConstructionPower

also fix name in sets_power
---
 Homeworks.md                                 |  4 +--
 src/act4e_solutions/posets_construction.py   | 29 ++++++++++++++-
 src/act4e_solutions/posets_representation.py | 53 ++++++++++++++++++++++++++--
 src/act4e_solutions/sets_power.py            |  4 +--
 4 files changed, 82 insertions(+), 8 deletions(-)

diff --git a/Homeworks.md b/Homeworks.md
index e74ac23..faec500 100644
--- a/Homeworks.md
+++ b/Homeworks.md
@@ -38,8 +38,8 @@ $ make docker-check
 - [X] TestFiniteGroupMorphismRepresentation
 - [X] TestFiniteSemigroupMorphismsChecks
 
-- [ ] TestFinitePosetRepresentation
-- [ ] TestFinitePosetConstructionPower
+- [>] TestFinitePosetRepresentation
+- [X] TestFinitePosetConstructionPower
 - [ ] TestFinitePosetSubsetProperties
 - [ ] TestFinitePosetMeasurement
 - [ ] TestFinitePosetConstructionProduct
diff --git a/src/act4e_solutions/posets_construction.py b/src/act4e_solutions/posets_construction.py
index ae24f75..bba5b62 100644
--- a/src/act4e_solutions/posets_construction.py
+++ b/src/act4e_solutions/posets_construction.py
@@ -1,10 +1,37 @@
 from typing import Any, TypeVar
 
+from .sets_properties import SolFiniteSetProperties
+from .sets_power import MyFiniteSetOfFiniteSubsets, SolFiniteMakePowerSet
+from .posets_representation import MyFinitePoset
+
 import act4e_interfaces as I
 
 X = TypeVar("X")
+C = TypeVar("C") # Type of elements of set
+E = TypeVar("E")
+
+class MyFinitePosetOfFiniteSubsets(I.FinitePosetOfFiniteSubsets[C, E]):
+    _subsets: I.FiniteSetOfFiniteSubsets[C, E]
+    def __init__(self, subsets):
+        self._subsets = subsets
+        self._prop = SolFiniteSetProperties()
+        
+    def carrier(self) -> I.FiniteSetOfFiniteSubsets[C, E]:
+        return self._subsets
+
+    def holds(self, a: I.FiniteSet[C], b: I.FiniteSet[C]):
+        if self._prop.equal(a, b):
+            return True
+
+        if self._subsets.contains(a) and self._subsets.contains(b):
+            if self._prop.is_subset(a, b):
+                return True
+
+        return False
 
 
 class SolFinitePosetConstructionPower(I.FinitePosetConstructionPower):
     def powerposet(self, s: I.FiniteSet[X]) -> I.FinitePosetOfFiniteSubsets[X, Any]:
-        raise NotImplementedError()
+        setpow = SolFiniteMakePowerSet()
+        subsets = setpow.powerset(s)
+        return MyFinitePosetOfFiniteSubsets(subsets)
diff --git a/src/act4e_solutions/posets_representation.py b/src/act4e_solutions/posets_representation.py
index c43da82..ed3eaf9 100644
--- a/src/act4e_solutions/posets_representation.py
+++ b/src/act4e_solutions/posets_representation.py
@@ -1,11 +1,58 @@
-from typing import Any
+from typing import TypeVar, Any, List, Tuple
+
+from .sets_representation import SolFiniteSetRepresentation
 
 import act4e_interfaces as I
 
 
+X = TypeVar("X")
+
+class MyFinitePoset(I.FinitePoset[X]):
+    _carrier: I.FiniteSet[X]
+    # This could be an adjacency list / matrix but I'm too lazy today,
+    # and python is sloooow so I doubt it would make a difference
+    _values: List[Tuple[X,X]] 
+
+    def __init__(self, carrier: I.FiniteSet[X], values: List[Tuple[X,X]]):
+        self._carrier = carrier
+        self._values = values
+
+    def carrier(self) -> I.FiniteSet[X]:
+        return self._carrier
+
+    def holds(self, a: X, b: X) -> bool:
+        for v in self._values:
+            if self.carrier().equal(v[0], a) and self.carrier().equal(v[1], b):
+                return True
+        return False
+
+
 class SolFinitePosetRepresentation(I.FinitePosetRepresentation):
     def load(self, h: I.IOHelper, s: I.FinitePoset_desc) -> I.FinitePoset[Any]:
-        raise NotImplementedError()
+        if "poset_product" in s.keys():
+            raise NotImplementedError
+
+        if "poset_sum" in s.keys():
+            raise NotImplementedError
+
+        if not all(k in s.keys() for k in ["carrier", "hasse"]):
+            raise I.InvalidFormat()
+        
+        fsr = SolFiniteSetRepresentation()
+        X = fsr.load(h, s["carrier"])
+
+        return MyFinitePoset(X, s["hasse"])
 
     def save(self, h: I.IOHelper, p: I.FinitePoset[Any]) -> I.FinitePoset_desc:
-        raise NotImplementedError()
+        fsr = SolFiniteSetRepresentation()
+        d = {"carrier": fsr.save(h, p.carrier()),
+             "hasse": []}
+
+        for a in p.carrier().elements():
+            for b in p.carrier().elements():
+                if p.holds(a, b):
+                    d["hasse"].append([a, b])
+
+        return d
+
+        
diff --git a/src/act4e_solutions/sets_power.py b/src/act4e_solutions/sets_power.py
index 98d1c69..1e7ec74 100644
--- a/src/act4e_solutions/sets_power.py
+++ b/src/act4e_solutions/sets_power.py
@@ -12,7 +12,7 @@ C = TypeVar("C") # Type of elements of set
 E = MyFiniteSet[C] # Type of sets
 
 
-class MyFiniteSetOfSubsets(I.FiniteSetOfFiniteSubsets[C, E]):
+class MyFiniteSetOfFiniteSubsets(I.FiniteSetOfFiniteSubsets[C, E]):
     # FIXME: _set could be removed
     _set: I.FiniteSet[C]
     _subsets: List[I.FiniteSet[C]]
@@ -66,5 +66,5 @@ class SolFiniteMakePowerSet(I.FiniteMakePowerSet):
             for comb in itertools.combinations(s.elements(), i):
                 subsets.append(MyFiniteSet(list(comb)))
 
-        return MyFiniteSetOfSubsets(s, subsets)
+        return MyFiniteSetOfFiniteSubsets(s, subsets)
 
-- 
cgit v1.2.1