Magma V2.19-8 Tue Aug 20 2013 16:19:11 on localhost [Seed = 2311591153] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3314 geometric_solution 6.44710432 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 0132 0132 0 0 0 0 0 -1 0 1 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 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.170546253229 0.942660547719 0 4 4 0 0132 0132 3201 3201 0 0 0 0 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 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.106291821014 1.362043837959 5 3 3 0 0132 2031 1230 0132 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 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.215869077641 0.654995658471 2 6 0 2 1302 0132 0132 3012 0 0 0 0 0 1 -1 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 -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 0 0 0 0.215869077641 0.654995658471 1 1 6 5 2310 0132 2103 0321 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 -1 0 0 1 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.012986939597 0.559132466296 2 4 6 6 0132 0321 1230 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.065525799411 0.956431218608 4 3 5 5 2103 0132 0132 3012 0 0 0 0 0 -1 1 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 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 0 0 0 0.065525799411 0.956431218608 ==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_0110_6'], 'c_1100_5' : d['c_0110_6'], 'c_1100_4' : negation(d['c_0110_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0110_3'], 'c_1100_3' : d['c_0110_3'], 'c_1100_2' : d['c_0110_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_6']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0110_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_2']), 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0011_3']), '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_2, c_0011_3, c_0101_0, c_0101_2, c_0110_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 13892857195248832/51084890919671*c_0110_6^12 - 58494803617206048/51084890919671*c_0110_6^11 - 105442735334265152/51084890919671*c_0110_6^10 - 123863430233022944/51084890919671*c_0110_6^9 - 27433235349613636/7297841559953*c_0110_6^8 - 371657814472193150/51084890919671*c_0110_6^7 - 515753969751346388/51084890919671*c_0110_6^6 - 394794580061637137/51084890919671*c_0110_6^5 - 103283584444277663/51084890919671*c_0110_6^4 + 115820499351525762/51084890919671*c_0110_6^3 + 136509774873353011/51084890919671*c_0110_6^2 + 6705115851241020/7297841559953*c_0110_6 + 5104142322769029/51084890919671, c_0011_0 - 1, c_0011_2 - 6780955266560/1042548794279*c_0110_6^12 - 28054276790480/1042548794279*c_0110_6^11 - 50464392341152/1042548794279*c_0110_6^10 - 60368177642720/1042548794279*c_0110_6^9 - 94530116282644/1042548794279*c_0110_6^8 - 180040068820319/1042548794279*c_0110_6^7 - 249072420379736/1042548794279*c_0110_6^6 - 194572222095236/1042548794279*c_0110_6^5 - 60271201346988/1042548794279*c_0110_6^4 + 48152309526371/1042548794279*c_0110_6^3 + 63622139269771/1042548794279*c_0110_6^2 + 26235290303423/1042548794279*c_0110_6 + 4573479096782/1042548794279, c_0011_3 - 6780955266560/1042548794279*c_0110_6^12 - 28054276790480/1042548794279*c_0110_6^11 - 50464392341152/1042548794279*c_0110_6^10 - 60368177642720/1042548794279*c_0110_6^9 - 94530116282644/1042548794279*c_0110_6^8 - 180040068820319/1042548794279*c_0110_6^7 - 249072420379736/1042548794279*c_0110_6^6 - 194572222095236/1042548794279*c_0110_6^5 - 60271201346988/1042548794279*c_0110_6^4 + 48152309526371/1042548794279*c_0110_6^3 + 63622139269771/1042548794279*c_0110_6^2 + 26235290303423/1042548794279*c_0110_6 + 4573479096782/1042548794279, c_0101_0 + 27177903874416/1042548794279*c_0110_6^12 + 121123203025376/1042548794279*c_0110_6^11 + 233638727247104/1042548794279*c_0110_6^10 + 289265273179996/1042548794279*c_0110_6^9 + 428206573901165/1042548794279*c_0110_6^8 + 811507340911616/1042548794279*c_0110_6^7 + 1176063595644486/1042548794279*c_0110_6^6 + 996496457397548/1042548794279*c_0110_6^5 + 357750383721959/1042548794279*c_0110_6^4 - 202794098798959/1042548794279*c_0110_6^3 - 327386763017032/1042548794279*c_0110_6^2 - 148652190437108/1042548794279*c_0110_6 - 22403707220111/1042548794279, c_0101_2 + 3483010868528/1042548794279*c_0110_6^12 + 16167151348272/1042548794279*c_0110_6^11 + 31779712898368/1042548794279*c_0110_6^10 + 39126428380748/1042548794279*c_0110_6^9 + 56618661476981/1042548794279*c_0110_6^8 + 108662707077943/1042548794279*c_0110_6^7 + 159572255189068/1042548794279*c_0110_6^6 + 135863665016450/1042548794279*c_0110_6^5 + 46113049547263/1042548794279*c_0110_6^4 - 29928495700649/1042548794279*c_0110_6^3 - 47149458404671/1042548794279*c_0110_6^2 - 19408366864014/1042548794279*c_0110_6 - 2137906485854/1042548794279, c_0110_3 + 12373382386064/1042548794279*c_0110_6^12 + 58514661406512/1042548794279*c_0110_6^11 + 119458562464352/1042548794279*c_0110_6^10 + 153463513940724/1042548794279*c_0110_6^9 + 219319113557351/1042548794279*c_0110_6^8 + 409882590050891/1042548794279*c_0110_6^7 + 614227016386346/1042548794279*c_0110_6^6 + 557190980833425/1042548794279*c_0110_6^5 + 232717312139563/1042548794279*c_0110_6^4 - 81864988313595/1042548794279*c_0110_6^3 - 177020795749421/1042548794279*c_0110_6^2 - 91844379723506/1042548794279*c_0110_6 - 16053774510129/1042548794279, c_0110_6^13 + 5*c_0110_6^12 + 11*c_0110_6^11 + 61/4*c_0110_6^10 + 343/16*c_0110_6^9 + 613/16*c_0110_6^8 + 949/16*c_0110_6^7 + 957/16*c_0110_6^6 + 261/8*c_0110_6^5 - 9/16*c_0110_6^4 - 257/16*c_0110_6^3 - 189/16*c_0110_6^2 - 59/16*c_0110_6 - 7/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB