Magma V2.19-8 Wed Aug 21 2013 00:56:39 on localhost [Seed = 2362086980] Type ? for help. Type -D to quit. Loading file "L13n2741__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2741 geometric_solution 12.52019154 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 0 1 1 1 0 -1 0 1 1 0 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 2 1 -3 -5 0 1 4 1 -1 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.703946985125 0.777666220615 0 4 6 5 0132 0132 0132 0132 0 1 1 1 0 0 0 0 -1 0 1 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 5 0 -5 0 -4 0 0 4 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427808337362 0.545001908669 0 0 7 5 3012 0132 0132 0213 0 0 1 1 0 1 -1 0 -1 0 0 1 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 -2 2 0 3 0 -1 -2 -4 4 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427567626993 1.123126209950 8 6 9 0 0132 0213 0132 0132 0 1 1 1 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 1 -1 0 0 1 -1 0 0 0 0 -4 5 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.254430507732 0.606323585926 6 1 10 11 0321 0132 0132 0132 0 1 1 1 0 0 -1 1 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 0 2 -2 -5 0 0 5 0 -1 0 1 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.769497702287 0.780471887611 8 10 1 2 2103 3201 0132 0213 0 1 0 1 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 0 0 0 0 0 -2 0 2 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531099547475 1.411492465755 4 12 3 1 0321 0132 0213 0132 0 1 1 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 0 0 0 -5 0 0 5 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411535202430 1.402347892295 12 12 11 2 3012 0213 0213 0132 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 0 0 0 0 2 -2 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.427567626993 1.123126209950 3 10 5 9 0132 3012 2103 0132 0 1 1 1 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 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348050049635 1.178484040796 12 11 8 3 0132 2031 0132 0132 0 1 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 1 0 -1 1 0 0 -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.108819992073 1.135309349704 8 11 5 4 1230 2310 2310 0132 0 1 1 0 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 2 -2 4 0 -4 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.253630437884 0.549260352101 9 7 4 10 1302 0213 0132 3201 0 1 0 1 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 -2 2 0 0 0 -5 5 -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.531099547475 1.411492465755 9 6 7 7 0132 0132 0213 1230 0 1 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 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.427567626993 1.123126209950 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_0']), 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : negation(d['c_0101_10']), 'c_1001_4' : negation(d['c_0101_10']), 'c_1001_7' : d['c_1001_1'], 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : negation(d['c_1001_10']), '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' : d['c_0011_12'], '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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : negation(d['c_1001_10']), 'c_1100_6' : d['c_1001_0'], 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : d['c_0110_2'], 'c_1100_3' : d['c_0110_2'], 'c_1100_2' : negation(d['c_1001_10']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_10']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_1001_10']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_10']), 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : negation(d['c_0101_10']), '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' : d['c_0101_2'], '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_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_12']), '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_0101_10'], 'c_0110_10' : negation(d['c_0011_3']), 'c_0110_12' : d['c_0011_7'], 'c_0101_12' : d['c_0011_7'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_7'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_7'], 'c_0110_8' : d['c_0011_7'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0110_2'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0110_2']), 'c_0110_4' : d['c_0011_12'], 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : d['c_0110_2']})} 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_12, c_0011_3, c_0011_7, c_0101_0, c_0101_10, c_0101_2, c_0110_2, c_1001_0, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 7 Groebner basis: [ t + 52186103248487/598674522106368*c_1001_10^6 + 189198347941429/12472385877216*c_1001_10^5 + 12985292541582803/299337261053184*c_1001_10^4 + 15053290307549573/149668630526592*c_1001_10^3 + 54758139948126755/598674522106368*c_1001_10^2 + 1567156498250987/66519391345152*c_1001_10 - 871277941018423/299337261053184, c_0011_0 - 1, c_0011_10 - 193618847/346455163256*c_1001_10^6 - 17535417727/173227581628*c_1001_10^5 - 166938644397/173227581628*c_1001_10^4 - 68411345530/43306895407*c_1001_10^3 - 1274468480003/346455163256*c_1001_10^2 - 111280918177/346455163256*c_1001_10 + 28559824823/86613790814, c_0011_11 - 1, c_0011_12 - 2514491751/173227581628*c_1001_10^6 - 218006652817/86613790814*c_1001_10^5 - 490459208569/86613790814*c_1001_10^4 - 599735742664/43306895407*c_1001_10^3 - 1386925170115/173227581628*c_1001_10^2 - 499746909137/173227581628*c_1001_10 - 29909796750/43306895407, c_0011_3 + 593877563/173227581628*c_1001_10^6 + 51350837553/86613790814*c_1001_10^5 + 92346663501/86613790814*c_1001_10^4 + 158742475106/43306895407*c_1001_10^3 + 526642521079/173227581628*c_1001_10^2 + 838308222345/173227581628*c_1001_10 + 60720565837/43306895407, c_0011_7 + 1, c_0101_0 - 2514491751/173227581628*c_1001_10^6 - 218006652817/86613790814*c_1001_10^5 - 490459208569/86613790814*c_1001_10^4 - 599735742664/43306895407*c_1001_10^3 - 1386925170115/173227581628*c_1001_10^2 - 499746909137/173227581628*c_1001_10 - 29909796750/43306895407, c_0101_10 - 4935280177/346455163256*c_1001_10^6 - 428074964761/173227581628*c_1001_10^5 - 994610802771/173227581628*c_1001_10^4 - 596449895947/43306895407*c_1001_10^3 - 3061797421997/346455163256*c_1001_10^2 - 617878328167/346455163256*c_1001_10 - 4049639911/86613790814, c_0101_2 - 2106168747/346455163256*c_1001_10^6 - 182711138651/173227581628*c_1001_10^5 - 429242636993/173227581628*c_1001_10^4 - 262668010949/43306895407*c_1001_10^3 - 1418484857415/346455163256*c_1001_10^2 - 750918234917/346455163256*c_1001_10 - 55241745065/86613790814, c_0110_2 + 2922814755/346455163256*c_1001_10^6 + 253302166983/173227581628*c_1001_10^5 + 551675780145/173227581628*c_1001_10^4 + 337067731715/43306895407*c_1001_10^3 + 1355365482815/346455163256*c_1001_10^2 + 248575583357/346455163256*c_1001_10 + 4577848435/86613790814, c_1001_0 - 1, c_1001_1 + 2922814755/346455163256*c_1001_10^6 + 253302166983/173227581628*c_1001_10^5 + 551675780145/173227581628*c_1001_10^4 + 337067731715/43306895407*c_1001_10^3 + 1355365482815/346455163256*c_1001_10^2 + 248575583357/346455163256*c_1001_10 + 4577848435/86613790814, c_1001_10^7 + 174*c_1001_10^6 + 494*c_1001_10^5 + 1168*c_1001_10^4 + 1093*c_1001_10^3 + 411*c_1001_10^2 + 104*c_1001_10 + 48 ], 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_12, c_0011_3, c_0011_7, c_0101_0, c_0101_10, c_0101_2, c_0110_2, c_1001_0, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 3816146013777097306773337/53293685472882881015566338*c_1001_10^9 - 8621049715134628019252686/986920101349682981769747*c_1001_10^8 - 5486164280385557537736438694/8882280912147146835927723*c_1001_10^7 - 21660932089614700743676675271/53293685472882881015566338*c_1001_10^\ 6 + 30909798095960803254008458997/53293685472882881015566338*c_1001\ _10^5 + 7466851208949068465617456225/17764561824294293671855446*c_1\ 001_10^4 - 11954238186699935714025387347/26646842736441440507783169\ *c_1001_10^3 - 1633876615024314503473357681/59215206080980978906184\ 82*c_1001_10^2 + 272341372826261142976214257/1973840202699365963539\ 494*c_1001_10 - 32216073528363597839575237/197384020269936596353949\ 4, c_0011_0 - 1, c_0011_10 + 80150028726319302209/11343909210915896342181*c_1001_10^9 + 3229234290518221668155/3781303070305298780727*c_1001_10^8 + 226824718653205601703157/3781303070305298780727*c_1001_10^7 - 309591899323670525703737/11343909210915896342181*c_1001_10^6 - 388666963191947835152428/11343909210915896342181*c_1001_10^5 + 2940303466513053220787/420144785589477642303*c_1001_10^4 + 486796745563750915928213/11343909210915896342181*c_1001_10^3 - 110623751788420279963141/3781303070305298780727*c_1001_10^2 + 8512381513630832985625/1260434356768432926909*c_1001_10 + 235103560862512585891/420144785589477642303, c_0011_11 + 211681482153611573464/34031727632747689026543*c_1001_10^9 + 2815406586562132108270/3781303070305298780727*c_1001_10^8 + 589097948907789443137535/11343909210915896342181*c_1001_10^7 - 2916867455660430822555295/34031727632747689026543*c_1001_10^6 - 105706096716171464904542/34031727632747689026543*c_1001_10^5 + 500154311193104984608202/11343909210915896342181*c_1001_10^4 + 1128796743010769135567026/34031727632747689026543*c_1001_10^3 - 266026756057422435720598/3781303070305298780727*c_1001_10^2 + 40282588759150953188710/1260434356768432926909*c_1001_10 - 5838798190035603483068/1260434356768432926909, c_0011_12 - 174832592250373697512/34031727632747689026543*c_1001_10^9 - 2326848974626163431375/3781303070305298780727*c_1001_10^8 - 487125823810773360345539/11343909210915896342181*c_1001_10^7 + 2284954822894285723024270/34031727632747689026543*c_1001_10^6 - 313789431554595688863004/34031727632747689026543*c_1001_10^5 - 312823044434737172564336/11343909210915896342181*c_1001_10^4 - 580068981491344904652220/34031727632747689026543*c_1001_10^3 + 207877172981372445688129/3781303070305298780727*c_1001_10^2 - 45318626022466681638406/1260434356768432926909*c_1001_10 + 10436144393885340567674/1260434356768432926909, c_0011_3 - 451019282337583317539/11343909210915896342181*c_1001_10^9 - 18066492499746721028446/3781303070305298780727*c_1001_10^8 - 1263688655453047954533097/3781303070305298780727*c_1001_10^7 + 4418125834834834540270469/11343909210915896342181*c_1001_10^6 + 1056167447968448499365443/11343909210915896342181*c_1001_10^5 - 708247992288018467013104/3781303070305298780727*c_1001_10^4 - 2545711807418943694515494/11343909210915896342181*c_1001_10^3 + 1254264435628652860761908/3781303070305298780727*c_1001_10^2 - 170635869155392587498737/1260434356768432926909*c_1001_10 + 2303652696187401141718/140048261863159214101, c_0011_7 - 451019282337583317539/11343909210915896342181*c_1001_10^9 - 18066492499746721028446/3781303070305298780727*c_1001_10^8 - 1263688655453047954533097/3781303070305298780727*c_1001_10^7 + 4418125834834834540270469/11343909210915896342181*c_1001_10^6 + 1056167447968448499365443/11343909210915896342181*c_1001_10^5 - 708247992288018467013104/3781303070305298780727*c_1001_10^4 - 2545711807418943694515494/11343909210915896342181*c_1001_10^3 + 1254264435628652860761908/3781303070305298780727*c_1001_10^2 - 170635869155392587498737/1260434356768432926909*c_1001_10 + 2163604434324241927617/140048261863159214101, c_0101_0 + 149702968802862626081/34031727632747689026543*c_1001_10^9 + 2018392327771113631763/3781303070305298780727*c_1001_10^8 + 426523707082318001398063/11343909210915896342181*c_1001_10^7 + 25840202317816293347035/34031727632747689026543*c_1001_10^6 - 904101162838747789201561/34031727632747689026543*c_1001_10^5 - 110809013680736951366051/11343909210915896342181*c_1001_10^4 + 835989307695126897901331/34031727632747689026543*c_1001_10^3 - 11768457185714817774827/3781303070305298780727*c_1001_10^2 - 1857133406596621430809/1260434356768432926909*c_1001_10 - 54596832982155642097/1260434356768432926909, c_0101_10 + 105955208803810123573/11343909210915896342181*c_1001_10^9 + 4254338260380207556601/3781303070305298780727*c_1001_10^8 + 298088505526797571583615/3781303070305298780727*c_1001_10^7 - 781514235470627933657719/11343909210915896342181*c_1001_10^6 - 401394237655623473558372/11343909210915896342181*c_1001_10^5 + 117801370393980518090677/3781303070305298780727*c_1001_10^4 + 656458357600198381519345/11343909210915896342181*c_1001_10^3 - 225418002006777163418860/3781303070305298780727*c_1001_10^2 + 24380508874569124021789/1260434356768432926909*c_1001_10 - 146451591978200857352/140048261863159214101, c_0101_2 + 18929117933057499764/1260434356768432926909*c_1001_10^9 + 6833675736875748168026/3781303070305298780727*c_1001_10^8 + 159491019503150250456145/1260434356768432926909*c_1001_10^7 - 158668490579408242362193/1260434356768432926909*c_1001_10^6 - 183005946530012038657664/3781303070305298780727*c_1001_10^5 + 211705040872158782126930/3781303070305298780727*c_1001_10^4 + 111493123623031058918764/1260434356768432926909*c_1001_10^3 - 407199024993075498027478/3781303070305298780727*c_1001_10^2 + 50010892550227438956646/1260434356768432926909*c_1001_10 - 1967245215197726222185/420144785589477642303, c_0110_2 + 60758013627975758744/11343909210915896342181*c_1001_10^9 + 2443761205889607958024/3781303070305298780727*c_1001_10^8 + 171440765372227969870315/3781303070305298780727*c_1001_10^7 - 341055676607042177462729/11343909210915896342181*c_1001_10^6 - 255314707953556015837870/11343909210915896342181*c_1001_10^5 + 29108849622693306718067/3781303070305298780727*c_1001_10^4 + 356979864657344270934404/11343909210915896342181*c_1001_10^3 - 100981252254725221689632/3781303070305298780727*c_1001_10^2 + 12366213678876619702853/1260434356768432926909*c_1001_10 - 311964070296814622507/140048261863159214101, c_1001_0 - 1, c_1001_1 + 361383215389689867547/34031727632747689026543*c_1001_10^9 + 1605094469701544845421/1260434356768432926909*c_1001_10^8 + 1008895468446034252707242/11343909210915896342181*c_1001_10^7 - 4309889447961838837126246/34031727632747689026543*c_1001_10^6 - 742952355931360558717415/34031727632747689026543*c_1001_10^5 + 745924136297213297746841/11343909210915896342181*c_1001_10^4 + 2174325030126711692905297/34031727632747689026543*c_1001_10^3 - 395430567807360680252651/3781303070305298780727*c_1001_10^2 + 51868025956824060387455/1260434356768432926909*c_1001_10 - 5847138812611023024458/1260434356768432926909, c_1001_10^10 + 120*c_1001_10^9 + 8385*c_1001_10^8 - 11233*c_1001_10^7 - 599*c_1001_10^6 + 5076*c_1001_10^5 + 4825*c_1001_10^4 - 9294*c_1001_10^3 + 4887*c_1001_10^2 - 1026*c_1001_10 + 81 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.340 Total time: 0.540 seconds, Total memory usage: 32.09MB