Magma V2.19-8 Tue Aug 20 2013 23:56:45 on localhost [Seed = 4138770163] Type ? for help. Type -D to quit. Loading file "L14n24614__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n24614 geometric_solution 10.93725049 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 0 1 0 0 0 1 -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 0 1 -4 3 2 0 -1 -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.672958661958 0.729328336403 0 5 7 6 0132 0132 0132 0132 1 0 0 1 0 -1 1 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 3 -3 0 -2 0 0 2 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.345356112015 1.347598337283 3 0 9 8 0213 0132 0132 0132 1 0 0 1 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 -1 1 0 0 0 2 -2 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.316649755923 0.740590358468 2 5 10 0 0213 1230 0132 0132 1 0 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 -4 4 -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.483220901631 0.530490768429 6 11 0 9 1302 0132 0132 3120 1 0 1 1 0 0 1 -1 0 0 -1 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 -3 3 1 0 1 -2 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.867636206884 0.723881479725 10 1 3 11 0321 0132 3012 3120 1 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 0 0 0 0 0 0 0 0 0 0 0 -3 0 3 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.096612060276 0.796179481838 7 4 1 8 0321 2031 0132 2103 1 0 1 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 -4 0 4 0 0 -2 2 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.178451670399 0.696328126095 6 9 8 1 0321 3201 2103 0132 1 0 1 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 -3 0 3 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.178451670399 0.696328126095 7 10 2 6 2103 3201 0132 2103 1 0 1 0 0 0 0 0 0 0 -1 1 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 2 -2 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291655417728 0.600378867354 4 11 7 2 3120 0321 2310 0132 1 0 1 1 0 0 0 0 -1 0 0 1 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 1 -1 2 0 0 -2 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.244428046938 1.336747248915 5 11 8 3 0321 1230 2310 0132 1 0 1 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 -4 4 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.849803008973 1.237772615007 5 4 10 9 3120 0132 3012 0321 1 1 1 1 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 0 0 0 0 0 0 0 -3 4 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.196944669955 0.633979236897 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_8'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0011_11']), 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : d['c_0101_11'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0101_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : 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' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : negation(d['c_0110_8']), 'c_1100_6' : negation(d['c_0110_8']), 'c_1100_1' : negation(d['c_0110_8']), 'c_1100_0' : d['c_0011_8'], 'c_1100_3' : d['c_0011_8'], 'c_1100_2' : d['c_0011_7'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : d['c_0011_8'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : negation(d['c_0011_11']), 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_11'], '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_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' : 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_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : negation(d['c_0011_7']), '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_11' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0011_6']), 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : negation(d['c_0101_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_10']), 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_8']), 'c_0101_8' : negation(d['c_0101_0']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_3'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_7'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : negation(d['c_0011_6']), 'c_1100_8' : d['c_0011_7']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0101_10, c_0101_11, c_0110_8, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 30446935935900581340494727526494255/4436974057096757881567045684*c_\ 1001_2^11 + 1152782188691579663002206735580145995/31058818399677305\ 170969319788*c_1001_2^10 - 3154517718260064514523271725174043227/46\ 588227599515957756453979682*c_1001_2^9 + 4452298189989003167650156395092915945/93176455199031915512907959364\ *c_1001_2^8 - 179452134421849576277257333419036773/4436974057096757\ 881567045684*c_1001_2^7 + 4001820518261709791047098965322367891/931\ 76455199031915512907959364*c_1001_2^6 + 171878079924664903408413487580185163/93176455199031915512907959364*\ c_1001_2^5 - 157024482236694646312916607296019677/46588227599515957\ 756453979682*c_1001_2^4 - 35499152982971098951842210360024905/24520\ 11978921892513497577878*c_1001_2^3 - 122705675234664316085498701786105969/93176455199031915512907959364*\ c_1001_2^2 - 44060406016749934195286307011966521/465882275995159577\ 56453979682*c_1001_2 - 93067702544715949973794617448907/13702419882\ 21057581072175873, c_0011_0 - 1, c_0011_10 - 498738372708362335497291/58206617740157919420253*c_1001_2^1\ 1 + 2961779890363137252771982/58206617740157919420253*c_1001_2^10 - 18944262878866176334518343/174619853220473758260759*c_1001_2^9 + 17598806372852673520351994/174619853220473758260759*c_1001_2^8 - 12900054957622828189791595/174619853220473758260759*c_1001_2^7 + 12462162099709543358198630/174619853220473758260759*c_1001_2^6 - 3176625851500110188578124/174619853220473758260759*c_1001_2^5 - 2081843481905033196514180/174619853220473758260759*c_1001_2^4 - 2347501053921205367848988/174619853220473758260759*c_1001_2^3 + 1159023958042547463645616/174619853220473758260759*c_1001_2^2 + 60721668269661387997289/58206617740157919420253*c_1001_2 + 27614972879192987208230/174619853220473758260759, c_0011_11 - 1404336147617112234384258/58206617740157919420253*c_1001_2^\ 11 + 7418851364434974552044838/58206617740157919420253*c_1001_2^10 - 12807546013976004542202939/58206617740157919420253*c_1001_2^9 + 22593894281979996313510130/174619853220473758260759*c_1001_2^8 - 6125488248099999955312629/58206617740157919420253*c_1001_2^7 + 21337191377565462573576542/174619853220473758260759*c_1001_2^6 + 1951781141392453840356546/58206617740157919420253*c_1001_2^5 - 3378203363343414288916703/174619853220473758260759*c_1001_2^4 - 9267951575586007188308051/174619853220473758260759*c_1001_2^3 - 537537267395363200494175/58206617740157919420253*c_1001_2^2 - 351720659000715997733312/174619853220473758260759*c_1001_2 - 37198146900957002876527/174619853220473758260759, c_0011_3 - 6568629067442671289468877/58206617740157919420253*c_1001_2^1\ 1 + 34775399672599252654111282/58206617740157919420253*c_1001_2^10 - 182207993831982800269062544/174619853220473758260759*c_1001_2^9 + 114921512209356508093615397/174619853220473758260759*c_1001_2^8 - 100563267226104078549187072/174619853220473758260759*c_1001_2^7 + 110120509668917225819025392/174619853220473758260759*c_1001_2^6 + 19901076806445164988543562/174619853220473758260759*c_1001_2^5 - 9389525665756956556838377/174619853220473758260759*c_1001_2^4 - 42536269827443561011998170/174619853220473758260759*c_1001_2^3 - 9052291822089796743717881/174619853220473758260759*c_1001_2^2 - 1026592127381360593760604/58206617740157919420253*c_1001_2 - 370840261179519308022190/174619853220473758260759, c_0011_6 - 5375219708289812974978665/58206617740157919420253*c_1001_2^1\ 1 + 29160112651668732157705042/58206617740157919420253*c_1001_2^10 - 160164682243316491077110728/174619853220473758260759*c_1001_2^9 + 112911146463013144599485332/174619853220473758260759*c_1001_2^8 - 93208105961275237959603268/174619853220473758260759*c_1001_2^7 + 99648343646623284231686020/174619853220473758260759*c_1001_2^6 + 5058118282486333206231646/174619853220473758260759*c_1001_2^5 - 3413509701255947724819469/58206617740157919420253*c_1001_2^4 - 33991725551442620019071782/174619853220473758260759*c_1001_2^3 - 2033221050419531050767227/174619853220473758260759*c_1001_2^2 - 1771065562419087884186924/174619853220473758260759*c_1001_2 - 126810663401244441138374/174619853220473758260759, c_0011_7 + 3485149407478743688928139/58206617740157919420253*c_1001_2^1\ 1 - 18377540945471990464257530/58206617740157919420253*c_1001_2^10 + 95516538031401031015554077/174619853220473758260759*c_1001_2^9 - 58864076000137338342317006/174619853220473758260759*c_1001_2^8 + 51598415330007166626369122/174619853220473758260759*c_1001_2^7 - 56608694692950721222652618/174619853220473758260759*c_1001_2^6 - 11808902855627637613363184/174619853220473758260759*c_1001_2^5 + 1576044299567551603091885/58206617740157919420253*c_1001_2^4 + 22569969322550390457939002/174619853220473758260759*c_1001_2^3 + 4862327157195696931454140/174619853220473758260759*c_1001_2^2 + 2011210766654225534773048/174619853220473758260759*c_1001_2 + 320110374824116074918532/174619853220473758260759, c_0011_8 - 6351311050017950126111379/58206617740157919420253*c_1001_2^1\ 1 + 34018382943354500492419262/58206617740157919420253*c_1001_2^10 - 182581697787344645577388271/174619853220473758260759*c_1001_2^9 + 122806957468519039473077518/174619853220473758260759*c_1001_2^8 - 105453249618740347596909974/174619853220473758260759*c_1001_2^7 + 113576582614597913289055978/174619853220473758260759*c_1001_2^6 + 11218500036608841945583808/174619853220473758260759*c_1001_2^5 - 8834974376316794691258575/174619853220473758260759*c_1001_2^4 - 41175540553931845614229420/174619853220473758260759*c_1001_2^3 - 5668108207838217702643312/174619853220473758260759*c_1001_2^2 - 921444808690290155376023/58206617740157919420253*c_1001_2 - 263731576057161285668360/174619853220473758260759, c_0101_0 - 1, c_0101_10 - 1436697826719389055504648/58206617740157919420253*c_1001_2^\ 11 + 7970592468320328921021360/58206617740157919420253*c_1001_2^10 - 15311074585178032768256478/58206617740157919420253*c_1001_2^9 + 36859495873712467687848080/174619853220473758260759*c_1001_2^8 - 10495890030007586341740129/58206617740157919420253*c_1001_2^7 + 32279187279724671641194094/174619853220473758260759*c_1001_2^6 - 1372170363999402279239948/58206617740157919420253*c_1001_2^5 - 900618991817467784697134/174619853220473758260759*c_1001_2^4 - 9040779296022052547635106/174619853220473758260759*c_1001_2^3 + 131133676373603842672940/58206617740157919420253*c_1001_2^2 - 931222891555989067842692/174619853220473758260759*c_1001_2 + 41569900733852787018158/174619853220473758260759, c_0101_11 + 498738372708362335497291/58206617740157919420253*c_1001_2^1\ 1 - 2961779890363137252771982/58206617740157919420253*c_1001_2^10 + 18944262878866176334518343/174619853220473758260759*c_1001_2^9 - 17598806372852673520351994/174619853220473758260759*c_1001_2^8 + 12900054957622828189791595/174619853220473758260759*c_1001_2^7 - 12462162099709543358198630/174619853220473758260759*c_1001_2^6 + 3176625851500110188578124/174619853220473758260759*c_1001_2^5 + 2081843481905033196514180/174619853220473758260759*c_1001_2^4 + 2347501053921205367848988/174619853220473758260759*c_1001_2^3 - 1159023958042547463645616/174619853220473758260759*c_1001_2^2 - 118928286009819307417542/58206617740157919420253*c_1001_2 - 27614972879192987208230/174619853220473758260759, c_0110_8 - 130863771271473656689686/58206617740157919420253*c_1001_2^11 + 862263956591753756601982/58206617740157919420253*c_1001_2^10 - 6527803954794124092319879/174619853220473758260759*c_1001_2^9 + 2747212562290930019743709/58206617740157919420253*c_1001_2^8 - 7734693308953108209980665/174619853220473758260759*c_1001_2^7 + 2542166230849045999795605/58206617740157919420253*c_1001_2^6 - 4952207001554225070729581/174619853220473758260759*c_1001_2^5 + 1869955978491669081186649/174619853220473758260759*c_1001_2^4 - 492505261483138987113091/58206617740157919420253*c_1001_2^3 + 974964235738969949152012/174619853220473758260759*c_1001_2^2 - 332656121100199256874550/174619853220473758260759*c_1001_2 + 34720904767247420211202/58206617740157919420253, c_1001_2^12 - 772/147*c_1001_2^11 + 3979/441*c_1001_2^10 - 800/147*c_1001_2^9 + 2141/441*c_1001_2^8 - 790/147*c_1001_2^7 - 179/147*c_1001_2^6 + 26/63*c_1001_2^5 + 965/441*c_1001_2^4 + 232/441*c_1001_2^3 + 79/441*c_1001_2^2 + 2/63*c_1001_2 + 1/441 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.150 Total time: 0.360 seconds, Total memory usage: 32.09MB