Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 1494795673] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2128 geometric_solution 5.61843530 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 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406350987533 0.220058808388 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.690784633635 0.810434731866 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 0 -1 0 0 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.049636894578 1.046010854649 2 5 4 1 3201 0132 3201 0132 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 -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.049636894578 1.046010854649 3 2 4 4 2310 0132 1230 3012 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 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.186477230858 1.272995768648 6 3 6 2 0132 0132 1023 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 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.760224081673 1.185716795536 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473198054756 0.177999646625 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_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' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], '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_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 23709284935628660021813265040848673199/1938156018496705008666088182\ 444415866*c_0101_5^30 - 260044639180695380707335311353194840554/969\ 078009248352504333044091222207933*c_0101_5^28 + 4992978274255777829849640023497400104475/19381560184967050086660881\ 82444415866*c_0101_5^26 - 14076218305586815982544098801724299684342\ /969078009248352504333044091222207933*c_0101_5^24 + 51470474270808869489977417222691751688730/9690780092483525043330440\ 91222207933*c_0101_5^22 - 13296537216045617794539929166860386243090\ 6/969078009248352504333044091222207933*c_0101_5^20 + 269382144878097778248682216730470685821495/969078009248352504333044\ 091222207933*c_0101_5^18 - 1054673343428685822734435040010102118334\ 611/1938156018496705008666088182444415866*c_0101_5^16 + 632619161161578273701766408878485031169224/969078009248352504333044\ 091222207933*c_0101_5^14 - 9751572139202878888171737200403276210394\ 79/1938156018496705008666088182444415866*c_0101_5^12 + 466549243565281413496070593714916715778490/969078009248352504333044\ 091222207933*c_0101_5^10 - 2532662692516232039087264838046415879878\ 55/646052006165568336222029394148138622*c_0101_5^8 + 263304202833321595430901287491622567959075/193815601849670500866608\ 8182444415866*c_0101_5^6 - 1696355217855007481508000258827017671282\ 5/1938156018496705008666088182444415866*c_0101_5^4 - 1794203140340797543450698801972376028975/96907800924835250433304409\ 1222207933*c_0101_5^2 - 120959801673488255676341480889833852771/969\ 078009248352504333044091222207933, c_0011_0 - 1, c_0011_1 + 12748649381946964078507177212791073/323026003082784168111014\ 697074069311*c_0101_5^30 - 275542049008982408456345090432583769/323\ 026003082784168111014697074069311*c_0101_5^28 + 2596378757401281754639168466911222933/32302600308278416811101469707\ 4069311*c_0101_5^26 - 14311486317730811106541334976082719923/323026\ 003082784168111014697074069311*c_0101_5^24 + 50843379727729180439218146449492033161/3230260030827841681110146970\ 74069311*c_0101_5^22 - 127194588696319920144729266353009199249/3230\ 26003082784168111014697074069311*c_0101_5^20 + 250836638765301634888112976050312883021/323026003082784168111014697\ 074069311*c_0101_5^18 - 491681340722631102257416560253875463547/323\ 026003082784168111014697074069311*c_0101_5^16 + 532617185387612967043744858724787628679/323026003082784168111014697\ 074069311*c_0101_5^14 - 373832546523173617459844138045475407673/323\ 026003082784168111014697074069311*c_0101_5^12 + 405061221795246236941591042664484901082/323026003082784168111014697\ 074069311*c_0101_5^10 - 294503218076073690096857308891898076833/323\ 026003082784168111014697074069311*c_0101_5^8 + 63488555581141863477475313745143743497/3230260030827841681110146970\ 74069311*c_0101_5^6 - 1761767428227393611543050028268536610/3230260\ 03082784168111014697074069311*c_0101_5^4 + 568720206422638878428947090119346713/323026003082784168111014697074\ 069311*c_0101_5^2 + 203354524163759797574711852875666339/3230260030\ 82784168111014697074069311, c_0011_3 - 13445528470477042394305942895308666/323026003082784168111014\ 697074069311*c_0101_5^31 + 299218893805315382681248443069055828/323\ 026003082784168111014697074069311*c_0101_5^29 - 2924218161157546445914073188536835495/32302600308278416811101469707\ 4069311*c_0101_5^27 + 16842321673940951332405522374598317982/323026\ 003082784168111014697074069311*c_0101_5^25 - 63239193000430240252581846012916736937/3230260030827841681110146970\ 74069311*c_0101_5^23 + 168217368395631998041107419026235071745/3230\ 26003082784168111014697074069311*c_0101_5^21 - 349534872259154292163433292186393649410/323026003082784168111014697\ 074069311*c_0101_5^19 + 685801207485236707719462204020670330469/323\ 026003082784168111014697074069311*c_0101_5^17 - 889777311067377970320166542696440953287/323026003082784168111014697\ 074069311*c_0101_5^15 + 745878687217482094597156387307134645885/323\ 026003082784168111014697074069311*c_0101_5^13 - 673214123893164525665991095844473537515/323026003082784168111014697\ 074069311*c_0101_5^11 + 580900370192488777782684494190213238215/323\ 026003082784168111014697074069311*c_0101_5^9 - 260246117859311891907523200780473285466/323026003082784168111014697\ 074069311*c_0101_5^7 + 42962878454011767446241090374157654356/32302\ 6003082784168111014697074069311*c_0101_5^5 - 2830469626460698442497348732393683219/32302600308278416811101469707\ 4069311*c_0101_5^3 + 214662719800165085973790590756009099/323026003\ 082784168111014697074069311*c_0101_5, c_0101_0 - 14681174903981248081878757548339142/323026003082784168111014\ 697074069311*c_0101_5^31 + 315794754381249638077794426324714652/323\ 026003082784168111014697074069311*c_0101_5^29 - 2955732906973726166076603273240100603/32302600308278416811101469707\ 4069311*c_0101_5^27 + 16140547016554265482194020044483374848/323026\ 003082784168111014697074069311*c_0101_5^25 - 56549546965207287461656229546418376598/3230260030827841681110146970\ 74069311*c_0101_5^23 + 138773913803052319807437569744019023953/3230\ 26003082784168111014697074069311*c_0101_5^21 - 267828144437658239349131328396469390673/323026003082784168111014697\ 074069311*c_0101_5^19 + 521561056946320269942773860171728331196/323\ 026003082784168111014697074069311*c_0101_5^17 - 525632685379441371532965514063473430895/323026003082784168111014697\ 074069311*c_0101_5^15 + 310002401358140390944451808368023482003/323\ 026003082784168111014697074069311*c_0101_5^13 - 359308865515659140065904153084368194770/323026003082784168111014697\ 074069311*c_0101_5^11 + 247990226275725890808381362890462643489/323\ 026003082784168111014697074069311*c_0101_5^9 + 7518793946107512904761105105596353390/32302600308278416811101469707\ 4069311*c_0101_5^7 - 40094175019224905110914338466801491238/3230260\ 03082784168111014697074069311*c_0101_5^5 + 7067373409187805206970255386204229537/32302600308278416811101469707\ 4069311*c_0101_5^3 + 223085997944554053778323952603788697/323026003\ 082784168111014697074069311*c_0101_5, c_0101_1 - 8572627816517630416757252374368335/3230260030827841681110146\ 97074069311*c_0101_5^30 + 185871957239837381561224182447034384/3230\ 26003082784168111014697074069311*c_0101_5^28 - 1758636947517128747189456142107748176/32302600308278416811101469707\ 4069311*c_0101_5^26 + 9744097084958695198808175162039406101/3230260\ 03082784168111014697074069311*c_0101_5^24 - 34857527899261074922444057939704013714/3230260030827841681110146970\ 74069311*c_0101_5^22 + 87929110456137311586177700171996839477/32302\ 6003082784168111014697074069311*c_0101_5^20 - 174760015238433430998958266477482220356/323026003082784168111014697\ 074069311*c_0101_5^18 + 342833097749614121422188407901262247660/323\ 026003082784168111014697074069311*c_0101_5^16 - 382230642170099253980000783341448584109/323026003082784168111014697\ 074069311*c_0101_5^14 + 278666990322582347439340267161486279493/323\ 026003082784168111014697074069311*c_0101_5^12 - 293852267134296362374963641662840746334/323026003082784168111014697\ 074069311*c_0101_5^10 + 220326896788401291315211388952460848552/323\ 026003082784168111014697074069311*c_0101_5^8 - 59129195255113544246161360239381912859/3230260030827841681110146970\ 74069311*c_0101_5^6 + 6885440112422995060766492746385279104/3230260\ 03082784168111014697074069311*c_0101_5^4 - 1328928656716456847073971046609094202/32302600308278416811101469707\ 4069311*c_0101_5^2 - 53252642384453758481828233490555708/3230260030\ 82784168111014697074069311, c_0101_4 - 59220935647850171864559142065293154/323026003082784168111014\ 697074069311*c_0101_5^31 + 1300135107506484178328022707792285764/32\ 3026003082784168111014697074069311*c_0101_5^29 - 12493991069432234651891003961032862675/3230260030827841681110146970\ 74069311*c_0101_5^27 + 70527775957737716418722568687749146451/32302\ 6003082784168111014697074069311*c_0101_5^25 - 258251820083081793785604680344187491976/323026003082784168111014697\ 074069311*c_0101_5^23 + 668137077453900402640047127994019239540/323\ 026003082784168111014697074069311*c_0101_5^21 - 1355200287946337978220316862843117910331/32302600308278416811101469\ 7074069311*c_0101_5^19 + 2652661508857128924471622791366836125554/3\ 23026003082784168111014697074069311*c_0101_5^17 - 3196434094417489961738058217078833382459/32302600308278416811101469\ 7074069311*c_0101_5^15 + 2470619028296892588468631503239400165359/3\ 23026003082784168111014697074069311*c_0101_5^13 - 2354547315266206570808300361665749681734/32302600308278416811101469\ 7074069311*c_0101_5^11 + 1927199302214646357387158896610086052594/3\ 23026003082784168111014697074069311*c_0101_5^9 - 675010452782780853437162696818806256823/323026003082784168111014697\ 074069311*c_0101_5^7 + 45375739426325051000368533999844308782/32302\ 6003082784168111014697074069311*c_0101_5^5 + 8704437347172429331650066451096639099/32302600308278416811101469707\ 4069311*c_0101_5^3 + 144358951311955825445641226156743384/323026003\ 082784168111014697074069311*c_0101_5, c_0101_5^32 - 22*c_0101_5^30 + 212*c_0101_5^28 - 1201*c_0101_5^26 + 4419*c_0101_5^24 - 11501*c_0101_5^22 + 23466*c_0101_5^20 - 45999*c_0101_5^18 + 56332*c_0101_5^16 - 44786*c_0101_5^14 + 42241*c_0101_5^12 - 34756*c_0101_5^10 + 13358*c_0101_5^8 - 1568*c_0101_5^6 - 66*c_0101_5^4 - 4*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB