Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 155751915] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0559 geometric_solution 4.57636072 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 3201 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 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.902634360480 0.978368902709 0 0 4 3 0132 2310 0132 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 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 -1 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.004387823730 0.249764622293 0 0 2 2 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.248322539915 0.221153219826 4 4 1 5 1230 1023 0132 0132 0 0 0 0 0 -1 1 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 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409594392560 1.508549962507 3 3 5 1 1023 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 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.409594392560 1.508549962507 6 6 3 4 0132 2310 0132 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.853258310094 1.398553572552 5 6 6 5 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.021684701580 0.544693296763 ==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' : 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' : d['1'], 's_0_6' : 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_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : negation(d['c_0101_0']), 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_0'], '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_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 69696793066248186711446821/244335307586729843904624*c_1100_1^15 - 82046516324619302266654999/81445102528909947968208*c_1100_1^14 + 110257217752330793038293089/61083826896682460976156*c_1100_1^13 + 1770052307520579880079779279/244335307586729843904624*c_1100_1^12 - 415172652767512590142880671/244335307586729843904624*c_1100_1^11 - 225082578477394736337246779/6787091877409162330684*c_1100_1^10 - 722115528972470527616939363/81445102528909947968208*c_1100_1^9 + 6843945777127641083841464573/81445102528909947968208*c_1100_1^8 + 11402712349702334969657283397/244335307586729843904624*c_1100_1^7 - 8630050645052526500195073439/81445102528909947968208*c_1100_1^6 - 21700181450226413423019710639/244335307586729843904624*c_1100_1^5 + 1537115748817261797622833295/30541913448341230488078*c_1100_1^4 + 1035916685319004382230687616/15270956724170615244039*c_1100_1^3 + 84964315876265611331602049/20361275632227486992052*c_1100_1^2 - 74679526699083073173303874/5090318908056871748013*c_1100_1 - 7024743446182882655695488/1696772969352290582671, c_0011_0 - 1, c_0011_3 - 28890607184400535345811/20361275632227486992052*c_1100_1^15 - 99866043600170087736175/20361275632227486992052*c_1100_1^14 + 193333310732556863459983/20361275632227486992052*c_1100_1^13 + 182607641982648214887046/5090318908056871748013*c_1100_1^12 - 240524851155513986222365/20361275632227486992052*c_1100_1^11 - 3405546025690693380678301/20361275632227486992052*c_1100_1^10 - 108519223552754385426103/3393545938704581165342*c_1100_1^9 + 2942083522695731407231187/6787091877409162330684*c_1100_1^8 + 2092642263548071685019739/10180637816113743496026*c_1100_1^7 - 2893020807504744391124399/5090318908056871748013*c_1100_1^6 - 2130932386061936322951658/5090318908056871748013*c_1100_1^5 + 6091068166880630527144139/20361275632227486992052*c_1100_1^4 + 2276802015435355076184967/6787091877409162330684*c_1100_1^3 - 1572862364743555560667/5090318908056871748013*c_1100_1^2 - 128746465469002812186798/1696772969352290582671*c_1100_1 - 30522802078760106926299/1696772969352290582671, c_0011_5 + 16826731230775549741320/1696772969352290582671*c_1100_1^15 + 383499596255992025153843/10180637816113743496026*c_1100_1^14 - 94584688681455989152936/1696772969352290582671*c_1100_1^13 - 2803056281860726035738811/10180637816113743496026*c_1100_1^12 + 109453070253027490851727/10180637816113743496026*c_1100_1^11 + 6181013395430775116110225/5090318908056871748013*c_1100_1^10 + 1943873503126719806785779/3393545938704581165342*c_1100_1^9 - 10431747548647968444470711/3393545938704581165342*c_1100_1^8 - 3928128748418093997618245/1696772969352290582671*c_1100_1^7 + 19602407123721315156879485/5090318908056871748013*c_1100_1^6 + 6826589688381142572586190/1696772969352290582671*c_1100_1^5 - 8653372051502126287416682/5090318908056871748013*c_1100_1^4 - 30031222519770251841644563/10180637816113743496026*c_1100_1^3 - 1629513669735690019680101/5090318908056871748013*c_1100_1^2 + 1068980894984120129673321/1696772969352290582671*c_1100_1 + 329526454049239846785123/1696772969352290582671, c_0101_0 - 11630521343816726/906951195373533*c_1100_1^15 - 44076728412793990/906951195373533*c_1100_1^14 + 261019400720120389/3627804781494132*c_1100_1^13 + 1281850302782480281/3627804781494132*c_1100_1^12 - 12843933444801418/906951195373533*c_1100_1^11 - 5648701509141694999/3627804781494132*c_1100_1^10 - 879608673674803123/1209268260498044*c_1100_1^9 + 1187002327236591065/302317065124511*c_1100_1^8 + 10661190148725890945/3627804781494132*c_1100_1^7 - 17706971246016355379/3627804781494132*c_1100_1^6 - 18453339004149620893/3627804781494132*c_1100_1^5 + 7695809485570345421/3627804781494132*c_1100_1^4 + 4479779223869750721/1209268260498044*c_1100_1^3 + 376090502226252752/906951195373533*c_1100_1^2 - 237540022557559063/302317065124511*c_1100_1 - 73861978784864359/302317065124511, c_0101_1 - 252577510741786690094089/40722551264454973984104*c_1100_1^15 - 979980075475822223737837/40722551264454973984104*c_1100_1^14 + 677957522781654331198549/20361275632227486992052*c_1100_1^13 + 2390509127866988922501339/13574183754818324661368*c_1100_1^12 + 60896510734964977107327/13574183754818324661368*c_1100_1^11 - 15632266412130423161605415/20361275632227486992052*c_1100_1^10 - 5616129950612832317219473/13574183754818324661368*c_1100_1^9 + 26228808024587470884214593/13574183754818324661368*c_1100_1^8 + 64979706511706348116999423/40722551264454973984104*c_1100_1^7 - 97553276594064463644135239/40722551264454973984104*c_1100_1^6 - 110634149780050645764644237/40722551264454973984104*c_1100_1^5 + 6807425876001236957295279/6787091877409162330684*c_1100_1^4 + 40106340787401858056519861/20361275632227486992052*c_1100_1^3 + 1316840398674062379338257/5090318908056871748013*c_1100_1^2 - 709657564813770814571596/1696772969352290582671*c_1100_1 - 229299908241685671772943/1696772969352290582671, c_0101_2 - 207768912481205448042319/40722551264454973984104*c_1100_1^15 - 257728801238813276832873/13574183754818324661368*c_1100_1^14 + 301431545845842371579129/10180637816113743496026*c_1100_1^13 + 5599177501061982974621473/40722551264454973984104*c_1100_1^12 - 527592864282080363771641/40722551264454973984104*c_1100_1^11 - 2075080785089492297783717/3393545938704581165342*c_1100_1^10 - 3403426624992922321506213/13574183754818324661368*c_1100_1^9 + 20988872180341852453581139/13574183754818324661368*c_1100_1^8 + 43266253917993061383837511/40722551264454973984104*c_1100_1^7 - 26218739047148497168485069/13574183754818324661368*c_1100_1^6 - 76207121776139872289013869/40722551264454973984104*c_1100_1^5 + 4428397854671964550246957/5090318908056871748013*c_1100_1^4 + 13990514319848568626409791/10180637816113743496026*c_1100_1^3 + 428106120175620266569601/3393545938704581165342*c_1100_1^2 - 498959038552879849583864/1696772969352290582671*c_1100_1 - 147927270710830981965641/1696772969352290582671, c_1100_1^16 + 57/13*c_1100_1^15 - 44/13*c_1100_1^14 - 31*c_1100_1^13 - 197/13*c_1100_1^12 + 1596/13*c_1100_1^11 + 129*c_1100_1^10 - 3579/13*c_1100_1^9 - 5365/13*c_1100_1^8 + 3261/13*c_1100_1^7 + 8159/13*c_1100_1^6 + 64*c_1100_1^5 - 5108/13*c_1100_1^4 - 2628/13*c_1100_1^3 + 576/13*c_1100_1^2 + 720/13*c_1100_1 + 144/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB