Commit 716e2fe1 authored by Guillaume Sabbagh's avatar Guillaume Sabbagh
Browse files

changements mineurs

parent 00024ea9
......@@ -4,9 +4,9 @@ import types
from collections import defaultdict
import itertools
from Morphisme import Morphisme
from config import *
import config
import copy
if GRAPHVIZ_ENABLED:
if config.GRAPHVIZ_ENABLED:
from graphviz import Digraph
from typing import *
......@@ -104,7 +104,7 @@ class Categorie:
self.nom = "Categorie "+str(self._id) if nom == None else nom
self._objets = frozenset() # read-only attribute
self |= objets
if TOUJOURS_VERIFIER_COHERENCE:
if config.TOUJOURS_VERIFIER_COHERENCE:
self.verifier_coherence()
def __hash__(self) -> int:
......@@ -288,7 +288,7 @@ class Categorie:
destination = "graphviz/"+type(self).__name__+ str(Categorie.nb_viz)
graph = Digraph('categorie')
graph.attr(concentrate="true" if GRAPHVIZ_CONCENTRATE_GRAPHS else "false")
graph.attr(concentrate="true" if config.GRAPHVIZ_CONCENTRATE_GRAPHS else "false")
graph.attr(label=self.nom)
for o in self.objets:
......@@ -315,12 +315,12 @@ class Categorie:
graph.edge(str(source), str(cible), label=str(fleche), weight="1000", color="grey80" if fleche not in fleches_elem else "black")
nb_fleches += 1
if nb_fleches > limite_fleches:
if WARNING_LIMITE_FLECHES_ATTEINTE:
if config.WARNING_LIMITE_FLECHES_ATTEINTE:
print("Warning : limite fleches entre "+str(source)+" et "+str(cible)+" atteinte.")
break
graph.render(destination)
if CLEAN_GRAPHVIZ_MODEL:
if config.CLEAN_GRAPHVIZ_MODEL:
import os
os.remove(destination)
......
......@@ -422,6 +422,8 @@ class FoncteurAleatoireCatOrdreConnexe(Foncteur):
assert(len(CatCC(categorie_cible).objets) == 1) # on vérifie qu'il n'y a qu'une seule composante connexe
cat1,cat2 = categorie_indexante,categorie_cible
app_obj, app_morph = dict(),dict()
cat_ordre_total1,cat_ordre_total2 = CatOrdreTotal(cat1),CatOrdreTotal(cat2)
fonct_ordre_total = FoncteurAleatoireCatOrdreTotal(cat_ordre_total1,cat_ordre_total2)
Foncteur.__init__(self,cat1,cat2,app_obj,app_morph)
......
from Categorie import Categorie
from CategorieOrdre import CatOrdre
from CategorieQuotient import CategorieQuotient
from CategorieQuotient import CategorieQuotient, MorphismeQuotient, ObjetQuotient
import copy
import itertools
......@@ -30,6 +30,8 @@ class CategorieOrdreTotal(CatOrdre):
self.identifier_ensemble_morphismes(set(categorie_a_quotienter(classe1,classe2)))
CatOrdreTotal = CategorieOrdreTotal
def test_CatOrdreTotal():
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment