Magma V2.19-8 Tue Aug 20 2013 16:14:29 on localhost [Seed = 3414841295] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s476 geometric_solution 4.84786602 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 0 1 0 1 2031 0132 1302 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.826550838016 0.622981641385 0 0 3 2 3201 0132 0132 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 0 0 0 0 0 0 0 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.028658449709 1.478867004522 4 3 1 3 0132 2031 0132 3012 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 0 0 1 0 0 -1 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.667670312074 0.677412283690 2 4 2 1 1302 3201 1230 0132 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 1 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.667670312074 0.677412283690 2 5 3 5 0132 0132 2310 2310 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 -1 0 0 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692572715812 0.978454744940 4 4 5 5 3201 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 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.371317426326 0.232182422631 ==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_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_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' : d['c_0110_5'], 'c_1100_4' : 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' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_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' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(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_2'], 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_1, c_0101_2, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 74940926691806512915383/1821055520025123748853*c_0110_5^22 - 325855213321193813299624/1821055520025123748853*c_0110_5^21 - 559807566619656591988842/1821055520025123748853*c_0110_5^20 + 3482193915230546152084582/1821055520025123748853*c_0110_5^19 + 2319413501289166380572093/1821055520025123748853*c_0110_5^18 - 18093563847982214595668687/1821055520025123748853*c_0110_5^17 - 8997227808480889224537036/1821055520025123748853*c_0110_5^16 + 67803146455024315911769521/1821055520025123748853*c_0110_5^15 + 6906021663821943661059269/1821055520025123748853*c_0110_5^14 - 161571911619325989961987934/1821055520025123748853*c_0110_5^13 + 60178699398245871004894423/1821055520025123748853*c_0110_5^12 + 187172571225113452294450928/1821055520025123748853*c_0110_5^11 - 128497767557340061541902102/1821055520025123748853*c_0110_5^10 - 106560168278687098477885650/1821055520025123748853*c_0110_5^9 + 114044381570212700235371827/1821055520025123748853*c_0110_5^8 + 14930041956820666572158937/1821055520025123748853*c_0110_5^7 - 50773919279773272305971734/1821055520025123748853*c_0110_5^6 + 17091786967593567913902404/1821055520025123748853*c_0110_5^5 + 8983777214400957964459100/1821055520025123748853*c_0110_5^4 - 8516832264691060344150307/1821055520025123748853*c_0110_5^3 - 158980682610762545483689/1821055520025123748853*c_0110_5^2 + 1181719834452558852066099/1821055520025123748853*c_0110_5 - 38457190455174183637405/1821055520025123748853, c_0011_0 - 1, c_0011_2 - 406655148406307967410/1821055520025123748853*c_0110_5^22 + 2332651386581158516227/1821055520025123748853*c_0110_5^21 + 796872076498406396603/1821055520025123748853*c_0110_5^20 - 23772765333598211339549/1821055520025123748853*c_0110_5^19 + 11082965701599242318132/1821055520025123748853*c_0110_5^18 + 122891436831888584674727/1821055520025123748853*c_0110_5^17 - 70546944174075014467228/1821055520025123748853*c_0110_5^16 - 471635317595883520861749/1821055520025123748853*c_0110_5^15 + 396028873321543098371271/1821055520025123748853*c_0110_5^14 + 1053373113131460377484847/1821055520025123748853*c_0110_5^13 - 1340051718996025406883356/1821055520025123748853*c_0110_5^12 - 869529788263215263540369/1821055520025123748853*c_0110_5^11 + 1842182462247621808809023/1821055520025123748853*c_0110_5^10 + 50910382954414524485454/1821055520025123748853*c_0110_5^9 - 1253008225277865795233009/1821055520025123748853*c_0110_5^8 + 409439175684374117518841/1821055520025123748853*c_0110_5^7 + 366374165712120898653620/1821055520025123748853*c_0110_5^6 - 306284764719263170676027/1821055520025123748853*c_0110_5^5 + 30006790277450403356844/1821055520025123748853*c_0110_5^4 + 80343176202363694744974/1821055520025123748853*c_0110_5^3 - 28017098354841183344058/1821055520025123748853*c_0110_5^2 - 4299560393686460386133/1821055520025123748853*c_0110_5 + 2164853185611485116297/1821055520025123748853, c_0101_1 + 276917147020874494780/1821055520025123748853*c_0110_5^22 - 1411362238467670318008/1821055520025123748853*c_0110_5^21 - 1495329025626618867885/1821055520025123748853*c_0110_5^20 + 15611333969620278861107/1821055520025123748853*c_0110_5^19 + 2138787212189058702327/1821055520025123748853*c_0110_5^18 - 85895970412002016157627/1821055520025123748853*c_0110_5^17 - 1465866394416215633124/1821055520025123748853*c_0110_5^16 + 337876497146012082064108/1821055520025123748853*c_0110_5^15 - 82383171031545180689595/1821055520025123748853*c_0110_5^14 - 837250892394692283394664/1821055520025123748853*c_0110_5^13 + 498400924927676063923752/1821055520025123748853*c_0110_5^12 + 1040842041496864271335057/1821055520025123748853*c_0110_5^11 - 914338201349800351995187/1821055520025123748853*c_0110_5^10 - 636701378484652858872657/1821055520025123748853*c_0110_5^9 + 813863948760339549724763/1821055520025123748853*c_0110_5^8 + 95941036456510972868504/1821055520025123748853*c_0110_5^7 - 365992618612481962589468/1821055520025123748853*c_0110_5^6 + 122556866265100467691357/1821055520025123748853*c_0110_5^5 + 66097948913533086067609/1821055520025123748853*c_0110_5^4 - 76481427392002393422393/1821055520025123748853*c_0110_5^3 - 1375460135437998249609/1821055520025123748853*c_0110_5^2 + 11054276777329708318823/1821055520025123748853*c_0110_5 - 169469804328658497567/1821055520025123748853, c_0101_2 - 535874327344023884070/1821055520025123748853*c_0110_5^22 + 1479521479582432619677/1821055520025123748853*c_0110_5^21 + 7105924238523500676685/1821055520025123748853*c_0110_5^20 - 16389919456115693182306/1821055520025123748853*c_0110_5^19 - 50156820554057447925272/1821055520025123748853*c_0110_5^18 + 79983081502744089538347/1821055520025123748853*c_0110_5^17 + 234959635486051100043852/1821055520025123748853*c_0110_5^16 - 266906920355539284515823/1821055520025123748853*c_0110_5^15 - 665195538496249777383282/1821055520025123748853*c_0110_5^14 + 663019454007568312710334/1821055520025123748853*c_0110_5^13 + 1055269657554451792525060/1821055520025123748853*c_0110_5^12 - 1037066213555999059505086/1821055520025123748853*c_0110_5^11 - 972643573736557081245276/1821055520025123748853*c_0110_5^10 + 1001374036712996286360102/1821055520025123748853*c_0110_5^9 + 481567258925182407627690/1821055520025123748853*c_0110_5^8 - 569311242486557179422105/1821055520025123748853*c_0110_5^7 - 37595005772641923707837/1821055520025123748853*c_0110_5^6 + 181408229050093687795827/1821055520025123748853*c_0110_5^5 - 90158583140230835714789/1821055520025123748853*c_0110_5^4 - 36221960339809897570943/1821055520025123748853*c_0110_5^3 + 31574417962334246019752/1821055520025123748853*c_0110_5^2 + 4079379120098691787916/1821055520025123748853*c_0110_5 - 947038263384480541104/1821055520025123748853, c_0101_4 + 170156465611902762517/1821055520025123748853*c_0110_5^22 - 1383502779575932690410/1821055520025123748853*c_0110_5^21 + 1225985434802839903176/1821055520025123748853*c_0110_5^20 + 13805838220580023604096/1821055520025123748853*c_0110_5^19 - 21609378152432311689665/1821055520025123748853*c_0110_5^18 - 72708202649405134345701/1821055520025123748853*c_0110_5^17 + 117114297003655510828803/1821055520025123748853*c_0110_5^16 + 290157391734901768949808/1821055520025123748853*c_0110_5^15 - 486944304735164145764755/1821055520025123748853*c_0110_5^14 - 637180060444638913366842/1821055520025123748853*c_0110_5^13 + 1339827180468338540494271/1821055520025123748853*c_0110_5^12 + 411474065034316636851057/1821055520025123748853*c_0110_5^11 - 1758222831053918045722192/1821055520025123748853*c_0110_5^10 + 228218886554573892670893/1821055520025123748853*c_0110_5^9 + 1180544900274847797942451/1821055520025123748853*c_0110_5^8 - 490035611549289705759945/1821055520025123748853*c_0110_5^7 - 331680116039715855361564/1821055520025123748853*c_0110_5^6 + 302912427718963383819921/1821055520025123748853*c_0110_5^5 - 48447646036466397873765/1821055520025123748853*c_0110_5^4 - 79691954334090783676581/1821055520025123748853*c_0110_5^3 + 37635671205205376698082/1821055520025123748853*c_0110_5^2 + 7464197750929100806443/1821055520025123748853*c_0110_5 - 3174748931815912257367/1821055520025123748853, c_0110_5^23 - 4*c_0110_5^22 - 9*c_0110_5^21 + 44*c_0110_5^20 + 47*c_0110_5^19 - 232*c_0110_5^18 - 202*c_0110_5^17 + 870*c_0110_5^16 + 396*c_0110_5^15 - 2152*c_0110_5^14 + 98*c_0110_5^13 + 2838*c_0110_5^12 - 968*c_0110_5^11 - 2057*c_0110_5^10 + 1180*c_0110_5^9 + 712*c_0110_5^8 - 706*c_0110_5^7 + 30*c_0110_5^6 + 225*c_0110_5^5 - 95*c_0110_5^4 - 38*c_0110_5^3 + 21*c_0110_5^2 + 3*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB