Magma V2.19-8 Tue Aug 20 2013 16:17:08 on localhost [Seed = 4122241313] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1377 geometric_solution 5.23280960 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 0 0 0 0 0 0 1 -1 1 0 0 -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 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 1.709251037686 1.398084890146 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 0 1 -1 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 0 0 -1 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 0 0.443677385059 0.524440688114 3 1 4 5 2310 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 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.344521562142 0.917046324033 4 5 2 1 2310 2310 3201 0132 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 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.344521562142 0.917046324033 6 6 3 2 0132 2310 3201 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 0 0 0 0 0 0 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.006452609926 2.092914376555 5 5 2 3 1302 2031 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.328978042744 0.373708818742 4 6 6 4 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 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.488020120185 0.489527041730 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0011_5'], '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' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_1, c_0011_3, c_0011_4, c_0011_5, c_0101_1, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 142760516393989422812636440657898021/442593819628521874243938986658\ 5617*c_0110_5^18 + 1007101025061863154458035838710103473/4425938196\ 285218742439389866585617*c_0110_5^17 + 2197348617831602110927793855545842000/44259381962852187424393898665\ 85617*c_0110_5^16 + 4410986897561455475577910200208380961/442593819\ 6285218742439389866585617*c_0110_5^15 + 977430529256755128531942072895636655/442593819628521874243938986658\ 5617*c_0110_5^14 - 10745285451509258802666508269610168352/442593819\ 6285218742439389866585617*c_0110_5^13 - 47506930652526543490652159497553675129/4425938196285218742439389866\ 585617*c_0110_5^12 - 8917870167413103534947992689839005111/44259381\ 96285218742439389866585617*c_0110_5^11 + 185557878674651737082865240794986292840/442593819628521874243938986\ 6585617*c_0110_5^10 - 94209419208003891045546860653491777681/442593\ 8196285218742439389866585617*c_0110_5^9 - 149053061268633257906783896233813890635/442593819628521874243938986\ 6585617*c_0110_5^8 + 222388794175465388893974817384096773048/442593\ 8196285218742439389866585617*c_0110_5^7 - 926395470842421571159287460021138270/261889834099717085351443187371\ 93*c_0110_5^6 + 55122687777132114978562090747897362023/442593819628\ 5218742439389866585617*c_0110_5^5 - 15463844642088897990674186182773981652/4425938196285218742439389866\ 585617*c_0110_5^4 - 58686849973628458095605648544386479/34045678432\ 9632210956876143583509*c_0110_5^3 - 5887840260748865854700731415001934312/44259381962852187424393898665\ 85617*c_0110_5^2 + 10610079689409875090625435934463228906/442593819\ 6285218742439389866585617*c_0110_5 - 2928296059033366050576008281984775164/44259381962852187424393898665\ 85617, c_0011_0 - 1, c_0011_1 + 8793358536217140521882/27351961459257894971434753*c_0110_5^1\ 8 + 75558398247838227460669/27351961459257894971434753*c_0110_5^17 + 254794355527982207172180/27351961459257894971434753*c_0110_5^16 + 676905268326833662887694/27351961459257894971434753*c_0110_5^15 + 1081896117182113242898257/27351961459257894971434753*c_0110_5^14 + 913603655016486099707223/27351961459257894971434753*c_0110_5^13 - 2018300059300088636467579/27351961459257894971434753*c_0110_5^12 - 4536589839413266872115383/27351961459257894971434753*c_0110_5^11 + 2813515411966538969713731/27351961459257894971434753*c_0110_5^10 + 389345109374095554240477/27351961459257894971434753*c_0110_5^9 - 3067289553528580493531075/27351961459257894971434753*c_0110_5^8 + 2261011413454302086914668/27351961459257894971434753*c_0110_5^7 - 657527406008528483716668/27351961459257894971434753*c_0110_5^6 + 596352607789848562476576/27351961459257894971434753*c_0110_5^5 + 666193818040629438955683/27351961459257894971434753*c_0110_5^4 + 1057558638637597901845321/27351961459257894971434753*c_0110_5^3 + 2281927486598584454594532/27351961459257894971434753*c_0110_5^2 + 12274743145298770287370312/27351961459257894971434753*c_0110_5 - 16906150097708851292356939/27351961459257894971434753, c_0011_3 + 1076990801118651464826946772643/7482566688563345295755519639\ 198*c_0110_5^18 + 3963295681227760242218263228322/37412833442816726\ 47877759819599*c_0110_5^17 + 19088862556097761550453664543791/74825\ 66688563345295755519639198*c_0110_5^16 + 39764110480783582363700504905537/7482566688563345295755519639198*c_\ 0110_5^15 + 10518899523741550877836368229633/3741283344281672647877\ 759819599*c_0110_5^14 - 35788992430148061937269026528270/3741283344\ 281672647877759819599*c_0110_5^13 - 379274117614392430401847361125655/7482566688563345295755519639198*c\ _0110_5^12 - 190315749436376368631076821091905/74825666885633452957\ 55519639198*c_0110_5^11 + 1308999050354349399711644206504269/748256\ 6688563345295755519639198*c_0110_5^10 - 323641986530432952620190699055667/7482566688563345295755519639198*c\ _0110_5^9 - 1106745613108874659041428200664409/74825666885633452957\ 55519639198*c_0110_5^8 + 655539982353121490681239209470812/37412833\ 44281672647877759819599*c_0110_5^7 - 435799431612130253996223898961483/3741283344281672647877759819599*c\ _0110_5^6 + 122791781085223722501241564580998/374128334428167264787\ 7759819599*c_0110_5^5 - 123097094183512528949288297669435/748256668\ 8563345295755519639198*c_0110_5^4 + 2393643602513424285585121728258/3741283344281672647877759819599*c_0\ 110_5^3 - 34225820563415432915334169238692/374128334428167264787775\ 9819599*c_0110_5^2 + 63042623387589453121111607515601/7482566688563\ 345295755519639198*c_0110_5 - 5848515504646962564550708322525/74825\ 66688563345295755519639198, c_0011_4 - 79553709199512789491380417705/748256668856334529575551963919\ 8*c_0110_5^18 - 265820143988232858430826723302/37412833442816726478\ 77759819599*c_0110_5^17 - 1020120776782505357577914413041/748256668\ 8563345295755519639198*c_0110_5^16 - 2064990507521548250051682769465/7482566688563345295755519639198*c_0\ 110_5^15 + 28096537230454109922089752263/37412833442816726478777598\ 19599*c_0110_5^14 + 2693194249339144448530293470346/374128334428167\ 2647877759819599*c_0110_5^13 + 22636426986178115084100951862231/748\ 2566688563345295755519639198*c_0110_5^12 - 6240054006990990736524598840221/7482566688563345295755519639198*c_0\ 110_5^11 - 103542637951517649910516763806727/7482566688563345295755\ 519639198*c_0110_5^10 + 100921641766612389024391056912983/748256668\ 8563345295755519639198*c_0110_5^9 + 66557162990272656568888050765973/7482566688563345295755519639198*c_\ 0110_5^8 - 90875617784526363039339400137508/37412833442816726478777\ 59819599*c_0110_5^7 + 73653180901179272842134877385312/374128334428\ 1672647877759819599*c_0110_5^6 - 24612327639585526561991583022991/3\ 741283344281672647877759819599*c_0110_5^5 - 16741084520322507681124694408841/7482566688563345295755519639198*c_\ 0110_5^4 + 14047518000061313087143636308756/37412833442816726478777\ 59819599*c_0110_5^3 - 2615598362257212482649463731720/3741283344281\ 672647877759819599*c_0110_5^2 - 4358189892039772092511454963325/748\ 2566688563345295755519639198*c_0110_5 + 4998878956886635031981722103891/7482566688563345295755519639198, c_0011_5 + 794008579298349670350713996951/74825666885633452957555196391\ 98*c_0110_5^18 + 2879385092846166278715887022379/374128334428167264\ 7877759819599*c_0110_5^17 + 13390603873991482455741660911811/748256\ 6688563345295755519639198*c_0110_5^16 + 27350388172266526241636537452257/7482566688563345295755519639198*c_\ 0110_5^15 + 5520581268518451025192091053449/37412833442816726478777\ 59819599*c_0110_5^14 - 28685832162899641937697862369063/37412833442\ 81672647877759819599*c_0110_5^13 - 276863462831336870075074195603975/7482566688563345295755519639198*c\ _0110_5^12 - 107910811693419673347076372655891/74825666885633452957\ 55519639198*c_0110_5^11 + 1002538782910146699110192302799049/748256\ 6688563345295755519639198*c_0110_5^10 - 316430303640954160048547216280927/7482566688563345295755519639198*c\ _0110_5^9 - 847483640361822755508117040833927/748256668856334529575\ 5519639198*c_0110_5^8 + 509255836037658319221772316151726/374128334\ 4281672647877759819599*c_0110_5^7 - 347210753381698720273274938461044/3741283344281672647877759819599*c\ _0110_5^6 + 118881738400198075189869216017387/374128334428167264787\ 7759819599*c_0110_5^5 - 97911999803064751793569580423921/7482566688\ 563345295755519639198*c_0110_5^4 + 5477567166229973386609829722796/3741283344281672647877759819599*c_0\ 110_5^3 - 23447306864398913355297182106918/374128334428167264787775\ 9819599*c_0110_5^2 + 55022771973357280141223331949511/7482566688563\ 345295755519639198*c_0110_5 - 5552663437442290831823961431337/74825\ 66688563345295755519639198, c_0101_1 + 253212557401514852207098377613/37412833442816726478777598195\ 99*c_0110_5^18 + 1935180383849398597065002642800/374128334428167264\ 7877759819599*c_0110_5^17 + 5010113711115546923719709764815/3741283\ 344281672647877759819599*c_0110_5^16 + 10574224245563188090107541516159/3741283344281672647877759819599*c_\ 0110_5^15 + 7438715089538262456617419087767/37412833442816726478777\ 59819599*c_0110_5^14 - 15739064073514832912548471162328/37412833442\ 81672647877759819599*c_0110_5^13 - 94230012387728229163022093386680/3741283344281672647877759819599*c_\ 0110_5^12 - 69416365250686771966641096394262/3741283344281672647877\ 759819599*c_0110_5^11 + 298175996142460312879149946098826/374128334\ 4281672647877759819599*c_0110_5^10 + 16018247948094481745336542420248/3741283344281672647877759819599*c_\ 0110_5^9 - 286064225743779983168440821733000/3741283344281672647877\ 759819599*c_0110_5^8 + 220010437601035506964906213269760/3741283344\ 281672647877759819599*c_0110_5^7 - 112942582247923228907108520841478/3741283344281672647877759819599*c\ _0110_5^6 + 11352568419576357580718214350714/3741283344281672647877\ 759819599*c_0110_5^5 - 18069150988365743792894613702398/37412833442\ 81672647877759819599*c_0110_5^4 - 5132255471252679599193236297004/3\ 741283344281672647877759819599*c_0110_5^3 - 13966438829282786865760202568398/3741283344281672647877759819599*c_\ 0110_5^2 + 8757641126887264308158468478790/374128334428167264787775\ 9819599*c_0110_5 + 1981915482970834352169234765078/3741283344281672\ 647877759819599, c_0110_5^19 + 7*c_0110_5^18 + 15*c_0110_5^17 + 30*c_0110_5^16 + 5*c_0110_5^15 - 76*c_0110_5^14 - 329*c_0110_5^13 - 44*c_0110_5^12 + 1306*c_0110_5^11 - 728*c_0110_5^10 - 1016*c_0110_5^9 + 1613*c_0110_5^8 - 1174*c_0110_5^7 + 440*c_0110_5^6 - 127*c_0110_5^5 + c_0110_5^4 - 40*c_0110_5^3 + 77*c_0110_5^2 - 24*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB