Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 155751482] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2717 geometric_solution 5.96739348 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 1023 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 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 1.075003537242 0.849337240025 0 1 0 1 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 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523769248468 0.219709802862 4 0 4 5 0132 0132 2031 0132 0 0 0 0 0 1 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457090459759 0.559069826155 5 4 0 5 1302 1230 0132 1230 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 -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.724057496127 1.066117425456 2 6 3 2 0132 0132 3012 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.037832248225 0.719568871281 3 3 2 6 3012 2031 0132 1230 0 0 0 0 0 0 0 0 -1 0 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 0 0 1.421891844039 1.292858414903 5 4 6 6 3012 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771885694532 0.699040532665 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : negation(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' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : d['c_0110_6'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_6'], 'c_0101_6' : d['c_0011_3'], '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' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_0']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_5']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_5']), 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_3, c_0011_5, c_0101_0, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 1547553252755384870762731/12648984694830948352*c_0110_6^19 + 8343071160015797914436631/3162246173707737088*c_0110_6^18 - 31641622417385083926057395/1806997813547278336*c_0110_6^17 + 101188480861469464868172255/1806997813547278336*c_0110_6^16 - 61687211198465730982471629/1806997813547278336*c_0110_6^15 - 675449494128607416936277977/12648984694830948352*c_0110_6^14 + 1922210612415813678806060155/6324492347415474176*c_0110_6^13 - 859235019671022960299317217/12648984694830948352*c_0110_6^12 - 520147633237804969421765699/903498906773639168*c_0110_6^11 - 2238065464566524900526228645/12648984694830948352*c_0110_6^10 - 5961309141688184854589400711/12648984694830948352*c_0110_6^9 - 15060770598890182194689567213/12648984694830948352*c_0110_6^8 - 516012325840266034076111733/1806997813547278336*c_0110_6^7 + 245051338056362761396190969/197640385856733568*c_0110_6^6 + 18585514256225686620182265387/12648984694830948352*c_0110_6^5 + 9823523513264325337039618203/12648984694830948352*c_0110_6^4 + 22550224152972305425932579/98820192928366784*c_0110_6^3 + 482336133089403463600964915/12648984694830948352*c_0110_6^2 + 21250364125944216164923153/6324492347415474176*c_0110_6 + 1514275009456043481564437/12648984694830948352, c_0011_0 - 1, c_0011_3 - 1152199581194480632733/49410096464183392*c_0110_6^19 + 3069672231521107914753/6176262058022924*c_0110_6^18 - 22662327729871268965705/7058585209169056*c_0110_6^17 + 69322889922112947550233/7058585209169056*c_0110_6^16 - 26340038370048639392047/7058585209169056*c_0110_6^15 - 598948844486457300029399/49410096464183392*c_0110_6^14 + 1373388906888089854157975/24705048232091696*c_0110_6^13 + 91830067340430083540885/49410096464183392*c_0110_6^12 - 404583972185905689671153/3529292604584528*c_0110_6^11 - 3000345507344225122142147/49410096464183392*c_0110_6^10 - 4707534451818641743144597/49410096464183392*c_0110_6^9 - 12297620931253731918766827/49410096464183392*c_0110_6^8 - 769052412703029253125183/7058585209169056*c_0110_6^7 + 353209015404271632802230/1544065514505731*c_0110_6^6 + 16810640198580141701168125/49410096464183392*c_0110_6^5 + 10455514674927937428578057/49410096464183392*c_0110_6^4 + 454295087201217123419155/6176262058022924*c_0110_6^3 + 732925727356419736446637/49410096464183392*c_0110_6^2 + 40073675586869979436609/24705048232091696*c_0110_6 + 3674321103857171467743/49410096464183392, c_0011_5 + 917495417363584761465/49410096464183392*c_0110_6^19 - 1221124152484140347917/3088131029011462*c_0110_6^18 + 17993301161114292858725/7058585209169056*c_0110_6^17 - 54848674969160156958485/7058585209169056*c_0110_6^16 + 19828396351724247077915/7058585209169056*c_0110_6^15 + 482433564800069410973987/49410096464183392*c_0110_6^14 - 1090159305118030116420467/24705048232091696*c_0110_6^13 - 116085734252665612113017/49410096464183392*c_0110_6^12 + 323129317191821596202473/3529292604584528*c_0110_6^11 + 2468123226542324277605967/49410096464183392*c_0110_6^10 + 3765888816566377522263745/49410096464183392*c_0110_6^9 + 9856475872886026218521247/49410096464183392*c_0110_6^8 + 635222610892766190840955/7058585209169056*c_0110_6^7 - 1121934113616903082325369/6176262058022924*c_0110_6^6 - 13561406836293877794732801/49410096464183392*c_0110_6^5 - 8514033512464454393353013/49410096464183392*c_0110_6^4 - 373052934906326900034181/6176262058022924*c_0110_6^3 - 606750937083787412199785/49410096464183392*c_0110_6^2 - 33438106766625196896065/24705048232091696*c_0110_6 - 3089381728655258769171/49410096464183392, c_0101_0 - 515277638167220980313/98820192928366784*c_0110_6^19 + 343022729832629139339/3088131029011462*c_0110_6^18 - 10117509550188806063693/14117170418338112*c_0110_6^17 + 30886637805312306758725/14117170418338112*c_0110_6^16 - 11409841824782260882715/14117170418338112*c_0110_6^15 - 269454194061332601655483/98820192928366784*c_0110_6^14 + 612950311736252482875399/49410096464183392*c_0110_6^13 + 55135724853702500436921/98820192928366784*c_0110_6^12 - 181170331037763147660693/7058585209169056*c_0110_6^11 - 1368597695591004939560391/98820192928366784*c_0110_6^10 - 2112811166186908740064873/98820192928366784*c_0110_6^9 - 5520501470570811799931951/98820192928366784*c_0110_6^8 - 351703896313510833191195/14117170418338112*c_0110_6^7 + 78796161074169585329706/1544065514505731*c_0110_6^6 + 7576491460219021570486553/98820192928366784*c_0110_6^5 + 4742413634123949679156925/98820192928366784*c_0110_6^4 + 207296009005111421038437/12352524116045848*c_0110_6^3 + 336406404376419517136473/98820192928366784*c_0110_6^2 + 18495918879487540886601/49410096464183392*c_0110_6 + 1704157255794068913531/98820192928366784, c_0101_2 - 2025556556440147093113/49410096464183392*c_0110_6^19 + 21585420222238844224641/24705048232091696*c_0110_6^18 - 39837711005521660032503/7058585209169056*c_0110_6^17 + 121853279191068674331789/7058585209169056*c_0110_6^16 - 46258319354406921336621/7058585209169056*c_0110_6^15 - 1053033969222710509175735/49410096464183392*c_0110_6^14 + 603539841004147580155365/6176262058022924*c_0110_6^13 + 163397258580358904793551/49410096464183392*c_0110_6^12 - 711238837537939419250611/3529292604584528*c_0110_6^11 - 5278857904910838421191951/49410096464183392*c_0110_6^10 - 8278007323438070609164275/49410096464183392*c_0110_6^9 - 21622104653770585176700623/49410096464183392*c_0110_6^8 - 1353257559383869986513913/7058585209169056*c_0110_6^7 + 620815314057270181358933/1544065514505731*c_0110_6^6 + 29561573537173722263718585/49410096464183392*c_0110_6^5 + 18392992048077639967012987/49410096464183392*c_0110_6^4 + 1599059166341517261166993/12352524116045848*c_0110_6^3 + 1290593024170272732165301/49410096464183392*c_0110_6^2 + 35305288047998075641143/12352524116045848*c_0110_6 + 6479036063318564981049/49410096464183392, c_0101_4 + 3172414005391199208469/49410096464183392*c_0110_6^19 - 33810813655042086454315/24705048232091696*c_0110_6^18 + 62417480084334138639703/7058585209169056*c_0110_6^17 - 191006025818118912786761/7058585209169056*c_0110_6^16 + 72969215616640418578933/7058585209169056*c_0110_6^15 + 1646778458679878199880083/49410096464183392*c_0110_6^14 - 1891320172473844675602337/12352524116045848*c_0110_6^13 - 236354849876064922594471/49410096464183392*c_0110_6^12 + 1113502123925069234976147/3529292604584528*c_0110_6^11 + 8231682428589521815303667/49410096464183392*c_0110_6^10 + 12957346661835651830141411/49410096464183392*c_0110_6^9 + 33835619677137293573630643/49410096464183392*c_0110_6^8 + 2109085482096815301797977/7058585209169056*c_0110_6^7 - 1945316411525313443174147/3088131029011462*c_0110_6^6 - 46219241744718467399621413/49410096464183392*c_0110_6^5 - 28721839507251114654110339/49410096464183392*c_0110_6^4 - 2494331971810204660099015/12352524116045848*c_0110_6^3 - 2011129468519685546730697/49410096464183392*c_0110_6^2 - 27482304624365974912607/6176262058022924*c_0110_6 - 10078270459921435879785/49410096464183392, c_0110_6^20 - 21*c_0110_6^19 + 131*c_0110_6^18 - 378*c_0110_6^17 + 28*c_0110_6^16 + 570*c_0110_6^15 - 2221*c_0110_6^14 - 827*c_0110_6^13 + 4891*c_0110_6^12 + 4145*c_0110_6^11 + 4902*c_0110_6^10 + 11954*c_0110_6^9 + 8018*c_0110_6^8 - 8345*c_0110_6^7 - 17665*c_0110_6^6 - 13648*c_0110_6^5 - 5999*c_0110_6^4 - 1625*c_0110_6^3 - 269*c_0110_6^2 - 25*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB