Magma V2.19-8 Tue Aug 20 2013 16:14:12 on localhost [Seed = 3364443369] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s168 geometric_solution 4.25750523 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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 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.511687839877 0.192144409768 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 0 0 0 0 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 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 1.212150426598 0.307513660362 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 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 1 0 -1 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.708324636357 0.585800606748 2 4 4 5 0132 0321 1302 0132 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 -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.620810519043 0.594031927610 3 5 2 3 2031 1023 0132 0321 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620810519043 0.594031927610 4 5 3 5 1023 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.611603774692 0.263424405588 ==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' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], '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' : d['c_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], '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_0101_0, c_0101_2, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 50037427762745/36329351843713*c_0110_5^14 + 439900017260246/36329351843713*c_0110_5^13 + 1297421364234773/36329351843713*c_0110_5^12 + 2539659617606178/36329351843713*c_0110_5^11 + 3943254125982112/36329351843713*c_0110_5^10 + 1886744037790662/36329351843713*c_0110_5^9 - 4014561155449984/36329351843713*c_0110_5^8 - 8941204803118267/36329351843713*c_0110_5^7 - 383493425836939/2137020696689*c_0110_5^6 + 94442556748642/2137020696689*c_0110_5^5 - 2535534426357731/36329351843713*c_0110_5^4 - 2238425831784064/36329351843713*c_0110_5^3 - 961781636598230/36329351843713*c_0110_5^2 - 1344181868578247/36329351843713*c_0110_5 + 215583194859285/36329351843713, c_0011_0 - 1, c_0011_1 + 1923797850999/36329351843713*c_0110_5^14 + 13143304572233/36329351843713*c_0110_5^13 + 21643258195769/36329351843713*c_0110_5^12 + 31970195723947/36329351843713*c_0110_5^11 + 13881941219441/36329351843713*c_0110_5^10 - 104567823837802/36329351843713*c_0110_5^9 - 190145066254269/36329351843713*c_0110_5^8 - 121354206535000/36329351843713*c_0110_5^7 + 11620891310761/2137020696689*c_0110_5^6 + 13429507218057/2137020696689*c_0110_5^5 - 66594730352771/36329351843713*c_0110_5^4 - 348162410312/36329351843713*c_0110_5^3 + 44217843323595/36329351843713*c_0110_5^2 - 5399811426563/36329351843713*c_0110_5 + 22805302787410/36329351843713, c_0011_4 - 5942777721696/36329351843713*c_0110_5^14 - 41600670224632/36329351843713*c_0110_5^13 - 83405884003959/36329351843713*c_0110_5^12 - 178446989561185/36329351843713*c_0110_5^11 - 196338540911262/36329351843713*c_0110_5^10 + 33861606696439/36329351843713*c_0110_5^9 + 329562776165608/36329351843713*c_0110_5^8 + 554744606046387/36329351843713*c_0110_5^7 + 1146743167627/2137020696689*c_0110_5^6 + 2165061147913/2137020696689*c_0110_5^5 + 41533533760850/36329351843713*c_0110_5^4 + 59187074276849/36329351843713*c_0110_5^3 + 134421912358270/36329351843713*c_0110_5^2 + 18834966541231/36329351843713*c_0110_5 + 11174398529253/36329351843713, c_0101_0 + 15669299231829/36329351843713*c_0110_5^14 + 104893637590491/36329351843713*c_0110_5^13 + 184852927556709/36329351843713*c_0110_5^12 + 395923705168120/36329351843713*c_0110_5^11 + 373631857855774/36329351843713*c_0110_5^10 - 258214639066261/36329351843713*c_0110_5^9 - 818801049303199/36329351843713*c_0110_5^8 - 1136956173666597/36329351843713*c_0110_5^7 + 23596649111688/2137020696689*c_0110_5^6 - 8114290902883/2137020696689*c_0110_5^5 - 307797291165837/36329351843713*c_0110_5^4 + 59276553820420/36329351843713*c_0110_5^3 - 276720526029863/36329351843713*c_0110_5^2 + 31549858372958/36329351843713*c_0110_5 + 5173294816299/36329351843713, c_0101_2 + 4275798588977/36329351843713*c_0110_5^14 + 29120127821621/36329351843713*c_0110_5^13 + 54054594620887/36329351843713*c_0110_5^12 + 115681583696669/36329351843713*c_0110_5^11 + 116204338328511/36329351843713*c_0110_5^10 - 58178279259887/36329351843713*c_0110_5^9 - 236406643542351/36329351843713*c_0110_5^8 - 361617231689973/36329351843713*c_0110_5^7 + 2619898618179/2137020696689*c_0110_5^6 - 1189604025221/2137020696689*c_0110_5^5 - 29247169611539/36329351843713*c_0110_5^4 + 36320430808828/36329351843713*c_0110_5^3 - 109796728754524/36329351843713*c_0110_5^2 + 6950136572979/36329351843713*c_0110_5 + 8394436460894/36329351843713, c_0110_5^15 + 7*c_0110_5^14 + 14*c_0110_5^13 + 30*c_0110_5^12 + 34*c_0110_5^11 - 4*c_0110_5^10 - 51*c_0110_5^9 - 88*c_0110_5^8 - 5*c_0110_5^7 - 17*c_0110_5^6 - 26*c_0110_5^5 - 5*c_0110_5^4 - 19*c_0110_5^3 - 5*c_0110_5^2 - 2*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB