Magma V2.19-8 Tue Aug 20 2013 16:14:51 on localhost [Seed = 2227509480] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s825 geometric_solution 5.39112248 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 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.479156394260 0.249517059511 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 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.879051488584 0.605433737990 1 3 4 5 0132 0213 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 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.558071914722 0.692382879093 5 4 2 1 1023 1023 0213 0132 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 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.558071914722 0.692382879093 3 4 4 2 1023 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.847305897343 0.741957530835 5 3 2 5 3201 1023 0132 2310 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 -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.040733909194 0.997611545898 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_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' : d['c_0011_3'], 'c_0011_4' : 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' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : 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' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_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 7 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 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 2272983490777328239307796380426605/19897490596025540594259198216436\ *c_0101_4^29 + 22071327712042505869831019176156285/1989749059602554\ 0594259198216436*c_0101_4^27 + 78193224729926808826852367406737649/\ 9948745298012770297129599108218*c_0101_4^25 - 1338701796353930588874903789981871205/19897490596025540594259198216\ 436*c_0101_4^23 - 1644356373364119673231086788023540037/99487452980\ 12770297129599108218*c_0101_4^21 + 34686803944278013256460631628777965167/1989749059602554059425919821\ 6436*c_0101_4^19 - 36230413139302283346453900694616923373/994874529\ 8012770297129599108218*c_0101_4^17 + 22906665373061534584550035346677302982/4974372649006385148564799554\ 109*c_0101_4^15 - 45467493374939954323392255482081700285/9948745298\ 012770297129599108218*c_0101_4^13 + 60795278583464571965941652192717663983/1989749059602554059425919821\ 6436*c_0101_4^11 - 37534141778740880542371020397818868235/198974905\ 96025540594259198216436*c_0101_4^9 + 20600566800395621576117367404985424175/1989749059602554059425919821\ 6436*c_0101_4^7 - 3057265102444914329469287996240267875/99487452980\ 12770297129599108218*c_0101_4^5 + 373404947478295686308694247962345\ 283/9948745298012770297129599108218*c_0101_4^3 - 28066356011225128682627368784540411/1989749059602554059425919821643\ 6*c_0101_4, c_0011_0 - 1, c_0011_1 - 68972818542957693628183374925801/497437264900638514856479955\ 4109*c_0101_4^28 + 666277445097540181266174407160030/49743726490063\ 85148564799554109*c_0101_4^26 + 4778743342415168743878372137660528/\ 4974372649006385148564799554109*c_0101_4^24 - 40379705061977318000118882140352512/4974372649006385148564799554109\ *c_0101_4^22 - 101807601875258060043373515569480328/497437264900638\ 5148564799554109*c_0101_4^20 + 104729489015212873086236544013739978\ 1/4974372649006385148564799554109*c_0101_4^18 - 2146524833008496040994965939843840166/49743726490063851485647995541\ 09*c_0101_4^16 + 2676150604525663193152534397627907291/497437264900\ 6385148564799554109*c_0101_4^14 - 263190989811628663588290828349635\ 4263/4974372649006385148564799554109*c_0101_4^12 + 1720973892093528433174012519139886170/49743726490063851485647995541\ 09*c_0101_4^10 - 1060599899248778631004535720798802983/497437264900\ 6385148564799554109*c_0101_4^8 + 5767512495290704373856884935392317\ 41/4974372649006385148564799554109*c_0101_4^6 - 159698135843303485180482027984663554/497437264900638514856479955410\ 9*c_0101_4^4 + 16243086840548617731226921154027917/4974372649006385\ 148564799554109*c_0101_4^2 - 403929212746454135571706935086115/4974\ 372649006385148564799554109, c_0011_3 + 16664468386148490336985652306890/497437264900638514856479955\ 4109*c_0101_4^29 - 161369632241646694830949810998948/49743726490063\ 85148564799554109*c_0101_4^27 - 1150875065166591354381491696451678/\ 4974372649006385148564799554109*c_0101_4^25 + 9783776792563928731438777764851406/4974372649006385148564799554109*\ c_0101_4^23 + 24373292037079594262582736489209211/49743726490063851\ 48564799554109*c_0101_4^21 - 253648443260631657411988965297261718/4\ 974372649006385148564799554109*c_0101_4^19 + 524454396113427022114381072046774425/497437264900638514856479955410\ 9*c_0101_4^17 - 657824924909198252624747226006090235/49743726490063\ 85148564799554109*c_0101_4^15 + 64934205408541806737540425200363386\ 1/4974372649006385148564799554109*c_0101_4^13 - 428704544837337757892784538512197709/497437264900638514856479955410\ 9*c_0101_4^11 + 264102582583405699612720189367311558/49743726490063\ 85148564799554109*c_0101_4^9 - 144256419038371824671462618957450757\ /4974372649006385148564799554109*c_0101_4^7 + 41151427544509241569271748348118292/4974372649006385148564799554109\ *c_0101_4^5 - 4476206274042280814075234676418674/497437264900638514\ 8564799554109*c_0101_4^3 + 126395535051591015580339960511682/497437\ 2649006385148564799554109*c_0101_4, c_0101_0 + 50820987119492280102253995408450/497437264900638514856479955\ 4109*c_0101_4^29 - 491001498266328649225527056922847/49743726490063\ 85148564799554109*c_0101_4^27 - 3520424545797553104197375052238127/\ 4974372649006385148564799554109*c_0101_4^25 + 29757764679721426849248130736297845/4974372649006385148564799554109\ *c_0101_4^23 + 74973448296137275294545665124636489/4974372649006385\ 148564799554109*c_0101_4^21 - 771780825865818462340729216352759971/\ 4974372649006385148564799554109*c_0101_4^19 + 1582680515063603416318862830126906744/49743726490063851485647995541\ 09*c_0101_4^17 - 1974007778741523054989809483665858871/497437264900\ 6385148564799554109*c_0101_4^15 + 194196808183863349516136541893132\ 7678/4974372649006385148564799554109*c_0101_4^13 - 1270752617178439255849467944396349151/49743726490063851485647995541\ 09*c_0101_4^11 + 783258052219334102305682459357340627/4974372649006\ 385148564799554109*c_0101_4^9 - 42610466073176115009287668705950128\ 2/4974372649006385148564799554109*c_0101_4^7 + 118272419051467294796285752209366488/497437264900638514856479955410\ 9*c_0101_4^5 - 12150119664840184816449243188792720/4974372649006385\ 148564799554109*c_0101_4^3 + 326457851070440081853767384652811/4974\ 372649006385148564799554109*c_0101_4, c_0101_1 - 53111547758321648805877010121455/497437264900638514856479955\ 4109*c_0101_4^28 + 513153564463704167042196365203362/49743726490063\ 85148564799554109*c_0101_4^26 + 3678901497367467852767615954133764/\ 4974372649006385148564799554109*c_0101_4^24 - 31100708319408068523169034047419591/4974372649006385148564799554109\ *c_0101_4^22 - 78341085657370159227871004275211423/4974372649006385\ 148564799554109*c_0101_4^20 + 806610484677798397032219655310386777/\ 4974372649006385148564799554109*c_0101_4^18 - 1654318777556172038704477704125537224/49743726490063851485647995541\ 09*c_0101_4^16 + 2063352475615170608433726228325415225/497437264900\ 6385148564799554109*c_0101_4^14 - 202970779694699634826079314093988\ 2952/4974372649006385148564799554109*c_0101_4^12 + 1328081446178577070387864230887063797/49743726490063851485647995541\ 09*c_0101_4^10 - 818342461192989043155933129145616454/4974372649006\ 385148564799554109*c_0101_4^8 + 44515655198054737782129953432568165\ 0/4974372649006385148564799554109*c_0101_4^6 - 123505843882661681623156380183648185/497437264900638514856479955410\ 9*c_0101_4^4 + 12591291594384979310721258425630791/4974372649006385\ 148564799554109*c_0101_4^2 - 311494489026667676664863350860829/4974\ 372649006385148564799554109, c_0101_4^30 - 10*c_0101_4^28 - 66*c_0101_4^26 + 609*c_0101_4^24 + 1277*c_0101_4^22 - 15686*c_0101_4^20 + 36284*c_0101_4^18 - 49382*c_0101_4^16 + 51352*c_0101_4^14 - 37927*c_0101_4^12 + 23862*c_0101_4^10 - 13591*c_0101_4^8 + 5159*c_0101_4^6 - 1023*c_0101_4^4 + 86*c_0101_4^2 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB