Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 4139215383] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1907 geometric_solution 5.51489893 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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 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.345644800273 0.892842656430 3 2 4 0 0132 3012 0132 0132 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 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.964095261107 1.130736769344 1 3 0 4 1230 2310 0132 2310 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 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.964095261107 1.130736769344 1 5 5 2 0132 0132 3201 3201 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 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.709965686223 0.286179112139 2 6 6 1 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.036064522830 0.439046455790 3 3 5 5 2310 0132 2031 1302 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.246462351170 0.864032401291 4 4 6 6 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 0 0 0 0 0 0 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.268580671644 0.891704384285 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(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' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 85886095648424161501856177443/2626060435730041859872377768*c_0101_6\ ^16 + 20672281033055535601777125611/1313030217865020929936188884*c_\ 0101_6^15 + 4151516480167558668825878800933/78781813071901255796171\ 33304*c_0101_6^14 + 1573444889989680977855895801599/131303021786502\ 0929936188884*c_0101_6^13 + 653364412499354576485782090931/29178449\ 2858893539985819752*c_0101_6^12 + 7918522721224120030172511635207/1\ 969545326797531394904283326*c_0101_6^11 + 2638631834121362196552671885168/328257554466255232484047221*c_0101_\ 6^10 + 12590429402468906086289510882771/131303021786502092993618888\ 4*c_0101_6^9 + 26131998249111990006102494468009/3939090653595062789\ 808566652*c_0101_6^8 + 966481345030688800055641915729/3282575544662\ 55232484047221*c_0101_6^7 - 1261951614082142131976260799161/2626060\ 435730041859872377768*c_0101_6^6 - 2927164238276957156736183647971/656515108932510464968094442*c_0101_\ 6^5 - 22356312535339504695212226286001/3939090653595062789808566652\ *c_0101_6^4 + 2834003345720675089753513374853/787818130719012557961\ 7133304*c_0101_6^3 + 11198558821513616454982524306265/3939090653595\ 062789808566652*c_0101_6^2 + 25363841241154257097817728765/63533720\ 219275206287234946*c_0101_6 - 59233138008835388339763317559/2917844\ 92858893539985819752, c_0011_0 - 1, c_0011_1 - 34457730424286623787377/192089857049962830800408*c_0101_6^16 - 14476926630181354235891/96044928524981415400204*c_0101_6^15 - 1677498195209104621423291/576269571149888492401224*c_0101_6^14 - 732073348685488767051553/96044928524981415400204*c_0101_6^13 - 2780208265357221633991025/192089857049962830800408*c_0101_6^12 - 271411415517915698656945/10290528056248008792879*c_0101_6^11 - 2485947691604701499529849/48022464262490707700102*c_0101_6^10 - 6566088616680866394009115/96044928524981415400204*c_0101_6^9 - 15708749144429239932729221/288134785574944246200612*c_0101_6^8 - 207216288852742287094805/6860352037498672528586*c_0101_6^7 - 1051665481505096974017729/192089857049962830800408*c_0101_6^6 + 1084287795386930554480065/48022464262490707700102*c_0101_6^5 + 10966631679759236081199539/288134785574944246200612*c_0101_6^4 + 4257863295923924393449769/576269571149888492401224*c_0101_6^3 - 692489931932256802939159/41162112224992035171516*c_0101_6^2 - 12121189502827634697128/2323667625604389082263*c_0101_6 + 125319662141003974382761/192089857049962830800408, c_0011_4 + 4599778981254865751414/168078624918717476950357*c_0101_6^16 + 4465587456957477844598/168078624918717476950357*c_0101_6^15 + 243658485635679562837841/504235874756152430851071*c_0101_6^14 + 204276304241337359091166/168078624918717476950357*c_0101_6^13 + 498885903797601265607478/168078624918717476950357*c_0101_6^12 + 2645403226018585844685796/504235874756152430851071*c_0101_6^11 + 1795143272230802212729336/168078624918717476950357*c_0101_6^10 + 2533752952724099805651119/168078624918717476950357*c_0101_6^9 + 8825207718293304289848497/504235874756152430851071*c_0101_6^8 + 2317743272157022314281241/168078624918717476950357*c_0101_6^7 + 1402885272608461105292658/168078624918717476950357*c_0101_6^6 + 65386623545894008811939/168078624918717476950357*c_0101_6^5 - 2439133643830171186952933/504235874756152430851071*c_0101_6^4 - 2038610444878323419225212/504235874756152430851071*c_0101_6^3 - 684764889169400441767349/504235874756152430851071*c_0101_6^2 + 35395226210188200357431/16265673379230723575841*c_0101_6 + 114677214754940442261655/168078624918717476950357, c_0101_0 + 3648038083591950027949/168078624918717476950357*c_0101_6^16 - 2551215741392208136955/168078624918717476950357*c_0101_6^15 + 170238760566917063326027/504235874756152430851071*c_0101_6^14 + 60127241902078600798329/168078624918717476950357*c_0101_6^13 + 95223305734944812659793/168078624918717476950357*c_0101_6^12 + 261115533071986835342180/504235874756152430851071*c_0101_6^11 + 291956726405039180107814/168078624918717476950357*c_0101_6^10 - 150157330254799442857923/168078624918717476950357*c_0101_6^9 - 2416075443639825324174710/504235874756152430851071*c_0101_6^8 - 1142497093291266352823639/168078624918717476950357*c_0101_6^7 - 795329562562050365197745/168078624918717476950357*c_0101_6^6 - 563726887806746224941949/168078624918717476950357*c_0101_6^5 + 111039086590525610796644/504235874756152430851071*c_0101_6^4 + 3257642000005909760816380/504235874756152430851071*c_0101_6^3 + 2271478343131590032447708/504235874756152430851071*c_0101_6^2 - 13504169398627381645208/16265673379230723575841*c_0101_6 - 255366830604058283443159/168078624918717476950357, c_0101_1 + 272701881437722587695409/1344628999349739815602856*c_0101_6^\ 16 + 71809803484303213381791/672314499674869907801428*c_0101_6^15 + 4386481462060917013994201/1344628999349739815602856*c_0101_6^14 + 5095710927571924357550901/672314499674869907801428*c_0101_6^13 + 18892804713493265680796073/1344628999349739815602856*c_0101_6^12 + 4250248970049066103092039/168078624918717476950357*c_0101_6^11 + 16897952398075823261246351/336157249837434953900714*c_0101_6^10 + 40715505820200670369952847/672314499674869907801428*c_0101_6^9 + 27910640085500421740365635/672314499674869907801428*c_0101_6^8 + 5838167887514529411113179/336157249837434953900714*c_0101_6^7 - 6080995465387176249997943/1344628999349739815602856*c_0101_6^6 - 9864950747885972027237863/336157249837434953900714*c_0101_6^5 - 24251524548904778540571873/672314499674869907801428*c_0101_6^4 + 2209715758649818542713405/1344628999349739815602856*c_0101_6^3 + 13856758498131630539959015/672314499674869907801428*c_0101_6^2 + 21267629343193459092578/5421891126410241191947*c_0101_6 - 1745512193243008250863281/1344628999349739815602856, c_0101_5 + 820790020186728124947219/1344628999349739815602856*c_0101_6^\ 16 + 240878600795736266735517/672314499674869907801428*c_0101_6^15 + 13264228084394220260719755/1344628999349739815602856*c_0101_6^14 + 15745520491073484624327203/672314499674869907801428*c_0101_6^13 + 59331523853413642989583731/1344628999349739815602856*c_0101_6^12 + 13387962077358296661276227/168078624918717476950357*c_0101_6^11 + 53219280023616315632384257/336157249837434953900714*c_0101_6^10 + 131440675282226423129163269/672314499674869907801428*c_0101_6^9 + 96876262193290785159024897/672314499674869907801428*c_0101_6^8 + 23842065146907889922457119/336157249837434953900714*c_0101_6^7 + 462892902162170676022467/1344628999349739815602856*c_0101_6^6 - 27397062457843890680605647/336157249837434953900714*c_0101_6^5 - 75669574171495469858281367/672314499674869907801428*c_0101_6^4 - 5277588317696398177472833/1344628999349739815602856*c_0101_6^3 + 36112730878299209508142053/672314499674869907801428*c_0101_6^2 + 65163991087816475751786/5421891126410241191947*c_0101_6 - 3601146695118387318867371/1344628999349739815602856, c_0101_6^17 + c_0101_6^16 + 49/3*c_0101_6^15 + 45*c_0101_6^14 + 87*c_0101_6^13 + 473/3*c_0101_6^12 + 308*c_0101_6^11 + 418*c_0101_6^10 + 1048/3*c_0101_6^9 + 190*c_0101_6^8 + 29*c_0101_6^7 - 145*c_0101_6^6 - 730/3*c_0101_6^5 - 227/3*c_0101_6^4 + 287/3*c_0101_6^3 + 166/3*c_0101_6^2 - c_0101_6 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB