Magma V2.19-8 Tue Aug 20 2013 16:19:13 on localhost [Seed = 1696921697] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3341 geometric_solution 6.48727668 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.421210453381 0.648109521388 0 3 5 4 0132 0132 0132 0132 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 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.728748707701 0.892496494760 3 0 4 5 2310 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.728748707701 0.892496494760 3 1 2 3 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287025454464 0.837922553451 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 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 0 0 0 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 1.050035162674 0.669083903079 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 0 0 0 1 -1 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.800338647269 0.708229854702 6 4 6 4 2310 0132 3201 1023 0 0 0 0 0 0 -1 1 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 1 -1 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.723000633727 0.308419583061 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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_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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], '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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 74815452498208765011125946532/51378345865781229401505225*c_0101_3*c\ _0101_6^16 + 390402603818213214681976316318/51378345865781229401505\ 225*c_0101_3*c_0101_6^15 - 10658042556774378084937497821/3805803397\ 46527625196335*c_0101_3*c_0101_6^14 - 6688273283116368653790408812017/51378345865781229401505225*c_0101_3\ *c_0101_6^13 + 1266605964017943494461862114668/57087050961979143779\ 45025*c_0101_3*c_0101_6^12 + 35177135509988072369475903762581/51378\ 345865781229401505225*c_0101_3*c_0101_6^11 - 7934391341659230611641423345952/10275669173156245880301045*c_0101_3\ *c_0101_6^10 - 81361208271982264607791066141127/5137834586578122940\ 1505225*c_0101_3*c_0101_6^9 + 80554617327699392841690915418564/5137\ 8345865781229401505225*c_0101_3*c_0101_6^8 + 74781433298524406610293345688923/51378345865781229401505225*c_0101_\ 3*c_0101_6^7 - 81274034005687892867869439317144/5137834586578122940\ 1505225*c_0101_3*c_0101_6^6 - 17852277304966841189769029370/7611606\ 7949305525039267*c_0101_3*c_0101_6^5 + 18525077553158881374648312050719/51378345865781229401505225*c_0101_\ 3*c_0101_6^4 + 2645906961149106513019192616537/51378345865781229401\ 505225*c_0101_3*c_0101_6^3 - 397877745002248459607774197429/1712611\ 5288593743133835075*c_0101_3*c_0101_6^2 - 440273892738268265750175158542/51378345865781229401505225*c_0101_3*\ c_0101_6 - 70860400572441519699837858332/51378345865781229401505225\ *c_0101_3, c_0011_0 - 1, c_0011_4 - 979213093782452095737476/228348203847916575117801*c_0101_3*c\ _0101_6^16 - 5195661643602566630379214/228348203847916575117801*c_0\ 101_3*c_0101_6^15 + 6103764495454963792178669/761160679493055250392\ 67*c_0101_3*c_0101_6^14 + 88780696580832951673267571/22834820384791\ 6575117801*c_0101_3*c_0101_6^13 - 46775269730568950703798035/761160\ 67949305525039267*c_0101_3*c_0101_6^12 - 466560108131452510652234641/228348203847916575117801*c_0101_3*c_010\ 1_6^11 + 471188665684584005023289555/228348203847916575117801*c_010\ 1_3*c_0101_6^10 + 1074086754780059148430099648/22834820384791657511\ 7801*c_0101_3*c_0101_6^9 - 940654014449796299649314057/228348203847\ 916575117801*c_0101_3*c_0101_6^8 - 989301000972919339399887094/228348203847916575117801*c_0101_3*c_010\ 1_6^7 + 942283886420476409480351789/228348203847916575117801*c_0101\ _3*c_0101_6^6 + 58605268726786730024563446/76116067949305525039267*\ c_0101_3*c_0101_6^5 - 193812261321540517447147814/22834820384791657\ 5117801*c_0101_3*c_0101_6^4 - 39774169442286533948118409/2283482038\ 47916575117801*c_0101_3*c_0101_6^3 + 3655166819740437603665541/76116067949305525039267*c_0101_3*c_0101_6\ ^2 + 4940623335452301619580405/228348203847916575117801*c_0101_3*c_\ 0101_6 + 752185736207712568418317/228348203847916575117801*c_0101_3\ , c_0101_0 + 702968700031120657269248/76116067949305525039267*c_0101_6^16 + 3693074773602917784597784/76116067949305525039267*c_0101_6^15 - 13340673448293403637622040/76116067949305525039267*c_0101_6^14 - 63050012534091435446524548/76116067949305525039267*c_0101_6^13 + 104036905098075086960527935/76116067949305525039267*c_0101_6^12 + 329716349549220083893685921/76116067949305525039267*c_0101_6^11 - 355159178447786779508229578/76116067949305525039267*c_0101_6^10 - 753646090810791207457604529/76116067949305525039267*c_0101_6^9 + 712288029531923749383848090/76116067949305525039267*c_0101_6^8 + 675240787680324344278571313/76116067949305525039267*c_0101_6^7 - 705882473315160454554988351/76116067949305525039267*c_0101_6^6 - 91467370072710466811341677/76116067949305525039267*c_0101_6^5 + 138036235852860206828666743/76116067949305525039267*c_0101_6^4 + 22709313346243351966386182/76116067949305525039267*c_0101_6^3 - 6974251851759560156665200/76116067949305525039267*c_0101_6^2 - 3412245830268914287014759/76116067949305525039267*c_0101_6 - 528962888250543775906112/76116067949305525039267, c_0101_1 + 544869349899174538624960/228348203847916575117801*c_0101_3*c\ _0101_6^16 + 2596675497149271255933392/228348203847916575117801*c_0\ 101_3*c_0101_6^15 - 3921975908421017986159596/761160679493055250392\ 67*c_0101_3*c_0101_6^14 - 44036394862702262727550378/22834820384791\ 6575117801*c_0101_3*c_0101_6^13 + 34900820223155680086327545/761160\ 67949305525039267*c_0101_3*c_0101_6^12 + 219787198482199374339816662/228348203847916575117801*c_0101_3*c_010\ 1_6^11 - 398682147261327957651062923/228348203847916575117801*c_010\ 1_3*c_0101_6^10 - 469591743712218662513165852/228348203847916575117\ 801*c_0101_3*c_0101_6^9 + 822505202765028919414879141/2283482038479\ 16575117801*c_0101_3*c_0101_6^8 + 301390084987598913339903512/22834\ 8203847916575117801*c_0101_3*c_0101_6^7 - 765879846873975886442653213/228348203847916575117801*c_0101_3*c_010\ 1_6^6 + 46326167279466992412415161/76116067949305525039267*c_0101_3\ *c_0101_6^5 + 109588845026445136505642353/228348203847916575117801*\ c_0101_3*c_0101_6^4 - 1015742706527979056892994/2283482038479165751\ 17801*c_0101_3*c_0101_6^3 - 1949989455640313612258568/7611606794930\ 5525039267*c_0101_3*c_0101_6^2 - 4010192085745562303979820/22834820\ 3847916575117801*c_0101_3*c_0101_6 - 573266745305746868813822/228348203847916575117801*c_0101_3, c_0101_2 - 548038534445426708236640/228348203847916575117801*c_0101_6^1\ 6 - 2908059112056397287057520/228348203847916575117801*c_0101_6^15 + 3405371686307970394103704/76116067949305525039267*c_0101_6^14 + 49521961112683322875564628/228348203847916575117801*c_0101_6^13 - 25986802330996776382829022/76116067949305525039267*c_0101_6^12 - 258256253511067772037173809/228348203847916575117801*c_0101_6^11 + 259563911874955715560411445/228348203847916575117801*c_0101_6^10 + 586005085946848741303664590/228348203847916575117801*c_0101_6^9 - 513424481148326166463334060/228348203847916575117801*c_0101_6^8 - 518810801409667599751995535/228348203847916575117801*c_0101_6^7 + 502337989865267622884767688/228348203847916575117801*c_0101_6^6 + 21812179524805218924895382/76116067949305525039267*c_0101_6^5 - 84170281372138471179990899/228348203847916575117801*c_0101_6^4 - 14914304544035868686980531/228348203847916575117801*c_0101_6^3 + 867451306728501310259819/76116067949305525039267*c_0101_6^2 + 1390445068186297547587991/228348203847916575117801*c_0101_6 + 323775611562968601882544/228348203847916575117801, c_0101_3^2 - 548038534445426708236640/228348203847916575117801*c_0101_6\ ^16 - 2908059112056397287057520/228348203847916575117801*c_0101_6^1\ 5 + 3405371686307970394103704/76116067949305525039267*c_0101_6^14 + 49521961112683322875564628/228348203847916575117801*c_0101_6^13 - 25986802330996776382829022/76116067949305525039267*c_0101_6^12 - 258256253511067772037173809/228348203847916575117801*c_0101_6^11 + 259563911874955715560411445/228348203847916575117801*c_0101_6^10 + 586005085946848741303664590/228348203847916575117801*c_0101_6^9 - 513424481148326166463334060/228348203847916575117801*c_0101_6^8 - 518810801409667599751995535/228348203847916575117801*c_0101_6^7 + 502337989865267622884767688/228348203847916575117801*c_0101_6^6 + 21812179524805218924895382/76116067949305525039267*c_0101_6^5 - 84170281372138471179990899/228348203847916575117801*c_0101_6^4 - 14914304544035868686980531/228348203847916575117801*c_0101_6^3 + 867451306728501310259819/76116067949305525039267*c_0101_6^2 + 1390445068186297547587991/228348203847916575117801*c_0101_6 + 95427407715052026764743/228348203847916575117801, c_0101_6^17 + 11/2*c_0101_6^16 - 71/4*c_0101_6^15 - 379/4*c_0101_6^14 + 127*c_0101_6^13 + 512*c_0101_6^12 - 1587/4*c_0101_6^11 - 1231*c_0101_6^10 + 768*c_0101_6^9 + 2579/2*c_0101_6^8 - 801*c_0101_6^7 - 1817/4*c_0101_6^6 + 793/4*c_0101_6^5 + 203/2*c_0101_6^4 - 23/4*c_0101_6^3 - 10*c_0101_6^2 - 5/2*c_0101_6 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB