Magma V2.19-8 Tue Aug 20 2013 16:18:27 on localhost [Seed = 2395935674] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2639 geometric_solution 5.91662431 oriented_manifold CS_known -0.0000000000000001 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 -1 1 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.225999523420 1.439037303856 0 3 3 0 0132 0132 3201 3201 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 -1 0 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.313782508573 0.651193874857 0 4 5 0 3201 0132 0132 0132 0 0 0 0 0 0 1 -1 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 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.063176747935 0.641272554717 1 1 5 4 2310 0132 1302 1302 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 1 -1 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.071256926237 0.718499667341 5 2 3 6 2310 0132 2031 0132 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 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.178843898298 0.936272746939 3 6 4 2 2031 1023 3201 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 1 0 -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.178843898298 0.936272746939 5 6 4 6 1023 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635624889608 0.706201368684 ==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' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), '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_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0110_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_6']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(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_5, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 829263128424970233850445307998791/171804426011646542341175939463*c_\ 0110_6^18 - 213913223833814296693442193511396357/223345753815140505\ 0435287213019*c_0110_6^17 + 1825459560851539160363435949545780875/4\ 466915076302810100870574426038*c_0110_6^16 - 62345802436073682026395733145971999/135361062918266972753653770486*\ c_0110_6^15 - 18365863775718378964214833046954113/17180442601164654\ 2341175939463*c_0110_6^14 - 578465506768042413582689372561826157/74\ 4485846050468350145095737673*c_0110_6^13 + 998183213463903900069885903005421865/496323897366978900096730491782\ *c_0110_6^12 + 1955282044517476085927233826213678297/44669150763028\ 10100870574426038*c_0110_6^11 - 11459826505772618128527785475254759\ 741/4466915076302810100870574426038*c_0110_6^10 + 130716932387266921514813894591543789/248161948683489450048365245891\ *c_0110_6^9 + 310107481525971451239493033303646927/4060831887548009\ 18260961311458*c_0110_6^8 + 1148750294847203775932024011216786843/4\ 466915076302810100870574426038*c_0110_6^7 - 854475585749070648968667762114357512/223345753815140505043528721301\ 9*c_0110_6^6 - 419427681224495073748566121650184765/223345753815140\ 5050435287213019*c_0110_6^5 + 125915199736086411912423816041994014/\ 744485846050468350145095737673*c_0110_6^4 + 12154024841097881540595241943530652/744485846050468350145095737673*\ c_0110_6^3 - 111469510638027990215780692438382285/44669150763028101\ 00870574426038*c_0110_6^2 + 627119728581707521324885380328831/14889\ 71692100936700290191475346*c_0110_6 + 5153683301902320347634120937303123/4466915076302810100870574426038, c_0011_0 - 1, c_0011_2 + 126030813563193860877757377317/3368714235522481222375998813*\ c_0110_6^18 - 32408373323898642145906351742552/43793285061792255890\ 887984569*c_0110_6^17 + 136754783005795991285478453287203/437932850\ 61792255890887984569*c_0110_6^16 - 49653744154269209951693683485361/14597761687264085296962661523*c_01\ 10_6^15 - 3118617052635021699971463156827/3368714235522481222375998\ 813*c_0110_6^14 - 90794335130885195062339685992911/1459776168726408\ 5296962661523*c_0110_6^13 + 221494624817885773978268138100976/14597\ 761687264085296962661523*c_0110_6^12 + 181349536251135459503568569291843/43793285061792255890887984569*c_0\ 110_6^11 - 832721681209277404157862148830101/4379328506179225589088\ 7984569*c_0110_6^10 + 43796240395404444941332124891297/145977616872\ 64085296962661523*c_0110_6^9 + 233332713167594381959119891788293/43\ 793285061792255890887984569*c_0110_6^8 + 107513874549690405617849880588421/43793285061792255890887984569*c_0\ 110_6^7 - 113379482678865143298464672256388/43793285061792255890887\ 984569*c_0110_6^6 - 65775748221079493423534440125332/43793285061792\ 255890887984569*c_0110_6^5 + 16280060476528453539167167720952/14597\ 761687264085296962661523*c_0110_6^4 + 1889779419269065977872870556739/14597761687264085296962661523*c_011\ 0_6^3 - 6330247816985063979266376504176/437932850617922558908879845\ 69*c_0110_6^2 - 15969668942639878058583616647/145977616872640852969\ 62661523*c_0110_6 + 210849819272759034305780911639/4379328506179225\ 5890887984569, c_0011_5 - 2658978855898689104106488484/102082249561287309768969661*c_0\ 110_6^18 + 7672029093698436852930829470441/145977616872640852969626\ 61523*c_0110_6^17 - 34634019204454865440603500293004/14597761687264\ 085296962661523*c_0110_6^16 + 45470445580027304700000886232894/1459\ 7761687264085296962661523*c_0110_6^15 + 186051427577567524772537257899/1122904745174160407458666271*c_0110_\ 6^14 + 53581024867552011083754157953638/145977616872640852969626615\ 23*c_0110_6^13 - 182890641069842717022458671022871/1459776168726408\ 5296962661523*c_0110_6^12 + 3171063201240267743781123887978/1459776\ 1687264085296962661523*c_0110_6^11 + 240137795060760915233606615789911/14597761687264085296962661523*c_0\ 110_6^10 - 88969896560564458712711414243541/14597761687264085296962\ 661523*c_0110_6^9 - 78843384745711012615011914663917/14597761687264\ 085296962661523*c_0110_6^8 - 7422759169631286107752861060324/145977\ 61687264085296962661523*c_0110_6^7 + 45196119591094991827497967536366/14597761687264085296962661523*c_01\ 10_6^6 + 13692489082878812074809607975270/1459776168726408529696266\ 1523*c_0110_6^5 - 20105225324451816738210824963356/1459776168726408\ 5296962661523*c_0110_6^4 - 787265295798799524404242470440/145977616\ 87264085296962661523*c_0110_6^3 + 3067562341306032667112493841606/1\ 4597761687264085296962661523*c_0110_6^2 - 130397342575625966606031177958/14597761687264085296962661523*c_0110\ _6 - 151110534988738047306423907512/14597761687264085296962661523, c_0101_0 - 268642307587233598048057796191/3368714235522481222375998813*\ c_0110_6^18 + 70858975434103118128998753511960/43793285061792255890\ 887984569*c_0110_6^17 - 29626563430373467206363783522673/3981207732\ 890205080989816779*c_0110_6^16 + 150203169443320809859746078746424/\ 14597761687264085296962661523*c_0110_6^15 - 100383716903818241861496682519/306246748683861929306908983*c_0110_6\ ^14 + 161351097951262154176807409961267/145977616872640852969626615\ 23*c_0110_6^13 - 582062015934316189935411466841879/1459776168726408\ 5296962661523*c_0110_6^12 + 190060441275958238412288355529660/43793\ 285061792255890887984569*c_0110_6^11 + 2243378886762018371796035050588162/43793285061792255890887984569*c_\ 0110_6^10 - 337966417394630086723543610732281/145977616872640852969\ 62661523*c_0110_6^9 - 689115771180503721163815276118061/43793285061\ 792255890887984569*c_0110_6^8 - 14734901032701406131828330781718/43\ 793285061792255890887984569*c_0110_6^7 + 443538266340017227334268249468626/43793285061792255890887984569*c_0\ 110_6^6 + 95960386883845991557212333882619/437932850617922558908879\ 84569*c_0110_6^5 - 66901975573319657716860814110826/145977616872640\ 85296962661523*c_0110_6^4 + 1315199002771914544782144786523/1459776\ 1687264085296962661523*c_0110_6^3 + 2736761061724251555067485076469/3981207732890205080989816779*c_0110\ _6^2 - 739556550206161069640869557338/14597761687264085296962661523\ *c_0110_6 - 1560082941153678171431496379562/43793285061792255890887\ 984569, c_0101_1 - 55374801759884357109330760786/1122904745174160407458666271*c\ _0110_6^18 + 14734561698837254760392566417390/145977616872640852969\ 62661523*c_0110_6^17 - 69678717414832400254892338397079/14597761687\ 264085296962661523*c_0110_6^16 + 102851205876590606705422758196282/\ 14597761687264085296962661523*c_0110_6^15 - 895088127434070932961633624624/1122904745174160407458666271*c_0110_\ 6^14 + 94078873495438271751678723874197/145977616872640852969626615\ 23*c_0110_6^13 - 383300928305759539183887596506042/1459776168726408\ 5296962661523*c_0110_6^12 + 84392646748082818534589681656234/145977\ 61687264085296962661523*c_0110_6^11 + 490284709604790079493881383767715/14597761687264085296962661523*c_0\ 110_6^10 - 265082115051626675082335876994933/1459776168726408529696\ 2661523*c_0110_6^9 - 149691624938938218580808142347722/145977616872\ 64085296962661523*c_0110_6^8 + 12174067487351784598317058748143/145\ 97761687264085296962661523*c_0110_6^7 + 105537513931408501476160108221540/14597761687264085296962661523*c_0\ 110_6^6 + 15438359979451157859410591010752/145977616872640852969626\ 61523*c_0110_6^5 - 4358845533758681705699202435657/1327069244296735\ 026996605593*c_0110_6^4 + 2241438668770606588805212695749/145977616\ 87264085296962661523*c_0110_6^3 + 7130965823580089571686184780346/1\ 4597761687264085296962661523*c_0110_6^2 - 569710446387332309454643261484/14597761687264085296962661523*c_0110\ _6 - 366718157188291664533382836106/14597761687264085296962661523, c_0101_4 - 7148084683335682820238478340/1122904745174160407458666271*c_\ 0110_6^18 + 166156300040078852227213234821/132706924429673502699660\ 5593*c_0110_6^17 - 7574358837843335513660679092980/1459776168726408\ 5296962661523*c_0110_6^16 + 8033890562671985253300054825098/1459776\ 1687264085296962661523*c_0110_6^15 + 116927931822173263161405301566/1122904745174160407458666271*c_0110_\ 6^14 + 16907860320753973650315044199101/145977616872640852969626615\ 23*c_0110_6^13 - 34623222508312745275829057337176/14597761687264085\ 296962661523*c_0110_6^12 - 9900204638224613586366083988781/14597761\ 687264085296962661523*c_0110_6^11 + 38736875251528765532072819125038/14597761687264085296962661523*c_01\ 10_6^10 - 9111889475461420255499146770132/1459776168726408529696266\ 1523*c_0110_6^9 - 5423266909647838877291076997680/14597761687264085\ 296962661523*c_0110_6^8 - 3904334309182110529730077416479/145977616\ 87264085296962661523*c_0110_6^7 + 365115393484761120856437570519/13\ 27069244296735026996605593*c_0110_6^6 + 1349303506013770472591984931952/14597761687264085296962661523*c_011\ 0_6^5 - 2438606974657205089407613338376/145977616872640852969626615\ 23*c_0110_6^4 + 534835085103532049384791836550/14597761687264085296\ 962661523*c_0110_6^3 + 377868382757428123362564538891/1459776168726\ 4085296962661523*c_0110_6^2 - 91354964765132643738757638392/1459776\ 1687264085296962661523*c_0110_6 - 33918143861061531615194936644/145\ 97761687264085296962661523, c_0110_6^19 - 257/13*c_0110_6^18 + 1080/13*c_0110_6^17 - 1127/13*c_0110_6^16 - 505/13*c_0110_6^15 - 2018/13*c_0110_6^14 + 5349/13*c_0110_6^13 + 1894/13*c_0110_6^12 - 7361/13*c_0110_6^11 + 37*c_0110_6^10 + 2831/13*c_0110_6^9 + 1005/13*c_0110_6^8 - 1159/13*c_0110_6^7 - 764/13*c_0110_6^6 + 457/13*c_0110_6^5 + 162/13*c_0110_6^4 - 79/13*c_0110_6^3 - 17/13*c_0110_6^2 + 5/13*c_0110_6 + 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB