Magma V2.19-8 Tue Aug 20 2013 23:40:14 on localhost [Seed = 2749744927] Type ? for help. Type -D to quit. Loading file "K9a21__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K9a21 geometric_solution 10.18326554 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 1 2 1 3 0132 0132 1230 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 1 0 -1 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.826654167083 1.216440963865 0 3 4 0 0132 1302 0132 3012 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 -1 1 0 0 0 0 -1 1 0 0 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.617835689350 0.562363731913 3 0 6 5 0213 0132 0132 0132 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 -1 0 1 4 0 -4 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.667183208189 0.673175783560 2 4 0 1 0213 1023 0132 2031 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 1 -1 0 0 0 0 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.065467972064 0.694896767943 3 5 7 1 1023 3012 0132 0132 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 -1 1 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.590171167329 1.193716626615 4 8 2 6 1230 0132 0132 3120 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 0 -1 1 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.811988449772 0.831475590210 5 7 9 2 3120 1023 0132 0132 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 0 0 0 -3 0 -1 4 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.452582206897 0.489648883453 6 10 8 4 1023 0132 2031 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 -1 0 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 0 0 0 0 0.880617410790 1.475926062174 10 5 9 7 2103 0132 0213 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 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.326687071846 0.821238126751 10 8 10 6 3120 0213 2103 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 -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.796790987947 0.625276038869 9 7 8 9 2103 0132 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.223284015908 0.609522322925 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_3'], 'c_1001_10' : negation(d['c_0011_5']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_7' : negation(d['c_0011_9']), 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0011_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_9'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_6']), 'c_1100_8' : d['c_0101_7'], 'c_1100_5' : negation(d['c_0101_6']), 'c_1100_4' : negation(d['c_1001_0']), 'c_1100_7' : negation(d['c_1001_0']), 'c_1100_6' : negation(d['c_0101_6']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : negation(d['c_0101_6']), 'c_1100_10' : negation(d['c_0011_9']), 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0101_4'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : d['c_1001_0'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), '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' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_6'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_9'], 'c_0101_8' : d['c_0011_9'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : d['c_0011_9'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0101_4'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_9, c_0101_0, c_0101_4, c_0101_5, c_0101_6, c_0101_7, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 117804126788571817237/8948359816582130793*c_1001_0^20 - 10788476020511462315/2982786605527376931*c_1001_0^19 + 519938902555286191859/8948359816582130793*c_1001_0^18 - 256448103241487587645/8948359816582130793*c_1001_0^17 - 1475854890792594841151/8948359816582130793*c_1001_0^16 + 730127656812448341467/8948359816582130793*c_1001_0^15 - 284512472429428434829/2982786605527376931*c_1001_0^14 - 2964927626980334900011/8948359816582130793*c_1001_0^13 + 2725343574726039138742/8948359816582130793*c_1001_0^12 - 541865059021009413334/2982786605527376931*c_1001_0^11 - 9123237713837551722016/8948359816582130793*c_1001_0^10 + 59486276727050541293/8948359816582130793*c_1001_0^9 + 198427300599227582629/2982786605527376931*c_1001_0^8 - 1409557220358826798726/2982786605527376931*c_1001_0^7 + 883488982914233414003/2982786605527376931*c_1001_0^6 + 49513800659249078609/2982786605527376931*c_1001_0^5 - 1184212082937466130259/994262201842458977*c_1001_0^4 - 8399801163261500500130/8948359816582130793*c_1001_0^3 - 54982605381498249006/994262201842458977*c_1001_0^2 + 341963391951852189392/2982786605527376931*c_1001_0 + 119100637097155668410/8948359816582130793, c_0011_0 - 1, c_0011_10 + 475894064999521966/994262201842458977*c_1001_0^20 - 228486580077403309/994262201842458977*c_1001_0^19 - 2265570748475225017/994262201842458977*c_1001_0^18 + 2973374655002591509/994262201842458977*c_1001_0^17 + 5228761602653466047/994262201842458977*c_1001_0^16 - 9081569410088798925/994262201842458977*c_1001_0^15 + 7150613345428250142/994262201842458977*c_1001_0^14 + 12565504139533999835/994262201842458977*c_1001_0^13 - 26148268557745266003/994262201842458977*c_1001_0^12 + 20824175566580543994/994262201842458977*c_1001_0^11 + 37234854986315093047/994262201842458977*c_1001_0^10 - 43429296049614588969/994262201842458977*c_1001_0^9 + 11733380342235258874/994262201842458977*c_1001_0^8 + 33337327414198318232/994262201842458977*c_1001_0^7 - 43048161394629450325/994262201842458977*c_1001_0^6 + 21364067005823222892/994262201842458977*c_1001_0^5 + 49611608817582768874/994262201842458977*c_1001_0^4 - 16646178521938079962/994262201842458977*c_1001_0^3 - 11628204503921516739/994262201842458977*c_1001_0^2 + 9942993154069364393/994262201842458977*c_1001_0 + 2971060609004585431/994262201842458977, c_0011_3 - c_1001_0, c_0011_5 + 487267980728991129/994262201842458977*c_1001_0^20 - 269915844303978506/994262201842458977*c_1001_0^19 - 2276689574145324903/994262201842458977*c_1001_0^18 + 3188782683434512852/994262201842458977*c_1001_0^17 + 5015594218878591946/994262201842458977*c_1001_0^16 - 9461163713951926075/994262201842458977*c_1001_0^15 + 8164369879218078283/994262201842458977*c_1001_0^14 + 11685750841353235554/994262201842458977*c_1001_0^13 - 26967006762311607001/994262201842458977*c_1001_0^12 + 23683961997877782397/994262201842458977*c_1001_0^11 + 34703505703885445570/994262201842458977*c_1001_0^10 - 45281499977828268525/994262201842458977*c_1001_0^9 + 15987543552704358417/994262201842458977*c_1001_0^8 + 30215629904531375836/994262201842458977*c_1001_0^7 - 44469858645679987704/994262201842458977*c_1001_0^6 + 25780631962384619882/994262201842458977*c_1001_0^5 + 45404294372262480504/994262201842458977*c_1001_0^4 - 18313999958433363212/994262201842458977*c_1001_0^3 - 8956382532153587888/994262201842458977*c_1001_0^2 + 9688880587531230269/994262201842458977*c_1001_0 + 2507663055079249579/994262201842458977, c_0011_9 - 126107256451124138/994262201842458977*c_1001_0^20 - 15062940496581013/994262201842458977*c_1001_0^19 + 647752821006470196/994262201842458977*c_1001_0^18 - 440502825206752848/994262201842458977*c_1001_0^17 - 1916870156125813489/994262201842458977*c_1001_0^16 + 1682297668278157001/994262201842458977*c_1001_0^15 - 319064146280998276/994262201842458977*c_1001_0^14 - 4816238806375655563/994262201842458977*c_1001_0^13 + 5112851675498467350/994262201842458977*c_1001_0^12 - 985191098969583290/994262201842458977*c_1001_0^11 - 14108473838135768087/994262201842458977*c_1001_0^10 + 6278628788306212625/994262201842458977*c_1001_0^9 + 5077663961275853224/994262201842458977*c_1001_0^8 - 13050049053333259991/994262201842458977*c_1001_0^7 + 6795493076117475680/994262201842458977*c_1001_0^6 + 2994738963779635927/994262201842458977*c_1001_0^5 - 18497229540321907054/994262201842458977*c_1001_0^4 - 2025162257805677228/994262201842458977*c_1001_0^3 + 7087143230953702677/994262201842458977*c_1001_0^2 - 3030145122728404974/994262201842458977*c_1001_0 - 2315673450048770458/994262201842458977, c_0101_0 + 1167308418973902852/994262201842458977*c_1001_0^20 - 487267980728991129/994262201842458977*c_1001_0^19 - 5566626250565535754/994262201842458977*c_1001_0^18 + 6945923250040936311/994262201842458977*c_1001_0^17 + 13153535182200127076/994262201842458977*c_1001_0^16 - 21357912084513231874/994262201842458977*c_1001_0^15 + 16465014227795343187/994262201842458977*c_1001_0^14 + 31524116365894618685/994262201842458977*c_1001_0^13 - 61880012857231058190/994262201842458977*c_1001_0^12 + 47978558303841858337/994262201842458977*c_1001_0^11 + 93046879899512502803/994262201842458977*c_1001_0^10 - 100072777166424005282/994262201842458977*c_1001_0^9 + 24269948436298017189/994262201842458977*c_1001_0^8 + 82066363641103481151/994262201842458977*c_1001_0^7 - 100254135042965546956/994262201842458977*c_1001_0^6 + 47971783902601696260/994262201842458977*c_1001_0^5 + 121300228828327139470/994262201842458977*c_1001_0^4 - 32563901763549549132/994262201842458977*c_1001_0^3 - 27211028381548848016/994262201842458977*c_1001_0^2 + 23958345761682881089/994262201842458977*c_1001_0 + 8988054116051215363/994262201842458977, c_0101_4 + 320051829109258221/994262201842458977*c_1001_0^20 - 222969357741914514/994262201842458977*c_1001_0^19 - 1428483730207194463/994262201842458977*c_1001_0^18 + 2240523944179459937/994262201842458977*c_1001_0^17 + 2875739754796032525/994262201842458977*c_1001_0^16 - 6285774479814685825/994262201842458977*c_1001_0^15 + 6242514179475078521/994262201842458977*c_1001_0^14 + 6140442697194071251/994262201842458977*c_1001_0^13 - 17249571217028571067/994262201842458977*c_1001_0^12 + 17302547666197412733/994262201842458977*c_1001_0^11 + 19088232221518503005/994262201842458977*c_1001_0^10 - 29054595480208345939/994262201842458977*c_1001_0^9 + 13639154123866017931/994262201842458977*c_1001_0^8 + 15564368350285618429/994262201842458977*c_1001_0^7 - 27478369582134869502/994262201842458977*c_1001_0^6 + 18657110430502385401/994262201842458977*c_1001_0^5 + 25939279228033851655/994262201842458977*c_1001_0^4 - 11835342204064632067/994262201842458977*c_1001_0^3 - 5224600289486937720/994262201842458977*c_1001_0^2 + 5718316369757674394/994262201842458977*c_1001_0 + 947790958220555935/994262201842458977, c_0101_5 + 320051829109258221/994262201842458977*c_1001_0^20 - 222969357741914514/994262201842458977*c_1001_0^19 - 1428483730207194463/994262201842458977*c_1001_0^18 + 2240523944179459937/994262201842458977*c_1001_0^17 + 2875739754796032525/994262201842458977*c_1001_0^16 - 6285774479814685825/994262201842458977*c_1001_0^15 + 6242514179475078521/994262201842458977*c_1001_0^14 + 6140442697194071251/994262201842458977*c_1001_0^13 - 17249571217028571067/994262201842458977*c_1001_0^12 + 17302547666197412733/994262201842458977*c_1001_0^11 + 19088232221518503005/994262201842458977*c_1001_0^10 - 29054595480208345939/994262201842458977*c_1001_0^9 + 13639154123866017931/994262201842458977*c_1001_0^8 + 15564368350285618429/994262201842458977*c_1001_0^7 - 27478369582134869502/994262201842458977*c_1001_0^6 + 18657110430502385401/994262201842458977*c_1001_0^5 + 25939279228033851655/994262201842458977*c_1001_0^4 - 11835342204064632067/994262201842458977*c_1001_0^3 - 5224600289486937720/994262201842458977*c_1001_0^2 + 5718316369757674394/994262201842458977*c_1001_0 + 947790958220555935/994262201842458977, c_0101_6 - 487267980728991129/994262201842458977*c_1001_0^20 + 269915844303978506/994262201842458977*c_1001_0^19 + 2276689574145324903/994262201842458977*c_1001_0^18 - 3188782683434512852/994262201842458977*c_1001_0^17 - 5015594218878591946/994262201842458977*c_1001_0^16 + 9461163713951926075/994262201842458977*c_1001_0^15 - 8164369879218078283/994262201842458977*c_1001_0^14 - 11685750841353235554/994262201842458977*c_1001_0^13 + 26967006762311607001/994262201842458977*c_1001_0^12 - 23683961997877782397/994262201842458977*c_1001_0^11 - 34703505703885445570/994262201842458977*c_1001_0^10 + 45281499977828268525/994262201842458977*c_1001_0^9 - 15987543552704358417/994262201842458977*c_1001_0^8 - 30215629904531375836/994262201842458977*c_1001_0^7 + 44469858645679987704/994262201842458977*c_1001_0^6 - 25780631962384619882/994262201842458977*c_1001_0^5 - 45404294372262480504/994262201842458977*c_1001_0^4 + 18313999958433363212/994262201842458977*c_1001_0^3 + 8956382532153587888/994262201842458977*c_1001_0^2 - 9688880587531230269/994262201842458977*c_1001_0 - 2507663055079249579/994262201842458977, c_0101_7 - 60635109209795028/994262201842458977*c_1001_0^20 - 131589344701823855/994262201842458977*c_1001_0^19 + 446799421008305945/994262201842458977*c_1001_0^18 + 307066825699712326/994262201842458977*c_1001_0^17 - 2009845389903282328/994262201842458977*c_1001_0^16 + 81137045590235866/994262201842458977*c_1001_0^15 + 2648849083271655406/994262201842458977*c_1001_0^14 - 5825658655375066531/994262201842458977*c_1001_0^13 + 1414185932141144885/994262201842458977*c_1001_0^12 + 7099082486619355226/994262201842458977*c_1001_0^11 - 16866489744024083899/994262201842458977*c_1001_0^10 - 355761320268728616/994262201842458977*c_1001_0^9 + 15722110924642840828/994262201842458977*c_1001_0^8 - 17007065151205554781/994262201842458977*c_1001_0^7 + 1887211733570806079/994262201842458977*c_1001_0^6 + 12807305956468207684/994262201842458977*c_1001_0^5 - 21749100127989201857/994262201842458977*c_1001_0^4 - 5570292076672995549/994262201842458977*c_1001_0^3 + 10122124383150859167/994262201842458977*c_1001_0^2 - 2349949887455975715/994262201842458977*c_1001_0 - 2730130853181244567/994262201842458977, c_1001_0^21 - 5*c_1001_0^19 + 4*c_1001_0^18 + 14*c_1001_0^17 - 14*c_1001_0^16 + 6*c_1001_0^15 + 34*c_1001_0^14 - 43*c_1001_0^13 + 18*c_1001_0^12 + 100*c_1001_0^11 - 56*c_1001_0^10 - 18*c_1001_0^9 + 84*c_1001_0^8 - 60*c_1001_0^7 + 3*c_1001_0^6 + 126*c_1001_0^5 + 11*c_1001_0^4 - 39*c_1001_0^3 + 12*c_1001_0^2 + 16*c_1001_0 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB