Magma V2.19-8 Tue Aug 20 2013 16:16:36 on localhost [Seed = 1899031977] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0903 geometric_solution 4.80038694 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -1 0 1 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.504552329209 0.152069366460 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 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 -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.678538418552 0.395537339344 1 3 4 5 0132 0213 0132 0132 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 0 0 0 0 0 0 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.299266817076 0.665536139587 5 4 2 1 3201 1023 0213 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.299266817076 0.665536139587 3 6 6 2 1023 0132 1023 0132 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 0 0 0 0 0 0 0 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.205771175831 0.856684613774 5 5 2 3 1302 2031 0132 2310 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 0 0 0 0 0 -1 0 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.393959001086 0.501550024565 6 4 4 6 3012 0132 1023 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 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.722676689717 0.270919811387 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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' : negation(d['1']), 's_0_6' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 1670894011877188/79185575907*c_0101_6^11 + 1723931063056502/79185575907*c_0101_6^10 + 1616181894144914/79185575907*c_0101_6^9 + 1619577511540028/79185575907*c_0101_6^8 + 50075414004444799/79185575907*c_0101_6^7 - 16681806344264863/26395191969*c_0101_6^6 - 30158699535441253/79185575907*c_0101_6^5 - 132713764980158128/79185575907*c_0101_6^4 - 17532660043064810/26395191969*c_0101_6^3 + 178785198134133937/79185575907*c_0101_6^2 + 8690522823660278/26395191969*c_0101_6 - 52626012973374559/79185575907, c_0011_0 - 1, c_0011_1 + 240896445/8798397323*c_0101_6^11 - 450638592/8798397323*c_0101_6^10 + 401384518/8798397323*c_0101_6^9 - 508072311/8798397323*c_0101_6^8 - 6987864963/8798397323*c_0101_6^7 + 12589140237/8798397323*c_0101_6^6 - 14224319012/8798397323*c_0101_6^5 + 29684791146/8798397323*c_0101_6^4 - 14073442840/8798397323*c_0101_6^3 + 9728619064/8798397323*c_0101_6^2 + 19537993949/8798397323*c_0101_6 - 8153423047/8798397323, c_0011_3 - 2832369508/8798397323*c_0101_6^11 + 3607479512/8798397323*c_0101_6^10 + 557163560/8798397323*c_0101_6^9 + 4259671704/8798397323*c_0101_6^8 + 84271035868/8798397323*c_0101_6^7 - 103067431919/8798397323*c_0101_6^6 + 13416652920/8798397323*c_0101_6^5 - 275155431393/8798397323*c_0101_6^4 - 20974054670/8798397323*c_0101_6^3 + 177522893088/8798397323*c_0101_6^2 - 21839821629/8798397323*c_0101_6 - 732826696/8798397323, c_0011_5 + 1175078356/8798397323*c_0101_6^11 - 1247032292/8798397323*c_0101_6^10 - 749183208/8798397323*c_0101_6^9 - 1501024923/8798397323*c_0101_6^8 - 35284650644/8798397323*c_0101_6^7 + 35763800750/8798397323*c_0101_6^6 + 9637446300/8798397323*c_0101_6^5 + 105031984865/8798397323*c_0101_6^4 + 33579994483/8798397323*c_0101_6^3 - 95140580144/8798397323*c_0101_6^2 - 9767451891/8798397323*c_0101_6 + 8480537593/8798397323, c_0101_0 - 137788211/8798397323*c_0101_6^11 + 216385815/8798397323*c_0101_6^10 + 58770701/8798397323*c_0101_6^9 + 271328351/8798397323*c_0101_6^8 + 3916614906/8798397323*c_0101_6^7 - 6112309003/8798397323*c_0101_6^6 - 612640839/8798397323*c_0101_6^5 - 15891252349/8798397323*c_0101_6^4 + 5845916642/8798397323*c_0101_6^3 + 11555989531/8798397323*c_0101_6^2 + 12325678601/8798397323*c_0101_6 + 934181911/8798397323, c_0101_4 - 2622627361/8798397323*c_0101_6^11 + 2965198549/8798397323*c_0101_6^10 + 824339426/8798397323*c_0101_6^9 + 4020643317/8798397323*c_0101_6^8 + 78667892536/8798397323*c_0101_6^7 - 84266080452/8798397323*c_0101_6^6 + 3003577374/8798397323*c_0101_6^5 - 252891509423/8798397323*c_0101_6^4 - 56237696904/8798397323*c_0101_6^3 + 153407866684/8798397323*c_0101_6^2 + 2579788536/8798397323*c_0101_6 - 491930251/8798397323, c_0101_6^12 - c_0101_6^11 - c_0101_6^10 - c_0101_6^9 - 30*c_0101_6^8 + 29*c_0101_6^7 + 19*c_0101_6^6 + 80*c_0101_6^5 + 34*c_0101_6^4 - 106*c_0101_6^3 - 19*c_0101_6^2 + 31*c_0101_6 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 102643319138096414794/4308494701525727483*c_0101_6^12 - 56798936512564095967/4308494701525727483*c_0101_6^11 - 1698662066888408372861/4308494701525727483*c_0101_6^10 - 5531030519221200283721/4308494701525727483*c_0101_6^9 - 86587187476836905100795/4308494701525727483*c_0101_6^8 + 65424646531532377447151/4308494701525727483*c_0101_6^7 + 8413963792712873361157/4308494701525727483*c_0101_6^6 - 1550928080371542433081/4308494701525727483*c_0101_6^5 + 13357888776594762457886/4308494701525727483*c_0101_6^4 - 4668148932460379609151/4308494701525727483*c_0101_6^3 - 1430391850644179172525/4308494701525727483*c_0101_6^2 - 408191378004090378152/4308494701525727483*c_0101_6 + 44608157955059519021/4308494701525727483, c_0011_0 - 1, c_0011_1 + 28363765582648354/4308494701525727483*c_0101_6^12 - 108915859372360879/4308494701525727483*c_0101_6^11 - 379154518742578116/4308494701525727483*c_0101_6^10 + 6066745218091927/4308494701525727483*c_0101_6^9 - 19573843255314798070/4308494701525727483*c_0101_6^8 + 94427001573580825936/4308494701525727483*c_0101_6^7 - 90038231278908907145/4308494701525727483*c_0101_6^6 + 6770035220541138978/4308494701525727483*c_0101_6^5 + 36503690793170701550/4308494701525727483*c_0101_6^4 - 24962020720893065250/4308494701525727483*c_0101_6^3 + 14306115147979874907/4308494701525727483*c_0101_6^2 - 454288262303601570/4308494701525727483*c_0101_6 - 3910264202558560435/4308494701525727483, c_0011_3 - 940194151470728250/4308494701525727483*c_0101_6^12 + 7213213349858621/4308494701525727483*c_0101_6^11 + 16020318578614845580/4308494701525727483*c_0101_6^10 + 59072591799829755767/4308494701525727483*c_0101_6^9 + 817847645049272973243/4308494701525727483*c_0101_6^8 - 176286876548974412613/4308494701525727483*c_0101_6^7 - 554556355220571164248/4308494701525727483*c_0101_6^6 + 69804924808500565572/4308494701525727483*c_0101_6^5 - 104034288363832461757/4308494701525727483*c_0101_6^4 - 26007313954882057685/4308494701525727483*c_0101_6^3 + 65893618221790922704/4308494701525727483*c_0101_6^2 + 4201680643669736488/4308494701525727483*c_0101_6 + 410175011019478525/4308494701525727483, c_0011_5 + 463307604883862711/4308494701525727483*c_0101_6^12 - 18115095688036045/4308494701525727483*c_0101_6^11 - 8000155658954378971/4308494701525727483*c_0101_6^10 - 28836756873593263965/4308494701525727483*c_0101_6^9 - 400309472330684964478/4308494701525727483*c_0101_6^8 + 105784311258795690623/4308494701525727483*c_0101_6^7 + 361212585409608145315/4308494701525727483*c_0101_6^6 - 83344515098966372038/4308494701525727483*c_0101_6^5 + 1661391405442567448/4308494701525727483*c_0101_6^4 + 22557836883858037756/4308494701525727483*c_0101_6^3 - 47904825215047260741/4308494701525727483*c_0101_6^2 + 683780863904529279/4308494701525727483*c_0101_6 + 4004162254414343485/4308494701525727483, c_0101_0 + 154489187834374325/4308494701525727483*c_0101_6^12 - 303313810104441809/4308494701525727483*c_0101_6^11 - 2523174797705052348/4308494701525727483*c_0101_6^10 - 4644943512504015397/4308494701525727483*c_0101_6^9 - 117174999568089971533/4308494701525727483*c_0101_6^8 + 286485510470866393127/4308494701525727483*c_0101_6^7 - 53942116949364999189/4308494701525727483*c_0101_6^6 - 97629591155666434577/4308494701525727483*c_0101_6^5 + 45784636610970859409/4308494701525727483*c_0101_6^4 - 49073606329133598130/4308494701525727483*c_0101_6^3 - 5178748738389408896/4308494701525727483*c_0101_6^2 + 7825219203559420630/4308494701525727483*c_0101_6 + 883461412461376222/4308494701525727483, c_0101_4 - 1318405251762590579/4308494701525727483*c_0101_6^12 + 63688424150049491/4308494701525727483*c_0101_6^11 + 22336531341950754820/4308494701525727483*c_0101_6^10 + 81977717806173005530/4308494701525727483*c_0101_6^9 + 1145585575816724840373/4308494701525727483*c_0101_6^8 - 286671902083891179958/4308494701525727483*c_0101_6^7 - 658620235783559967431/4308494701525727483*c_0101_6^6 + 62676275743983798487/4308494701525727483*c_0101_6^5 - 155550740076382803785/4308494701525727483*c_0101_6^4 - 14987142180700886927/4308494701525727483*c_0101_6^3 + 67911941606498863282/4308494701525727483*c_0101_6^2 + 5059368136619197514/4308494701525727483*c_0101_6 - 89207253413483290/4308494701525727483, c_0101_6^13 - 17*c_0101_6^11 - 63*c_0101_6^10 - 871*c_0101_6^9 + 179*c_0101_6^8 + 559*c_0101_6^7 - 30*c_0101_6^6 + 105*c_0101_6^5 + 15*c_0101_6^4 - 62*c_0101_6^3 - 8*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB