Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 779072195] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1942 geometric_solution 5.53144698 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.866700270886 0.488993629116 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510107821782 0.886120685793 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350396563532 0.420843865936 2 5 6 1 2031 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350396563532 0.420843865936 2 5 6 6 0132 0132 2310 3120 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565652248159 0.586323248773 6 4 2 3 2310 0132 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.096125517071 1.344741668099 4 4 5 3 3120 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565652248159 0.586323248773 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_1001_3']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_1001_3']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_6, c_0101_0, c_0101_4, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 64160820292922/20867482100799*c_1001_3^14 + 46705505207065/2318609122311*c_1001_3^13 + 686821939101110/20867482100799*c_1001_3^12 - 1637023229433943/20867482100799*c_1001_3^11 - 7902152195031484/20867482100799*c_1001_3^10 - 9747817593515557/20867482100799*c_1001_3^9 + 5504906250869666/20867482100799*c_1001_3^8 + 25243409081073203/20867482100799*c_1001_3^7 + 883498085480852/772869707437*c_1001_3^6 - 580254383626253/2318609122311*c_1001_3^5 - 809349717264265/772869707437*c_1001_3^4 - 13672700507742959/20867482100799*c_1001_3^3 - 2474582682023956/20867482100799*c_1001_3^2 + 919938578167/366096177207*c_1001_3 + 543140698958123/20867482100799, c_0011_0 - 1, c_0011_1 + 774267837421/2318609122311*c_1001_3^14 - 1986074302580/772869707437*c_1001_3^13 - 1501039559692/2318609122311*c_1001_3^12 + 21401600392439/2318609122311*c_1001_3^11 + 73326428620742/2318609122311*c_1001_3^10 + 31702119270200/2318609122311*c_1001_3^9 - 111510723452398/2318609122311*c_1001_3^8 - 200283270549823/2318609122311*c_1001_3^7 - 17390663326421/772869707437*c_1001_3^6 + 53254065965530/772869707437*c_1001_3^5 + 42066494426910/772869707437*c_1001_3^4 + 2268063132706/2318609122311*c_1001_3^3 - 12255670119685/2318609122311*c_1001_3^2 + 112002246047/40677353023*c_1001_3 + 902284904045/2318609122311, c_0011_3 - 4927706416771/6955827366933*c_1001_3^14 + 11817289962302/2318609122311*c_1001_3^13 + 27826117416379/6955827366933*c_1001_3^12 - 125798545656356/6955827366933*c_1001_3^11 - 534696200473970/6955827366933*c_1001_3^10 - 450764323843364/6955827366933*c_1001_3^9 + 543472180898329/6955827366933*c_1001_3^8 + 1594476868473289/6955827366933*c_1001_3^7 + 339071368767230/2318609122311*c_1001_3^6 - 238758188225683/2318609122311*c_1001_3^5 - 419777576626927/2318609122311*c_1001_3^4 - 462619543596253/6955827366933*c_1001_3^3 + 31763145901789/6955827366933*c_1001_3^2 + 209789200705/122032059069*c_1001_3 - 12076218600986/6955827366933, c_0011_6 - 2806454083679/6955827366933*c_1001_3^14 + 6629818711723/2318609122311*c_1001_3^13 + 18118120000829/6955827366933*c_1001_3^12 - 70701609796810/6955827366933*c_1001_3^11 - 312610647637567/6955827366933*c_1001_3^10 - 287256397522027/6955827366933*c_1001_3^9 + 293401420521161/6955827366933*c_1001_3^8 + 950569912498190/6955827366933*c_1001_3^7 + 221907486269311/2318609122311*c_1001_3^6 - 127573469487263/2318609122311*c_1001_3^5 - 261004103996681/2318609122311*c_1001_3^4 - 321323761389167/6955827366933*c_1001_3^3 + 25685661550586/6955827366933*c_1001_3^2 + 305124331136/122032059069*c_1001_3 - 7367229053272/6955827366933, c_0101_0 + 583714001156/6955827366933*c_1001_3^14 - 1139188063867/2318609122311*c_1001_3^13 - 9216324672518/6955827366933*c_1001_3^12 + 12440931878341/6955827366933*c_1001_3^11 + 86426070860488/6955827366933*c_1001_3^10 + 129277041197182/6955827366933*c_1001_3^9 - 26812132124753/6955827366933*c_1001_3^8 - 314098712196743/6955827366933*c_1001_3^7 - 112965729204421/2318609122311*c_1001_3^6 + 7804828398392/2318609122311*c_1001_3^5 + 112746343467746/2318609122311*c_1001_3^4 + 211471603590263/6955827366933*c_1001_3^3 - 2016220789586/6955827366933*c_1001_3^2 - 418404352862/122032059069*c_1001_3 + 157553563486/6955827366933, c_0101_4 - c_1001_3, c_1001_3^15 - 7*c_1001_3^14 - 7*c_1001_3^13 + 24*c_1001_3^12 + 114*c_1001_3^11 + 114*c_1001_3^10 - 90*c_1001_3^9 - 351*c_1001_3^8 - 281*c_1001_3^7 + 99*c_1001_3^6 + 297*c_1001_3^5 + 160*c_1001_3^4 + 13*c_1001_3^3 - 8*c_1001_3^2 + 2*c_1001_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB