Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 1663238074] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1817 geometric_solution 5.47637710 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.513873606678 0.404157433531 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 -1 0 1 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 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.797701432837 0.945598094410 3 0 4 1 3201 0132 3201 3012 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 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.797701432837 0.945598094410 3 1 3 2 2031 0132 1302 2310 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 0 0 0 0 0 0 0 0 0 0 0.130910198714 1.214759102677 2 5 1 5 2310 0132 0132 2310 0 0 0 0 0 0 -1 1 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 -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 1.741350967098 0.670257692193 4 4 6 6 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 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 1 -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.234057743254 0.394607546192 5 6 5 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 0 -1 0 1 -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 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.880598175609 2.038323170934 ==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' : negation(d['1']), 's_2_0' : negation(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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 288352482022606419/2077339196808685*c_0101_6^16 - 1772965120766946203/4154678393617370*c_0101_6^15 - 4648563539642596503/4154678393617370*c_0101_6^14 + 16858191739009483487/2077339196808685*c_0101_6^13 - 10747894834060335854/2077339196808685*c_0101_6^12 - 36781653146701719813/830935678723474*c_0101_6^11 + 48478322950380274083/830935678723474*c_0101_6^10 + 169702299461180711054/2077339196808685*c_0101_6^9 - 297177758735868972608/2077339196808685*c_0101_6^8 - 24006262049125785651/415467839361737*c_0101_6^7 + 274007715342303589481/2077339196808685*c_0101_6^6 + 64778820031731218267/4154678393617370*c_0101_6^5 - 169784405622034705367/4154678393617370*c_0101_6^4 - 46416588191830969273/4154678393617370*c_0101_6^3 - 2951276461400876169/2077339196808685*c_0101_6^2 + 29259495297444099963/4154678393617370*c_0101_6 + 3263544592710558833/4154678393617370, c_0011_0 - 1, c_0011_4 + 10626653032366323/2077339196808685*c_0101_6^16 - 33812394701507036/2077339196808685*c_0101_6^15 - 80862660237678257/2077339196808685*c_0101_6^14 + 624845233640519266/2077339196808685*c_0101_6^13 - 466209855409194169/2077339196808685*c_0101_6^12 - 3265234065323580066/2077339196808685*c_0101_6^11 + 4678273915258691571/2077339196808685*c_0101_6^10 + 5540267988492717557/2077339196808685*c_0101_6^9 - 10744290603402746948/2077339196808685*c_0101_6^8 - 3544266763731809932/2077339196808685*c_0101_6^7 + 9430147038293219604/2077339196808685*c_0101_6^6 + 996929618155586548/2077339196808685*c_0101_6^5 - 577334724571554008/415467839361737*c_0101_6^4 - 880867141245945768/2077339196808685*c_0101_6^3 - 11334806738942787/415467839361737*c_0101_6^2 + 497884886771177518/2077339196808685*c_0101_6 + 12794607644576525/415467839361737, c_0011_6 - 4516850473951437/2077339196808685*c_0101_6^16 + 14570811970625974/2077339196808685*c_0101_6^15 + 33563240942705243/2077339196808685*c_0101_6^14 - 266370787498278539/2077339196808685*c_0101_6^13 + 210438230801738226/2077339196808685*c_0101_6^12 + 1368319659079360444/2077339196808685*c_0101_6^11 - 2030937637586004659/2077339196808685*c_0101_6^10 - 2232845240948206768/2077339196808685*c_0101_6^9 + 4559049785568089122/2077339196808685*c_0101_6^8 + 1328306441889966013/2077339196808685*c_0101_6^7 - 3923503541102236121/2077339196808685*c_0101_6^6 - 343099834416786412/2077339196808685*c_0101_6^5 + 238238389572356013/415467839361737*c_0101_6^4 + 360344035099768532/2077339196808685*c_0101_6^3 + 2412151551000477/415467839361737*c_0101_6^2 - 204345191216767462/2077339196808685*c_0101_6 - 5097790236897057/415467839361737, c_0101_0 + 566754300492919/2077339196808685*c_0101_6^16 - 1844060943744008/2077339196808685*c_0101_6^15 - 4087502840165011/2077339196808685*c_0101_6^14 + 33260491365467118/2077339196808685*c_0101_6^13 - 27676080593597177/2077339196808685*c_0101_6^12 - 166581116679450013/2077339196808685*c_0101_6^11 + 253461672319578043/2077339196808685*c_0101_6^10 + 256672868486955771/2077339196808685*c_0101_6^9 - 540636537213123829/2077339196808685*c_0101_6^8 - 144418678902495221/2077339196808685*c_0101_6^7 + 440129196148593207/2077339196808685*c_0101_6^6 + 36874078796700669/2077339196808685*c_0101_6^5 - 23695696969444699/415467839361737*c_0101_6^4 - 36862401222589634/2077339196808685*c_0101_6^3 - 2116647386656685/415467839361737*c_0101_6^2 + 22145030628503754/2077339196808685*c_0101_6 + 755082691746591/415467839361737, c_0101_1 - 6484503447221641/2077339196808685*c_0101_2*c_0101_6^16 + 20530593430735717/2077339196808685*c_0101_2*c_0101_6^15 + 49634819455556989/2077339196808685*c_0101_2*c_0101_6^14 - 380643420217500127/2077339196808685*c_0101_2*c_0101_6^13 + 279582845995113763/2077339196808685*c_0101_2*c_0101_6^12 + 1996366896443367402/2077339196808685*c_0101_2*c_0101_6^11 - 2835870675929171597/2077339196808685*c_0101_2*c_0101_6^10 - 3399209926025009534/2077339196808685*c_0101_2*c_0101_6^9 + 6546989477306855611/2077339196808685*c_0101_2*c_0101_6^8 + 2134715122981609269/2077339196808685*c_0101_2*c_0101_6^7 - 5735392055464778203/2077339196808685*c_0101_2*c_0101_6^6 - 510082970990365066/2077339196808685*c_0101_2*c_0101_6^5 + 343681932863869274/415467839361737*c_0101_2*c_0101_6^4 + 472957114543525541/2077339196808685*c_0101_2*c_0101_6^3 + 10356674007753928/415467839361737*c_0101_2*c_0101_6^2 - 292733835465752286/2077339196808685*c_0101_2*c_0101_6 - 7287312301903364/415467839361737*c_0101_2, c_0101_2^2 - 10626653032366323/2077339196808685*c_0101_6^16 + 33812394701507036/2077339196808685*c_0101_6^15 + 80862660237678257/2077339196808685*c_0101_6^14 - 624845233640519266/2077339196808685*c_0101_6^13 + 466209855409194169/2077339196808685*c_0101_6^12 + 3265234065323580066/2077339196808685*c_0101_6^11 - 4678273915258691571/2077339196808685*c_0101_6^10 - 5540267988492717557/2077339196808685*c_0101_6^9 + 10744290603402746948/2077339196808685*c_0101_6^8 + 3544266763731809932/2077339196808685*c_0101_6^7 - 9430147038293219604/2077339196808685*c_0101_6^6 - 996929618155586548/2077339196808685*c_0101_6^5 + 577334724571554008/415467839361737*c_0101_6^4 + 880867141245945768/2077339196808685*c_0101_6^3 + 11334806738942787/415467839361737*c_0101_6^2 - 497884886771177518/2077339196808685*c_0101_6 - 13210075483938262/415467839361737, c_0101_6^17 - 4*c_0101_6^16 - 5*c_0101_6^15 + 65*c_0101_6^14 - 92*c_0101_6^13 - 271*c_0101_6^12 + 691*c_0101_6^11 + 160*c_0101_6^10 - 1434*c_0101_6^9 + 493*c_0101_6^8 + 1156*c_0101_6^7 - 630*c_0101_6^6 - 347*c_0101_6^5 + 139*c_0101_6^4 + 62*c_0101_6^3 + 51*c_0101_6^2 - 32*c_0101_6 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB