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])))
