def test_Quick1(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_16.grl')
self.runTest(0, 1, True)
self.runTest(0, 2, False)
self.runTest(0, 3, False)
self.runTest(1, 2, False)
self.runTest(1, 3, False)
self.runTest(2, 3, True)
def test_cubes3(self):
self._graphs = loadgraphs('data\cubes5.grl')
self.runTest(0, 1, True)
self.runTest(0, 2, False)
self.runTest(0, 3, False)
self.runTest(1, 2, False)
self.runTest(1, 3, False)
self.runTest(2, 3, False)
def test_cubes2(self):
self._graphs = loadgraphs('data\cubes4.grl')
self.runTest(0, 1, 0)
self.runTest(0, 2, 8)
self.runTest(0, 3, 0)
self.runTest(1, 2, 0)
self.runTest(1, 3, 384)
self.runTest(2, 3, 0)
def test_cubes3(self):
self._graphs = loadgraphs('data\cubes5.grl')
self.runTest(0, 1, 3840)
self.runTest(0, 2, 0)
self.runTest(0, 3, 0)
self.runTest(1, 2, 0)
self.runTest(1, 3, 0)
self.runTest(2, 3, 0)
def test_cubes(self):
self._graphs = loadgraphs('data\cubes3.grl')
self.runTest(0, 1, 0)
self.runTest(0, 2, 48)
self.runTest(0, 3, 0)
self.runTest(1, 2, 0)
self.runTest(1, 3, 16)
self.runTest(2, 3, 0)
def execute_file(command, checker):
name = input("What file would you like to use?")
L = loadgraphs(name)
if len(L[0]) == 1:
L[0].append(L[0][0])
if command == "isIsomorphic":
isomorphism(checker, L)
elif command == "countIsomorphisms":
automorphism(checker, L)
def test_Quick3(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(0, 1, True)
self.runTest(0, 2, False)
self.runTest(0, 3, False)
self.runTest(0, 4, False)
self.runTest(0, 5, False)
self.runTest(1, 2, False)
self.runTest(1, 3, False)
self.runTest(1, 4, False)
self.runTest(1, 5, False)
self.runTest(2, 3, True)
self.runTest(2, 4, False)
self.runTest(2, 5, False)
self.runTest(3, 4, False)
self.runTest(3, 5, False)
self.runTest(4, 5, True)
def test_quick3_01(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(0, 1, True)
def test_quick3_24(self):
self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
self.runTest(2, 4, False)
def test_quick2_13(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_16.grl')
self.runTest(1, 3, False)
def test_quick2_23(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_16.grl')
self.runTest(2, 3, True)
def test_huge1_23(self):
self._graphs = loadgraphs('data\colorref_largeexample_4_1026.grl')
self.runTest(2, 3)
def setUp(self):
self._checker = IndividualizationRefinementChecker()
self._alphabet_jan = loadgraphs("alphabet_jan.grl")
self._alphabet_tygo = loadgraphs("alphabet_tygo.grl")
self._alphabet_pixel = loadgraphs("alphabet_pixel.grl")
def test_gi_23(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(2, 3)
def test_gi_45(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(4, 5)
def test_gi_01(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(0, 1)
def test_torus(self):
self._graphs = loadgraphs('data\\torus24.grl')
self.runTest(0, 3, 96)
self.runTest(1, 2, 96)
def test_gi_01(self):
self._graphs = loadgraphs('data\\basicgi2.grl')
self.runTest(0, 1)
def test_gi_12(self):
self._graphs = loadgraphs('data\\basicgi2.grl')
self.runTest(1, 2)
def test_gi_23(self):
self._graphs = loadgraphs('data\\basicgi2.grl')
self.runTest(2, 3)
def test_gi_12(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(1, 2)
def test_large1_25(self):
self._graphs = loadgraphs('data\colorref_largeexample_6_960.grl')
self.runTest(2, 5, True)
def test_gi_34(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(3, 4)
def test_large1_45(self):
self._graphs = loadgraphs('data\colorref_largeexample_6_960.grl')
self.runTest(4, 5, False)
def test_gi_56(self):
self._graphs = loadgraphs('data\\modulesc.grl')
self.runTest(5, 6)
def test_bigtrees1_13(self):
self._graphs = loadgraphs("data\\bigtrees1.grl")
self.runTest(1, 3, True)
def test_quick1_13(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_7.grl')
self.runTest(1, 3, True)
def test_bigtrees1_23(self):
self._graphs = loadgraphs("data\\bigtrees1.grl")
self.runTest(2, 3, False)
def test_quick1_23(self):
self._graphs = loadgraphs('data\colorref_smallexample_4_7.grl')
self.runTest(2, 3, False)
def test_bigtrees1_12(self):
self._graphs = loadgraphs("data\\bigtrees1.grl")
self.runTest(1, 2, False)