Magma V2.19-8 Tue Aug 20 2013 16:17:11 on localhost [Seed = 3802365491] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1421 geometric_solution 5.25690111 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0.066730353517 0.634523710367 0 1 0 1 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.930394775847 0.837679718599 4 3 5 0 0132 3012 0132 0132 0 0 0 0 0 -1 0 1 1 0 -1 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.345884419906 1.169260717220 2 4 0 5 1230 2310 0132 2310 0 0 0 0 0 1 -1 0 -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 0 -1 0 1 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 1.345884419906 1.169260717220 2 4 4 3 0132 1230 3012 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.914194945220 0.696945580629 3 6 6 2 3201 0132 3201 0132 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 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.132442790472 0.362960899652 5 5 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 -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 0 0 0 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 1.935411619966 2.676713458774 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], '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_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' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0011_2'], 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_0']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 2350713308882176958061736/13678406325616233384447*c_0101_6^17 + 17239344832079021528636248/13678406325616233384447*c_0101_6^16 + 7666924587417413841908878/4559468775205411128149*c_0101_6^15 - 81382127087410013357874464/13678406325616233384447*c_0101_6^14 - 150757648269749179749241804/13678406325616233384447*c_0101_6^13 + 180746156727400078482666463/13678406325616233384447*c_0101_6^12 + 151237285482062179174348054/13678406325616233384447*c_0101_6^11 - 518342422253296036923701428/13678406325616233384447*c_0101_6^10 + 67042615425763591119120158/13678406325616233384447*c_0101_6^9 + 265117475806640392986851529/4559468775205411128149*c_0101_6^8 - 108338197843438890507611854/13678406325616233384447*c_0101_6^7 - 237192830994112652401494307/4559468775205411128149*c_0101_6^6 + 57295797555688503686892020/13678406325616233384447*c_0101_6^5 + 104650385182719788980380232/4559468775205411128149*c_0101_6^4 - 9907206546102848266861460/13678406325616233384447*c_0101_6^3 - 13261155681049945153249692/4559468775205411128149*c_0101_6^2 - 324101623092934905775586/4559468775205411128149*c_0101_6 + 168399519964912260738499/1243491484146930307677, c_0011_0 - 1, c_0011_2 - 36617315900754138756164/1243491484146930307677*c_0101_6^17 - 90551886778663590079180/414497161382310102559*c_0101_6^16 - 379415524776018958610981/1243491484146930307677*c_0101_6^15 + 1249586685091773228116600/1243491484146930307677*c_0101_6^14 + 2471535155066416625135321/1243491484146930307677*c_0101_6^13 - 2675192972532231519116662/1243491484146930307677*c_0101_6^12 - 2692702906433111214569459/1243491484146930307677*c_0101_6^11 + 8011527288025107436320352/1243491484146930307677*c_0101_6^10 - 291178981516177298935804/1243491484146930307677*c_0101_6^9 - 12850508394411372340431287/1243491484146930307677*c_0101_6^8 + 254079910268428348932938/414497161382310102559*c_0101_6^7 + 11724443948533625534925143/1243491484146930307677*c_0101_6^6 - 109653680922741208410539/1243491484146930307677*c_0101_6^5 - 1787515381174511103487963/414497161382310102559*c_0101_6^4 - 149622085700346427353125/1243491484146930307677*c_0101_6^3 + 763398554364576138981314/1243491484146930307677*c_0101_6^2 + 31143009731439928937861/1243491484146930307677*c_0101_6 - 21201299915937801297128/1243491484146930307677, c_0011_5 + 4788322536497516706612/414497161382310102559*c_0101_6^17 + 106390460117220124291436/1243491484146930307677*c_0101_6^16 + 147559317067482567364351/1243491484146930307677*c_0101_6^15 - 491736838545719656610936/1243491484146930307677*c_0101_6^14 - 321029070717460655173740/414497161382310102559*c_0101_6^13 + 1060053810302600075573908/1243491484146930307677*c_0101_6^12 + 347176602086507367611790/414497161382310102559*c_0101_6^11 - 3152105237375343164659729/1243491484146930307677*c_0101_6^10 + 50640110679156746867076/414497161382310102559*c_0101_6^9 + 5029877538381846275218675/1243491484146930307677*c_0101_6^8 - 355312054888009248891659/1243491484146930307677*c_0101_6^7 - 4589908918530363179294932/1243491484146930307677*c_0101_6^6 + 93134308552061440689251/1243491484146930307677*c_0101_6^5 + 699179569087228668412804/414497161382310102559*c_0101_6^4 + 12920734981060023076403/414497161382310102559*c_0101_6^3 - 298204035550176351780241/1243491484146930307677*c_0101_6^2 - 8651660788102032558427/1243491484146930307677*c_0101_6 + 8403746646786806555351/1243491484146930307677, c_0101_0 + 2935869073901234871488/1243491484146930307677*c_0101_6^17 + 22147983900988882656392/1243491484146930307677*c_0101_6^16 + 11086365535065602032820/414497161382310102559*c_0101_6^15 - 95570961602381829239686/1243491484146930307677*c_0101_6^14 - 209729098293014858559815/1243491484146930307677*c_0101_6^13 + 185528005298588465125649/1243491484146930307677*c_0101_6^12 + 235772223345549137641859/1243491484146930307677*c_0101_6^11 - 605767102807332246681533/1243491484146930307677*c_0101_6^10 - 49945377854709153074087/1243491484146930307677*c_0101_6^9 + 336372748238589468292234/414497161382310102559*c_0101_6^8 + 74097050139098262920836/1243491484146930307677*c_0101_6^7 - 303459360689254905960906/414497161382310102559*c_0101_6^6 - 115754442385842667614317/1243491484146930307677*c_0101_6^5 + 132610089161333539020214/414497161382310102559*c_0101_6^4 + 66807365587615919213156/1243491484146930307677*c_0101_6^3 - 15935137604031499891654/414497161382310102559*c_0101_6^2 - 2904056042980392518868/414497161382310102559*c_0101_6 + 1059803160219543246841/1243491484146930307677, c_0101_1 - 3673214107049695411856/414497161382310102559*c_0101_6^17 - 27212338036455382453948/414497161382310102559*c_0101_6^16 - 37738918782117264142076/414497161382310102559*c_0101_6^15 + 126011640277350061989513/414497161382310102559*c_0101_6^14 + 246950825575113573097485/414497161382310102559*c_0101_6^13 - 272160514754976342854810/414497161382310102559*c_0101_6^12 - 269307221020794513184271/414497161382310102559*c_0101_6^11 + 809172313547409872590359/414497161382310102559*c_0101_6^10 - 36650090636388043436948/414497161382310102559*c_0101_6^9 - 1296280260546840027952562/414497161382310102559*c_0101_6^8 + 92900569114952108999568/414497161382310102559*c_0101_6^7 + 1184651119285120027299581/414497161382310102559*c_0101_6^6 - 26069690492454030669960/414497161382310102559*c_0101_6^5 - 544322948039443828854583/414497161382310102559*c_0101_6^4 - 7100153242896787040107/414497161382310102559*c_0101_6^3 + 78681137649152297005074/414497161382310102559*c_0101_6^2 + 1823261271175425301057/414497161382310102559*c_0101_6 - 2084945898372455821302/414497161382310102559, c_0101_2 - 27045204991165496156576/1243491484146930307677*c_0101_6^17 - 200020274603195525928052/1243491484146930307677*c_0101_6^16 - 275581126683785413046020/1243491484146930307677*c_0101_6^15 + 309916908356538263688453/414497161382310102559*c_0101_6^14 + 1805331605610717133180274/1243491484146930307677*c_0101_6^13 - 672713004647944917258369/414497161382310102559*c_0101_6^12 - 1949175076135471983918209/1243491484146930307677*c_0101_6^11 + 1986441997443352018249413/414497161382310102559*c_0101_6^10 - 341937986586078926631160/1243491484146930307677*c_0101_6^9 - 9488814844934949065394058/1243491484146930307677*c_0101_6^8 + 763331857253657393123848/1243491484146930307677*c_0101_6^7 + 8663626230722257378993777/1243491484146930307677*c_0101_6^6 - 83991391189666361904871/414497161382310102559*c_0101_6^5 - 1323518807867460199057077/414497161382310102559*c_0101_6^4 - 43039150493714084490470/1243491484146930307677*c_0101_6^3 + 570714098775905285011954/1243491484146930307677*c_0101_6^2 + 15751990719432685809892/1243491484146930307677*c_0101_6 - 5566345058617693981333/414497161382310102559, c_0101_6^18 + 7*c_0101_6^17 + 29/4*c_0101_6^16 - 77/2*c_0101_6^15 - 213/4*c_0101_6^14 + 203/2*c_0101_6^13 + 173/4*c_0101_6^12 - 250*c_0101_6^11 + 397/4*c_0101_6^10 + 1395/4*c_0101_6^9 - 168*c_0101_6^8 - 1253/4*c_0101_6^7 + 275/2*c_0101_6^6 + 587/4*c_0101_6^5 - 115/2*c_0101_6^4 - 93/4*c_0101_6^3 + 8*c_0101_6^2 + c_0101_6 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB