Magma V2.19-8 Tue Aug 20 2013 16:17:11 on localhost [Seed = 997894123] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1427 geometric_solution 5.25961003 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 2 0 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 -1 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 1 -1 1 0 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 1.336869714110 0.879566771756 3 0 4 2 0132 0132 0132 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.288819894010 1.010926637042 4 1 3 0 1023 2310 0132 0132 0 0 0 0 0 -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 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.288819894010 1.010926637042 1 5 5 2 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534277430790 0.190712243965 4 2 4 1 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.261283347414 0.914543288719 6 3 3 6 0132 0132 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0.945753412947 0.507687978299 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.572204442795 0.385025123381 ==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_0101_5'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_0'], '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : 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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 226963517325471822/26973894418184767*c_0101_6^20 + 1016806946113143495/26973894418184767*c_0101_6^19 - 3195525506801730791/26973894418184767*c_0101_6^18 - 15550047271818952988/26973894418184767*c_0101_6^17 + 17996868268081565626/26973894418184767*c_0101_6^16 + 100074564766853513621/26973894418184767*c_0101_6^15 - 43880212208533714742/26973894418184767*c_0101_6^14 - 328096447772934920565/26973894418184767*c_0101_6^13 + 1244191703093035638/870125626393057*c_0101_6^12 + 572199327584300845542/26973894418184767*c_0101_6^11 - 15355683674495066798/26973894418184767*c_0101_6^10 - 565911996237626624945/26973894418184767*c_0101_6^9 + 13349708427718787324/26973894418184767*c_0101_6^8 + 326995914915902496970/26973894418184767*c_0101_6^7 - 7162545896025226916/26973894418184767*c_0101_6^6 - 111669000712728765145/26973894418184767*c_0101_6^5 - 3307289971178401420/26973894418184767*c_0101_6^4 + 752239430424120081/870125626393057*c_0101_6^3 + 3191874279140115678/26973894418184767*c_0101_6^2 - 2738602889138129166/26973894418184767*c_0101_6 - 483001584051620604/26973894418184767, c_0011_0 - 1, c_0011_2 + 72079735226928800/26973894418184767*c_0101_6^20 + 314352791566273857/26973894418184767*c_0101_6^19 - 1024750593036824853/26973894418184767*c_0101_6^18 - 4706386913550372064/26973894418184767*c_0101_6^17 + 5852711152427429080/26973894418184767*c_0101_6^16 + 29464844347313376093/26973894418184767*c_0101_6^15 - 14747237353882572951/26973894418184767*c_0101_6^14 - 92525690189189706125/26973894418184767*c_0101_6^13 + 479185739616647267/870125626393057*c_0101_6^12 + 149927120052774923947/26973894418184767*c_0101_6^11 - 8791801965627404688/26973894418184767*c_0101_6^10 - 133541579304136607632/26973894418184767*c_0101_6^9 + 4861392546034225213/26973894418184767*c_0101_6^8 + 68890797272931334451/26973894418184767*c_0101_6^7 - 682612155416120228/26973894418184767*c_0101_6^6 - 21585429713698151590/26973894418184767*c_0101_6^5 - 1188817594800062035/26973894418184767*c_0101_6^4 + 134999219449631717/870125626393057*c_0101_6^3 + 598838869168147695/26973894418184767*c_0101_6^2 - 364885638700202320/26973894418184767*c_0101_6 - 51162042893551380/26973894418184767, c_0101_0 - 23994072502058314/26973894418184767*c_0101_6^20 - 129869002243776192/26973894418184767*c_0101_6^19 + 234879233542100143/26973894418184767*c_0101_6^18 + 1938569763658000863/26973894418184767*c_0101_6^17 - 368084629111244837/26973894418184767*c_0101_6^16 - 12056582618412385617/26973894418184767*c_0101_6^15 - 4905199639988215318/26973894418184767*c_0101_6^14 + 37231645886193014410/26973894418184767*c_0101_6^13 + 823535620746985140/870125626393057*c_0101_6^12 - 59224331302195940509/26973894418184767*c_0101_6^11 - 45508945751043151092/26973894418184767*c_0101_6^10 + 54480109075108975860/26973894418184767*c_0101_6^9 + 40239884473233541959/26973894418184767*c_0101_6^8 - 30775404377909612643/26973894418184767*c_0101_6^7 - 20747143978032541408/26973894418184767*c_0101_6^6 + 10400654478971477759/26973894418184767*c_0101_6^5 + 6851573485237362213/26973894418184767*c_0101_6^4 - 61733386787821542/870125626393057*c_0101_6^3 - 1438073637611746377/26973894418184767*c_0101_6^2 + 119233930287669770/26973894418184767*c_0101_6 + 123797835016029294/26973894418184767, c_0101_1 + 57696388884283577/26973894418184767*c_0101_6^20 + 282725809408902729/26973894418184767*c_0101_6^19 - 693123543656201396/26973894418184767*c_0101_6^18 - 4240506358618936895/26973894418184767*c_0101_6^17 + 2798475916694699851/26973894418184767*c_0101_6^16 + 26571823600272409531/26973894418184767*c_0101_6^15 - 128883948470603494/26973894418184767*c_0101_6^14 - 83282079858187789620/26973894418184767*c_0101_6^13 - 779155853545634509/870125626393057*c_0101_6^12 + 135266651517693291074/26973894418184767*c_0101_6^11 + 49357544669404203060/26973894418184767*c_0101_6^10 - 124447381145079302205/26973894418184767*c_0101_6^9 - 42648048345162907332/26973894418184767*c_0101_6^8 + 67837098572538138608/26973894418184767*c_0101_6^7 + 20657046884050294640/26973894418184767*c_0101_6^6 - 21550286392308318276/26973894418184767*c_0101_6^5 - 6815317319803757056/26973894418184767*c_0101_6^4 + 121333122960825777/870125626393057*c_0101_6^3 + 1531528519031052710/26973894418184767*c_0101_6^2 - 265785414812524883/26973894418184767*c_0101_6 - 96079086315490733/26973894418184767, c_0101_3 + 41399132517379891/26973894418184767*c_0101_6^20 + 177725178291357848/26973894418184767*c_0101_6^19 - 602786827723059792/26973894418184767*c_0101_6^18 - 2673159557755499621/26973894418184767*c_0101_6^17 + 3563289010463505699/26973894418184767*c_0101_6^16 + 16838184323980023892/26973894418184767*c_0101_6^15 - 9636775290839624740/26973894418184767*c_0101_6^14 - 53394617262357994272/26973894418184767*c_0101_6^13 + 376731781022743600/870125626393057*c_0101_6^12 + 87733791973126351621/26973894418184767*c_0101_6^11 - 8723248479551578240/26973894418184767*c_0101_6^10 - 78807098431549744998/26973894418184767*c_0101_6^9 + 4404862635878313899/26973894418184767*c_0101_6^8 + 40303798272495941173/26973894418184767*c_0101_6^7 - 114499837542246064/26973894418184767*c_0101_6^6 - 12252131412545593762/26973894418184767*c_0101_6^5 - 1199914121193430955/26973894418184767*c_0101_6^4 + 76744182091599342/870125626393057*c_0101_6^3 + 499896351581398202/26973894418184767*c_0101_6^2 - 222209468840746167/26973894418184767*c_0101_6 - 44607860765513758/26973894418184767, c_0101_5 + 12128648221838284/26973894418184767*c_0101_6^20 + 59599292555018464/26973894418184767*c_0101_6^19 - 147812474195326270/26973894418184767*c_0101_6^18 - 907817301413522529/26973894418184767*c_0101_6^17 + 609724377167106620/26973894418184767*c_0101_6^16 + 5805101138143074603/26973894418184767*c_0101_6^15 - 72534579972694664/26973894418184767*c_0101_6^14 - 18791076321086548176/26973894418184767*c_0101_6^13 - 174653425515432359/870125626393057*c_0101_6^12 + 32179094447619754068/26973894418184767*c_0101_6^11 + 12188194841651255420/26973894418184767*c_0101_6^10 - 31612382654242191271/26973894418184767*c_0101_6^9 - 11776310434367961705/26973894418184767*c_0101_6^8 + 18515109795278704886/26973894418184767*c_0101_6^7 + 6211881690205837624/26973894418184767*c_0101_6^6 - 6333406553348537439/26973894418184767*c_0101_6^5 - 2050637534520068735/26973894418184767*c_0101_6^4 + 37492982963208918/870125626393057*c_0101_6^3 + 508549678372896747/26973894418184767*c_0101_6^2 - 86006993282893649/26973894418184767*c_0101_6 - 68373026935564658/26973894418184767, c_0101_6^21 + 4*c_0101_6^20 - 16*c_0101_6^19 - 61*c_0101_6^18 + 108*c_0101_6^17 + 392*c_0101_6^16 - 373*c_0101_6^15 - 1288*c_0101_6^14 + 736*c_0101_6^13 + 2250*c_0101_6^12 - 988*c_0101_6^11 - 2198*c_0101_6^10 + 870*c_0101_6^9 + 1258*c_0101_6^8 - 450*c_0101_6^7 - 446*c_0101_6^6 + 124*c_0101_6^5 + 107*c_0101_6^4 - 16*c_0101_6^3 - 17*c_0101_6^2 + c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB