Exemple #1
0
    def testMorToPlatRight(self):
        for genus, c_pair, side in [
                (2, 1, RIGHT), (2, 3, RIGHT), (3, 1, RIGHT),
                (3, 3, RIGHT), (3, 5, RIGHT)]:
            dd = Cobordism(genus, c_pair, side).getDDStructure()
            plat_d = platTypeD(genus-1)
            plat_d2 = dd.morToD(plat_d)
            plat_d2.simplify()
            self.assertTrue(plat_d2.compareDStructures(platTypeD(genus)))

        for genus, c_pair, side in [
                (2, 0, RIGHT), (2, 2, RIGHT), (3, 0, RIGHT),
                (3, 2, RIGHT), (3, 4, RIGHT)]:
            dd = Cobordism(genus, c_pair, side).getDDStructure()
            plat_d = platTypeD(genus-1).dual()
            plat_d2 = dd.morToD(plat_d)
            plat_d2.simplify()
            self.assertTrue(plat_d2.compareDStructures(platTypeD(genus).dual()))
Exemple #2
0
 def testBuildTypeDGraph(self):
     graph1 = TypeDGraph(platTypeD(2))