Magma V2.19-8 Tue Aug 20 2013 16:16:27 on localhost [Seed = 1124261794] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0736 geometric_solution 4.68412862 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 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.321554950621 0.211179744423 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 1 0 -1 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.872769486608 0.694041169383 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 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 -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.107828362440 0.327712038027 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 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 1.945242635154 1.115247288216 3 5 5 6 0132 1230 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 -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.687784329990 0.692126685565 6 4 4 3 3201 0213 3012 0132 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 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.687784329990 0.692126685565 6 6 4 5 1230 3012 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 -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 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.550984314147 0.461066827571 ==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_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_5']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t - 9*c_0101_3^2 + 14*c_0101_3 + 14, c_0011_0 - 1, c_0011_3 + c_0101_3, c_0011_5 - 1, c_0011_6 - c_0101_3^2 + c_0101_3, c_0101_0 + c_0101_3, c_0101_1 + c_0101_3^2 - c_0101_3 - 1, c_0101_3^3 - 2*c_0101_3^2 - c_0101_3 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 124236862446969707809039976519/58851244616079504404307506287*c_0101\ _3^16 + 1145129556853594636354641318688/588512446160795044043075062\ 87*c_0101_3^15 - 1515588878409222453078204549772/588512446160795044\ 04307506287*c_0101_3^14 - 7282739685529259534765921915117/588512446\ 16079504404307506287*c_0101_3^13 - 42128084993980671881174422792243/58851244616079504404307506287*c_01\ 01_3^12 + 413888732166046521106881082924374/58851244616079504404307\ 506287*c_0101_3^11 - 958210223181499065881237198364624/588512446160\ 79504404307506287*c_0101_3^10 + 689844073178365430736349567994641/5\ 8851244616079504404307506287*c_0101_3^9 - 49922346754287888400793491740121/8407320659439929200615358041*c_010\ 1_3^8 + 1062328136937639099222811747650842/588512446160795044043075\ 06287*c_0101_3^7 + 370324374461504608498089313608313/58851244616079\ 504404307506287*c_0101_3^6 - 1636768244413776607500077357363909/588\ 51244616079504404307506287*c_0101_3^5 - 660255450550995370823044233316049/58851244616079504404307506287*c_0\ 101_3^4 + 2541914237010330605201087471588/4527018816621500338792885\ 099*c_0101_3^3 + 109097379861895848654268660406087/5885124461607950\ 4404307506287*c_0101_3^2 + 57582887813340672841848798561242/5885124\ 4616079504404307506287*c_0101_3 - 4512162872204013260737468760532/5\ 8851244616079504404307506287, c_0011_0 - 1, c_0011_3 - 6922859703274466331414158/99131798904120445375026681*c_0101_\ 3^16 + 52136861299645897184534777/99131798904120445375026681*c_0101\ _3^15 - 495047856618363294473842/99131798904120445375026681*c_0101_\ 3^14 - 376774526516806974772047245/99131798904120445375026681*c_010\ 1_3^13 - 2984386699560917235183335462/99131798904120445375026681*c_\ 0101_3^12 + 5940037966463594248018290952/33043932968040148458342227\ *c_0101_3^11 - 8349027625829415371622163996/33043932968040148458342\ 227*c_0101_3^10 + 6396182954048520962512712717/99131798904120445375\ 026681*c_0101_3^9 - 1117966545388932512195881330/472056185257716406\ 5477461*c_0101_3^8 + 25124859584750836272323224348/9913179890412044\ 5375026681*c_0101_3^7 + 47031211418146245003216234806/9913179890412\ 0445375026681*c_0101_3^6 + 4100522307667764210194595116/99131798904\ 120445375026681*c_0101_3^5 - 1945922588889821532942579578/330439329\ 68040148458342227*c_0101_3^4 - 1160543525171685285627432916/3304393\ 2968040148458342227*c_0101_3^3 - 414965124968943050556205124/991317\ 98904120445375026681*c_0101_3^2 + 122708695590693565819221873/33043\ 932968040148458342227*c_0101_3 + 41153284835659987793183942/9913179\ 8904120445375026681, c_0011_5 - 7752300943504254388161045895/176553733848238513212922518861*\ c_0101_3^16 + 53341379784945889016852604688/17655373384823851321292\ 2518861*c_0101_3^15 + 37805475824287374192851751664/176553733848238\ 513212922518861*c_0101_3^14 - 425439742450506698632042794544/176553\ 733848238513212922518861*c_0101_3^13 - 3614218568992562697318658050325/176553733848238513212922518861*c_01\ 01_3^12 + 5933661717503592230897001324317/5885124461607950440430750\ 6287*c_0101_3^11 - 4972393511337477026799760480027/5885124461607950\ 4404307506287*c_0101_3^10 - 12173661435301498448527987461005/176553\ 733848238513212922518861*c_0101_3^9 - 927488654404790839803561610391/8407320659439929200615358041*c_0101_\ 3^8 + 9276278443872548481936768725336/17655373384823851321292251886\ 1*c_0101_3^7 + 73081180630787103345257172614533/1765537338482385132\ 12922518861*c_0101_3^6 + 36250215497993533088857853378608/176553733\ 848238513212922518861*c_0101_3^5 - 1463013815351498522118075748324/58851244616079504404307506287*c_010\ 1_3^4 - 180544553221989168783919888016/4527018816621500338792885099\ *c_0101_3^3 - 3038072609927145942740457971527/176553733848238513212\ 922518861*c_0101_3^2 + 4738949277890328313326417607/588512446160795\ 04404307506287*c_0101_3 + 178516326067409037571317766954/1765537338\ 48238513212922518861, c_0011_6 - 1501188189850064133043497433/176553733848238513212922518861*\ c_0101_3^16 + 8695101097886550198108217693/176553733848238513212922\ 518861*c_0101_3^15 + 19499008581970484568401806384/1765537338482385\ 13212922518861*c_0101_3^14 - 81286942197735624812484997057/17655373\ 3848238513212922518861*c_0101_3^13 - 790703646721968306767099827330/176553733848238513212922518861*c_010\ 1_3^12 + 911970276884380654762876313478/588512446160795044043075062\ 87*c_0101_3^11 + 425234181479294824901684789487/5885124461607950440\ 4307506287*c_0101_3^10 - 7834725399594890476885134802487/1765537338\ 48238513212922518861*c_0101_3^9 - 160770529706695226390932129987/84\ 07320659439929200615358041*c_0101_3^8 - 2644532597643905617148057235406/176553733848238513212922518861*c_01\ 01_3^7 + 19269094244172779003465580948538/1765537338482385132129225\ 18861*c_0101_3^6 + 19583456416873155426757636661665/176553733848238\ 513212922518861*c_0101_3^5 - 58932900477180015093505155235/58851244\ 616079504404307506287*c_0101_3^4 - 105157682522099871271088299760/4527018816621500338792885099*c_0101_\ 3^3 - 1730095157525471010311199868327/17655373384823851321292251886\ 1*c_0101_3^2 - 21596932138039388338983978670/5885124461607950440430\ 7506287*c_0101_3 + 171513958908085777614420778582/17655373384823851\ 3212922518861, c_0101_0 - 227598992315852353914176462/25221961978319787601846074123*c_\ 0101_3^16 + 1371110860656291771525889658/25221961978319787601846074\ 123*c_0101_3^15 + 2595487351399041433204894547/25221961978319787601\ 846074123*c_0101_3^14 - 12700351485466902444795626153/2522196197831\ 9787601846074123*c_0101_3^13 - 116222944340887542843483301016/25221\ 961978319787601846074123*c_0101_3^12 + 146466934710309821718170729602/8407320659439929200615358041*c_0101_\ 3^11 + 22702590614082021912387093145/8407320659439929200615358041*c\ _0101_3^10 - 1134235514281614856867567682212/2522196197831978760184\ 6074123*c_0101_3^9 - 53107230782702724040761899968/8407320659439929\ 200615358041*c_0101_3^8 - 687647505224659621369522374152/2522196197\ 8319787601846074123*c_0101_3^7 + 3074489222180650795060961122235/25\ 221961978319787601846074123*c_0101_3^6 + 2068602283419897868319082876401/25221961978319787601846074123*c_010\ 1_3^5 + 57936807340346061681639101642/8407320659439929200615358041*\ c_0101_3^4 - 2500878984156629657409667493/6467169738030714769704121\ 57*c_0101_3^3 - 293119883210783057582741503160/25221961978319787601\ 846074123*c_0101_3^2 - 18905575701500561471974482906/84073206594399\ 29200615358041*c_0101_3 - 1591047026160178695357513814/252219619783\ 19787601846074123, c_0101_1 + 13732698345532773239574856/99131798904120445375026681*c_0101\ _3^16 - 99106731457696816624765948/99131798904120445375026681*c_010\ 1_3^15 - 31644454776067614524887579/99131798904120445375026681*c_01\ 01_3^14 + 748626852865993066581417418/99131798904120445375026681*c_\ 0101_3^13 + 6154838999406043389385275604/99131798904120445375026681\ *c_0101_3^12 - 11164872361032817593820441688/3304393296804014845834\ 2227*c_0101_3^11 + 12841274886135052063630626016/330439329680401484\ 58342227*c_0101_3^10 + 3236281650767567480788784999/991317989041204\ 45375026681*c_0101_3^9 + 2003979737051103223993929432/4720561852577\ 164065477461*c_0101_3^8 - 34873998937469413618235168705/99131798904\ 120445375026681*c_0101_3^7 - 109520955040699208195617869508/9913179\ 8904120445375026681*c_0101_3^6 - 36863463323718686551302110881/9913\ 1798904120445375026681*c_0101_3^5 + 3108651730866792562966476591/33043932968040148458342227*c_0101_3^4 + 3513175183104447596995182991/33043932968040148458342227*c_0101_3^3 + 2942033669174899092343876894/99131798904120445375026681*c_0101_3^2 - 121256700034359430446951988/33043932968040148458342227*c_0101_3 - 120676616602686581058727414/99131798904120445375026681, c_0101_3^17 - 7*c_0101_3^16 - 4*c_0101_3^15 + 55*c_0101_3^14 + 460*c_0101_3^13 - 2349*c_0101_3^12 + 2220*c_0101_3^11 + 1181*c_0101_3^10 + 2643*c_0101_3^9 - 1760*c_0101_3^8 - 8962*c_0101_3^7 - 3946*c_0101_3^6 + 1002*c_0101_3^5 + 990*c_0101_3^4 + 268*c_0101_3^3 - 48*c_0101_3^2 - 28*c_0101_3 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB