Magma V2.19-8 Tue Aug 20 2013 16:18:31 on localhost [Seed = 2033771588] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2700 geometric_solution 5.95296624 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.963058644374 0.522517097631 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 0 1 -1 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 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.305168615384 0.888836852416 4 1 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 -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.447055056436 0.679790996824 5 6 4 1 1023 1023 2310 0132 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 0 0 0 0 0 0 0 0.447055056436 0.679790996824 2 3 4 4 0132 3201 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.005086730327 0.842005434158 5 3 5 2 2031 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.807528890511 0.503004235285 3 6 2 6 1023 1302 0132 2031 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 0 0 0 0 0.593121350663 0.406199305888 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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_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' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0110_6'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : d['c_0110_6'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 10993342382348257399000457147/48968206053057090050267967856*c_0110_\ 6^21 - 2210481853650741889907057180463/7834912968489134408042874856\ 96*c_0110_6^19 + 13700828865162731318282403922111/15669825936978268\ 81608574971392*c_0110_6^17 - 125277930978194889811861492441251/1253\ 5860749582615052868599771136*c_0110_6^15 + 299263760249211559641578796844145/12535860749582615052868599771136*\ c_0110_6^13 - 348426205862531095003347275489951/1253586074958261505\ 2868599771136*c_0110_6^11 - 362366194816482203723469899945613/12535\ 860749582615052868599771136*c_0110_6^9 + 36678684619986745500912500194607/12535860749582615052868599771136*c\ _0110_6^7 + 444246286519835871478761183168419/125358607495826150528\ 68599771136*c_0110_6^5 + 36716171817423042865032241666047/156698259\ 3697826881608574971392*c_0110_6^3 - 343820782394780915956827569023/195872824212228360201071871424*c_011\ 0_6, c_0011_0 - 1, c_0011_3 + 77831435729696710043748952/3060512878316068128141747991*c_01\ 10_6^20 - 1945950195640729869301767727/6121025756632136256283495982\ *c_0110_6^18 + 12271145114852119728664322637/1224205151326427251256\ 6991964*c_0110_6^16 - 142266572844755698421626184059/97936412106114\ 180100535935712*c_0110_6^14 + 88382783446500775562736386047/2448410\ 3026528545025133983928*c_0110_6^12 - 390953774703745479816405063969/97936412106114180100535935712*c_0110\ _6^10 + 946556020491982715647974073/6121025756632136256283495982*c_\ 0110_6^8 - 162264685581231394288420232659/9793641210611418010053593\ 5712*c_0110_6^6 + 90901762026696176409218336493/4896820605305709005\ 0267967856*c_0110_6^4 + 6213379856018635721956455687/12242051513264\ 272512566991964*c_0110_6^2 - 375261473850059761147564172/3060512878\ 316068128141747991, c_0101_0 - 1982654279902314182318518/36873649136338170218575277*c_0110_\ 6^21 + 208570313991129728134020575/294989193090705361748602216*c_01\ 10_6^19 - 1486628886909015078495937593/589978386181410723497204432*\ c_0110_6^17 + 19010957199418905169620761627/47198270894512857879776\ 35456*c_0110_6^15 - 20133700702545863036788207737/23599135447256428\ 93988817728*c_0110_6^13 + 57490815226717154891580141277/47198270894\ 51285787977635456*c_0110_6^11 - 4140695386015839276083344865/235991\ 3544725642893988817728*c_0110_6^9 + 6883032991627357709022175551/4719827089451285787977635456*c_0110_6^\ 7 - 4995947493743458972710839697/589978386181410723497204432*c_0110\ _6^5 + 52202691432681430394805375/589978386181410723497204432*c_011\ 0_6^3 + 15459063324397244000267281/36873649136338170218575277*c_011\ 0_6, c_0101_1 + 101178592364308309785233/36873649136338170218575277*c_0110_6\ ^20 - 19586573552628661687112221/589978386181410723497204432*c_0110\ _6^18 + 99230190240075421160013051/1179956772362821446994408864*c_0\ 110_6^16 + 186705655236146673228642671/9439654178902571575955270912\ *c_0110_6^14 - 652229691620990156314084433/471982708945128578797763\ 5456*c_0110_6^12 + 4782462835500658575060956353/9439654178902571575\ 955270912*c_0110_6^10 - 8725605508847818925980403961/47198270894512\ 85787977635456*c_0110_6^8 + 18564732862739629635013168907/943965417\ 8902571575955270912*c_0110_6^6 - 291494910415968737868231359/589978\ 386181410723497204432*c_0110_6^4 + 11743224307162484014393836/36873649136338170218575277*c_0110_6^2 - 27803321800178188695060659/36873649136338170218575277, c_0101_2 + 146254991747841979147706591/6121025756632136256283495982*c_0\ 110_6^21 - 31573960198673909021119986195/97936412106114180100535935\ 712*c_0110_6^19 + 236259431078722435055966283909/195872824212228360\ 201071871424*c_0110_6^17 - 3006960410381317891865243626527/15669825\ 93697826881608574971392*c_0110_6^15 + 2890308749126359934086704166013/783491296848913440804287485696*c_01\ 10_6^13 - 8948793040551174057800800433313/1566982593697826881608574\ 971392*c_0110_6^11 - 266923974906721191012991539731/783491296848913\ 440804287485696*c_0110_6^9 + 2275235133579969226957455458933/156698\ 2593697826881608574971392*c_0110_6^7 + 661981667322961529451468975921/195872824212228360201071871424*c_011\ 0_6^5 + 28555998783879931630971017151/24484103026528545025133983928\ *c_0110_6^3 - 4387056421365047971592451473/612102575663213625628349\ 5982*c_0110_6, c_0101_4 + 66037260217152646221722940/3060512878316068128141747991*c_01\ 10_6^20 - 3464669067445625475379557123/1224205151326427251256699196\ 4*c_0110_6^18 + 24097918340239007935495559837/244841030265285450251\ 33983928*c_0110_6^16 - 269233236798983356452907090031/1958728242122\ 28360201071871424*c_0110_6^14 + 273967907976026017651933620519/9793\ 6412106114180100535935712*c_0110_6^12 - 790214467670071219474377494697/195872824212228360201071871424*c_011\ 0_6^10 - 154455517155834614218579220205/979364121061141801005359357\ 12*c_0110_6^8 + 144580247592670835967548653565/19587282421222836020\ 1071871424*c_0110_6^6 + 171684945585064965238095616743/489682060530\ 57090050267967856*c_0110_6^4 + 3670662542398694661734359445/1224205\ 1513264272512566991964*c_0110_6^2 + 895502163342642743582160880/3060512878316068128141747991, c_0110_6^22 - 205/16*c_0110_6^20 + 1355/32*c_0110_6^18 - 14849/256*c_0110_6^16 + 16607/128*c_0110_6^14 - 43087/256*c_0110_6^12 - 6793/128*c_0110_6^10 - 1189/256*c_0110_6^8 + 2533/16*c_0110_6^6 + 42*c_0110_6^4 - 22*c_0110_6^2 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB