def test_tenth(self):
result = self.t5_2.get_free_tree()
self.assertEqual(self.t5_8, result.representative)
self.assertEqual(1, result._rooted_trees[self.t5_2])
self.assertFalse(result.superfluous)
self.assertEqual(7, the_trees.index(result))
self.assertEqual(5, the_trees.non_superfluous_index(result))
def test_ninth(self):
result = self.t5_1.get_free_tree()
self.assertEqual(self.t5_7, result.representative)
self.assertEqual(1, result._rooted_trees[self.t5_1])
self.assertFalse(result.superfluous)
self.assertEqual(6, the_trees.index(result))
self.assertEqual(4, the_trees.non_superfluous_index(result))
def test_third(self):
result = self.t3_1.get_free_tree()
self.assertEqual(self.t3_2, result.representative)
self.assertEqual(-1, result._rooted_trees[self.t3_1])
self.assertFalse(result.superfluous)
self.assertEqual(3, the_trees.index(result))
self.assertEqual(2, the_trees.non_superfluous_index(result))
def test_eighth(self):
result = self.t4_4.get_free_tree()
self.assertEqual(self.t4_4, result.representative)
self.assertEqual(1, result._rooted_trees[self.t4_4])
self.assertFalse(result.superfluous)
self.assertEqual(5, the_trees.index(result))
self.assertEqual(3, the_trees.non_superfluous_index(result))
def test_twelfth(self):
result = self.t5_4.get_free_tree()
self.assertEqual(self.t5_9, result.representative)
self.assertEqual(-1, result._rooted_trees[self.t5_4])
self.assertFalse(result.superfluous)
self.assertEqual(8, the_trees.index(result))
self.assertEqual(6, the_trees.non_superfluous_index(result))