Magma V2.19-8 Tue Aug 20 2013 16:17:50 on localhost [Seed = 526287869] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2068 geometric_solution 5.58674181 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 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.419321619349 0.203861443139 2 0 3 0 0132 2310 0132 0132 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 1 -1 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.651788320591 0.733906354072 1 4 5 3 0132 0132 0132 2310 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 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.062093016265 1.133872040809 2 5 4 1 3201 1023 3201 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 1 0 -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.062093016265 1.133872040809 3 2 4 4 2310 0132 1230 3012 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 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.085935283734 1.341999110458 3 6 6 2 1023 0132 1023 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 -1 0 0 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367458315692 0.451814940468 6 5 5 6 3012 0132 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.790990010451 0.842077284879 ==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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], '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_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 12379595211233767494342/31784008444540447643*c_0101_6^24 + 498268211574404245497329/63568016889080895286*c_0101_6^22 + 1949885795293279732717256/31784008444540447643*c_0101_6^20 + 12048861756999470359192371/63568016889080895286*c_0101_6^18 - 4979271011985604798709776/31784008444540447643*c_0101_6^16 - 55109006958021888152647969/31784008444540447643*c_0101_6^14 + 289511588746303081668894225/63568016889080895286*c_0101_6^12 - 307380850109013157943300433/63568016889080895286*c_0101_6^10 + 145647461721264508330557653/63568016889080895286*c_0101_6^8 - 16182392863586390642824680/31784008444540447643*c_0101_6^6 + 10635185352899083533896753/63568016889080895286*c_0101_6^4 - 1288134935539440840511794/31784008444540447643*c_0101_6^2 + 204245779567212878618561/63568016889080895286, c_0011_0 - 1, c_0011_1 + 330339666907556166139/63568016889080895286*c_0101_6^24 + 3328352583728106602923/31784008444540447643*c_0101_6^22 + 52208440916813322755227/63568016889080895286*c_0101_6^20 + 162157212671839791927419/63568016889080895286*c_0101_6^18 - 64222234406975436740298/31784008444540447643*c_0101_6^16 - 1473558102379569476621583/63568016889080895286*c_0101_6^14 + 1911665641828051299991917/31784008444540447643*c_0101_6^12 - 4003269513875301530869923/63568016889080895286*c_0101_6^10 + 922871808427009848195514/31784008444540447643*c_0101_6^8 - 195672810516661601473552/31784008444540447643*c_0101_6^6 + 134873271198383168812763/63568016889080895286*c_0101_6^4 - 31479703613318854004971/63568016889080895286*c_0101_6^2 + 1112552513213199086625/31784008444540447643, c_0011_3 - 121394304484053125473/63568016889080895286*c_0101_6^25 - 2449641852261128444413/63568016889080895286*c_0101_6^23 - 9626741288293754662103/31784008444540447643*c_0101_6^21 - 60106765908551484449211/63568016889080895286*c_0101_6^19 + 22864722573609725092566/31784008444540447643*c_0101_6^17 + 543681534127377485062425/63568016889080895286*c_0101_6^15 - 1388929965959717855579689/63568016889080895286*c_0101_6^13 + 713764893143208362081080/31784008444540447643*c_0101_6^11 - 316323493704962140036048/31784008444540447643*c_0101_6^9 + 125446751800125552606855/63568016889080895286*c_0101_6^7 - 23873756426530784450653/31784008444540447643*c_0101_6^5 + 9954471376826937975553/63568016889080895286*c_0101_6^3 - 295139356094230596490/31784008444540447643*c_0101_6, c_0101_0 + 277933957548551492835/31784008444540447643*c_0101_6^25 + 5605601294425180338803/31784008444540447643*c_0101_6^23 + 44025941388172196545300/31784008444540447643*c_0101_6^21 + 274448035734550078189021/63568016889080895286*c_0101_6^19 - 105547141314032925851833/31784008444540447643*c_0101_6^17 - 1241384147937226148033174/31784008444540447643*c_0101_6^15 + 3194605131532264516429905/31784008444540447643*c_0101_6^13 - 3313929135374638689051776/31784008444540447643*c_0101_6^11 + 3000652593811890688227013/63568016889080895286*c_0101_6^9 - 308951043207056071899098/31784008444540447643*c_0101_6^7 + 110754808471636232719722/31784008444540447643*c_0101_6^5 - 49769997627660223123625/63568016889080895286*c_0101_6^3 + 1605192154408489052369/31784008444540447643*c_0101_6, c_0101_1 - 48042891360511918089/31784008444540447643*c_0101_6^24 - 967646552760013477239/31784008444540447643*c_0101_6^22 - 7583232527500215910157/31784008444540447643*c_0101_6^20 - 23504328011469277672635/31784008444540447643*c_0101_6^18 + 37902705832424961962877/63568016889080895286*c_0101_6^16 + 214280085268524384298751/31784008444540447643*c_0101_6^14 - 558042192196119008947953/31784008444540447643*c_0101_6^12 + 586771521896920574365010/31784008444540447643*c_0101_6^10 - 272737534737107688622780/31784008444540447643*c_0101_6^8 + 117790889272754711199895/63568016889080895286*c_0101_6^6 - 20170087398774250790564/31784008444540447643*c_0101_6^4 + 4687658310906614067261/31784008444540447643*c_0101_6^2 - 676729279861238361557/63568016889080895286, c_0101_4 - 114354268897852026387/63568016889080895286*c_0101_6^25 - 2307595359946591589921/63568016889080895286*c_0101_6^23 - 9070075551410112684078/31784008444540447643*c_0101_6^21 - 28342937646957068904877/31784008444540447643*c_0101_6^19 + 42532713267684181068971/63568016889080895286*c_0101_6^17 + 510082471339023848077537/63568016889080895286*c_0101_6^15 - 1309588575166656106736789/63568016889080895286*c_0101_6^13 + 678262089771053833677039/31784008444540447643*c_0101_6^11 - 614531387520577923857735/63568016889080895286*c_0101_6^9 + 63723668695536825903861/31784008444540447643*c_0101_6^7 - 22566844927343714921175/31784008444540447643*c_0101_6^5 + 5160597702430141963487/31784008444540447643*c_0101_6^3 - 606654167105874116771/63568016889080895286*c_0101_6, c_0101_6^26 + 20*c_0101_6^24 + 155*c_0101_6^22 + 467*c_0101_6^20 - 463*c_0101_6^18 - 4402*c_0101_6^16 + 12248*c_0101_6^14 - 13867*c_0101_6^12 + 7418*c_0101_6^10 - 2029*c_0101_6^8 + 588*c_0101_6^6 - 157*c_0101_6^4 + 21*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB