Magma V2.19-8 Tue Aug 20 2013 16:14:21 on localhost [Seed = 3086363542] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s343 geometric_solution 4.54411888 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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 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 1.573002912096 0.224502928905 0 2 2 0 3201 0132 1023 0132 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 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.228891217124 0.437868233580 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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 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.488083533298 0.498670372798 2 4 4 5 0132 0321 1302 0132 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 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.691774946740 0.815158048604 3 5 2 3 2031 2310 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -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.691774946740 0.815158048604 5 5 3 4 1302 2031 0132 3201 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 -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.550614732387 0.343089309952 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 's_0_3' : negation(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_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0011_5']), '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_4, c_0011_5, c_0101_0, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 65454205701820213659325745474865/288299962921913251022678807175968*\ c_0110_5^19 - 158086996176653239894025363129239/2882999629219132510\ 22678807175968*c_0110_5^18 - 2893445145966561920305255743964095/288\ 299962921913251022678807175968*c_0110_5^17 - 961246065600327488814044644545931/144149981460956625511339403587984\ *c_0110_5^16 + 15459027814671444495967498340101407/1441499814609566\ 25511339403587984*c_0110_5^15 + 8750660842298047398342171818880077/\ 36037495365239156377834850896996*c_0110_5^14 - 99839954566232019475999154410195449/2882999629219132510226788071759\ 68*c_0110_5^13 - 29410142531780100200906754971911995/18018747682619\ 578188917425448498*c_0110_5^12 + 2614956243421498361032010134641746\ 51/144149981460956625511339403587984*c_0110_5^11 + 631300328243794918655808367551886363/288299962921913251022678807175\ 968*c_0110_5^10 - 53193998917814285054932589770995015/9009373841309\ 789094458712724249*c_0110_5^9 - 54915547115590191623519049952951471\ 1/288299962921913251022678807175968*c_0110_5^8 + 1936026317163550804554719796463294371/28829996292191325102267880717\ 5968*c_0110_5^7 + 34513998490498583624017807442490721/2882999629219\ 13251022678807175968*c_0110_5^6 - 108209050279041969168850945388553\ 417/18018747682619578188917425448498*c_0110_5^5 - 168734414654766883217219208963144103/288299962921913251022678807175\ 968*c_0110_5^4 + 120084182603797086861802665442319357/3603749536523\ 9156377834850896996*c_0110_5^3 + 6596238090321535356717491078200838\ 1/72074990730478312755669701793992*c_0110_5^2 - 22611292467344434689300038479351909/3603749536523915637783485089699\ 6*c_0110_5 - 1951508446422158116698440364109134/9009373841309789094\ 458712724249, c_0011_0 - 1, c_0011_1 + 2055594948588265939299220336661/1801874768261957818891742544\ 8498*c_0110_5^19 + 4916106938863822344761361004701/9009373841309789\ 094458712724249*c_0110_5^18 - 15637687895188676239187155176665/1801\ 8747682619578188917425448498*c_0110_5^17 - 152724698190081429590932401972125/18018747682619578188917425448498*\ c_0110_5^16 - 83393850847130794916713983635119/90093738413097890944\ 58712724249*c_0110_5^15 + 677986036453931778691887473983791/1801874\ 7682619578188917425448498*c_0110_5^14 + 1456365411795297629854377748116695/18018747682619578188917425448498\ *c_0110_5^13 - 2783189586957300659774083842564201/18018747682619578\ 188917425448498*c_0110_5^12 - 827244824594336260047232663572659/180\ 18747682619578188917425448498*c_0110_5^11 + 3664925388835996452149292626198480/9009373841309789094458712724249*\ c_0110_5^10 - 724620736026116002437872814242499/1801874768261957818\ 8917425448498*c_0110_5^9 - 3714055882322902754903815773072587/90093\ 73841309789094458712724249*c_0110_5^8 + 2622960922285845553436915021095447/18018747682619578188917425448498\ *c_0110_5^7 + 6331190222499275056186240468891243/180187476826195781\ 88917425448498*c_0110_5^6 - 1304893200504056242511476956799421/1801\ 8747682619578188917425448498*c_0110_5^5 - 3635305096544718038845397414901155/18018747682619578188917425448498\ *c_0110_5^4 - 69918992858929372353991222654237/90093738413097890944\ 58712724249*c_0110_5^3 + 763244275717864622338592505921735/18018747\ 682619578188917425448498*c_0110_5^2 + 96389870860759286867212609655705/18018747682619578188917425448498*c\ _0110_5 - 8774334979973300592821429156542/9009373841309789094458712\ 724249, c_0011_4 - 2894008755517998871497915782887/7207499073047831275566970179\ 3992*c_0110_5^19 - 5752998946577421168196824174995/3603749536523915\ 6377834850896996*c_0110_5^18 + 17088717614023197547865096784513/360\ 37495365239156377834850896996*c_0110_5^17 + 201918501265045402785575214713339/72074990730478312755669701793992*\ c_0110_5^16 + 6693927097821773423093538619337/900937384130978909445\ 8712724249*c_0110_5^15 - 608446467751258009097815329353753/36037495\ 365239156377834850896996*c_0110_5^14 - 1356715767087570525299540834964993/72074990730478312755669701793992\ *c_0110_5^13 + 5899944723011348696680064434455183/72074990730478312\ 755669701793992*c_0110_5^12 - 659327578744064363025600684003117/360\ 37495365239156377834850896996*c_0110_5^11 - 12616375673698561872996960235302623/7207499073047831275566970179399\ 2*c_0110_5^10 + 9043382834983801287945528485740627/7207499073047831\ 2755669701793992*c_0110_5^9 + 13153211571668519371393941343395409/7\ 2074990730478312755669701793992*c_0110_5^8 - 3190077383700020444062797363225557/18018747682619578188917425448498\ *c_0110_5^7 - 2315573947153346202514175564082723/180187476826195781\ 88917425448498*c_0110_5^6 + 10584341495786884796101774428258561/720\ 74990730478312755669701793992*c_0110_5^5 + 6290289391451341591657459335771409/72074990730478312755669701793992\ *c_0110_5^4 - 4652711119961458359326223899605695/720749907304783127\ 55669701793992*c_0110_5^3 - 669376470410906600770709347467417/18018\ 747682619578188917425448498*c_0110_5^2 + 187501183975983165121804586099579/18018747682619578188917425448498*\ c_0110_5 + 46499502282766722360634980613015/90093738413097890944587\ 12724249, c_0011_5 - 1574879878665408974841633149219/7207499073047831275566970179\ 3992*c_0110_5^19 - 3651645399025739753799555507387/3603749536523915\ 6377834850896996*c_0110_5^18 + 6718836366431723398131137441469/3603\ 7495365239156377834850896996*c_0110_5^17 + 116746693351379923376579819594527/72074990730478312755669701793992*\ c_0110_5^16 + 13370209518776112446975712796856/90093738413097890944\ 58712724249*c_0110_5^15 - 281389175873452088217980466534813/3603749\ 5365239156377834850896996*c_0110_5^14 - 1053237516946438286489388462638877/72074990730478312755669701793992\ *c_0110_5^13 + 2428468810652183280350581333548307/72074990730478312\ 755669701793992*c_0110_5^12 + 253208308513414524573986846362859/360\ 37495365239156377834850896996*c_0110_5^11 - 6327522977709905620973315011914531/72074990730478312755669701793992\ *c_0110_5^10 + 1534041044704925078861579699618503/72074990730478312\ 755669701793992*c_0110_5^9 + 6800029152064427074080424672794741/720\ 74990730478312755669701793992*c_0110_5^8 - 882299048540913018645605403264999/18018747682619578188917425448498*\ c_0110_5^7 - 1414414112665176769487294193303669/1801874768261957818\ 8917425448498*c_0110_5^6 + 2534946596480927110180999097917309/72074\ 990730478312755669701793992*c_0110_5^5 + 3529472681842947076592199364904237/72074990730478312755669701793992\ *c_0110_5^4 - 905396369873258248393168019648283/7207499073047831275\ 5669701793992*c_0110_5^3 - 294627760024330711903777514390085/180187\ 47682619578188917425448498*c_0110_5^2 + 35945332514626501142682804550199/18018747682619578188917425448498*c\ _0110_5 + 21128532077104787798731320297535/900937384130978909445871\ 2724249, c_0101_0 - 2461258286946461089246804636321/1441499814609566255113394035\ 87984*c_0110_5^19 - 15683384324090698289069495856103/14414998146095\ 6625511339403587984*c_0110_5^18 + 1936526241852080085222480266901/1\ 44149981460956625511339403587984*c_0110_5^17 + 55150883799482091541857864184309/36037495365239156377834850896996*c\ _0110_5^16 + 235619772447513628541128350647449/72074990730478312755\ 669701793992*c_0110_5^15 - 155608035980703280508848685059035/360374\ 95365239156377834850896996*c_0110_5^14 - 3112466256640686955589702779685391/14414998146095662551133940358798\ 4*c_0110_5^13 + 601548443655192438621863335291871/72074990730478312\ 755669701793992*c_0110_5^12 + 3591463607395133784817230880430251/72\ 074990730478312755669701793992*c_0110_5^11 - 10219362538530018751343580896830567/1441499814609566255113394035879\ 84*c_0110_5^10 - 5767746639760621704211082463111825/720749907304783\ 12755669701793992*c_0110_5^9 + 15686377178203337132015024111702643/\ 144149981460956625511339403587984*c_0110_5^8 + 6509450845495861709546807555745687/14414998146095662551133940358798\ 4*c_0110_5^7 - 15075347991085546117728353000872999/1441499814609566\ 25511339403587984*c_0110_5^6 - 2929055683008391718368543370980733/7\ 2074990730478312755669701793992*c_0110_5^5 + 8357409136033738082796947374985427/14414998146095662551133940358798\ 4*c_0110_5^4 + 2499297395692843029179943088552105/72074990730478312\ 755669701793992*c_0110_5^3 - 73303036244797250782059254568251/90093\ 73841309789094458712724249*c_0110_5^2 - 129930807346777134111671967841913/18018747682619578188917425448498*\ c_0110_5 - 18525644514027348582366629979938/90093738413097890944587\ 12724249, c_0110_5^20 + 5*c_0110_5^19 - 7*c_0110_5^18 - 78*c_0110_5^17 - 94*c_0110_5^16 + 344*c_0110_5^15 + 815*c_0110_5^14 - 1340*c_0110_5^13 - 998*c_0110_5^12 + 4051*c_0110_5^11 + 572*c_0110_5^10 - 5171*c_0110_5^9 + 639*c_0110_5^8 + 4801*c_0110_5^7 - 464*c_0110_5^6 - 3147*c_0110_5^5 - 252*c_0110_5^4 + 1056*c_0110_5^3 + 200*c_0110_5^2 - 128*c_0110_5 - 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB