Magma V2.19-8 Tue Aug 20 2013 16:19:12 on localhost [Seed = 3153733308] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3317 geometric_solution 6.44885891 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.640357480535 0.973666279002 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 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 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.576359234166 0.839016444321 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 1 -1 0 -1 0 0 1 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 1 0 0 -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.576359234166 0.839016444321 3 1 3 2 2031 0132 1302 2310 0 0 0 0 0 1 0 -1 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 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.339761274271 0.899088843850 2 6 1 6 2310 0132 0132 1023 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 0 0 0 0 0 0 0 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.110011311388 0.783696225145 2 5 5 1 3201 3201 2310 0132 0 0 0 0 0 0 0 0 1 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 0 0 0 0 -1 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 0.534743031448 0.716889144507 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535254836266 0.226899939584 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 117120654473914003641341287879157698/378716713028198289595241568937\ 207*c_0110_6^30 + 4200552996868544152008919715625421403/37871671302\ 8198289595241568937207*c_0110_6^28 - 31758928120105504006286389327323270594/3787167130281982895952415689\ 37207*c_0110_6^26 + 139072378575468185434641688523261799730/3787167\ 13028198289595241568937207*c_0110_6^24 - 345601341785044344437191390307606801599/378716713028198289595241568\ 937207*c_0110_6^22 + 36838867939476969848354438214944266666/5410238\ 7575456898513605938419601*c_0110_6^20 + 996673608457920849257486147881050378973/378716713028198289595241568\ 937207*c_0110_6^18 - 2094498633431848273491970259942922462965/37871\ 6713028198289595241568937207*c_0110_6^16 + 482983146122873596821889103636917577112/378716713028198289595241568\ 937207*c_0110_6^14 + 1573590328462676179751330961218210341919/37871\ 6713028198289595241568937207*c_0110_6^12 - 1842522954119904349550052985372367486524/37871671302819828959524156\ 8937207*c_0110_6^10 + 1004326845857585603294170020037431965371/3787\ 16713028198289595241568937207*c_0110_6^8 - 19593541722071734915968195232823946338/3787167130281982895952415689\ 37207*c_0110_6^6 - 9087764255491768326055808204623122256/3787167130\ 28198289595241568937207*c_0110_6^4 - 6664264995260529434702425928527206067/37871671302819828959524156893\ 7207*c_0110_6^2 + 856961951441710514706819244271328399/378716713028\ 198289595241568937207, c_0011_0 - 1, c_0011_4 - 2146814503627616111641115313606453/5410238757545689851360593\ 8419601*c_0110_6^31 + 76982831478661263563973200667728873/541023875\ 75456898513605938419601*c_0110_6^29 - 581673913466943243149231819776312827/541023875754568985136059384196\ 01*c_0110_6^27 + 2545747382770727424855757961289628578/541023875754\ 56898513605938419601*c_0110_6^25 - 6320081385856039478215264306535014343/54102387575456898513605938419\ 601*c_0110_6^23 + 670199306945246155284080211789633792/772891251077\ 9556930515134059943*c_0110_6^21 + 182901792540373439358862452253922\ 97326/54102387575456898513605938419601*c_0110_6^19 - 38276326952090318762616997702967174581/5410238757545689851360593841\ 9601*c_0110_6^17 + 8643898054731130975256574166465499250/5410238757\ 5456898513605938419601*c_0110_6^15 + 28853024452020086025308361809982413883/5410238757545689851360593841\ 9601*c_0110_6^13 - 33595001027808092462453199583675203691/541023875\ 75456898513605938419601*c_0110_6^11 + 18241425850059367464540904203059779738/5410238757545689851360593841\ 9601*c_0110_6^9 - 283440198285631718574039792632851915/541023875754\ 56898513605938419601*c_0110_6^7 - 151981546664198336147646758705025\ 359/54102387575456898513605938419601*c_0110_6^5 - 120381680261173298819793228451173889/541023875754568985136059384196\ 01*c_0110_6^3 + 15279756428833973309141101812050776/541023875754568\ 98513605938419601*c_0110_6, c_0101_0 + 503210800101202599795646073518963/54102387575456898513605938\ 419601*c_0110_6^31 - 18029946196732256267726453997688752/5410238757\ 5456898513605938419601*c_0110_6^29 + 135817575799851107869694157631054192/541023875754568985136059384196\ 01*c_0110_6^27 - 592813242307359472862403752933542637/5410238757545\ 6898513605938419601*c_0110_6^25 + 146458423217471287884900128731564\ 9992/54102387575456898513605938419601*c_0110_6^23 - 151290619847136869768003580326955502/772891251077955693051513405994\ 3*c_0110_6^21 - 4312733072017360667861405716721252049/5410238757545\ 6898513605938419601*c_0110_6^19 + 884218488446937195927266117930429\ 9309/54102387575456898513605938419601*c_0110_6^17 - 1784717777459815206434679016813143748/54102387575456898513605938419\ 601*c_0110_6^15 - 6782801406911754182565594200294404473/54102387575\ 456898513605938419601*c_0110_6^13 + 7673500749277537123279667739543849919/54102387575456898513605938419\ 601*c_0110_6^11 - 4078419599894248701944640387670597587/54102387575\ 456898513605938419601*c_0110_6^9 - 26375164087206851401479201656264628/5410238757545689851360593841960\ 1*c_0110_6^7 + 22628353940003893639735529775999187/5410238757545689\ 8513605938419601*c_0110_6^5 + 26906242030641320789260392388390130/5\ 4102387575456898513605938419601*c_0110_6^3 - 2824370915382232324041318379989147/54102387575456898513605938419601\ *c_0110_6, c_0101_1 - 54552725243608407618484252520151/541023875754568985136059384\ 19601*c_0110_6^30 + 1955380888761896441562607196732108/541023875754\ 56898513605938419601*c_0110_6^28 - 14751233541803491615680184164331132/5410238757545689851360593841960\ 1*c_0110_6^26 + 64468394147312876491694592687303422/541023875754568\ 98513605938419601*c_0110_6^24 - 15963918973096217492457957667548335\ 4/54102387575456898513605938419601*c_0110_6^22 + 16695693844592064005715324913706964/7728912510779556930515134059943\ *c_0110_6^20 + 466356643204121391988892504574565638/541023875754568\ 98513605938419601*c_0110_6^18 - 96547953998896844313862224144422099\ 9/54102387575456898513605938419601*c_0110_6^16 + 205724928445675117051826967602099899/541023875754568985136059384196\ 01*c_0110_6^14 + 735275521752241924464424325512461870/5410238757545\ 6898513605938419601*c_0110_6^12 - 842893037240252185821769969691200\ 493/54102387575456898513605938419601*c_0110_6^10 + 451819156567567202393634659782109137/541023875754568985136059384196\ 01*c_0110_6^8 - 969898633055444616642026880846333/54102387575456898\ 513605938419601*c_0110_6^6 - 3855821614320364830928774715997551/541\ 02387575456898513605938419601*c_0110_6^4 - 2886187070440003304106317019401524/54102387575456898513605938419601\ *c_0110_6^2 + 366619137654434490931595629148307/5410238757545689851\ 3605938419601, c_0101_2 - 1505524569444875147527538528933546/5410238757545689851360593\ 8419601*c_0110_6^31 + 53995943695445793045749546036576836/541023875\ 75456898513605938419601*c_0110_6^29 - 408246258798244693024554227923727824/541023875754568985136059384196\ 01*c_0110_6^27 + 1787731279626538005193634328988097922/541023875754\ 56898513605938419601*c_0110_6^25 - 4442705600382793462731186937546073774/54102387575456898513605938419\ 601*c_0110_6^23 + 473643992577246574948591136404517696/772891251077\ 9556930515134059943*c_0110_6^21 + 128102287364190251495903916989334\ 55703/54102387575456898513605938419601*c_0110_6^19 - 26923149946430201257783162277436499527/5410238757545689851360593841\ 9601*c_0110_6^17 + 6213710884536481737315652917434433545/5410238757\ 5456898513605938419601*c_0110_6^15 + 20219261910401841666510891722624947116/5410238757545689851360593841\ 9601*c_0110_6^13 - 23684704853760469322230540137122004909/541023875\ 75456898513605938419601*c_0110_6^11 + 12917562606678740396475276900701972098/5410238757545689851360593841\ 9601*c_0110_6^9 - 258809375082180526694869886025905908/541023875754\ 56898513605938419601*c_0110_6^7 - 113619887652162241235292569086326\ 023/54102387575456898513605938419601*c_0110_6^5 - 85157777886672165682289463767978263/5410238757545689851360593841960\ 1*c_0110_6^3 + 11120715923654204468644636051584263/5410238757545689\ 8513605938419601*c_0110_6, c_0101_5 - 709312945328069119236530205185008/54102387575456898513605938\ 419601*c_0110_6^30 + 25437679269275873287006567939133892/5410238757\ 5456898513605938419601*c_0110_6^28 - 192270680116578957737193005121061571/541023875754568985136059384196\ 01*c_0110_6^26 + 841746802619434155864710965110145382/5410238757545\ 6898513605938419601*c_0110_6^24 - 209086864631514367824154076269774\ 7169/54102387575456898513605938419601*c_0110_6^22 + 222367255841578533854477486987639950/772891251077955693051513405994\ 3*c_0110_6^20 + 6038967950088009324260888117312027179/5410238757545\ 6898513605938419601*c_0110_6^18 - 126672739362516505652909633983412\ 69107/54102387575456898513605938419601*c_0110_6^16 + 2894746651517049281545273925813543727/54102387575456898513605938419\ 601*c_0110_6^14 + 9529458261119692212841199491170553426/54102387575\ 456898513605938419601*c_0110_6^12 - 11131911358031927822670184271508225961/5410238757545689851360593841\ 9601*c_0110_6^10 + 6059045175694929577326867921732263818/5410238757\ 5456898513605938419601*c_0110_6^8 - 108863297398002741609325625655470600/541023875754568985136059384196\ 01*c_0110_6^6 - 52099180561134248966380531527747855/541023875754568\ 98513605938419601*c_0110_6^4 - 39906251814040514409409568036295440/\ 54102387575456898513605938419601*c_0110_6^2 + 5129913803093202455998329234943709/54102387575456898513605938419601\ , c_0110_6^32 - 36*c_0110_6^30 + 276*c_0110_6^28 - 1224*c_0110_6^26 + 3111*c_0110_6^24 - 2600*c_0110_6^22 - 8212*c_0110_6^20 + 19030*c_0110_6^18 - 6538*c_0110_6^16 - 12874*c_0110_6^14 + 17543*c_0110_6^12 - 10701*c_0110_6^10 + 1328*c_0110_6^8 + 53*c_0110_6^6 + 46*c_0110_6^4 - 15*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB