Magma V2.19-8 Tue Aug 20 2013 16:18:02 on localhost [Seed = 3987501344] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2270 geometric_solution 5.69251497 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.526119000949 0.271836342793 2 0 3 0 0132 2310 0132 0132 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 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.973667993280 0.503297070301 1 4 3 5 0132 0132 3012 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 -1 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 0 0 0 0.919324058724 0.837798288136 5 2 4 1 3201 1230 1023 0132 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 0 1 -1 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.919324058724 0.837798288136 4 2 3 4 3012 0132 1023 1230 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 1 0 -1 1 0 -1 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.370289839600 0.806823465415 6 6 2 3 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 0.626261667995 1.339481073929 5 6 6 5 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.693802843436 0.441507682683 ==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' : 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_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], '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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], '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_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 42116439071139446730507397/426603255295606863628598*c_0101_0*c_0101\ _3^15 - 1533667498847948165694831733/1706413021182427454514392*c_01\ 01_0*c_0101_3^14 + 3542317770427530591839416975/8532065105912137272\ 57196*c_0101_0*c_0101_3^13 - 3193495362860348396641271888/213301627\ 647803431814299*c_0101_0*c_0101_3^12 - 24143618605082773795373872273/853206510591213727257196*c_0101_0*c_0\ 101_3^11 + 188830892037438783564466360255/1706413021182427454514392\ *c_0101_0*c_0101_3^10 + 13816818711605721207662425546/2133016276478\ 03431814299*c_0101_0*c_0101_3^9 - 396697616541951410646013792845/17\ 06413021182427454514392*c_0101_0*c_0101_3^8 - 115500667262716762761734154891/1706413021182427454514392*c_0101_0*c\ _0101_3^7 + 276463565311288138293892576325/170641302118242745451439\ 2*c_0101_0*c_0101_3^6 + 32246331748521606342560704197/8532065105912\ 13727257196*c_0101_0*c_0101_3^5 - 37088113853228963040659299173/170\ 6413021182427454514392*c_0101_0*c_0101_3^4 - 11280660057547796582178784401/1706413021182427454514392*c_0101_0*c_\ 0101_3^3 - 5810112302348008151330309797/1706413021182427454514392*c\ _0101_0*c_0101_3^2 - 1671312506309408067187338141/85320651059121372\ 7257196*c_0101_0*c_0101_3 - 1956956333193471101166064749/1706413021\ 182427454514392*c_0101_0, c_0011_0 - 1, c_0011_1 - 11109851507096137281469/213301627647803431814299*c_0101_3^15 - 190999314585992708842727/426603255295606863628598*c_0101_3^14 + 514751569856835753039274/213301627647803431814299*c_0101_3^13 - 1954215746657953894065658/213301627647803431814299*c_0101_3^12 - 2145707667150304061322049/213301627647803431814299*c_0101_3^11 + 26741527287556095207863629/426603255295606863628598*c_0101_3^10 + 334765089830038418173798/213301627647803431814299*c_0101_3^9 - 50170101038573407312484417/426603255295606863628598*c_0101_3^8 + 10239853686931383375585397/426603255295606863628598*c_0101_3^7 + 26401071170062110735718883/426603255295606863628598*c_0101_3^6 - 2189507123709016005748648/213301627647803431814299*c_0101_3^5 - 158343178190362539142955/426603255295606863628598*c_0101_3^4 - 1261563134734334418662609/426603255295606863628598*c_0101_3^3 + 476908036750921134510337/426603255295606863628598*c_0101_3^2 - 139906890100219369926208/213301627647803431814299*c_0101_3 - 173880195047245688181257/426603255295606863628598, c_0011_3 + 3422942009911163771283/426603255295606863628598*c_0101_0*c_0\ 101_3^15 + 94008528061104623678489/853206510591213727257196*c_0101_\ 0*c_0101_3^14 - 5095478635313641019141/426603255295606863628598*c_0\ 101_0*c_0101_3^13 - 97058720928373585107055/21330162764780343181429\ 9*c_0101_0*c_0101_3^12 + 1812914375403656905010712/2133016276478034\ 31814299*c_0101_0*c_0101_3^11 - 418829862729396922781019/8532065105\ 91213727257196*c_0101_0*c_0101_3^10 - 21154057181143239463754563/426603255295606863628598*c_0101_0*c_0101\ _3^9 + 7795499966397624586314047/853206510591213727257196*c_0101_0*\ c_0101_3^8 + 81481379149783031042584377/853206510591213727257196*c_\ 0101_0*c_0101_3^7 - 12977596543043637940614009/85320651059121372725\ 7196*c_0101_0*c_0101_3^6 - 13408377645704846859286326/2133016276478\ 03431814299*c_0101_0*c_0101_3^5 + 2455314532845486680721599/8532065\ 10591213727257196*c_0101_0*c_0101_3^4 + 7716887752699965088121255/853206510591213727257196*c_0101_0*c_0101_\ 3^3 + 1410512703748208503552245/853206510591213727257196*c_0101_0*c\ _0101_3^2 + 104400472639208209640734/213301627647803431814299*c_010\ 1_0*c_0101_3 + 530035164412999648496141/853206510591213727257196*c_\ 0101_0, c_0011_5 - 56411197643216271590977/853206510591213727257196*c_0101_0*c_\ 0101_3^15 - 508127370323912666751395/853206510591213727257196*c_010\ 1_0*c_0101_3^14 + 1207438379972123560420821/42660325529560686362859\ 8*c_0101_0*c_0101_3^13 - 4419874054647354501927771/4266032552956068\ 63628598*c_0101_0*c_0101_3^12 - 15019894229224681780348819/85320651\ 0591213727257196*c_0101_0*c_0101_3^11 + 63455716279232653224422947/853206510591213727257196*c_0101_0*c_0101\ _3^10 + 30199851652614083673690263/853206510591213727257196*c_0101_\ 0*c_0101_3^9 - 32220614412684691779715534/213301627647803431814299*\ c_0101_0*c_0101_3^8 - 14240215596971768958679923/426603255295606863\ 628598*c_0101_0*c_0101_3^7 + 86981892837442621072123707/85320651059\ 1213727257196*c_0101_0*c_0101_3^6 + 18070074011426123181006937/853206510591213727257196*c_0101_0*c_0101\ _3^5 - 7697853715596845344964317/426603255295606863628598*c_0101_0*\ c_0101_3^4 - 1455823460051437867784139/426603255295606863628598*c_0\ 101_0*c_0101_3^3 - 1182342520748524251783251/8532065105912137272571\ 96*c_0101_0*c_0101_3^2 - 66803200054606837721859/853206510591213727\ 257196*c_0101_0*c_0101_3 - 208279768709776780670225/853206510591213\ 727257196*c_0101_0, c_0101_0^2 + 11109851507096137281469/213301627647803431814299*c_0101_3^\ 15 + 190999314585992708842727/426603255295606863628598*c_0101_3^14 - 514751569856835753039274/213301627647803431814299*c_0101_3^13 + 1954215746657953894065658/213301627647803431814299*c_0101_3^12 + 2145707667150304061322049/213301627647803431814299*c_0101_3^11 - 26741527287556095207863629/426603255295606863628598*c_0101_3^10 - 334765089830038418173798/213301627647803431814299*c_0101_3^9 + 50170101038573407312484417/426603255295606863628598*c_0101_3^8 - 10239853686931383375585397/426603255295606863628598*c_0101_3^7 - 26401071170062110735718883/426603255295606863628598*c_0101_3^6 + 2189507123709016005748648/213301627647803431814299*c_0101_3^5 + 158343178190362539142955/426603255295606863628598*c_0101_3^4 + 1261563134734334418662609/426603255295606863628598*c_0101_3^3 - 476908036750921134510337/426603255295606863628598*c_0101_3^2 + 139906890100219369926208/213301627647803431814299*c_0101_3 - 252723060248361175447341/426603255295606863628598, c_0101_1 + 11092709619092373570101/426603255295606863628598*c_0101_3^15 + 87192458359109377804027/426603255295606863628598*c_0101_3^14 - 293311789954039795323252/213301627647803431814299*c_0101_3^13 + 1154104102142009783555856/213301627647803431814299*c_0101_3^12 + 827203963822187058351271/426603255295606863628598*c_0101_3^11 - 15420176662652594949282601/426603255295606863628598*c_0101_3^10 + 9217993844302467927545107/426603255295606863628598*c_0101_3^9 + 14015240246868269418191729/213301627647803431814299*c_0101_3^8 - 12309711322773172403686204/213301627647803431814299*c_0101_3^7 - 12662535976522259600728169/426603255295606863628598*c_0101_3^6 + 14626062442499021549494153/426603255295606863628598*c_0101_3^5 - 1261621701130585751903020/213301627647803431814299*c_0101_3^4 - 219622144965656120844297/213301627647803431814299*c_0101_3^3 + 669308375868426999435891/426603255295606863628598*c_0101_3^2 + 335839882025656881397707/426603255295606863628598*c_0101_3 + 103699051752668821437011/426603255295606863628598, c_0101_3^16 + 9*c_0101_3^15 - 43*c_0101_3^14 + 156*c_0101_3^13 + 271*c_0101_3^12 - 1151*c_0101_3^11 - 540*c_0101_3^10 + 2426*c_0101_3^9 + 439*c_0101_3^8 - 1720*c_0101_3^7 - 204*c_0101_3^6 + 266*c_0101_3^5 + 35*c_0101_3^4 + 28*c_0101_3^3 + 18*c_0101_3^2 + 9*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB