Continuation de clusters

Cluster.py

@@ -7,6 +7,8 @@ from collections import defaultdict
 from copy import copy
 if GRAPHVIZ_ENABLED:
     from graphviz import Digraph
+from CategorieSous import CategorieSous
+from CategorieComposantesConnexes import CategorieComposantesConnexes
     
     
 class ClusterAbstrait(Morphisme):
@@ -128,4 +130,16 @@ class ClusterActif(ClusterAbstrait):
             else:
                 raise Exception("Incoherence Cluster : l'objet "+str(self.foncteur1(d))+" de D1 n'a pas de d'image par le cluster")
         
-        # contrainte 
\ No newline at end of file
+        # contrainte 2) les composantes qui sortent d'un objet d de D1 mènent à des objets e de D2 reliés par un zig zag dans la catégorie sous d
+        for d in self.foncteur1.cat_source.objets:
+            E_e = [] #les images des composantes
+            for composante in self.composantes:
+                if composante.source == self.foncteur1(d):
+                    E_e += [composante.cible]
+            cat_sous = CategorieSous(self.categorie, d)
+            cat_cc = CategorieComposantesConnexes(cat_sous)
+            # on vérifie que tous les E(e) sont isomorphes dans la catégorie des composantes connexes de la catégorie sous D(d)
+            for e in E_e[1:]:
+                if cat_cc.existe_composee(E_e[0],e) == None:
+                    raise Exception("Toutes les ")
+        
\ No newline at end of file