Magma V2.19-8 Tue Aug 20 2013 16:17:07 on localhost [Seed = 1595851660] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1365 geometric_solution 5.22725405 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2031 0132 1302 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 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.233287843299 0.859218219228 0 0 3 2 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 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.794012971673 1.721956685513 4 3 1 5 0132 2031 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332400804241 0.419652197341 2 4 5 1 1302 3201 0132 0132 0 0 0 0 0 -1 1 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 1 -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.332400804241 0.419652197341 2 4 3 4 0132 1302 2310 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612820965895 0.344502488026 6 6 2 3 0132 2310 0132 0132 0 0 0 0 0 1 0 -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 0 -1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.450207735964 1.132635543049 5 6 6 5 0132 1230 3012 3201 0 0 0 0 0 0 0 0 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 1 0 0 -1 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.183171191146 0.527901583717 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(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' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : d['c_1100_1'], 'c_0101_6' : negation(d['c_0011_2']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_2']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_5, c_0101_1, c_0101_2, c_0101_4, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 67435728540313993596479/1177738357547372804382336*c_1100_1^12 - 76213992792824322954385/294434589386843201095584*c_1100_1^11 + 1577277619828908334569625/1177738357547372804382336*c_1100_1^10 - 9911730090845983380458141/1177738357547372804382336*c_1100_1^9 - 53933945841937757088219577/1177738357547372804382336*c_1100_1^8 - 44414238995359764610359901/1177738357547372804382336*c_1100_1^7 + 180314190821922013894200989/588869178773686402191168*c_1100_1^6 + 1637101612402471627444693075/1177738357547372804382336*c_1100_1^5 + 3421613205902952634858815733/1177738357547372804382336*c_1100_1^4 + 4195952596392643904691370117/1177738357547372804382336*c_1100_1^3 + 3222146355918491569672217393/1177738357547372804382336*c_1100_1^2 + 247424923530550957598506969/196289726257895467397056*c_1100_1 + 314439347885117167158274705/1177738357547372804382336, c_0011_0 - 1, c_0011_2 - 2258546271841834554317/448833215528724391914000*c_1100_1^12 + 3229083391711694473897/149611071842908130638000*c_1100_1^11 - 12753347432284234398571/112208303882181097978500*c_1100_1^10 + 107964277484275954096331/149611071842908130638000*c_1100_1^9 + 46506338785267137907249/11220830388218109797850*c_1100_1^8 + 680040921599482081867909/149611071842908130638000*c_1100_1^7 - 11612807720254458244198213/448833215528724391914000*c_1100_1^6 - 969076704899243547687451/7480553592145406531900*c_1100_1^5 - 1038715449044947860538475/3590665724229795135312*c_1100_1^4 - 7155978202501694669331283/18701383980363516329750*c_1100_1^3 - 141181769762528433049148561/448833215528724391914000*c_1100_1^2 - 69480121141211890418536483/448833215528724391914000*c_1100_1 - 549375226956258392278757/14961107184290813063800, c_0011_5 - 76278190850421366683/89766643105744878382800*c_1100_1^12 + 93013846638980916313/29922214368581626127600*c_1100_1^11 - 720996976556954874203/44883321552872439191400*c_1100_1^10 + 3147958371865415385189/29922214368581626127600*c_1100_1^9 + 7185739410030980923267/8976664310574487838280*c_1100_1^8 + 31857619018573505971391/29922214368581626127600*c_1100_1^7 - 395884351301819499761617/89766643105744878382800*c_1100_1^6 - 73829369568956222116209/2992221436858162612760*c_1100_1^5 - 208698013804005133105117/3590665724229795135312*c_1100_1^4 - 1193101302073686318666243/14961107184290813063800*c_1100_1^3 - 6038099183986254512710559/89766643105744878382800*c_1100_1^2 - 3073884940814850239749027/89766643105744878382800*c_1100_1 - 13324365176303271845157/1496110718429081306380, c_0101_1 + 575255010466749961103/35906657242297951353120*c_1100_1^12 - 102444297157439782561/1496110718429081306380*c_1100_1^11 + 12887653038207713807251/35906657242297951353120*c_1100_1^10 - 27288304800346187616439/11968885747432650451040*c_1100_1^9 - 95484686885079132886961/7181331448459590270624*c_1100_1^8 - 170857106491025038361261/11968885747432650451040*c_1100_1^7 + 744827287144805838947893/8976664310574487838280*c_1100_1^6 + 989218412566046258508885/2393777149486530090208*c_1100_1^5 + 6588648020793369904062755/7181331448459590270624*c_1100_1^4 + 14410945310101165422219601/11968885747432650451040*c_1100_1^3 + 35230628054549443565228309/35906657242297951353120*c_1100_1^2 + 8605276944964608766953431/17953328621148975676560*c_1100_1 + 271875514401293928721517/2393777149486530090208, c_0101_2 + 50452693767132458/10486757372166457755*c_1100_1^12 - 70296655425002763/3495585790722152585*c_1100_1^11 + 1106931469535791666/10486757372166457755*c_1100_1^10 - 2353344601042280599/3495585790722152585*c_1100_1^9 - 8522878488329122613/2097351474433291551*c_1100_1^8 - 16159273656954731096/3495585790722152585*c_1100_1^7 + 259758536936845352632/10486757372166457755*c_1100_1^6 + 88492284156703204114/699117158144430517*c_1100_1^5 + 598877252378365715279/2097351474433291551*c_1100_1^4 + 1329258516713994379301/3495585790722152585*c_1100_1^3 + 3300926147754536289839/10486757372166457755*c_1100_1^2 + 1634029071865487733622/10486757372166457755*c_1100_1 + 25981945029938642357/699117158144430517, c_0101_4 - 1379405596421659488557/1795332862114897567656000*c_1100_1^12 + 582202028772733196931/299222143685816261276000*c_1100_1^11 - 18989668491181679646139/1795332862114897567656000*c_1100_1^10 + 44780102320284504631901/598444287371632522552000*c_1100_1^9 + 305900932486487009806757/359066572422979513531200*c_1100_1^8 + 985606194930198289125639/598444287371632522552000*c_1100_1^7 - 3086585129303418677812349/897666431057448783828000*c_1100_1^6 - 3253325132649893822253209/119688857474326504510400*c_1100_1^5 - 1056674000643228803876201/14362662896919180541248*c_1100_1^4 - 68128272355080172736465969/598444287371632522552000*c_1100_1^3 - 193598831747869961527658231/1795332862114897567656000*c_1100_1^2 - 27237802689710733216600967/448833215528724391914000*c_1100_1 - 2037859829876989389477469/119688857474326504510400, c_1100_1^13 - 3*c_1100_1^12 + 17*c_1100_1^11 - 114*c_1100_1^10 - 1010*c_1100_1^9 - 1956*c_1100_1^8 + 4019*c_1100_1^7 + 32385*c_1100_1^6 + 90350*c_1100_1^5 + 148926*c_1100_1^4 + 158428*c_1100_1^3 + 109409*c_1100_1^2 + 46035*c_1100_1 + 9225 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB