def testGIAut(self): """ Test for number of automorphisms between different graphs. :return: """ start = time.time() graphlist = loadgraph('../../test_grafen/basis/basicGIAut.grl', readlist=True) combinator(graphlist, True) end = time.time() t = end - start print("Execution time: " + str(t))
def testAut(self): """ Test for automorphisms between two the same graphs. :return: """ start = time.time() l = loadgraph('../../test_grafen/basis/basicAut2.gr', readlist=False) print(isomorphisms(l, l, True)) end = time.time() t = end - start print("Execution time: " + str(t))
from graphs.graphIO import loadgraph, writeDOT from tristan.isomorphisms import bijection, colordict from tristan.refinement import hopcroft """ Test if bijection works. """ l = loadgraph('../../test_grafen/colorref_smallexample_2_49.grl', readlist=True) hopcroft(l[0][1]) hopcroft(l[0][2]) print(bijection(colordict(l[0][1]),colordict(l[0][2])))