Catégorie aléatoire corrigée et enfin fonctionnelle, deux questions se posent...

Catégorie aléatoire corrigée et enfin fonctionnelle, deux questions se posent : pourquoi il n'y pas de grands cycles ? est-ce qu'on peut retirer des flèches élémentaires non nécessaires ?

CategorieLibre.py

@@ -122,7 +122,7 @@ class CategorieLibre(Categorie):
                     if not cycle.is_identite:
                         yield cycle
 
-    def enumerer_cycles(self, objet:Any, limite_profondeur:int = 10) -> Generator[Morphisme,None,None]:
+    def enumerer_cycles(self, objet:Any, limite_profondeur:int = 4) -> Generator[Morphisme,None,None]:
         """Enumère toutes les compositions de `objet` à `objet`.
         Si f et g sont des cycles minimaux, on doit énumérer tous les mots d'alphabet {f,g}.
         Pour ça on s'intéresse aux compositions qui se réduisent en composition déjà générées.

classe

+digraph categorie {
+	0
+	0 -> 0
+	0 -> 1
+	0 -> 2
+	1
+	1 -> 0
+	1 -> 1
+	1 -> 2
+	2
+	2 -> 0
+	2 -> 1
+	2 -> -2
+	3
+	3 -> 3
+	3 -> 4
+	4
+	4 -> 3
+	4 -> -4
+	4 -> 7
+	5
+	5 -> -3
+	5 -> -1
+	5 -> 6
+	6
+	6 -> 9
+	6 -> -6
+	6 -> -4
+	6 -> 5
+	7
+	7 -> 8
+	7 -> -5
+	7 -> 4
+	7 -> -3
+	8
+	8 -> -6
+	8 -> 11
+	8 -> 7
+	9
+	9 -> -7
+	9 -> -5
+	9 -> 6
+	10
+	10 -> -8
+	10 -> 13
+	10 -> -10
+	11
+	11 -> 8
+	11 -> 12
+	11 -> -9
+	12
+	12 -> 11
+	12 -> -10
+	13
+	13 -> 10
+	13 -> -9
+	14
+	14 -> 17
+	14 -> -14
+	15
+	15 -> 16
+	15 -> -13
+	16
+	16 -> -14
+	16 -> 15
+	17
+	17 -> -13
+	17 -> 14
+	18
+	18 -> 21
+	19
+	19 -> -17
+	20
+	20 -> -18
+	20 -> 23
+	21
+	21 -> 18
+	21 -> -19
+	22
+	22 -> -22
+	22 -> -20
+	23
+	23 -> 24
+	23 -> 20
+	24
+	24 -> 23
+	25
+	25 -> -21
+	26
+	26 -> -26
+	27
+	27 -> 28
+	28
+	28 -> 27
+	29
+	29 -> -25
+	30
+	30 -> -30
+	31
+	31 -> 32
+	32
+	32 -> -32
+	32 -> 31
+	33
+	33 -> 34
+	33 -> -29
+	34
+	34 -> 33
+	34 -> 37
+	34 -> -34
+	35
+	35 -> -31
+	35 -> 36
+	35 -> -33
+	36
+	36 -> 35
+	36 -> -36
+	36 -> -34
+	37
+	37 -> 34
+	37 -> 38
+	37 -> -33
+	38
+	38 -> 41
+	38 -> -38
+	38 -> 37
+	39
+	39 -> 40
+	39 -> -37
+	39 -> -35
+	40
+	40 -> -40
+	40 -> -38
+	40 -> 39
+	41
+	41 -> 42
+	41 -> -37
+	41 -> 38
+	42
+	42 -> 41
+	42 -> 45
+	43
+	43 -> -39
+	43 -> -41
+	44
+	44 -> -42
+	44 -> 47
+	45
+	45 -> 42
+	45 -> -43
+	46
+	46 -> 49
+	46 -> -46
+	46 -> -44
+	47
+	47 -> 48
+	47 -> -45
+	47 -> 44
+	48
+	48 -> -46
+	48 -> 51
+	48 -> 47
+	49
+	49 -> -47
+	49 -> -45
+	49 -> 46
+	50
+	50 -> -48
+	51
+	51 -> 48
+	52
+	52 -> -52
+	53
+	53 -> 54
+	54
+	54 -> -54
+	54 -> 53
+	55
+	55 -> 56
+	55 -> -51
+	56
+	56 -> -56
+	56 -> 59
+	56 -> 55
+	57
+	57 -> -55
+	57 -> 58
+	57 -> -53
+	58
+	58 -> -56
+	58 -> 57
+	58 -> 61
+	59
+	59 -> 56
+	59 -> -55
+	59 -> -57
+	60
+	60 -> -60
+	60 -> -58
+	61
+	61 -> 58
+	61 -> 62
+	62
+	62 -> 61
+	63
+	63 -> -59
+	64
+	64 -> -64
+	64 -> 67
+	65
+	65 -> -63
+	65 -> 66
+	66
+	66 -> -64
+	66 -> 65
+	66 -> -66
+	67
+	67 -> 64
+	67 -> -63
+	67 -> 68
+	68
+	68 -> 67
+	68 -> -68
+	68 -> 71
+	69
+	69 -> -67
+	69 -> 70
+	69 -> -65
+	70
+	70 -> -68
+	70 -> 69
+	71
+	71 -> 68
+	71 -> -67
+	72
+	72 -> 75
+	73
+	73 -> -71
+	74
+	74 -> -72
+	74 -> 77
+	74 -> -74
+	75
+	75 -> 72
+	75 -> 76
+	75 -> -73
+	76
+	76 -> 75
+	76 -> -74
+	77
+	77 -> 74
+	77 -> -73
+	78
+	79
+}

classes

+digraph cc {
+	0
+	0 -> 0
+	0 -> 4
+	0 -> 5
+	1
+	1 -> 1
+	1 -> 2
+	1 -> 3
+	2
+	2 -> 1
+	2 -> 2
+	2 -> 3
+	2 -> 5
+	3
+	3 -> 1
+	3 -> 2
+	3 -> 3
+	4
+	4 -> 0
+	4 -> 4
+	4 -> 5
+	5
+	5 -> 0
+	5 -> 2
+	5 -> 4
+	5 -> 5
+}

config.py

 TOUJOURS_VERIFIER_COHERENCE = 1            # booléen qui indique si on doit toujours vérifier la cohérence des structures qu'on construit
 TOUJOURS_VERIFIER_COHERENCE_COMPOSEE = 1
 DEBUG_LOI_DE_COMPOSITION = False
-DEBUG_MONOIDE_ALEATOIRE = True
 GRAPHVIZ_ENABLED = True                     # booléen qui indique s'il faut charger la bibliothèque graphviz
 GRAPHVIZ_CONCENTRATE_GRAPHS = False
 WARNING_LIMITE_FLECHES_ATTEINTE = True
 PRINT_AVANCEMENT_CREATION_CAT_ALEA = True
-CLEAN_GRAPHVIZ_MODEL = True
\ No newline at end of file
+CLEAN_GRAPHVIZ_MODEL = True
+PROGRESS_BAR = True
\ No newline at end of file