Magma V2.19-8 Wed Aug 21 2013 01:07:45 on localhost [Seed = 1949461845] Type ? for help. Type -D to quit. Loading file "L14n33841__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n33841 geometric_solution 11.77289197 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 1 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 0 0 0 0 1 -4 3 1 0 0 -1 4 -3 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.179027776211 0.987259274124 0 5 7 6 0132 0132 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 -1 0 0 1 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.013313996277 0.769366131816 8 0 8 6 0132 0132 3120 2031 1 0 1 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 1 0 0 0 1 -1 -1 0 0 1 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.849268952988 0.786448480232 9 4 9 0 0132 2310 2310 0132 1 1 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 -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 0 0 0 0 0 0.704193590957 1.238084781594 6 10 0 3 0321 0132 0132 3201 1 1 1 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 0 0 0 0 3 -3 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.226926082882 0.874725491622 11 1 6 7 0132 0132 0132 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.743632100525 0.806630390807 4 2 1 5 0321 1302 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 -1 0 1 0 -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 -0.088474371501 0.610213656255 9 12 5 1 2310 0132 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 0 0 0 0 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.113265539367 1.565673150014 2 11 2 10 0132 0132 3120 0132 1 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 3 -3 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.849268952988 0.786448480232 3 3 7 11 0132 3201 3201 0132 1 1 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 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.056050580538 0.540729470087 12 4 8 12 2031 0132 0132 1023 1 0 1 1 0 1 -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 0 -3 3 0 3 0 -1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460063342861 0.479883332104 5 8 9 12 0132 0132 0132 2310 1 1 1 1 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 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462499372468 0.750060687204 11 7 10 10 3201 0132 1302 1023 0 1 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 1 -3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.040993784353 1.085840838414 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0110_10'], 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_0110_12'], 'c_1001_7' : d['c_0110_10'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_0110_10'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_1001_10']), 'c_1001_2' : d['c_0110_12'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : negation(d['c_0110_12']), 'c_1010_12' : d['c_0110_10'], 'c_1010_11' : negation(d['c_0110_12']), 'c_1010_10' : d['c_0110_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'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0101_11' : d['c_0101_11'], '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_0011_12'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0101_8']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : negation(d['c_0101_10']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_10'], 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : d['c_0110_10'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : d['c_0110_12'], 'c_1010_9' : d['c_1001_10'], 'c_1010_8' : d['c_1001_10'], 'c_1100_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_10'], '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_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_12']), '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_12' : d['c_0110_12'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0011_10'], 's_2_9' : d['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_12, c_0011_3, c_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_8, c_0110_10, c_0110_12, c_1001_10, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 51706619320208714/2480918037903171*c_1100_1^12 - 914068478483504317/2480918037903171*c_1100_1^11 + 25779551125331141783/42175606644353907*c_1100_1^10 - 770476599817141235/4686178516039323*c_1100_1^9 - 14020514764926951466/42175606644353907*c_1100_1^8 - 290561781764095271/520686501782147*c_1100_1^7 + 60701217742585841135/42175606644353907*c_1100_1^6 + 21174815754180325874/42175606644353907*c_1100_1^5 - 2070080749233280015/42175606644353907*c_1100_1^4 - 2211832904542228226/14058535548117969*c_1100_1^3 + 23092020485908787827/42175606644353907*c_1100_1^2 - 3544114971657429179/14058535548117969*c_1100_1 - 10273176787157668210/42175606644353907, c_0011_0 - 1, c_0011_10 - 2068590136206/431388982421*c_1100_1^12 + 2957234119638/431388982421*c_1100_1^11 - 149623674028/431388982421*c_1100_1^10 - 2580362990676/431388982421*c_1100_1^9 - 2785073600998/431388982421*c_1100_1^8 + 6615905778811/431388982421*c_1100_1^7 + 6333387323184/431388982421*c_1100_1^6 + 1699827321582/431388982421*c_1100_1^5 + 1733058308488/431388982421*c_1100_1^4 + 3845499910950/431388982421*c_1100_1^3 + 400511451637/431388982421*c_1100_1^2 - 663514659554/431388982421*c_1100_1 - 339854596532/431388982421, c_0011_12 + 6432218741389/5176667789052*c_1100_1^12 - 12703835811517/2588333894526*c_1100_1^11 + 5779166213420/1294166947263*c_1100_1^10 + 1305551593274/431388982421*c_1100_1^9 - 32096259258079/5176667789052*c_1100_1^8 - 1868719861949/431388982421*c_1100_1^7 + 6296229481295/1294166947263*c_1100_1^6 + 28537135486081/2588333894526*c_1100_1^5 - 28611135788971/5176667789052*c_1100_1^4 + 5194625868457/1725555929684*c_1100_1^3 + 21151473571759/5176667789052*c_1100_1^2 - 20577958585/431388982421*c_1100_1 - 3161590554847/5176667789052, c_0011_3 + 4591355735057/1725555929684*c_1100_1^12 - 4007433493269/862777964842*c_1100_1^11 + 1713427653517/431388982421*c_1100_1^10 - 781040550382/431388982421*c_1100_1^9 + 10589127093593/1725555929684*c_1100_1^8 - 4013720231912/431388982421*c_1100_1^7 - 870173750617/431388982421*c_1100_1^6 - 7472549834039/862777964842*c_1100_1^5 - 6470061450611/1725555929684*c_1100_1^4 - 10977087382837/1725555929684*c_1100_1^3 - 4514432855841/1725555929684*c_1100_1^2 - 541848803693/431388982421*c_1100_1 - 119577666007/1725555929684, c_0011_6 + 15003536898935/5176667789052*c_1100_1^12 - 9728221216229/2588333894526*c_1100_1^11 + 25443909763/1294166947263*c_1100_1^10 + 1312334651016/431388982421*c_1100_1^9 + 21239103188407/5176667789052*c_1100_1^8 - 3036920541888/431388982421*c_1100_1^7 - 15054250748387/1294166947263*c_1100_1^6 - 8841810170737/2588333894526*c_1100_1^5 - 24786072493937/5176667789052*c_1100_1^4 - 6184562341773/1725555929684*c_1100_1^3 - 17008878326395/5176667789052*c_1100_1^2 + 550208388163/431388982421*c_1100_1 + 194089121611/5176667789052, c_0101_0 - 33205155301687/15530003367156*c_1100_1^12 + 25101506692213/7765001683578*c_1100_1^11 - 3595397966135/3882500841789*c_1100_1^10 - 402059714985/431388982421*c_1100_1^9 - 79274632454951/15530003367156*c_1100_1^8 + 3887470655855/431388982421*c_1100_1^7 + 15659112165628/3882500841789*c_1100_1^6 + 37105668492665/7765001683578*c_1100_1^5 - 13170350597903/15530003367156*c_1100_1^4 + 23593411904681/5176667789052*c_1100_1^3 - 10360645967713/15530003367156*c_1100_1^2 - 1226168264671/1294166947263*c_1100_1 - 9337146723731/15530003367156, c_0101_10 + 46831516324589/7765001683578*c_1100_1^12 - 16305049513727/3882500841789*c_1100_1^11 - 16087126625038/3882500841789*c_1100_1^10 + 2322831761224/431388982421*c_1100_1^9 + 117428877506113/7765001683578*c_1100_1^8 - 5991589863883/431388982421*c_1100_1^7 - 111559874332981/3882500841789*c_1100_1^6 - 87057064050631/3882500841789*c_1100_1^5 - 105917253728999/7765001683578*c_1100_1^4 - 51791684462995/2588333894526*c_1100_1^3 - 99193351631893/7765001683578*c_1100_1^2 - 2688621902762/1294166947263*c_1100_1 + 432229899259/7765001683578, c_0101_11 + 45065756973311/7765001683578*c_1100_1^12 - 31590898123793/3882500841789*c_1100_1^11 - 3614176673527/3882500841789*c_1100_1^10 + 4243375895469/431388982421*c_1100_1^9 + 46599484256209/7765001683578*c_1100_1^8 - 8130286730083/431388982421*c_1100_1^7 - 71518435781686/3882500841789*c_1100_1^6 - 4188841310548/3882500841789*c_1100_1^5 - 41762784458027/7765001683578*c_1100_1^4 - 26534466629707/2588333894526*c_1100_1^3 + 4983177525911/7765001683578*c_1100_1^2 + 2111157355462/1294166947263*c_1100_1 + 5236122074341/7765001683578, c_0101_8 - 15487100377469/7765001683578*c_1100_1^12 + 6536089756238/3882500841789*c_1100_1^11 + 7682685857500/3882500841789*c_1100_1^10 - 1463639824638/431388982421*c_1100_1^9 - 32386925914075/7765001683578*c_1100_1^8 + 2473365869631/431388982421*c_1100_1^7 + 39561628839046/3882500841789*c_1100_1^6 + 11783207543077/3882500841789*c_1100_1^5 + 12459921867623/7765001683578*c_1100_1^4 + 12415270509877/2588333894526*c_1100_1^3 + 28532368420255/7765001683578*c_1100_1^2 - 1098253426162/1294166947263*c_1100_1 + 2681457502955/7765001683578, c_0110_10 - 1, c_0110_12 - 72739846472885/15530003367156*c_1100_1^12 + 45090574329029/7765001683578*c_1100_1^11 + 1917210448640/3882500841789*c_1100_1^10 - 2508465687026/431388982421*c_1100_1^9 - 99589534144309/15530003367156*c_1100_1^8 + 5243452092295/431388982421*c_1100_1^7 + 66386509420058/3882500841789*c_1100_1^6 + 52607146426309/7765001683578*c_1100_1^5 + 121393335456839/15530003367156*c_1100_1^4 + 44954126693095/5176667789052*c_1100_1^3 + 79224924973465/15530003367156*c_1100_1^2 + 506771538538/1294166947263*c_1100_1 + 4113543931079/15530003367156, c_1001_10 - 6155818270309/15530003367156*c_1100_1^12 - 7294280453753/7765001683578*c_1100_1^11 + 7596403139725/3882500841789*c_1100_1^10 - 885331637851/431388982421*c_1100_1^9 + 24781501639495/15530003367156*c_1100_1^8 - 2051575578483/431388982421*c_1100_1^7 + 26478230176756/3882500841789*c_1100_1^6 + 23790170403125/7765001683578*c_1100_1^5 + 137122549695403/15530003367156*c_1100_1^4 + 9964331024723/5176667789052*c_1100_1^3 + 49301676468449/15530003367156*c_1100_1^2 + 3606412276265/1294166947263*c_1100_1 - 3613198068833/15530003367156, c_1100_1^13 - c_1100_1^12 - 6/17*c_1100_1^11 + 16/17*c_1100_1^10 + 37/17*c_1100_1^9 - 47/17*c_1100_1^8 - 4*c_1100_1^7 - 46/17*c_1100_1^6 - 25/17*c_1100_1^5 - 44/17*c_1100_1^4 - 22/17*c_1100_1^3 - 1/17*c_1100_1^2 + 1/17*c_1100_1 + 1/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.330 Total time: 0.540 seconds, Total memory usage: 32.09MB