Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 1393741681] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s368 geometric_solution 4.58791270 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 6 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 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.563182589418 0.121779008432 2 0 2 0 0132 2310 1023 0132 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 0 0 0 0 0 0 1 -1 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.740508609641 0.245019979417 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 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 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.038640817895 1.017346439363 4 2 4 5 3120 0132 3012 0132 0 0 0 0 0 1 -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 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.615750180831 0.717375486478 5 3 2 3 3201 1230 0132 3120 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 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.615750180831 0.717375486478 5 5 3 4 1230 3012 0132 2310 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 1.311068693075 0.802634650937 ==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' : 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_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_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_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), '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_0011_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0011_4']), '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_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 1050570711676545312/8615934981245281*c_0101_5^17 - 7959229426819194273/8615934981245281*c_0101_5^16 + 3728598374829333236/8615934981245281*c_0101_5^15 + 70971716335405384883/8615934981245281*c_0101_5^14 - 111628542476360176512/8615934981245281*c_0101_5^13 - 283942542414073080762/8615934981245281*c_0101_5^12 + 489471959310989077032/8615934981245281*c_0101_5^11 + 784256844904657137404/8615934981245281*c_0101_5^10 - 932481067252091153671/8615934981245281*c_0101_5^9 - 1366290831015498689441/8615934981245281*c_0101_5^8 + 656525240365916193878/8615934981245281*c_0101_5^7 + 1246902772997760428625/8615934981245281*c_0101_5^6 + 91957572013277816975/8615934981245281*c_0101_5^5 - 364722226537676271577/8615934981245281*c_0101_5^4 - 113103223325052372433/8615934981245281*c_0101_5^3 + 22623963153834394919/8615934981245281*c_0101_5^2 + 13485881069468434602/8615934981245281*c_0101_5 + 1422709506241082525/8615934981245281, c_0011_0 - 1, c_0011_1 + 20982765208271897/8615934981245281*c_0101_5^17 - 156034981369339064/8615934981245281*c_0101_5^16 + 46877645854845605/8615934981245281*c_0101_5^15 + 1471779179155228689/8615934981245281*c_0101_5^14 - 2076291997412256162/8615934981245281*c_0101_5^13 - 6318397575010066023/8615934981245281*c_0101_5^12 + 9747462516697690212/8615934981245281*c_0101_5^11 + 18033885387824539381/8615934981245281*c_0101_5^10 - 19495544858571927495/8615934981245281*c_0101_5^9 - 32151307179535636120/8615934981245281*c_0101_5^8 + 15313806118141105051/8615934981245281*c_0101_5^7 + 30358641221476108020/8615934981245281*c_0101_5^6 - 42822376938416707/8615934981245281*c_0101_5^5 - 10543282149616879465/8615934981245281*c_0101_5^4 - 1772139476851689788/8615934981245281*c_0101_5^3 + 1309435265410088491/8615934981245281*c_0101_5^2 + 254650151471499276/8615934981245281*c_0101_5 - 42864904442574912/8615934981245281, c_0011_4 + 66274481629671751/8615934981245281*c_0101_5^17 - 515320778665142702/8615934981245281*c_0101_5^16 + 335205839500891178/8615934981245281*c_0101_5^15 + 4430597619912635388/8615934981245281*c_0101_5^14 - 7927175548099478377/8615934981245281*c_0101_5^13 - 16537103080592021597/8615934981245281*c_0101_5^12 + 34432546112396317420/8615934981245281*c_0101_5^11 + 43548516777194567487/8615934981245281*c_0101_5^10 - 68841142472557144151/8615934981245281*c_0101_5^9 - 75139142376313173776/8615934981245281*c_0101_5^8 + 59198607924479487357/8615934981245281*c_0101_5^7 + 71514549647877472429/8615934981245281*c_0101_5^6 - 10891303809173339452/8615934981245281*c_0101_5^5 - 24983767344511527949/8615934981245281*c_0101_5^4 - 1878729466005557831/8615934981245281*c_0101_5^3 + 3064275904281400439/8615934981245281*c_0101_5^2 + 396915182160194336/8615934981245281*c_0101_5 - 90998081348020126/8615934981245281, c_0011_5 + 66151687544649774/8615934981245281*c_0101_5^17 - 517462072651256586/8615934981245281*c_0101_5^16 + 361182098037483350/8615934981245281*c_0101_5^15 + 4385454904656269392/8615934981245281*c_0101_5^14 - 8092517550312686975/8615934981245281*c_0101_5^13 - 15987163926935905051/8615934981245281*c_0101_5^12 + 34744002422821545611/8615934981245281*c_0101_5^11 + 41505112679778318803/8615934981245281*c_0101_5^10 - 69239664360878178075/8615934981245281*c_0101_5^9 - 71157221564814197800/8615934981245281*c_0101_5^8 + 59696127045882393398/8615934981245281*c_0101_5^7 + 67751335858001975422/8615934981245281*c_0101_5^6 - 11614764039869496085/8615934981245281*c_0101_5^5 - 23542941095971511903/8615934981245281*c_0101_5^4 - 1553759757433386809/8615934981245281*c_0101_5^3 + 2855423755489046069/8615934981245281*c_0101_5^2 + 359938375090958019/8615934981245281*c_0101_5 - 84456606817437367/8615934981245281, c_0101_0 - 48381945220957530/8615934981245281*c_0101_5^17 + 381984669856200737/8615934981245281*c_0101_5^16 - 291200405908085070/8615934981245281*c_0101_5^15 - 3194463577981469314/8615934981245281*c_0101_5^14 + 6174620731840998700/8615934981245281*c_0101_5^13 + 11262682034454011727/8615934981245281*c_0101_5^12 - 26436933296132674309/8615934981245281*c_0101_5^11 - 28230721209789926323/8615934981245281*c_0101_5^10 + 53217711257584557448/8615934981245281*c_0101_5^9 + 47331777134997212298/8615934981245281*c_0101_5^8 - 47828876825247392344/8615934981245281*c_0101_5^7 - 44503601725328621598/8615934981245281*c_0101_5^6 + 12072245045929585431/8615934981245281*c_0101_5^5 + 15131797465677512187/8615934981245281*c_0101_5^4 - 2794056826842612/8615934981245281*c_0101_5^3 - 1726441999433368574/8615934981245281*c_0101_5^2 - 132849037829372068/8615934981245281*c_0101_5 + 34239650185869159/8615934981245281, c_0101_5^18 - 7*c_0101_5^17 - c_0101_5^16 + 71*c_0101_5^15 - 68*c_0101_5^14 - 344*c_0101_5^13 + 330*c_0101_5^12 + 1065*c_0101_5^11 - 545*c_0101_5^10 - 1950*c_0101_5^9 + 45*c_0101_5^8 + 1788*c_0101_5^7 + 645*c_0101_5^6 - 519*c_0101_5^5 - 313*c_0101_5^4 + 28*c_0101_5^3 + 41*c_0101_5^2 + 3*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB