Magma V2.19-8 Wed Aug 21 2013 00:52:38 on localhost [Seed = 1916037068] Type ? for help. Type -D to quit. Loading file "L12n1010__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1010 geometric_solution 11.54327664 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 -1 1 2 0 -1 -1 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.213988588079 1.280606306882 0 2 3 4 0132 0213 3120 0132 1 0 0 1 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 0 2 -2 -2 0 0 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.603872159543 0.869327843913 5 0 1 6 0132 0132 0213 0132 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 0 0 0 0 0 0 0 0 0 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.262943398362 0.348390020904 6 0 1 0 1230 2310 3120 0132 1 0 0 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 -1 0 1 -1 0 0 1 0 1 0 -1 3 -1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610116428536 0.411278462969 6 5 1 7 0213 0213 0132 0132 1 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 0 2 -2 0 0 -2 2 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.409470238883 0.571145081177 2 8 4 9 0132 0132 0213 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 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.528179905996 0.851954119084 4 3 2 8 0213 3012 0132 0213 1 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 0 0 0 -3 0 3 -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.819936274244 1.297021772731 10 11 4 12 0132 0132 0132 0132 1 0 1 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 2 0 -2 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.512753547809 0.769587639254 11 5 12 6 0213 0132 0132 0213 1 0 0 1 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 3 0 -3 1 0 -2 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.864153994433 0.449475642551 11 12 5 10 2103 0132 0132 0132 1 0 1 1 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 0 -3 3 2 0 0 -2 -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.288396756592 0.555790662362 7 12 9 11 0132 3012 0132 0213 1 0 0 1 0 0 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 0 -3 3 -2 0 2 0 0 2 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.169793099887 0.805581828346 8 7 9 10 0213 0132 2103 0213 1 0 0 1 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 2 1 -3 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.400415412902 0.899911641546 10 9 7 8 1230 0132 0132 0132 1 0 1 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 0 0 0 0 0 0 0 -2 0 0 2 -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.872830336628 0.681715486007 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_7']), 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : negation(d['c_0011_12']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_8'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : d['c_1001_8'], 'c_1010_11' : d['c_1001_7'], 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : 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' : negation(d['c_0011_0']), '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_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' : 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_9' : d['c_1001_7'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_7'], 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : d['c_1001_4'], 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_1001_4'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : d['c_1001_7'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_12']), 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_1001_8'], 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0011_12']), 'c_1010_8' : d['c_1001_4'], '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'], 'c_1100_12' : negation(d['c_0101_3']), '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' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), '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_11' : negation(d['c_0101_7']), 'c_0110_10' : d['c_0101_7'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0101_10'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0011_6'], 'c_0101_9' : negation(d['c_0011_0']), 'c_0101_8' : 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_10'], 'c_0110_8' : d['c_0101_7'], 'c_0110_1' : d['c_0011_6'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_10'], 'c_1100_8' : negation(d['c_0101_3'])})} 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_12, c_0011_3, c_0011_4, c_0011_6, c_0101_10, c_0101_3, c_0101_7, c_1001_1, c_1001_4, c_1001_7, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 42781950683480277/6913249486148750*c_1001_8^14 - 890962517437526867/6913249486148750*c_1001_8^13 - 1695803722991025958/3456624743074375*c_1001_8^12 - 1065840158859944811/1382649897229750*c_1001_8^11 + 3273875900235551083/6913249486148750*c_1001_8^10 + 10986311455509195814/3456624743074375*c_1001_8^9 + 21536877100386653301/6913249486148750*c_1001_8^8 - 20189993131615239479/6913249486148750*c_1001_8^7 - 23680998488281477641/3456624743074375*c_1001_8^6 - 4626127685191579703/3456624743074375*c_1001_8^5 + 16528890208784348422/3456624743074375*c_1001_8^4 + 2174658946496210024/691324948614875*c_1001_8^3 - 2354033212801607209/3456624743074375*c_1001_8^2 - 1657516460066184517/1382649897229750*c_1001_8 - 2139439832071943263/6913249486148750, c_0011_0 - 1, c_0011_10 + 3105692032614/5530599588919*c_1001_8^14 + 61077095541608/5530599588919*c_1001_8^13 + 349526066395519/11061199177838*c_1001_8^12 + 343956815193825/11061199177838*c_1001_8^11 - 470734670523118/5530599588919*c_1001_8^10 - 2164192114095089/11061199177838*c_1001_8^9 - 436635517594263/11061199177838*c_1001_8^8 + 3828280415048785/11061199177838*c_1001_8^7 + 2522686304067303/11061199177838*c_1001_8^6 - 2206529307025241/11061199177838*c_1001_8^5 - 1272702031861954/5530599588919*c_1001_8^4 + 124035313558047/11061199177838*c_1001_8^3 + 375418655673420/5530599588919*c_1001_8^2 + 231654238780241/11061199177838*c_1001_8 + 11923107875037/11061199177838, c_0011_12 - 89378404561/11061199177838*c_1001_8^14 - 1714822510042/5530599588919*c_1001_8^13 - 35278185471919/11061199177838*c_1001_8^12 - 22288233672790/5530599588919*c_1001_8^11 + 62480990290063/5530599588919*c_1001_8^10 + 319475068472572/5530599588919*c_1001_8^9 + 546975982390859/11061199177838*c_1001_8^8 - 457837429548944/5530599588919*c_1001_8^7 - 1136814995094066/5530599588919*c_1001_8^6 - 233009768283809/11061199177838*c_1001_8^5 + 1100805239759484/5530599588919*c_1001_8^4 + 687545425559023/5530599588919*c_1001_8^3 - 260731595534112/5530599588919*c_1001_8^2 - 692749801469905/11061199177838*c_1001_8 - 176435999040001/11061199177838, c_0011_3 + 3746607758277/5530599588919*c_1001_8^14 + 75054876597655/5530599588919*c_1001_8^13 + 473550218680383/11061199177838*c_1001_8^12 + 525643049791841/11061199177838*c_1001_8^11 - 1145472748862437/11061199177838*c_1001_8^10 - 3300786403867151/11061199177838*c_1001_8^9 - 712586986668149/5530599588919*c_1001_8^8 + 2609475711345544/5530599588919*c_1001_8^7 + 2821369086124181/5530599588919*c_1001_8^6 - 1997160962018379/11061199177838*c_1001_8^5 - 5331049016680155/11061199177838*c_1001_8^4 - 709900731842347/5530599588919*c_1001_8^3 + 722669505371615/5530599588919*c_1001_8^2 + 492644716904303/5530599588919*c_1001_8 + 186198189716259/11061199177838, c_0011_4 - 11210697324664/5530599588919*c_1001_8^14 - 231627337532497/5530599588919*c_1001_8^13 - 849103600463524/5530599588919*c_1001_8^12 - 1225134814538276/5530599588919*c_1001_8^11 + 1168327583309862/5530599588919*c_1001_8^10 + 5747031395327967/5530599588919*c_1001_8^9 + 4656748425072624/5530599588919*c_1001_8^8 - 6523999551952117/5530599588919*c_1001_8^7 - 11890713379608510/5530599588919*c_1001_8^6 - 304309213658015/5530599588919*c_1001_8^5 + 9219313057877976/5530599588919*c_1001_8^4 + 4548150660750122/5530599588919*c_1001_8^3 - 1886460083124437/5530599588919*c_1001_8^2 - 1977610628286572/5530599588919*c_1001_8 - 443317915946631/5530599588919, c_0011_6 - 1, c_0101_10 + 5270537615926/5530599588919*c_1001_8^14 + 221318873414917/11061199177838*c_1001_8^13 + 435105119327690/5530599588919*c_1001_8^12 + 699944857032498/5530599588919*c_1001_8^11 - 371898393642828/5530599588919*c_1001_8^10 - 2859201475616041/5530599588919*c_1001_8^9 - 2914947769907494/5530599588919*c_1001_8^8 + 5021999369847339/11061199177838*c_1001_8^7 + 6363997670306305/5530599588919*c_1001_8^6 + 2605488759751307/11061199177838*c_1001_8^5 - 8833543807537743/11061199177838*c_1001_8^4 - 5748975656617449/11061199177838*c_1001_8^3 + 1353073996198363/11061199177838*c_1001_8^2 + 2134301583942317/11061199177838*c_1001_8 + 261318315631844/5530599588919, c_0101_3 + 1, c_0101_7 + 3185404334526/5530599588919*c_1001_8^14 + 68795646197121/5530599588919*c_1001_8^13 + 599531248483685/11061199177838*c_1001_8^12 + 513294147692850/5530599588919*c_1001_8^11 - 175973638667414/5530599588919*c_1001_8^10 - 2099471181560235/5530599588919*c_1001_8^9 - 2356241025156098/5530599588919*c_1001_8^8 + 1688372453790907/5530599588919*c_1001_8^7 + 10515569428330193/11061199177838*c_1001_8^6 + 1255268962532254/5530599588919*c_1001_8^5 - 7511029977034107/11061199177838*c_1001_8^4 - 5049265317210363/11061199177838*c_1001_8^3 + 1281197858804773/11061199177838*c_1001_8^2 + 1893241517830909/11061199177838*c_1001_8 + 471997385774225/11061199177838, c_1001_1 - 1151308446819/5530599588919*c_1001_8^14 - 21759468079760/5530599588919*c_1001_8^13 - 95254043157657/11061199177838*c_1001_8^12 - 36199337368719/11061199177838*c_1001_8^11 + 417051382725973/11061199177838*c_1001_8^10 + 483759094080875/11061199177838*c_1001_8^9 - 222968293194268/5530599588919*c_1001_8^8 - 701135981416648/5530599588919*c_1001_8^7 + 161551518330166/5530599588919*c_1001_8^6 + 1476242278534139/11061199177838*c_1001_8^5 + 100382423090859/11061199177838*c_1001_8^4 - 431180373187206/5530599588919*c_1001_8^3 - 96057898143716/5530599588919*c_1001_8^2 + 97913291610417/5530599588919*c_1001_8 + 72081926606953/11061199177838, c_1001_4 - 1215631/973949*c_1001_8^14 - 25087716/973949*c_1001_8^13 - 182838077/1947898*c_1001_8^12 - 258844527/1947898*c_1001_8^11 + 134941437/973949*c_1001_8^10 + 1260104955/1947898*c_1001_8^9 + 984815211/1947898*c_1001_8^8 - 1484950823/1947898*c_1001_8^7 - 2619274947/1947898*c_1001_8^6 - 7722045/1947898*c_1001_8^5 + 1042051752/973949*c_1001_8^4 + 1001884425/1947898*c_1001_8^3 - 221278328/973949*c_1001_8^2 - 453233281/1947898*c_1001_8 - 100810927/1947898, c_1001_7 - 3105692032614/5530599588919*c_1001_8^14 - 61077095541608/5530599588919*c_1001_8^13 - 349526066395519/11061199177838*c_1001_8^12 - 343956815193825/11061199177838*c_1001_8^11 + 470734670523118/5530599588919*c_1001_8^10 + 2164192114095089/11061199177838*c_1001_8^9 + 436635517594263/11061199177838*c_1001_8^8 - 3828280415048785/11061199177838*c_1001_8^7 - 2522686304067303/11061199177838*c_1001_8^6 + 2206529307025241/11061199177838*c_1001_8^5 + 1272702031861954/5530599588919*c_1001_8^4 - 124035313558047/11061199177838*c_1001_8^3 - 375418655673420/5530599588919*c_1001_8^2 - 231654238780241/11061199177838*c_1001_8 - 11923107875037/11061199177838, c_1001_8^15 + 21*c_1001_8^14 + 83*c_1001_8^13 + 140*c_1001_8^12 - 54*c_1001_8^11 - 539*c_1001_8^10 - 638*c_1001_8^9 + 352*c_1001_8^8 + 1266*c_1001_8^7 + 578*c_1001_8^6 - 722*c_1001_8^5 - 820*c_1001_8^4 - 91*c_1001_8^3 + 255*c_1001_8^2 + 144*c_1001_8 + 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.140 Total time: 0.340 seconds, Total memory usage: 32.09MB