Magma V2.19-8 Wed Aug 21 2013 00:57:36 on localhost [Seed = 2631566895] Type ? for help. Type -D to quit. Loading file "L13n4363__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4363 geometric_solution 12.46574392 oriented_manifold CS_known 0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 0 1 0 -7 0 7 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.851727730589 0.740231729374 0 2 6 5 0132 0213 0132 0132 1 1 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 1 0 -1 1 0 0 -1 -1 1 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.619343060903 0.726805057701 7 0 1 8 0132 0132 0213 0132 1 0 0 1 0 0 0 0 -1 0 0 1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 -1 2 0 2 0 -2 -1 7 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.463083481900 0.493790155462 9 10 11 0 0132 0132 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 -1 1 -1 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 1 0 -1 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.512777219164 0.510893904795 11 6 0 10 0132 0132 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 -1 1 1 0 0 -1 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436970774996 0.734946959685 9 7 1 10 2103 0213 0132 1230 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 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.371167121462 0.961120295826 9 4 8 1 3120 0132 0213 0132 1 1 1 0 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 0 -6 0 0 6 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228902134975 1.081081384174 2 12 5 11 0132 0132 0213 1302 1 0 1 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 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.722986840201 0.970167171706 9 6 2 12 1023 0213 0132 0213 1 0 1 0 0 0 0 0 1 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 2 0 -2 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.650342827987 0.905421264898 3 8 5 6 0132 1023 2103 3120 0 1 1 0 0 -1 0 1 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 -2 0 2 0 0 0 0 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.633226581542 0.894143387982 5 3 4 12 3012 0132 0132 3012 1 1 1 0 0 0 0 0 0 0 0 0 0 1 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 1 0 -1 0 1 6 0 -7 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.905254463751 0.832240932483 4 12 7 3 0132 3012 2031 0132 1 1 1 0 0 0 0 0 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 0 1 -1 0 0 0 0 -7 7 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.194120715087 1.347868626198 11 7 10 8 1230 0132 1230 0213 1 1 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 0 0 0 0 0 0 0 0 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.993322529467 0.855023661309 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_0'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_5'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_12']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : negation(d['c_0101_12']), 'c_1010_10' : negation(d['c_0101_12']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_12' : 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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_10']), 'c_1100_8' : d['c_1001_5'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : negation(d['c_1001_12']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_0110_10'], 'c_1100_1' : d['c_0110_10'], 'c_1100_0' : negation(d['c_1001_12']), 'c_1100_3' : negation(d['c_1001_12']), 'c_1100_2' : d['c_1001_5'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_12']), 'c_1100_10' : negation(d['c_1001_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_0110_10'], 's_3_1' : negation(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'], 'c_1100_12' : d['c_0110_10'], 's_1_7' : d['1'], 's_1_6' : 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' : negation(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_10'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_5'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_5'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0110_10, c_1001_0, c_1001_1, c_1001_12, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 9324255944417/3858499451594*c_1001_5^13 - 11346936388787/1929249725797*c_1001_5^12 - 23131812733853/1929249725797*c_1001_5^11 - 85491413113197/3858499451594*c_1001_5^10 - 501760827950721/3858499451594*c_1001_5^9 + 44330342979239/3858499451594*c_1001_5^8 - 1211593793017175/3858499451594*c_1001_5^7 + 602752764010421/3858499451594*c_1001_5^6 - 469554518002023/1929249725797*c_1001_5^5 + 1034659910164651/3858499451594*c_1001_5^4 + 79774558129918/1929249725797*c_1001_5^3 + 473261711180957/3858499451594*c_1001_5^2 + 67306290089261/3858499451594*c_1001_5 + 20824941790831/3858499451594, c_0011_0 - 1, c_0011_10 - 10334523715/52141884481*c_1001_5^13 + 14959954565/52141884481*c_1001_5^12 + 66161841207/52141884481*c_1001_5^11 + 156620765673/52141884481*c_1001_5^10 + 720134876386/52141884481*c_1001_5^9 + 670311901006/52141884481*c_1001_5^8 + 2004018710320/52141884481*c_1001_5^7 + 1447983465839/52141884481*c_1001_5^6 + 2298486646696/52141884481*c_1001_5^5 + 1466689495562/52141884481*c_1001_5^4 + 850805631955/52141884481*c_1001_5^3 + 547051587276/52141884481*c_1001_5^2 + 104868076266/52141884481*c_1001_5 + 31731609501/52141884481, c_0011_11 - 13710788169/52141884481*c_1001_5^13 + 26864407364/52141884481*c_1001_5^12 + 71299829964/52141884481*c_1001_5^11 + 175966446356/52141884481*c_1001_5^10 + 880577793858/52141884481*c_1001_5^9 + 478213283751/52141884481*c_1001_5^8 + 2599612285767/52141884481*c_1001_5^7 + 724970714384/52141884481*c_1001_5^6 + 3226263897391/52141884481*c_1001_5^5 + 546042706983/52141884481*c_1001_5^4 + 1514464203510/52141884481*c_1001_5^3 + 240862883086/52141884481*c_1001_5^2 + 290903960507/52141884481*c_1001_5 + 47869343559/52141884481, c_0011_5 + 2672179037/52141884481*c_1001_5^13 - 17877484471/52141884481*c_1001_5^12 + 16977679959/52141884481*c_1001_5^11 + 21186882801/52141884481*c_1001_5^10 - 45315023027/52141884481*c_1001_5^9 + 632839999636/52141884481*c_1001_5^8 - 476298258368/52141884481*c_1001_5^7 + 1950321886345/52141884481*c_1001_5^6 - 1100974588296/52141884481*c_1001_5^5 + 2289427608793/52141884481*c_1001_5^4 - 1065664194261/52141884481*c_1001_5^3 + 836962977453/52141884481*c_1001_5^2 - 270698337545/52141884481*c_1001_5 + 59807915904/52141884481, c_0101_0 + 11022723170/52141884481*c_1001_5^13 - 23794587793/52141884481*c_1001_5^12 - 51558726155/52141884481*c_1001_5^11 - 135596650704/52141884481*c_1001_5^10 - 681146994454/52141884481*c_1001_5^9 - 244746885099/52141884481*c_1001_5^8 - 2090658948948/52141884481*c_1001_5^7 - 82765411845/52141884481*c_1001_5^6 - 2732001835787/52141884481*c_1001_5^5 + 257719477389/52141884481*c_1001_5^4 - 1401300539975/52141884481*c_1001_5^3 + 138486103920/52141884481*c_1001_5^2 - 285630597402/52141884481*c_1001_5 - 16234766876/52141884481, c_0101_1 - 1, c_0101_10 - 11270639084/52141884481*c_1001_5^13 + 17973041235/52141884481*c_1001_5^12 + 69066648795/52141884481*c_1001_5^11 + 161628847196/52141884481*c_1001_5^10 + 761886519443/52141884481*c_1001_5^9 + 625619712581/52141884481*c_1001_5^8 + 2138439480515/52141884481*c_1001_5^7 + 1300031766984/52141884481*c_1001_5^6 + 2499779873232/52141884481*c_1001_5^5 + 1359537029561/52141884481*c_1001_5^4 + 952140474195/52141884481*c_1001_5^3 + 669294243658/52141884481*c_1001_5^2 + 73251065264/52141884481*c_1001_5 + 105794039748/52141884481, c_0101_12 - 101305946390/364993191367*c_1001_5^13 + 227118114400/364993191367*c_1001_5^12 + 455706687019/364993191367*c_1001_5^11 + 1205084236052/364993191367*c_1001_5^10 + 6175501371994/364993191367*c_1001_5^9 + 1730363711229/364993191367*c_1001_5^8 + 18879916877975/364993191367*c_1001_5^7 - 1069253382858/364993191367*c_1001_5^6 + 24042750052278/364993191367*c_1001_5^5 - 5733159166792/364993191367*c_1001_5^4 + 11302903128983/364993191367*c_1001_5^3 - 4470336658159/364993191367*c_1001_5^2 + 1661253964577/364993191367*c_1001_5 - 577522626664/364993191367, c_0110_10 + 107260944038/364993191367*c_1001_5^13 - 241516471333/364993191367*c_1001_5^12 - 509078227153/364993191367*c_1001_5^11 - 1207816949179/364993191367*c_1001_5^10 - 6355315350327/364993191367*c_1001_5^9 - 1499182082725/364993191367*c_1001_5^8 - 18416068261778/364993191367*c_1001_5^7 + 1597770413721/364993191367*c_1001_5^6 - 22053953619514/364993191367*c_1001_5^5 + 5831215481233/364993191367*c_1001_5^4 - 9433310287171/364993191367*c_1001_5^3 + 3493512596940/364993191367*c_1001_5^2 - 1890885133425/364993191367*c_1001_5 + 442156440342/364993191367, c_1001_0 + 97032818/52141884481*c_1001_5^13 - 7840524352/52141884481*c_1001_5^12 + 11404970904/52141884481*c_1001_5^11 + 45159310764/52141884481*c_1001_5^10 + 110040869669/52141884481*c_1001_5^9 + 517501993988/52141884481*c_1001_5^8 + 417924102844/52141884481*c_1001_5^7 + 1490989995145/52141884481*c_1001_5^6 + 781034794710/52141884481*c_1001_5^5 + 1802283928732/52141884481*c_1001_5^4 + 650021946396/52141884481*c_1001_5^3 + 737350869966/52141884481*c_1001_5^2 + 164985681366/52141884481*c_1001_5 + 99497680343/52141884481, c_1001_1 + 180200419978/364993191367*c_1001_5^13 - 352929403045/364993191367*c_1001_5^12 - 939173228584/364993191367*c_1001_5^11 - 2336486166424/364993191367*c_1001_5^10 - 11508707008095/364993191367*c_1001_5^9 - 6109701699296/364993191367*c_1001_5^8 - 33848993241580/364993191367*c_1001_5^7 - 8030968986030/364993191367*c_1001_5^6 - 41541209164902/364993191367*c_1001_5^5 - 3783600040135/364993191367*c_1001_5^4 - 17967886448348/364993191367*c_1001_5^3 - 214723047447/364993191367*c_1001_5^2 - 2539004612792/364993191367*c_1001_5 - 163035651572/364993191367, c_1001_12 - 106581714312/364993191367*c_1001_5^13 + 186632800869/364993191367*c_1001_5^12 + 588913023481/364993191367*c_1001_5^11 + 1523932124527/364993191367*c_1001_5^10 + 7125601438010/364993191367*c_1001_5^9 + 5121696040641/364993191367*c_1001_5^8 + 21341536981686/364993191367*c_1001_5^7 + 8839159552294/364993191367*c_1001_5^6 + 27521197182484/364993191367*c_1001_5^5 + 6784772019891/364993191367*c_1001_5^4 + 13983463911943/364993191367*c_1001_5^3 + 1667943492822/364993191367*c_1001_5^2 + 2680791711620/364993191367*c_1001_5 + 254327322059/364993191367, c_1001_5^14 - 2*c_1001_5^13 - 5*c_1001_5^12 - 13*c_1001_5^11 - 64*c_1001_5^10 - 33*c_1001_5^9 - 195*c_1001_5^8 - 42*c_1001_5^7 - 255*c_1001_5^6 - 20*c_1001_5^5 - 133*c_1001_5^4 - 3*c_1001_5^3 - 28*c_1001_5^2 - c_1001_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.320 seconds, Total memory usage: 32.09MB