Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 2934911893] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2425 geometric_solution 5.77451882 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 1 0 -1 -1 0 1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.113564096840 1.085464581946 3 4 2 0 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 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.806907728561 0.980613177848 4 3 0 1 2310 3201 0132 3012 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 -1 1 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.806907728561 0.980613177848 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.795786332800 0.478221893598 6 1 2 6 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339323330631 0.586093131266 5 3 5 3 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.752656592279 0.193513519850 4 6 6 4 0132 3201 2310 1023 0 0 0 0 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 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.471110718207 0.657946785618 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : 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' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 129655151528665243839339934823/171852050098351567016229160960*c_010\ 1_6^14 - 1111097609591106792280807763019/17185205009835156701622916\ 0960*c_0101_6^13 + 516254399204987556931875457/28265139818807823522\ 406112*c_0101_6^12 - 760976706001069342784840557457/171852050098351\ 56701622916096*c_0101_6^11 + 21159851910518452053592392157153/17185\ 2050098351567016229160960*c_0101_6^10 - 1414623698517019774358363126223/42963012524587891754057290240*c_010\ 1_6^9 - 70636578767497010240226374477339/17185205009835156701622916\ 0960*c_0101_6^8 + 23684869963760495301937998981919/4296301252458789\ 1754057290240*c_0101_6^7 - 2562683089458189673279369552461/29629663\ 81006061500279813120*c_0101_6^6 + 254602253720718188833320543999897\ /171852050098351567016229160960*c_0101_6^5 - 80337378354192017914584972308517/85926025049175783508114580480*c_01\ 01_6^4 + 23408576049774524364336242111541/8592602504917578350811458\ 0480*c_0101_6^3 - 819239196309835598652578315949/343704100196703134\ 03245832192*c_0101_6^2 - 3460045327089867386529480966003/3437041001\ 9670313403245832192*c_0101_6 + 42929514898464771372160505957/429630\ 12524587891754057290240, c_0011_0 - 1, c_0011_1 - 142245865476222900691/116798098424825717034736*c_0101_5*c_01\ 01_6^14 - 818831960508727899225/116798098424825717034736*c_0101_5*c\ _0101_6^13 + 844047106529188431597/7299881151551607314671*c_0101_5*\ c_0101_6^12 - 18634254434236540590431/58399049212412858517368*c_010\ 1_5*c_0101_6^11 + 89247232736810938134475/116798098424825717034736*\ c_0101_5*c_0101_6^10 - 77012120717415894922173/29199524606206429258\ 684*c_0101_5*c_0101_6^9 + 111929589334869636720183/1167980984248257\ 17034736*c_0101_5*c_0101_6^8 + 236028666411279997538581/29199524606\ 206429258684*c_0101_5*c_0101_6^7 - 18910747197113375560255/2013760317669408914392*c_0101_5*c_0101_6^6 + 2018749831184480929479315/116798098424825717034736*c_0101_5*c_0101_\ 6^5 - 1721622656700299583990143/58399049212412858517368*c_0101_5*c_\ 0101_6^4 + 1011394017101810422000463/58399049212412858517368*c_0101\ _5*c_0101_6^3 - 807031458997330313095467/116798098424825717034736*c\ _0101_5*c_0101_6^2 + 28378236005279298098267/1167980984248257170347\ 36*c_0101_5*c_0101_6 + 53599348789836034816827/29199524606206429258\ 684*c_0101_5, c_0101_0 + 12532514112490341995975/116798098424825717034736*c_0101_5*c_\ 0101_6^14 - 109550402791638873388807/116798098424825717034736*c_010\ 1_5*c_0101_6^13 + 80445932280129867550127/29199524606206429258684*c\ _0101_5*c_0101_6^12 - 393524645873018571779341/58399049212412858517\ 368*c_0101_5*c_0101_6^11 + 2169267230109833178500025/11679809842482\ 5717034736*c_0101_5*c_0101_6^10 - 55800328935868469965136/729988115\ 1551607314671*c_0101_5*c_0101_6^9 - 6748799655669545703342923/116798098424825717034736*c_0101_5*c_0101_\ 6^8 + 1293672234771937249219503/14599762303103214629342*c_0101_5*c_\ 0101_6^7 - 274099793441076823407141/2013760317669408914392*c_0101_5\ *c_0101_6^6 + 26988037226362792819035361/116798098424825717034736*c\ _0101_5*c_0101_6^5 - 9829108949626785226061623/58399049212412858517\ 368*c_0101_5*c_0101_6^4 + 3446046700554958976464545/583990492124128\ 58517368*c_0101_5*c_0101_6^3 - 961073634516455309764969/11679809842\ 4825717034736*c_0101_5*c_0101_6^2 - 1630435103993636806363275/116798098424825717034736*c_0101_5*c_0101_\ 6 + 23101832209669127663283/7299881151551607314671*c_0101_5, c_0101_1 - 4483511152431127627591/116798098424825717034736*c_0101_5*c_0\ 101_6^14 + 41289645080173102364035/116798098424825717034736*c_0101_\ 5*c_0101_6^13 - 16701783243192211740147/14599762303103214629342*c_0\ 101_5*c_0101_6^12 + 168205905341162953341629/5839904921241285851736\ 8*c_0101_5*c_0101_6^11 - 908618128583527515395233/11679809842482571\ 7034736*c_0101_5*c_0101_6^10 + 171096526607784711731105/29199524606\ 206429258684*c_0101_5*c_0101_6^9 + 2256025201091428900715499/116798098424825717034736*c_0101_5*c_0101_\ 6^8 - 1218440113373320616006145/29199524606206429258684*c_0101_5*c_\ 0101_6^7 + 129109377665386718866285/2013760317669408914392*c_0101_5\ *c_0101_6^6 - 12210220831144623710885961/116798098424825717034736*c\ _0101_5*c_0101_6^5 + 5779912979215372223946345/58399049212412858517\ 368*c_0101_5*c_0101_6^4 - 2901808840246190879602037/583990492124128\ 58517368*c_0101_5*c_0101_6^3 + 1248461745464860218936305/1167980984\ 24825717034736*c_0101_5*c_0101_6^2 + 420499912224774141669335/116798098424825717034736*c_0101_5*c_0101_6 - 96079808416179920820575/29199524606206429258684*c_0101_5, c_0101_4 + 35541863901418473/7349490210472295308*c_0101_6^14 - 319449760431151321/7349490210472295308*c_0101_6^13 + 245991073396844369/1837372552618073827*c_0101_6^12 - 1212439153897154361/3674745105236147654*c_0101_6^11 + 6662221929212529923/7349490210472295308*c_0101_6^10 - 968550572217709381/1837372552618073827*c_0101_6^9 - 19044788306296322857/7349490210472295308*c_0101_6^8 + 8305967271738750069/1837372552618073827*c_0101_6^7 - 25872196407475992627/3674745105236147654*c_0101_6^6 + 89537958793537377583/7349490210472295308*c_0101_6^5 - 32821155469700714629/3674745105236147654*c_0101_6^4 + 13752424670365979799/3674745105236147654*c_0101_6^3 - 6248593952096827443/7349490210472295308*c_0101_6^2 - 17091838952030735889/7349490210472295308*c_0101_6 + 981470901116329889/1837372552618073827, c_0101_5^2 + 145418170913886273440/7299881151551607314671*c_0101_6^14 - 1227958305438610615446/7299881151551607314671*c_0101_6^13 + 3347900065327277305896/7299881151551607314671*c_0101_6^12 - 8008813779677235370981/7299881151551607314671*c_0101_6^11 + 22715521820506313686853/7299881151551607314671*c_0101_6^10 - 3584423129324185312567/7299881151551607314671*c_0101_6^9 - 79765632327779947887554/7299881151551607314671*c_0101_6^8 + 89146876918268559530837/7299881151551607314671*c_0101_6^7 - 4985140186368231265559/251720039708676114299*c_0101_6^6 + 280445010139620720228512/7299881151551607314671*c_0101_6^5 - 160918378763264076063942/7299881151551607314671*c_0101_6^4 + 50914404913723684560839/7299881151551607314671*c_0101_6^3 - 66934456030356272939838/7299881151551607314671*c_0101_6^2 + 24755750564441165255644/7299881151551607314671*c_0101_6 - 6081257140164048474560/7299881151551607314671, c_0101_6^15 - 9*c_0101_6^14 + 28*c_0101_6^13 - 70*c_0101_6^12 + 191*c_0101_6^11 - 120*c_0101_6^10 - 509*c_0101_6^9 + 960*c_0101_6^8 - 1518*c_0101_6^7 + 2535*c_0101_6^6 - 2202*c_0101_6^5 + 1102*c_0101_6^4 - 319*c_0101_6^3 - 85*c_0101_6^2 + 56*c_0101_6 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB