Magma V2.19-8 Tue Aug 20 2013 23:44:16 on localhost [Seed = 3802433310] Type ? for help. Type -D to quit. Loading file "K13n1939__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1939 geometric_solution 10.59603983 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 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 1 -1 0 0 0 0 -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.812330620124 1.368052413352 0 3 6 5 0132 3120 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 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.559446941714 0.908367369600 7 0 6 7 0132 0132 3012 2031 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 0 0 0 1 0 0 -1 2 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607697142550 1.032385710226 6 1 8 0 0213 3120 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 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.347685232816 0.594879997802 5 9 0 8 0321 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 -1 1 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.492711389201 0.621920585163 4 10 1 11 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.144073615427 0.383881037779 3 2 10 1 0213 1230 1230 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 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.028657445539 1.446450621457 2 2 11 8 0132 1302 3012 3201 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 1 0 -1 -1 0 0 1 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.576551921816 0.719374363199 9 7 4 3 3201 2310 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 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.707646560439 0.906033956752 11 4 10 8 0213 0132 0321 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 1 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 0 0 0 0.031875733630 0.536008317247 11 5 9 6 3012 0132 0321 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.248699651079 0.488567651780 9 7 5 10 0213 1230 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492168488288 0.831967441123 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_8'], 'c_1001_10' : d['c_0011_8'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : negation(d['c_1001_6']), 'c_1001_8' : negation(d['c_1001_6']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0011_3']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_4']), 'c_0101_10' : negation(d['c_0011_11']), '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_1100_8' : d['c_1100_0'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : d['c_0110_10'], 'c_1100_1' : d['c_0110_10'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1001_6']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : negation(d['c_1001_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : negation(d['c_1001_6']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : negation(d['c_0101_2']), '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' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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' : d['c_0011_10'], 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_8'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_0'])})} 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_4, c_0011_6, c_0011_8, c_0101_0, c_0101_2, c_0110_10, c_1001_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 16815866468171563/1046558674654212734*c_1100_0^13 + 20357978556592207/224262573140188443*c_1100_0^12 - 72663690542989891/1569838011981319101*c_1100_0^11 - 1796807476393688072/1569838011981319101*c_1100_0^10 + 7036411457223422906/1569838011981319101*c_1100_0^9 - 13762481892054668648/1569838011981319101*c_1100_0^8 + 8239001469196179020/1569838011981319101*c_1100_0^7 + 8479595853036259225/1569838011981319101*c_1100_0^6 - 60633872183719096705/3139676023962638202*c_1100_0^5 + 11138666849599024919/3139676023962638202*c_1100_0^4 + 8389216055793412421/1569838011981319101*c_1100_0^3 - 10065903215627801757/523279337327106367*c_1100_0^2 - 23778673228003439548/1569838011981319101*c_1100_0 - 30757309147944761/24338573829167738, c_0011_0 - 1, c_0011_10 + 25836454837/978999242277*c_1100_0^13 - 273087282056/978999242277*c_1100_0^12 + 446157391196/326333080759*c_1100_0^11 - 3859082156485/978999242277*c_1100_0^10 + 2399990662966/326333080759*c_1100_0^9 - 2496153095960/326333080759*c_1100_0^8 + 2110689558301/978999242277*c_1100_0^7 + 7516995619274/978999242277*c_1100_0^6 - 8744004966959/978999242277*c_1100_0^5 + 3159720008974/978999242277*c_1100_0^4 + 46517341499/6659858791*c_1100_0^3 - 2060799319114/978999242277*c_1100_0^2 - 614875834411/978999242277*c_1100_0 + 23022030209/22767424239, c_0011_11 - 1681638417/46619011537*c_1100_0^13 + 17188643099/46619011537*c_1100_0^12 - 239442959038/139857034611*c_1100_0^11 + 628382956630/139857034611*c_1100_0^10 - 986426596964/139857034611*c_1100_0^9 + 565703178997/139857034611*c_1100_0^8 + 738055203917/139857034611*c_1100_0^7 - 2058447320974/139857034611*c_1100_0^6 + 1037655746672/139857034611*c_1100_0^5 + 669034687934/139857034611*c_1100_0^4 - 265446509825/19979576373*c_1100_0^3 - 229805967589/139857034611*c_1100_0^2 + 433581999892/139857034611*c_1100_0 - 4010828056/3252489177, c_0011_3 + 4579157277/326333080759*c_1100_0^13 - 44389977615/326333080759*c_1100_0^12 + 195537888954/326333080759*c_1100_0^11 - 489578751058/326333080759*c_1100_0^10 + 2295199630837/978999242277*c_1100_0^9 - 506204810869/326333080759*c_1100_0^8 - 233566631682/326333080759*c_1100_0^7 + 3356276724869/978999242277*c_1100_0^6 - 504817154504/326333080759*c_1100_0^5 - 164556024883/326333080759*c_1100_0^4 + 76234525612/19979576373*c_1100_0^3 - 145529062237/978999242277*c_1100_0^2 + 162303139598/978999242277*c_1100_0 + 9250432871/22767424239, c_0011_4 + 3631592438/139857034611*c_1100_0^13 - 5514143371/19979576373*c_1100_0^12 + 189604768852/139857034611*c_1100_0^11 - 548979700607/139857034611*c_1100_0^10 + 1036901303695/139857034611*c_1100_0^9 - 1122197080093/139857034611*c_1100_0^8 + 382648434941/139857034611*c_1100_0^7 + 344531430478/46619011537*c_1100_0^6 - 486808186646/46619011537*c_1100_0^5 + 635966580433/139857034611*c_1100_0^4 + 40050273806/6659858791*c_1100_0^3 - 634393606894/139857034611*c_1100_0^2 - 11472781372/6659858791*c_1100_0 + 909093847/1084163059, c_0011_6 - 9488725889/978999242277*c_1100_0^13 + 113031612769/978999242277*c_1100_0^12 - 609526473359/978999242277*c_1100_0^11 + 632143780917/326333080759*c_1100_0^10 - 3667479563140/978999242277*c_1100_0^9 + 3882483643079/978999242277*c_1100_0^8 - 147065411361/326333080759*c_1100_0^7 - 1618261294983/326333080759*c_1100_0^6 + 5731015214681/978999242277*c_1100_0^5 + 147926156617/978999242277*c_1100_0^4 - 34170311410/6659858791*c_1100_0^3 + 3226592791771/978999242277*c_1100_0^2 + 1480793814110/978999242277*c_1100_0 - 4896626831/7589141413, c_0011_8 - 3907627922/326333080759*c_1100_0^13 + 42907574952/326333080759*c_1100_0^12 - 212468693047/326333080759*c_1100_0^11 + 1776549853030/978999242277*c_1100_0^10 - 958919571496/326333080759*c_1100_0^9 + 506990428079/326333080759*c_1100_0^8 + 3689133609641/978999242277*c_1100_0^7 - 3206814972491/326333080759*c_1100_0^6 + 2766130053076/326333080759*c_1100_0^5 + 599014510270/978999242277*c_1100_0^4 - 156054130273/19979576373*c_1100_0^3 + 4463669823374/978999242277*c_1100_0^2 + 2310313034465/978999242277*c_1100_0 - 14962857999/7589141413, c_0101_0 + 4406882048/978999242277*c_1100_0^13 - 49363875509/978999242277*c_1100_0^12 + 247080376321/978999242277*c_1100_0^11 - 690035893615/978999242277*c_1100_0^10 + 1122336443681/978999242277*c_1100_0^9 - 734928446275/978999242277*c_1100_0^8 - 719165218085/978999242277*c_1100_0^7 + 1900302195362/978999242277*c_1100_0^6 - 728781303899/978999242277*c_1100_0^5 - 428074482861/326333080759*c_1100_0^4 + 9125187654/6659858791*c_1100_0^3 + 392788510777/978999242277*c_1100_0^2 - 888855259687/978999242277*c_1100_0 + 79431006/7589141413, c_0101_2 - 4187670829/139857034611*c_1100_0^13 + 44742293342/139857034611*c_1100_0^12 - 72599927535/46619011537*c_1100_0^11 + 202557806526/46619011537*c_1100_0^10 - 349679512096/46619011537*c_1100_0^9 + 295638050542/46619011537*c_1100_0^8 + 58110532822/46619011537*c_1100_0^7 - 1529072780744/139857034611*c_1100_0^6 + 1240155005426/139857034611*c_1100_0^5 - 13905938276/139857034611*c_1100_0^4 - 179783286269/19979576373*c_1100_0^3 + 190624491791/139857034611*c_1100_0^2 - 86467409320/139857034611*c_1100_0 - 5839089152/3252489177, c_0110_10 + 13322164060/978999242277*c_1100_0^13 - 130275675968/978999242277*c_1100_0^12 + 575374875238/978999242277*c_1100_0^11 - 1452512000938/978999242277*c_1100_0^10 + 2353536767804/978999242277*c_1100_0^9 - 1885534705378/978999242277*c_1100_0^8 - 132850408760/978999242277*c_1100_0^7 + 1024813715211/326333080759*c_1100_0^6 - 2993418416119/978999242277*c_1100_0^5 + 266125993136/326333080759*c_1100_0^4 + 56833322533/19979576373*c_1100_0^3 - 2525484991381/978999242277*c_1100_0^2 - 303106629225/326333080759*c_1100_0 + 1773124483/7589141413, c_1001_6 - 9317498720/326333080759*c_1100_0^13 + 288308174464/978999242277*c_1100_0^12 - 444738052799/326333080759*c_1100_0^11 + 1137234008423/326333080759*c_1100_0^10 - 4939802896489/978999242277*c_1100_0^9 + 549820777630/326333080759*c_1100_0^8 + 2145637417127/326333080759*c_1100_0^7 - 12918202510103/978999242277*c_1100_0^6 + 5300462783762/978999242277*c_1100_0^5 + 5370700494179/978999242277*c_1100_0^4 - 219385692643/19979576373*c_1100_0^3 - 475300211871/326333080759*c_1100_0^2 + 570904827287/326333080759*c_1100_0 - 11517443324/7589141413, c_1100_0^14 - 10*c_1100_0^13 + 45*c_1100_0^12 - 112*c_1100_0^11 + 159*c_1100_0^10 - 49*c_1100_0^9 - 191*c_1100_0^8 + 362*c_1100_0^7 - 50*c_1100_0^6 - 252*c_1100_0^5 + 342*c_1100_0^4 + 195*c_1100_0^3 - 130*c_1100_0^2 - 10*c_1100_0 + 43 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.770 Total time: 0.980 seconds, Total memory usage: 32.09MB