Magma V2.19-8 Tue Aug 20 2013 16:14:13 on localhost [Seed = 1764291910] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s176 geometric_solution 4.27107505 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -1 0 0 1 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 1 1 -2 1 0 0 -1 -1 2 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.003122290854 0.514395832474 0 0 3 2 0132 3201 0132 0132 0 0 0 0 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 1 -1 0 -1 0 0 1 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.248531634385 1.043743423826 4 3 1 3 0132 2031 0132 3012 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 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.897929571581 0.635076083067 2 4 2 1 1302 2310 1230 0132 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 -1 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 0 0 0.897929571581 0.635076083067 2 5 5 3 0132 0132 3201 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 -1 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.269997460575 0.295160003886 4 4 5 5 2310 0132 1230 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 1 -1 0 0 1 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.800354270163 1.152328368487 ==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' : negation(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_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_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_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_0011_2']), 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 155744073265828288939337/37238209638127634887856*c_0101_5^15 + 1404413494251523492808381/55857314457191452331784*c_0101_5^14 + 18688169173271791105012657/111714628914382904663568*c_0101_5^13 - 31726850571915540544712525/37238209638127634887856*c_0101_5^12 + 13780336178673011691923381/6982164307148931541473*c_0101_5^11 - 19391573132996496688306311/9309552409531908721964*c_0101_5^10 - 406508553616323009957954511/55857314457191452331784*c_0101_5^9 + 49687441812365392684643827/1994904087756837583278*c_0101_5^8 - 744200799402965659113512851/37238209638127634887856*c_0101_5^7 - 73114378842488294824026793/7979616351027350333112*c_0101_5^6 + 2057304425251578405010774291/111714628914382904663568*c_0101_5^5 - 245963344713585337926448605/37238209638127634887856*c_0101_5^4 + 235633803641309039321007595/111714628914382904663568*c_0101_5^3 - 85831581237150183057081289/37238209638127634887856*c_0101_5^2 + 61541482197170717268220151/111714628914382904663568*c_0101_5 + 12549803997547342264611269/111714628914382904663568, c_0011_0 - 1, c_0011_2 - 952126215223463708529/5319744234018233555408*c_0101_5^15 + 2118902696883869696145/2659872117009116777704*c_0101_5^14 + 45050904292763563245687/5319744234018233555408*c_0101_5^13 - 125216581262880837220685/5319744234018233555408*c_0101_5^12 + 59280902917443854720733/1329936058504558388852*c_0101_5^11 - 7236599764886830146947/664968029252279194426*c_0101_5^10 - 917862570608464365437723/2659872117009116777704*c_0101_5^9 + 707073666416316865187907/1329936058504558388852*c_0101_5^8 + 543773231651105599797145/5319744234018233555408*c_0101_5^7 - 1139800188595032377173421/2659872117009116777704*c_0101_5^6 + 467281518534213922598129/5319744234018233555408*c_0101_5^5 + 12502967058110863812319/5319744234018233555408*c_0101_5^4 + 269324418081711849118529/5319744234018233555408*c_0101_5^3 - 37190617454897856170925/5319744234018233555408*c_0101_5^2 - 23716903695923279053403/5319744234018233555408*c_0101_5 - 2233247715123665338981/5319744234018233555408, c_0101_0 - 287075393223620248355/5319744234018233555408*c_0101_5^15 + 692012181390508168859/2659872117009116777704*c_0101_5^14 + 13220291276992219252125/5319744234018233555408*c_0101_5^13 - 43172473768385361817095/5319744234018233555408*c_0101_5^12 + 19980359302443894387183/1329936058504558388852*c_0101_5^11 - 2158433818707539657449/332484014626139597213*c_0101_5^10 - 283244839875574686420337/2659872117009116777704*c_0101_5^9 + 261625358600472198997295/1329936058504558388852*c_0101_5^8 + 47970019029835223829147/5319744234018233555408*c_0101_5^7 - 448458108993423640840195/2659872117009116777704*c_0101_5^6 + 209586824732645567285355/5319744234018233555408*c_0101_5^5 + 55930701981945740965141/5319744234018233555408*c_0101_5^4 + 124562367811456129549203/5319744234018233555408*c_0101_5^3 - 8819387985050459458247/5319744234018233555408*c_0101_5^2 - 12184561800647662122425/5319744234018233555408*c_0101_5 - 4711517879479303466967/5319744234018233555408, c_0101_1 + 21622001333305550115/2659872117009116777704*c_0101_5^15 - 142818860583197362259/2659872117009116777704*c_0101_5^14 - 102488532754490519742/332484014626139597213*c_0101_5^13 + 5071653410470653479647/2659872117009116777704*c_0101_5^12 - 11345625393427529503837/2659872117009116777704*c_0101_5^11 + 12126808944199981268067/2659872117009116777704*c_0101_5^10 + 41017970571842540575549/2659872117009116777704*c_0101_5^9 - 155811644043210173284279/2659872117009116777704*c_0101_5^8 + 59758624591046958367679/1329936058504558388852*c_0101_5^7 + 25863540234602348616629/664968029252279194426*c_0101_5^6 - 147177036908624323384927/2659872117009116777704*c_0101_5^5 + 1584148112389646340927/664968029252279194426*c_0101_5^4 + 17374317804451756001865/2659872117009116777704*c_0101_5^3 + 1663549985903401834632/332484014626139597213*c_0101_5^2 + 2728350492990638448697/2659872117009116777704*c_0101_5 - 198377512000609669744/332484014626139597213, c_0101_4 + 689130764402775271285/5319744234018233555408*c_0101_5^15 - 745296698158438357243/1329936058504558388852*c_0101_5^14 - 32943459258855257433073/5319744234018233555408*c_0101_5^13 + 86391918291463648002481/5319744234018233555408*c_0101_5^12 - 81318105020114623735271/2659872117009116777704*c_0101_5^11 + 12231845349929704304283/2659872117009116777704*c_0101_5^10 + 331167031127124105424043/1329936058504558388852*c_0101_5^9 - 943098394679731720849477/2659872117009116777704*c_0101_5^8 - 566971230981834188552371/5319744234018233555408*c_0101_5^7 + 764214051192837925016423/2659872117009116777704*c_0101_5^6 - 190317235792349156546125/5319744234018233555408*c_0101_5^5 + 568803164017460957187/143776871189681987984*c_0101_5^4 - 194234227708450306113517/5319744234018233555408*c_0101_5^3 + 3142996476980807353691/5319744234018233555408*c_0101_5^2 + 15031789340279724003383/5319744234018233555408*c_0101_5 + 1516658119460433592771/5319744234018233555408, c_0101_5^16 - 5*c_0101_5^15 - 45*c_0101_5^14 + 158*c_0101_5^13 - 315*c_0101_5^12 + 184*c_0101_5^11 + 1922*c_0101_5^10 - 4026*c_0101_5^9 + 823*c_0101_5^8 + 2977*c_0101_5^7 - 1671*c_0101_5^6 + 52*c_0101_5^5 - 264*c_0101_5^4 + 176*c_0101_5^3 + 32*c_0101_5^2 - 12*c_0101_5 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB