Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 1292685739] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0766 geometric_solution 4.70829585 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 0321 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 0 -1 1 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.216401588174 0.587428886905 0 2 3 0 0132 1230 1230 0321 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 0 0 0 0 -1 0 1 -1 0 0 1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.817015005140 0.612479821055 4 4 1 0 0132 2310 3012 0132 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 0 0 0 -2 0 1 1 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.449494622847 0.499749779292 5 5 0 1 0132 2310 0132 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 -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.100903752475 3.794878149352 2 4 4 2 0132 1230 3012 3201 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 0 0 0 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.042527940207 1.019433351817 3 6 6 3 0132 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.063312868945 0.161046044306 6 5 5 6 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.703195464008 1.220540457507 ==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' : negation(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' : negation(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_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_1001_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_1'], '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' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0011_2'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0101_2']})} 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_3, c_0101_1, c_0101_2, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 41949690373694489520896035948676643041023/3605422683403046934280794\ 148999487600684075*c_1001_1^14 - 1044969533760491306170965458473060\ 213124481/7210845366806093868561588297998975201368150*c_1001_1^13 - 10074131415727121539015929630279889320262907/1442169073361218773712\ 3176595997950402736300*c_1001_1^12 - 1888382329775021978460257981900075870364037/14421690733612187737123\ 176595997950402736300*c_1001_1^11 + 24582556590271565669240556327644003539931853/7210845366806093868561\ 588297998975201368150*c_1001_1^10 - 28762805345601658788504760366649930483474927/2884338146722437547424\ 635319199590080547260*c_1001_1^9 - 150544477317077932448273645425249284822458052/360542268340304693428\ 0794148999487600684075*c_1001_1^8 - 84634891622188931928584588906560778438057269/2884338146722437547424\ 635319199590080547260*c_1001_1^7 + 250663425636374802126273983151153756609662076/360542268340304693428\ 0794148999487600684075*c_1001_1^6 + 32895091098414651909165562371237304877586044/3605422683403046934280\ 794148999487600684075*c_1001_1^5 - 672953810902039057961494232424917411202214986/360542268340304693428\ 0794148999487600684075*c_1001_1^4 - 408182874525788359247135415296065873581608719/288433814672243754742\ 4635319199590080547260*c_1001_1^3 + 1182780359676019035855141662069256110149299281/72108453668060938685\ 61588297998975201368150*c_1001_1^2 + 254189499506252009781968309701745538220903573/144216907336121877371\ 2317659599795040273630*c_1001_1 - 585252046040840880154541775988134\ 77872615101/14421690733612187737123176595997950402736300, c_0011_0 - 1, c_0011_2 + 427402221092861871020172757282670409/23936416155372925704768\ 75783568124548172*c_1001_1^14 + 74648158973221316822108031313876366\ 59/4787283231074585140953751567136249096344*c_1001_1^13 + 44980192044959227140533321237545808953/9574566462149170281907503134\ 272498192688*c_1001_1^12 - 172859445514958059380297386351226773123/\ 9574566462149170281907503134272498192688*c_1001_1^11 + 16962873677875874669020836020630233789/4787283231074585140953751567\ 136249096344*c_1001_1^10 + 1398628688151156303020281484204373015257\ /9574566462149170281907503134272498192688*c_1001_1^9 + 785145020987759621568342519976336493191/478728323107458514095375156\ 7136249096344*c_1001_1^8 - 3731346882511518467217832463215629467731\ /9574566462149170281907503134272498192688*c_1001_1^7 - 373649759975187596060747330564817644821/119682080776864628523843789\ 1784062274086*c_1001_1^6 + 622992315881048080013932200007681419986/\ 598410403884323142619218945892031137043*c_1001_1^5 + 1857999356364602473479536514281036158275/23936416155372925704768757\ 83568124548172*c_1001_1^4 - 156755598665677060855853007620991006247\ 27/9574566462149170281907503134272498192688*c_1001_1^3 - 2655721076959673575254674481638512658861/23936416155372925704768757\ 83568124548172*c_1001_1^2 + 989892923145128744597321417316205464497\ /598410403884323142619218945892031137043*c_1001_1 + 4550294112601920305141634566070452215561/95745664621491702819075031\ 34272498192688, c_0011_3 + 649700720188481491222618237301847637/11968208077686462852384\ 37891784062274086*c_1001_1^14 + 80988478627609750421810863211644406\ 19/2393641615537292570476875783568124548172*c_1001_1^13 + 12848263875430219665586375208616406761/4787283231074585140953751567\ 136249096344*c_1001_1^12 - 432325267201947176713132638283914163433/\ 4787283231074585140953751567136249096344*c_1001_1^11 + 332407297878346699787831638419802142841/239364161553729257047687578\ 3568124548172*c_1001_1^10 + 166515926995748496087969700599158662239\ 3/4787283231074585140953751567136249096344*c_1001_1^9 - 480162878945771235312020269837760141765/119682080776864628523843789\ 1784062274086*c_1001_1^8 - 1148697983211635493591340645864908948846\ 1/4787283231074585140953751567136249096344*c_1001_1^7 + 1087530277919059740130252864139690113305/11968208077686462852384378\ 91784062274086*c_1001_1^6 + 444789203009498388764515359030105194104\ 3/1196820807768646285238437891784062274086*c_1001_1^5 - 1234222673850274078383836099267755302684/59841040388432314261921894\ 5892031137043*c_1001_1^4 - 4118836582893313771902361936440205513475\ 9/4787283231074585140953751567136249096344*c_1001_1^3 + 1288771093426209234156022589403928106553/23936416155372925704768757\ 83568124548172*c_1001_1^2 + 135852843959463667661140136187976534343\ 35/2393641615537292570476875783568124548172*c_1001_1 + 3701188645076224380133878895603174955715/47872832310745851409537515\ 67136249096344, c_0101_1 + 104061811465805145723714098930993658/59841040388432314261921\ 8945892031137043*c_1001_1^14 + 767037717882153659746201317764775212\ /598410403884323142619218945892031137043*c_1001_1^13 + 2065597717570636786846031027420309639/59841040388432314261921894589\ 2031137043*c_1001_1^12 - 38907353260452910435968000000139629847/239\ 3641615537292570476875783568124548172*c_1001_1^11 + 28710201285602150340009854548925494520/5984104038843231426192189458\ 92031137043*c_1001_1^10 + 22717788361321824661349069025255606198/59\ 8410403884323142619218945892031137043*c_1001_1^9 + 219054578175952314825874735557183644363/239364161553729257047687578\ 3568124548172*c_1001_1^8 - 79048438215037903697076546712564405777/2\ 393641615537292570476875783568124548172*c_1001_1^7 + 860046704577442157237236663415063037867/119682080776864628523843789\ 1784062274086*c_1001_1^6 - 102517753325037766826841177847216038687/\ 1196820807768646285238437891784062274086*c_1001_1^5 + 13935653787150872703143916593093750523/1196820807768646285238437891\ 784062274086*c_1001_1^4 + 341870394245545958958794658750156953308/5\ 98410403884323142619218945892031137043*c_1001_1^3 + 2963384507550119370437115111657453860623/23936416155372925704768757\ 83568124548172*c_1001_1^2 - 108183322138064065666703904195290823008\ 1/2393641615537292570476875783568124548172*c_1001_1 - 2071762594480341831760737983655873555127/23936416155372925704768757\ 83568124548172, c_0101_2 - 1078056088473650452840746721066874571/2393641615537292570476\ 875783568124548172*c_1001_1^14 - 1690016185304618252029871907343325\ 0129/4787283231074585140953751567136249096344*c_1001_1^13 - 83214481633336288019651360325311004771/9574566462149170281907503134\ 272498192688*c_1001_1^12 + 514716303175063505788013109101267658205/\ 9574566462149170281907503134272498192688*c_1001_1^11 - 253008562581544917941073456042261948871/478728323107458514095375156\ 7136249096344*c_1001_1^10 - 293832899280897515848994360557291143723\ 5/9574566462149170281907503134272498192688*c_1001_1^9 - 839133860801793319683417830035646661931/478728323107458514095375156\ 7136249096344*c_1001_1^8 + 1068533930471601597089144541696815679038\ 9/9574566462149170281907503134272498192688*c_1001_1^7 + 86007601320513848829097474021071217397/5984104038843231426192189458\ 92031137043*c_1001_1^6 - 2505121474344007101414714984119656046859/1\ 196820807768646285238437891784062274086*c_1001_1^5 - 1600896760597668642166543521008228089687/23936416155372925704768757\ 83568124548172*c_1001_1^4 + 288404100711796171690057986700369647361\ 25/9574566462149170281907503134272498192688*c_1001_1^3 + 913661284007910865135417012363485507771/598410403884323142619218945\ 892031137043*c_1001_1^2 - 5302029557851450035100028608730156697711/\ 2393641615537292570476875783568124548172*c_1001_1 - 7340377565422981857712992763801794320583/95745664621491702819075031\ 34272498192688, c_0101_6 - 2157240922929440208784852534405357467/1196820807768646285238\ 437891784062274086*c_1001_1^14 - 3691438069252633660841707724040189\ 0993/2393641615537292570476875783568124548172*c_1001_1^13 - 228372556721632131084778140646615684675/478728323107458514095375156\ 7136249096344*c_1001_1^12 + 793657825501507370370486509904423982709\ /4787283231074585140953751567136249096344*c_1001_1^11 - 323837920268170211993867257212965439659/239364161553729257047687578\ 3568124548172*c_1001_1^10 - 543440768024257354894359777059469281821\ 1/4787283231074585140953751567136249096344*c_1001_1^9 - 4117114931246291283712500734835834412459/23936416155372925704768757\ 83568124548172*c_1001_1^8 + 101800039128067175286940712592838203705\ 89/4787283231074585140953751567136249096344*c_1001_1^7 + 505626754770622337226346796268530860220/598410403884323142619218945\ 892031137043*c_1001_1^6 - 3001172651511594049853070813358119556323/\ 598410403884323142619218945892031137043*c_1001_1^5 - 7382787951684089233771064084799774142545/11968208077686462852384378\ 91784062274086*c_1001_1^4 + 159429221401203863620042266793925357252\ 77/4787283231074585140953751567136249096344*c_1001_1^3 + 3038123479695409174826090875811134802954/59841040388432314261921894\ 5892031137043*c_1001_1^2 + 383235390586117289096009438546045012651/\ 1196820807768646285238437891784062274086*c_1001_1 + 4066296745543930216102490709822204325881/47872832310745851409537515\ 67136249096344, c_1001_1^15 + 17/2*c_1001_1^14 + 99/4*c_1001_1^13 - 104*c_1001_1^12 + 193/4*c_1001_1^11 + 2975/4*c_1001_1^10 + 3321/4*c_1001_1^9 - 8225/4*c_1001_1^8 - 5873/4*c_1001_1^7 + 4502*c_1001_1^6 + 3927*c_1001_1^5 - 24155/4*c_1001_1^4 - 24569/4*c_1001_1^3 + 3225*c_1001_1^2 + 11137/4*c_1001_1 - 1205/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB