Magma V2.19-8 Tue Aug 20 2013 16:14:19 on localhost [Seed = 2934911627] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s293 geometric_solution 4.46011284 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 1 2 2 0132 2310 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 2.112257236810 1.057376201119 0 1 1 0 0132 3201 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.633209622057 0.149638422661 0 3 4 0 3201 0132 0132 0132 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 1 -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.541832700513 0.604386506905 4 2 5 4 2103 0132 0132 2031 0 0 0 0 0 1 -1 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 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.616531523307 0.703910257606 5 3 3 2 1023 1302 2103 0132 0 0 0 0 0 1 0 -1 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 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.616531523307 0.703910257606 5 4 5 3 2310 1023 3201 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 1 -1 -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.765361607962 0.446771105100 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 2765243077126/150967568335*c_0101_3^15 - 4326773117214/150967568335*c_0101_3^14 - 707068130509/30193513667*c_0101_3^13 - 22914857087944/150967568335*c_0101_3^12 + 1019916847221/30193513667*c_0101_3^11 + 18719401021627/150967568335*c_0101_3^10 + 18757644172355/30193513667*c_0101_3^9 + 119617470129828/150967568335*c_0101_3^8 + 15852785375925/30193513667*c_0101_3^7 + 15257184758503/150967568335*c_0101_3^6 - 116194804933777/150967568335*c_0101_3^5 - 119756309769664/150967568335*c_0101_3^4 - 26051364447523/150967568335*c_0101_3^3 + 51631287969062/150967568335*c_0101_3^2 + 27477967699354/150967568335*c_0101_3 - 7073143745007/150967568335, c_0011_0 - 1, c_0011_2 - 12375938670/30193513667*c_0101_3^15 - 23063887714/30193513667*c_0101_3^14 - 26617007041/30193513667*c_0101_3^13 - 116673381136/30193513667*c_0101_3^12 - 20149134968/30193513667*c_0101_3^11 + 42236851851/30193513667*c_0101_3^10 + 434514240225/30193513667*c_0101_3^9 + 664683281024/30193513667*c_0101_3^8 + 699979864075/30193513667*c_0101_3^7 + 438977977553/30193513667*c_0101_3^6 - 170579823132/30193513667*c_0101_3^5 - 489121939029/30193513667*c_0101_3^4 - 281909826694/30193513667*c_0101_3^3 + 47597718305/30193513667*c_0101_3^2 + 64486902832/30193513667*c_0101_3 + 15199022387/30193513667, c_0011_4 + 1676731751/30193513667*c_0101_3^15 + 4528407726/30193513667*c_0101_3^14 + 9604873308/30193513667*c_0101_3^13 + 22619277366/30193513667*c_0101_3^12 + 20029289194/30193513667*c_0101_3^11 + 25791932043/30193513667*c_0101_3^10 - 79935459858/30193513667*c_0101_3^9 - 143371740022/30193513667*c_0101_3^8 - 278626954500/30193513667*c_0101_3^7 - 247004315346/30193513667*c_0101_3^6 - 136597212528/30193513667*c_0101_3^5 + 44862997097/30193513667*c_0101_3^4 + 178715218614/30193513667*c_0101_3^3 + 116735059953/30193513667*c_0101_3^2 - 136918020/30193513667*c_0101_3 - 24094938909/30193513667, c_0101_0 - 2908203132/30193513667*c_0101_3^15 - 5071877915/30193513667*c_0101_3^14 - 1939081592/30193513667*c_0101_3^13 - 19415980363/30193513667*c_0101_3^12 + 8988287856/30193513667*c_0101_3^11 + 47524983967/30193513667*c_0101_3^10 + 113693506371/30193513667*c_0101_3^9 + 147127323222/30193513667*c_0101_3^8 + 4800513277/30193513667*c_0101_3^7 - 115550973999/30193513667*c_0101_3^6 - 353119099833/30193513667*c_0101_3^5 - 294859888846/30193513667*c_0101_3^4 - 90506984140/30193513667*c_0101_3^3 + 135929340894/30193513667*c_0101_3^2 + 116794598200/30193513667*c_0101_3 - 1073892431/30193513667, c_0101_1 - 10939830577/30193513667*c_0101_3^15 - 11032887894/30193513667*c_0101_3^14 - 6138545408/30193513667*c_0101_3^13 - 80130209973/30193513667*c_0101_3^12 + 74496595125/30193513667*c_0101_3^11 + 55531867240/30193513667*c_0101_3^10 + 378856243727/30193513667*c_0101_3^9 + 254577980130/30193513667*c_0101_3^8 + 104129189212/30193513667*c_0101_3^7 - 219160998879/30193513667*c_0101_3^6 - 598208058388/30193513667*c_0101_3^5 - 389274215512/30193513667*c_0101_3^4 + 11412612604/30193513667*c_0101_3^3 + 274951662628/30193513667*c_0101_3^2 + 84507003630/30193513667*c_0101_3 - 19121141527/30193513667, c_0101_3^16 + 2*c_0101_3^15 + 2*c_0101_3^14 + 9*c_0101_3^13 + 2*c_0101_3^12 - 7*c_0101_3^11 - 36*c_0101_3^10 - 58*c_0101_3^9 - 49*c_0101_3^8 - 23*c_0101_3^7 + 33*c_0101_3^6 + 55*c_0101_3^5 + 25*c_0101_3^4 - 13*c_0101_3^3 - 15*c_0101_3^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB