Magma V2.19-8 Tue Aug 20 2013 16:16:40 on localhost [Seed = 1343343770] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0952 geometric_solution 4.85090489 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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.379085988667 0.209232129472 2 0 3 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598952451383 0.906766181058 1 4 3 3 0132 0132 3012 1230 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 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.338572107139 1.350679126631 2 2 4 1 3012 1230 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.338572107139 1.350679126631 3 2 5 5 2310 0132 2310 0132 0 0 0 0 0 0 0 0 -1 0 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 1 0 -1 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.329073386926 0.429157902249 6 4 4 6 0132 3201 0132 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.174506593168 0.719608588835 5 5 6 6 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.050105457360 1.438978981421 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 9978972496031303414582/45331706213144373559*c_0101_6^13 - 67863626340880886150195/90663412426288747118*c_0101_6^12 + 206756941154823541558885/90663412426288747118*c_0101_6^11 - 699958403404336953410488/45331706213144373559*c_0101_6^10 + 4671538126926118776926113/90663412426288747118*c_0101_6^9 + 46916820423291280900381/768334003612616501*c_0101_6^8 - 10550953336485824519948479/45331706213144373559*c_0101_6^7 + 852745473565313533434644/45331706213144373559*c_0101_6^6 + 4991007105517398219484921/90663412426288747118*c_0101_6^5 - 6478257638298674184304383/90663412426288747118*c_0101_6^4 - 38462507860415536811257/4771758548752039322*c_0101_6^3 + 2252675328740076598448543/90663412426288747118*c_0101_6^2 + 9858915429696638748591/4771758548752039322*c_0101_6 - 57611937122417618132875/90663412426288747118, c_0011_0 - 1, c_0011_1 - 3595363756218953172/45331706213144373559*c_0101_6^13 + 7952815650573803046/45331706213144373559*c_0101_6^12 - 22127910714238913984/45331706213144373559*c_0101_6^11 + 205629604222436557948/45331706213144373559*c_0101_6^10 - 534618646823259075223/45331706213144373559*c_0101_6^9 - 34616581686305727677/768334003612616501*c_0101_6^8 + 2776456493146353592733/45331706213144373559*c_0101_6^7 + 4295467435243020900376/45331706213144373559*c_0101_6^6 - 1932421830531324729849/45331706213144373559*c_0101_6^5 + 488117308343387555019/45331706213144373559*c_0101_6^4 + 77440700755921105213/2385879274376019661*c_0101_6^3 - 488783911730763642144/45331706213144373559*c_0101_6^2 - 20423696235390661463/2385879274376019661*c_0101_6 - 5252794516210103122/45331706213144373559, c_0011_3 - 8697914386487847591/45331706213144373559*c_0101_6^13 + 27466659378607625075/45331706213144373559*c_0101_6^12 - 82662620766281816684/45331706213144373559*c_0101_6^11 + 587510784122833774313/45331706213144373559*c_0101_6^10 - 1885780662444375298455/45331706213144373559*c_0101_6^9 - 49551469990523189197/768334003612616501*c_0101_6^8 + 8661815307317393719135/45331706213144373559*c_0101_6^7 + 1607257096901854188051/45331706213144373559*c_0101_6^6 - 2597746840495075685618/45331706213144373559*c_0101_6^5 + 2144443516872035492247/45331706213144373559*c_0101_6^4 + 57484796870065077193/2385879274376019661*c_0101_6^3 - 1023814528508469325148/45331706213144373559*c_0101_6^2 - 17112371015133683389/2385879274376019661*c_0101_6 + 17792507622963698283/45331706213144373559, c_0011_5 + 7159868625714937378/45331706213144373559*c_0101_6^13 - 23917442516467894979/45331706213144373559*c_0101_6^12 + 72693337458258705182/45331706213144373559*c_0101_6^11 - 497847474886287755242/45331706213144373559*c_0101_6^10 + 1646120471993379993051/45331706213144373559*c_0101_6^9 + 35362467835403624140/768334003612616501*c_0101_6^8 - 7446147321971787651872/45331706213144373559*c_0101_6^7 + 116355677754688329917/45331706213144373559*c_0101_6^6 + 1817353627936079159399/45331706213144373559*c_0101_6^5 - 2075162902748810770944/45331706213144373559*c_0101_6^4 - 23623562007123526730/2385879274376019661*c_0101_6^3 + 801097905126550649431/45331706213144373559*c_0101_6^2 + 10657212874114387993/2385879274376019661*c_0101_6 - 16824089591438815949/45331706213144373559, c_0101_0 - 14606075634109622911/90663412426288747118*c_0101_3*c_0101_6^\ 13 + 34149308454147150363/45331706213144373559*c_0101_3*c_0101_6^12 - 213338996837154578375/90663412426288747118*c_0101_3*c_0101_6^11 + 1213874777812089404913/90663412426288747118*c_0101_3*c_0101_6^10 - 4714981440303664545851/90663412426288747118*c_0101_3*c_0101_6^9 + 1910957817674780875/768334003612616501*c_0101_3*c_0101_6^8 + 10431484368835761042413/45331706213144373559*c_0101_3*c_0101_6^7 - 20373758532272701709855/90663412426288747118*c_0101_3*c_0101_6^6 - 1626566048420265766715/45331706213144373559*c_0101_3*c_0101_6^5 + 4306684016224138739404/45331706213144373559*c_0101_3*c_0101_6^4 - 131373267164265512017/2385879274376019661*c_0101_3*c_0101_6^3 - 1342979775694728512207/45331706213144373559*c_0101_3*c_0101_6^2 + 40571345844504825590/2385879274376019661*c_0101_3*c_0101_6 + 418403763191535456807/90663412426288747118*c_0101_3, c_0101_3^2 + 2437836639323082845/45331706213144373559*c_0101_6^13 - 8254519826824268780/45331706213144373559*c_0101_6^12 + 25296145589101888294/45331706213144373559*c_0101_6^11 - 171187535096102893183/45331706213144373559*c_0101_6^10 + 569925657851427942978/45331706213144373559*c_0101_6^9 + 11405281390600964276/768334003612616501*c_0101_6^8 - 2529231404620622226303/45331706213144373559*c_0101_6^7 + 208889193141248118575/45331706213144373559*c_0101_6^6 + 457032593337234923516/45331706213144373559*c_0101_6^5 - 739690513733332596878/45331706213144373559*c_0101_6^4 - 5233198937183515073/2385879274376019661*c_0101_6^3 + 138814154967288872986/45331706213144373559*c_0101_6^2 + 1262313590376513333/2385879274376019661*c_0101_6 - 7159868625714937378/45331706213144373559, c_0101_6^14 - 3*c_0101_6^13 + 9*c_0101_6^12 - 66*c_0101_6^11 + 206*c_0101_6^10 + 371*c_0101_6^9 - 946*c_0101_6^8 - 337*c_0101_6^7 + 283*c_0101_6^6 - 226*c_0101_6^5 - 166*c_0101_6^4 + 98*c_0101_6^3 + 54*c_0101_6^2 + c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB