Magma V2.19-8 Tue Aug 20 2013 16:14:07 on localhost [Seed = 2564359329] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s074 geometric_solution 3.61294913 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 2310 1023 3201 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 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.751325237615 0.031225634787 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -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 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 0.566328103319 0.091522117784 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 -1 1 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 -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.950092650901 1.367325723541 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 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 -1 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 0 0 0 0.091548226990 1.936169615507 5 5 3 5 1023 2031 0132 1302 0 0 0 0 0 0 -1 1 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 -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.502351116972 0.508728566849 4 4 4 3 1302 1023 2031 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 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.502351116972 0.508728566849 ==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_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_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' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 870556733579757557472/132199576763338618945*c_0101_3^19 - 4855256767369727899632/132199576763338618945*c_0101_3^18 - 26601003142718075166621/132199576763338618945*c_0101_3^17 + 54025823047813863303496/132199576763338618945*c_0101_3^16 + 74995432955031746215770/26439915352667723789*c_0101_3^15 - 291242979710381002064764/132199576763338618945*c_0101_3^14 - 1648593490936092464513788/132199576763338618945*c_0101_3^13 + 915770421255630788352919/132199576763338618945*c_0101_3^12 + 3394734709550765350943078/132199576763338618945*c_0101_3^11 - 322416142574827089563349/26439915352667723789*c_0101_3^10 - 3712381738615777598033057/132199576763338618945*c_0101_3^9 + 320985347088693689397630/26439915352667723789*c_0101_3^8 + 2216199039134398114499086/132199576763338618945*c_0101_3^7 - 186144526981762204712447/26439915352667723789*c_0101_3^6 - 676390767804136552198024/132199576763338618945*c_0101_3^5 + 330025528913430645168117/132199576763338618945*c_0101_3^4 + 78299634865036166521867/132199576763338618945*c_0101_3^3 - 67230709613568390910567/132199576763338618945*c_0101_3^2 + 1100567048538313148464/132199576763338618945*c_0101_3 + 4546849859968157133516/132199576763338618945, c_0011_0 - 1, c_0011_4 - 12502408898156613634/26439915352667723789*c_0101_3^19 - 83731299888664442674/26439915352667723789*c_0101_3^18 - 470351751409557383018/26439915352667723789*c_0101_3^17 + 276746554779932034860/26439915352667723789*c_0101_3^16 + 5843967557583914356105/26439915352667723789*c_0101_3^15 + 1923778948830433214785/26439915352667723789*c_0101_3^14 - 23791253625758077527331/26439915352667723789*c_0101_3^13 - 10405793719572312558766/26439915352667723789*c_0101_3^12 + 47522827959945209284064/26439915352667723789*c_0101_3^11 + 19157369694114723104852/26439915352667723789*c_0101_3^10 - 53581196888440636223942/26439915352667723789*c_0101_3^9 - 16701196016293028900872/26439915352667723789*c_0101_3^8 + 35946657054976085841234/26439915352667723789*c_0101_3^7 + 6395946778274586926472/26439915352667723789*c_0101_3^6 - 14437185633692833262708/26439915352667723789*c_0101_3^5 - 115623781988842077347/26439915352667723789*c_0101_3^4 + 3335104561728141179693/26439915352667723789*c_0101_3^3 - 535132763560960771657/26439915352667723789*c_0101_3^2 - 362972046507446445929/26439915352667723789*c_0101_3 + 95989033089665200456/26439915352667723789, c_0101_0 - 41284165725328772899/26439915352667723789*c_0101_3^19 - 256787890583996665444/26439915352667723789*c_0101_3^18 - 1433811167709027088500/26439915352667723789*c_0101_3^17 + 1572686121926177077226/26439915352667723789*c_0101_3^16 + 18401136782929974382292/26439915352667723789*c_0101_3^15 - 2506647333495037275664/26439915352667723789*c_0101_3^14 - 75794159010985384070031/26439915352667723789*c_0101_3^13 + 3797569852609812438613/26439915352667723789*c_0101_3^12 + 149406103247690791631215/26439915352667723789*c_0101_3^11 - 14738032956906784633517/26439915352667723789*c_0101_3^10 - 159274024188906582266307/26439915352667723789*c_0101_3^9 + 29038715698448405958293/26439915352667723789*c_0101_3^8 + 93693807350315018791528/26439915352667723789*c_0101_3^7 - 26906050925896213502486/26439915352667723789*c_0101_3^6 - 28628077380664526596479/26439915352667723789*c_0101_3^5 + 12376036070429956917115/26439915352667723789*c_0101_3^4 + 3549251520239889663884/26439915352667723789*c_0101_3^3 - 2543949210569585252120/26439915352667723789*c_0101_3^2 + 54889061865043264971/26439915352667723789*c_0101_3 + 141512060934136979336/26439915352667723789, c_0101_1 + 101409244947331208582/26439915352667723789*c_0101_3^19 + 647534200830642323320/26439915352667723789*c_0101_3^18 + 3630072864991320936501/26439915352667723789*c_0101_3^17 - 3262702870200341439746/26439915352667723789*c_0101_3^16 - 45738117060725046745000/26439915352667723789*c_0101_3^15 - 1639130101509495357382/26439915352667723789*c_0101_3^14 + 185812381359250089502942/26439915352667723789*c_0101_3^13 + 23932409737024133843436/26439915352667723789*c_0101_3^12 - 363145980955478121132788/26439915352667723789*c_0101_3^11 - 33219393098436039896515/26439915352667723789*c_0101_3^10 + 388526450679783377037576/26439915352667723789*c_0101_3^9 + 7816222761191438539326/26439915352667723789*c_0101_3^8 - 235946448018778577052457/26439915352667723789*c_0101_3^7 + 16977232175690764707317/26439915352667723789*c_0101_3^6 + 80095632472652745077369/26439915352667723789*c_0101_3^5 - 15690751587925089673621/26439915352667723789*c_0101_3^4 - 14032052062985389049903/26439915352667723789*c_0101_3^3 + 5043861171188740769125/26439915352667723789*c_0101_3^2 + 934484053436169201012/26439915352667723789*c_0101_3 - 513509174318516805243/26439915352667723789, c_0101_2 - 3480216065108643040/26439915352667723789*c_0101_3^19 - 25204661018561429558/26439915352667723789*c_0101_3^18 - 145393889665918309324/26439915352667723789*c_0101_3^17 - 4114754967656197636/26439915352667723789*c_0101_3^16 + 1612409929700510653821/26439915352667723789*c_0101_3^15 + 1515649384508073367162/26439915352667723789*c_0101_3^14 - 5671492380165295820620/26439915352667723789*c_0101_3^13 - 7026958128042819026046/26439915352667723789*c_0101_3^12 + 9424341446274591569379/26439915352667723789*c_0101_3^11 + 14387893113766563828179/26439915352667723789*c_0101_3^10 - 8912483430675103769357/26439915352667723789*c_0101_3^9 - 15895823636166318271102/26439915352667723789*c_0101_3^8 + 5596272048866459091898/26439915352667723789*c_0101_3^7 + 9431580152497203892446/26439915352667723789*c_0101_3^6 - 2697231795364291113202/26439915352667723789*c_0101_3^5 - 2612977717217947448130/26439915352667723789*c_0101_3^4 + 962987727055436995503/26439915352667723789*c_0101_3^3 + 185048809716247434954/26439915352667723789*c_0101_3^2 - 183482241927680512212/26439915352667723789*c_0101_3 + 21816822483939601419/26439915352667723789, c_0101_3^20 + 6*c_0101_3^19 + 33*c_0101_3^18 - 48*c_0101_3^17 - 450*c_0101_3^16 + 172*c_0101_3^15 + 1984*c_0101_3^14 - 512*c_0101_3^13 - 4259*c_0101_3^12 + 1170*c_0101_3^11 + 5066*c_0101_3^10 - 1670*c_0101_3^9 - 3453*c_0101_3^8 + 1420*c_0101_3^7 + 1292*c_0101_3^6 - 711*c_0101_3^5 - 211*c_0101_3^4 + 196*c_0101_3^3 - 7*c_0101_3^2 - 23*c_0101_3 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB