Magma V2.19-8 Tue Aug 20 2013 16:16:14 on localhost [Seed = 2017060027] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0492 geometric_solution 4.50981839 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 0 0 0 0 0 0 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.409453899827 0.917175564119 0 1 1 0 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.612529653369 0.112639483187 0 3 4 0 3201 0132 0132 0132 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 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.413981668018 0.865169857052 5 2 4 4 0132 0132 1302 2031 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 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.319979174457 0.353455079043 3 3 5 2 2031 1302 2310 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 -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.319979174457 0.353455079043 3 4 6 6 0132 3201 2310 0132 0 0 0 0 0 -1 1 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 -1 1 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.772483520928 1.686414379423 6 5 5 6 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.008076729090 0.482342054475 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_1_0' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 31337307461744983097315/10631804940186915998311*c_0101_5^13 - 180653588247358915285739/31895414820560747994933*c_0101_5^12 - 1619414897593992071131031/31895414820560747994933*c_0101_5^11 + 137952748773252209074277/31895414820560747994933*c_0101_5^10 + 2353814177810440864210391/10631804940186915998311*c_0101_5^9 + 371663087692191281228459/10631804940186915998311*c_0101_5^8 - 1953801569963035995384986/10631804940186915998311*c_0101_5^7 + 4727899699906109398149953/31895414820560747994933*c_0101_5^6 - 4065526233269144866185482/10631804940186915998311*c_0101_5^5 - 1255621880449102698113139/10631804940186915998311*c_0101_5^4 + 10161332792127515813489846/31895414820560747994933*c_0101_5^3 - 3220113780899727646671577/10631804940186915998311*c_0101_5^2 + 3167407933295290806631225/10631804940186915998311*c_0101_5 - 3299586118090997579719348/31895414820560747994933, c_0011_0 - 1, c_0011_2 + 203840408039269273490/559568681062469263069*c_0101_5^13 - 568214455657830226393/559568681062469263069*c_0101_5^12 - 2880459002482371551963/559568681062469263069*c_0101_5^11 + 2457529917736199581759/559568681062469263069*c_0101_5^10 + 11098428547694438853140/559568681062469263069*c_0101_5^9 - 6337536878504809790772/559568681062469263069*c_0101_5^8 + 811921618804512358876/559568681062469263069*c_0101_5^7 + 8937360249684432140531/559568681062469263069*c_0101_5^6 - 34899742835506828611635/559568681062469263069*c_0101_5^5 + 24255340895826943651544/559568681062469263069*c_0101_5^4 - 18719937917520649607954/559568681062469263069*c_0101_5^3 + 7859857677490206068572/559568681062469263069*c_0101_5^2 + 1654187976577206356026/559568681062469263069*c_0101_5 - 1389015657506243364537/559568681062469263069, c_0011_4 - 246840075853393555540/559568681062469263069*c_0101_5^13 + 667329197063867695528/559568681062469263069*c_0101_5^12 + 3604593097073765759618/559568681062469263069*c_0101_5^11 - 2794270109943919206491/559568681062469263069*c_0101_5^10 - 14693025120092745284714/559568681062469263069*c_0101_5^9 + 6543583650543648788589/559568681062469263069*c_0101_5^8 + 4072275111615516644585/559568681062469263069*c_0101_5^7 - 9478047673697249780063/559568681062469263069*c_0101_5^6 + 37236726741625320089951/559568681062469263069*c_0101_5^5 - 25764092907072306380846/559568681062469263069*c_0101_5^4 + 15871490121454188250711/559568681062469263069*c_0101_5^3 - 7860481323993794393867/559568681062469263069*c_0101_5^2 - 1523832087638786655161/559568681062469263069*c_0101_5 + 1900696629907745159758/559568681062469263069, c_0011_6 + 153534029820098084840/559568681062469263069*c_0101_5^13 - 408866833931360157918/559568681062469263069*c_0101_5^12 - 2231992647505921729812/559568681062469263069*c_0101_5^11 + 1591594019168855283862/559568681062469263069*c_0101_5^10 + 8770522800560753643372/559568681062469263069*c_0101_5^9 - 3639422967870089038995/559568681062469263069*c_0101_5^8 - 882750917158314696687/559568681062469263069*c_0101_5^7 + 6057429252341500259364/559568681062469263069*c_0101_5^6 - 23990085172945602505486/559568681062469263069*c_0101_5^5 + 15899071176489664525605/559568681062469263069*c_0101_5^4 - 12240718223688849784137/559568681062469263069*c_0101_5^3 + 4827412624827876289654/559568681062469263069*c_0101_5^2 + 979455925899908636586/559568681062469263069*c_0101_5 - 1252332994369211588754/559568681062469263069, c_0101_0 - 205160616009133660950/559568681062469263069*c_0101_5^13 + 524501139562658147005/559568681062469263069*c_0101_5^12 + 3051147954122916306742/559568681062469263069*c_0101_5^11 - 1797809279818846071176/559568681062469263069*c_0101_5^10 - 12187381912981554088714/559568681062469263069*c_0101_5^9 + 3112734946456869918259/559568681062469263069*c_0101_5^8 + 2497131541387668000662/559568681062469263069*c_0101_5^7 - 5806655464999825994561/559568681062469263069*c_0101_5^6 + 30837893469941982208724/559568681062469263069*c_0101_5^5 - 18388963343510294457978/559568681062469263069*c_0101_5^4 + 14409571985405136657328/559568681062469263069*c_0101_5^3 - 7877595658227593093585/559568681062469263069*c_0101_5^2 - 1048280028286507835558/559568681062469263069*c_0101_5 + 1131990225683212791211/559568681062469263069, c_0101_1 + 304007111595471704790/559568681062469263069*c_0101_5^13 - 799914140391795933553/559568681062469263069*c_0101_5^12 - 4514167609052193555953/559568681062469263069*c_0101_5^11 + 3149493847111088079090/559568681062469263069*c_0101_5^10 + 18618131636109999759351/559568681062469263069*c_0101_5^9 - 6776285271049933742384/559568681062469263069*c_0101_5^8 - 6897714215597791498050/559568681062469263069*c_0101_5^7 + 11128827908342543599566/559568681062469263069*c_0101_5^6 - 43164883215493813302249/559568681062469263069*c_0101_5^5 + 27793940486910624667877/559568681062469263069*c_0101_5^4 - 17467947132017669117446/559568681062469263069*c_0101_5^3 + 8543629132725963699199/559568681062469263069*c_0101_5^2 + 1467806801157890529863/559568681062469263069*c_0101_5 - 1689418820895507148702/559568681062469263069, c_0101_5^14 - 16/5*c_0101_5^13 - 66/5*c_0101_5^12 + 92/5*c_0101_5^11 + 53*c_0101_5^10 - 276/5*c_0101_5^9 + 4/5*c_0101_5^8 + 222/5*c_0101_5^7 - 866/5*c_0101_5^6 + 182*c_0101_5^5 - 621/5*c_0101_5^4 + 343/5*c_0101_5^3 - 10*c_0101_5^2 - 54/5*c_0101_5 + 19/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB