Magma V2.19-8 Tue Aug 20 2013 23:41:10 on localhost [Seed = 3019233077] Type ? for help. Type -D to quit. Loading file "L12a679__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a679 geometric_solution 9.35076334 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 1 0 0 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 -1 0 1 1 0 -2 1 -1 -1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.268006850499 0.810490082867 0 5 7 6 0132 0132 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 -1 0 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.225215714792 1.187814746866 5 0 6 8 3201 0132 2310 0132 1 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 1 -1 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 1.238267691225 0.687337143992 4 8 4 0 0132 0132 0213 0132 1 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 -2 2 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.224786568392 0.860339145629 3 3 0 9 0132 0213 0132 0132 1 0 0 0 0 0 0 0 0 0 -1 1 -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 -1 1 0 0 -1 1 -2 2 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406168276902 0.362915006463 10 1 10 2 0132 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.674273113597 0.897880685065 7 2 1 8 0132 3201 0132 2103 0 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 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.578026030406 0.641498716191 6 9 9 1 0132 3120 1230 0132 0 0 0 1 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 1 -1 0 -1 0 1 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630954845294 1.223254152092 9 3 2 6 0213 0132 0132 2103 1 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 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.814716867003 0.426459068285 8 7 4 7 0213 3120 0132 3012 1 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 0 0 0 0 0 0 0 0 2 -1 -1 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.226055112797 0.749292740481 5 10 5 10 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506308566029 0.157771900782 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_6']), 'c_1001_10' : d['c_0101_5'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_7']), 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0011_0']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : negation(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_9' : negation(d['c_1001_7']), 'c_0011_10' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_1001_7']), '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' : negation(d['c_1001_7']), 'c_1100_3' : negation(d['c_1001_7']), 'c_1100_2' : d['c_0011_6'], 'c_1100_10' : d['c_0011_0'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : negation(d['c_1001_7']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : negation(d['c_0011_6']), 'c_0011_6' : d['c_0011_6'], '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_5'], 'c_0101_7' : negation(d['c_0011_6']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0101_10']), 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : d['c_0011_9'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_8']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_9'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_0'], 'c_1100_8' : d['c_0011_6']})} 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_3, c_0011_6, c_0011_9, c_0101_0, c_0101_10, c_0101_5, c_0110_8, c_1001_0, c_1001_2, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 1464288811029133616247791802131/10178830995888269309128065*c_1001_7\ ^13 + 1274140433692464393750503580953/3392943665296089769709355*c_1\ 001_7^12 - 126591582052905062907038375177/484706237899441395672765*\ c_1001_7^11 - 130145056379818195041557967683/1130981221765363256569\ 785*c_1001_7^10 + 214057699402173745053110624201/113098122176536325\ 6569785*c_1001_7^9 + 93240012902282915281263220999/1017883099588826\ 9309128065*c_1001_7^8 - 2399232198112480576982589734/32313749193296\ 093044851*c_1001_7^7 + 236478914001408105622190824/7539874811769088\ 3771319*c_1001_7^6 + 41078459884029288992168836906/2035766199177653\ 861825613*c_1001_7^5 - 1008963803297361785278296958/145411871369832\ 4187018295*c_1001_7^4 - 1004815864662616575645680908/29082374273966\ 4837403659*c_1001_7^3 - 5275830519775100394677852251/10178830995888\ 269309128065*c_1001_7^2 + 2220254686373173932445634798/339294366529\ 6089769709355*c_1001_7 + 348922621145458349453951089/10178830995888\ 269309128065, c_0011_0 - 1, c_0011_3 - 60038798397506588531077/80986840083448854749*c_1001_7^13 + 72959872198239991530067/80986840083448854749*c_1001_7^12 + 15920532638548612975257/80986840083448854749*c_1001_7^11 - 47018652330550031531352/80986840083448854749*c_1001_7^10 - 5574706221124489622331/80986840083448854749*c_1001_7^9 + 17715748570300949618148/80986840083448854749*c_1001_7^8 + 2620132121549300996220/80986840083448854749*c_1001_7^7 - 4787408287393696026846/80986840083448854749*c_1001_7^6 - 1734130760260569880278/80986840083448854749*c_1001_7^5 + 487755587657533780887/80986840083448854749*c_1001_7^4 + 335674988272538110978/80986840083448854749*c_1001_7^3 + 13333073916942868583/80986840083448854749*c_1001_7^2 - 91686686538073702824/80986840083448854749*c_1001_7 - 25177550904976486430/80986840083448854749, c_0011_6 - 34014686036686599116153/80986840083448854749*c_1001_7^13 + 87972114168612859421878/80986840083448854749*c_1001_7^12 - 51272393216575055545001/80986840083448854749*c_1001_7^11 - 49308746549840499222289/80986840083448854749*c_1001_7^10 + 54486876338220193038576/80986840083448854749*c_1001_7^9 + 13996911839685227882466/80986840083448854749*c_1001_7^8 - 26777475066751339344611/80986840083448854749*c_1001_7^7 - 1445199273068556108821/80986840083448854749*c_1001_7^6 + 6945976859016957733251/80986840083448854749*c_1001_7^5 + 471255553888331711914/80986840083448854749*c_1001_7^4 - 1115579378014814632425/80986840083448854749*c_1001_7^3 - 270014269608082738906/80986840083448854749*c_1001_7^2 + 133895194886457037382/80986840083448854749*c_1001_7 + 49929013213372479440/80986840083448854749, c_0011_9 + 29418462870705354435446/80986840083448854749*c_1001_7^13 - 67743097115788190630633/80986840083448854749*c_1001_7^12 + 47116918825921752065792/80986840083448854749*c_1001_7^11 + 27039829845416139444420/80986840083448854749*c_1001_7^10 - 63535171949664285177234/80986840083448854749*c_1001_7^9 + 29579739212855551941690/80986840083448854749*c_1001_7^8 + 7581206714944998736536/80986840083448854749*c_1001_7^7 - 8919455817347269522586/80986840083448854749*c_1001_7^6 - 424056446512729068078/80986840083448854749*c_1001_7^5 + 2075468836196262344137/80986840083448854749*c_1001_7^4 - 264314683395516588272/80986840083448854749*c_1001_7^3 - 101606163347264277555/80986840083448854749*c_1001_7^2 - 52221016526751605328/80986840083448854749*c_1001_7 + 71671773072233797270/80986840083448854749, c_0101_0 - 4803539427510286764497/80986840083448854749*c_1001_7^13 + 10781718068246078770586/80986840083448854749*c_1001_7^12 - 2841205893033646326906/80986840083448854749*c_1001_7^11 - 7025029629911960315673/80986840083448854749*c_1001_7^10 + 2813940010215700815883/80986840083448854749*c_1001_7^9 + 3072851868680113506254/80986840083448854749*c_1001_7^8 - 749714071121911552641/80986840083448854749*c_1001_7^7 - 1237321668351573378817/80986840083448854749*c_1001_7^6 + 268923955490585256507/80986840083448854749*c_1001_7^5 + 262184150523871870473/80986840083448854749*c_1001_7^4 + 239874531949296419552/80986840083448854749*c_1001_7^3 - 164200439013426220033/80986840083448854749*c_1001_7^2 + 88315297158136422517/80986840083448854749*c_1001_7 - 4412788374228337883/80986840083448854749, c_0101_10 + 65634575536092955129709/80986840083448854749*c_1001_7^13 - 145674635503881886643732/80986840083448854749*c_1001_7^12 + 63059568287591396355289/80986840083448854749*c_1001_7^11 + 99734094040774531648890/80986840083448854749*c_1001_7^10 - 102483777260463194995112/80986840083448854749*c_1001_7^9 - 7666199078188157250519/80986840083448854749*c_1001_7^8 + 38475750175943087538085/80986840083448854749*c_1001_7^7 - 1842472394511371540133/80986840083448854749*c_1001_7^6 - 9370938339887704106962/80986840083448854749*c_1001_7^5 + 471871039227801114066/80986840083448854749*c_1001_7^4 + 1341590525035447708390/80986840083448854749*c_1001_7^3 + 310685535002268601371/80986840083448854749*c_1001_7^2 - 213302920253795643189/80986840083448854749*c_1001_7 - 34747910798743376348/80986840083448854749, c_0101_5 + 40321184234652178505406/80986840083448854749*c_1001_7^13 - 172998022293251712041261/80986840083448854749*c_1001_7^12 + 219612302984373504996135/80986840083448854749*c_1001_7^11 - 36919135892586246659678/80986840083448854749*c_1001_7^10 - 105292723445538801796969/80986840083448854749*c_1001_7^9 + 37980525815192410696283/80986840083448854749*c_1001_7^8 + 34984227088304194503044/80986840083448854749*c_1001_7^7 - 13250906687055564069848/80986840083448854749*c_1001_7^6 - 8964548547442128325099/80986840083448854749*c_1001_7^5 + 2427210374050161446092/80986840083448854749*c_1001_7^4 + 1484560884668121623501/80986840083448854749*c_1001_7^3 + 17036332943143989621/80986840083448854749*c_1001_7^2 - 307881594430747129523/80986840083448854749*c_1001_7 + 15325002752828390652/80986840083448854749, c_0110_8 + 5413655866105150520595/80986840083448854749*c_1001_7^13 - 38853033942572318927211/80986840083448854749*c_1001_7^12 + 38850084062608767224487/80986840083448854749*c_1001_7^11 + 30074270120230343014330/80986840083448854749*c_1001_7^10 - 64507307046570471379783/80986840083448854749*c_1001_7^9 + 21256285502122632103991/80986840083448854749*c_1001_7^8 + 15242633816918748871114/80986840083448854749*c_1001_7^7 - 8037039729647398406721/80986840083448854749*c_1001_7^6 - 3457950375673827441590/80986840083448854749*c_1001_7^5 + 1823316443267805947712/80986840083448854749*c_1001_7^4 + 450243181510024027394/80986840083448854749*c_1001_7^3 - 102160394549053155787/80986840083448854749*c_1001_7^2 - 171390964291971694142/80986840083448854749*c_1001_7 + 3350246325619638373/80986840083448854749, c_1001_0 - 1, c_1001_2 + 8710089181814910360692/80986840083448854749*c_1001_7^13 - 13161845301409915251984/80986840083448854749*c_1001_7^12 - 2884362433301310433340/80986840083448854749*c_1001_7^11 + 10739649410547195163228/80986840083448854749*c_1001_7^10 + 1231464410784411006817/80986840083448854749*c_1001_7^9 - 5163694366470543783658/80986840083448854749*c_1001_7^8 - 1068047068557698108984/80986840083448854749*c_1001_7^7 + 1668236348719741940338/80986840083448854749*c_1001_7^6 + 703400345314318056917/80986840083448854749*c_1001_7^5 - 287149270934718913131/80986840083448854749*c_1001_7^4 - 319624157954732484577/80986840083448854749*c_1001_7^3 - 72451139295913037844/80986840083448854749*c_1001_7^2 + 65240350192200891049/80986840083448854749*c_1001_7 - 18521475630689973827/80986840083448854749, c_1001_7^14 - 4657/2029*c_1001_7^13 + 2292/2029*c_1001_7^12 + 2031/2029*c_1001_7^11 - 1638/2029*c_1001_7^10 - 692/2029*c_1001_7^9 + 614/2029*c_1001_7^8 + 225/2029*c_1001_7^7 - 145/2029*c_1001_7^6 - 66/2029*c_1001_7^5 + 14/2029*c_1001_7^4 + 19/2029*c_1001_7^3 - 2/2029*c_1001_7^2 - 2/2029*c_1001_7 - 1/2029 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB