Magma V2.19-8 Tue Aug 20 2013 16:14:37 on localhost [Seed = 4038159606] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s607 geometric_solution 5.08557530 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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.443658865636 0.202972265610 2 0 3 0 0132 2310 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 -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.692470475782 0.649741564042 1 4 5 5 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 -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.139388731823 1.550176618988 5 5 4 1 2310 1023 3201 0132 0 0 0 0 0 0 0 0 -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 0 0 0 -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.139388731823 1.550176618988 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 -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 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.173594578166 0.922167338939 3 2 3 2 1023 2310 3201 0132 0 0 0 0 0 -1 1 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 -1 1 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.057539759980 0.639913925727 ==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' : negation(d['1']), 's_3_5' : negation(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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : negation(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_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_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], '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_0101_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 1103373697046350491458993/23865882647156446220544*c_0101_3^13 + 805718819578123633747991/2169625695196040565504*c_0101_3^12 - 1307461346823655729533125/5966470661789111555136*c_0101_3^11 - 806578756740365509200023/542406423799010141376*c_0101_3^10 - 35866185139930424496969993/3977647107859407703424*c_0101_3^9 - 343487561606826969522656287/23865882647156446220544*c_0101_3^8 - 276334707507643800386579267/11932941323578223110272*c_0101_3^7 - 2161521574216736897244677381/23865882647156446220544*c_0101_3^6 - 1956645469903291115302797527/23865882647156446220544*c_0101_3^5 + 845373202558279838311695557/7955294215718815406848*c_0101_3^4 + 994614920355660245540883917/11932941323578223110272*c_0101_3^3 - 2026881957830871497507117201/23865882647156446220544*c_0101_3^2 + 29744048064865220680640117/1988823553929703851712*c_0101_3 + 69722029541708294733423421/23865882647156446220544, c_0011_0 - 1, c_0011_1 - 3635347595614689183/90401070633168356896*c_0101_3^13 - 910746312440054763/2825033457286511153*c_0101_3^12 + 8815886343161575301/45200535316584178448*c_0101_3^11 + 58109498850120262291/45200535316584178448*c_0101_3^10 + 22116538961342701146/2825033457286511153*c_0101_3^9 + 1122148102185496880669/90401070633168356896*c_0101_3^8 + 1813656277538602209305/90401070633168356896*c_0101_3^7 + 1776249156568319376707/22600267658292089224*c_0101_3^6 + 6355935403844895017815/90401070633168356896*c_0101_3^5 - 261151393574813976733/2825033457286511153*c_0101_3^4 - 1597434225006012515579/22600267658292089224*c_0101_3^3 + 6610102715147205095087/90401070633168356896*c_0101_3^2 - 1273139187307489955287/90401070633168356896*c_0101_3 - 66132894238877340091/45200535316584178448, c_0011_3 - 14485337723945610961/3977647107859407703424*c_0101_3^13 - 128864261333796922749/3977647107859407703424*c_0101_3^12 - 9969007060508017923/994411776964851925856*c_0101_3^11 + 115305366574925832737/994411776964851925856*c_0101_3^10 + 1632662288941102333995/1988823553929703851712*c_0101_3^9 + 7163982748729530088463/3977647107859407703424*c_0101_3^8 + 6374758150319590900899/1988823553929703851712*c_0101_3^7 + 37144422715721434101269/3977647107859407703424*c_0101_3^6 + 55098195844509603251943/3977647107859407703424*c_0101_3^5 + 5461127561551071718001/3977647107859407703424*c_0101_3^4 - 19631975415144695355013/1988823553929703851712*c_0101_3^3 - 5728116476142606122623/3977647107859407703424*c_0101_3^2 + 1801999771202279826373/994411776964851925856*c_0101_3 + 14131728544859297971/3977647107859407703424, c_0101_0 - 259342052261711781589/7955294215718815406848*c_0101_3^13 - 2086191463038989564317/7955294215718815406848*c_0101_3^12 + 297887888022816516571/1988823553929703851712*c_0101_3^11 + 2060982503694113157923/1988823553929703851712*c_0101_3^10 + 2304618753064381073937/361604282532673427584*c_0101_3^9 + 81692001247561782505211/7955294215718815406848*c_0101_3^8 + 66855919026119718009649/3977647107859407703424*c_0101_3^7 + 514629984242898587420485/7955294215718815406848*c_0101_3^6 + 43257043791348222129249/723208565065346855168*c_0101_3^5 - 560902883547252317900175/7955294215718815406848*c_0101_3^4 - 218486099387126449893741/3977647107859407703424*c_0101_3^3 + 465329698405193794845765/7955294215718815406848*c_0101_3^2 - 6457728811381370312463/497205888482425962928*c_0101_3 - 11340090821619870219189/7955294215718815406848, c_0101_1 + 1294013637185705395/723208565065346855168*c_0101_3^13 + 10866286626357168011/723208565065346855168*c_0101_3^12 - 528322513490566605/180802141266336713792*c_0101_3^11 - 10439163773337580837/180802141266336713792*c_0101_3^10 - 133449806821681078557/361604282532673427584*c_0101_3^9 - 506471712589766862845/723208565065346855168*c_0101_3^8 - 422252500074772043143/361604282532673427584*c_0101_3^7 - 2888753147484173478307/723208565065346855168*c_0101_3^6 - 3345697985603373021453/723208565065346855168*c_0101_3^5 + 1664165811584835981609/723208565065346855168*c_0101_3^4 + 1335505533291606533627/361604282532673427584*c_0101_3^3 - 750335642643775033795/723208565065346855168*c_0101_3^2 + 38554453317214740179/45200535316584178448*c_0101_3 - 138114605237899350285/723208565065346855168, c_0101_3^14 + 8*c_0101_3^13 - 5*c_0101_3^12 - 32*c_0101_3^11 - 194*c_0101_3^10 - 305*c_0101_3^9 - 491*c_0101_3^8 - 1943*c_0101_3^7 - 1710*c_0101_3^6 + 2354*c_0101_3^5 + 1727*c_0101_3^4 - 1891*c_0101_3^3 + 385*c_0101_3^2 + 49*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB