コード例 #1
0
	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)
コード例 #2
0
	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)
コード例 #3
0
 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)
コード例 #4
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)
コード例 #5
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)
コード例 #6
0
ファイル: Menu.py プロジェクト: irthomasthomas/Isomurphy 
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)
コード例 #7
0
	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)
コード例 #8
0
 def test_quick3_01(self):
     self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
     self.runTest(0, 1, True)
コード例 #9
0
 def test_quick3_24(self):
     self._graphs = loadgraphs('data\colorref_smallexample_6_15.grl')
     self.runTest(2, 4, False)
コード例 #10
0
 def test_quick2_13(self):
     self._graphs = loadgraphs('data\colorref_smallexample_4_16.grl')
     self.runTest(1, 3, False)
コード例 #11
0
 def test_quick2_23(self):
     self._graphs = loadgraphs('data\colorref_smallexample_4_16.grl')
     self.runTest(2, 3, True)
コード例 #12
0
 def test_huge1_23(self):
     self._graphs = loadgraphs('data\colorref_largeexample_4_1026.grl')
     self.runTest(2, 3)
コード例 #13
0
ファイル: test.py プロジェクト: irthomasthomas/Isomurphy 
 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")
コード例 #14
0
 def test_gi_23(self):
     self._graphs = loadgraphs('data\\modulesc.grl')
     self.runTest(2, 3)
コード例 #15
0
 def test_gi_45(self):
     self._graphs = loadgraphs('data\\modulesc.grl')
     self.runTest(4, 5)
コード例 #16
0
 def test_gi_01(self):
     self._graphs = loadgraphs('data\\modulesc.grl')
     self.runTest(0, 1)
コード例 #17
0
 def test_torus(self):
     self._graphs = loadgraphs('data\\torus24.grl')
     self.runTest(0, 3, 96)
     self.runTest(1, 2, 96)
コード例 #18
0
	def test_gi_01(self):
		self._graphs = loadgraphs('data\\basicgi2.grl')
		self.runTest(0, 1)
コード例 #19
0
	def test_gi_12(self):
		self._graphs = loadgraphs('data\\basicgi2.grl')
		self.runTest(1, 2)
コード例 #20
0
	def test_gi_23(self):
		self._graphs = loadgraphs('data\\basicgi2.grl')
		self.runTest(2, 3)
コード例 #21
0
 def test_gi_12(self):
     self._graphs = loadgraphs('data\\modulesc.grl')
     self.runTest(1, 2)
コード例 #22
0
 def test_large1_25(self):
     self._graphs = loadgraphs('data\colorref_largeexample_6_960.grl')
     self.runTest(2, 5, True)
コード例 #23
0
 def test_gi_34(self):
     self._graphs = loadgraphs('data\\modulesc.grl')
     self.runTest(3, 4)
コード例 #24
0
 def test_large1_45(self):
     self._graphs = loadgraphs('data\colorref_largeexample_6_960.grl')
     self.runTest(4, 5, False)
コード例 #25
0
 def test_gi_56(self):
     self._graphs = loadgraphs('data\\modulesc.grl')
     self.runTest(5, 6)
コード例 #26
0
 def test_bigtrees1_13(self):
     self._graphs = loadgraphs("data\\bigtrees1.grl")
     self.runTest(1, 3, True)
コード例 #27
0
 def test_quick1_13(self):
     self._graphs = loadgraphs('data\colorref_smallexample_4_7.grl')
     self.runTest(1, 3, True)
コード例 #28
0
 def test_bigtrees1_23(self):
     self._graphs = loadgraphs("data\\bigtrees1.grl")
     self.runTest(2, 3, False)
コード例 #29
0
 def test_quick1_23(self):
     self._graphs = loadgraphs('data\colorref_smallexample_4_7.grl')
     self.runTest(2, 3, False)
コード例 #30
0
 def test_bigtrees1_12(self):
     self._graphs = loadgraphs("data\\bigtrees1.grl")
     self.runTest(1, 2, False)