Magma V2.19-8 Tue Aug 20 2013 16:17:56 on localhost [Seed = 644332258] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2174 geometric_solution 5.64148885 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 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 -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.461032162550 0.408302652524 0 2 3 0 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 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 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.574031472526 0.913536598003 4 1 3 5 0132 0132 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 -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 0 0 0 0 0.319505173429 0.371672350387 2 6 4 1 2031 0132 2310 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.319505173429 0.371672350387 2 3 5 6 0132 3201 3012 3012 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 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.642613366392 1.414824496374 6 4 2 6 3201 1230 0132 2310 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 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 0 0 0 0 0 0.832169792250 0.664407302421 5 3 4 5 3201 0132 1230 2310 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 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.832169792250 0.664407302421 ==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' : negation(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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(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_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_1001_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 1502620253/3226287623552*c_1001_1^14 - 246240801771/3226287623552*c_1001_1^13 - 34980097610251/38715451482624*c_1001_1^12 - 65628423104003/12905150494208*c_1001_1^11 - 59447399939895/3226287623552*c_1001_1^10 - 1816737563899217/38715451482624*c_1001_1^9 - 3475440448164943/38715451482624*c_1001_1^8 - 5096116366957513/38715451482624*c_1001_1^7 - 280440220670535/1843592927744*c_1001_1^6 - 2646085134106021/19357725741312*c_1001_1^5 - 235567281257767/2419715717664*c_1001_1^4 - 32772478729751/604928929416*c_1001_1^3 - 19110886844565/806571905888*c_1001_1^2 - 6802764814511/1209857858832*c_1001_1 + 104493351637/50410744118, c_0011_0 - 1, c_0011_3 - 23313944669/921796463872*c_1001_1^14 - 533249763781/1843592927744*c_1001_1^13 - 8354134977253/5530778783232*c_1001_1^12 - 6743820612031/1382694695808*c_1001_1^11 - 19713625937503/1843592927744*c_1001_1^10 - 92648670891125/5530778783232*c_1001_1^9 - 35504625185297/1843592927744*c_1001_1^8 - 82881858576251/5530778783232*c_1001_1^7 - 8625276597817/1382694695808*c_1001_1^6 + 243491741105/172836836976*c_1001_1^5 + 1007036237955/230449115968*c_1001_1^4 + 441914616829/115224557984*c_1001_1^3 + 178671376729/86418418488*c_1001_1^2 + 20041933315/43209209244*c_1001_1 - 4026476777/43209209244, c_0101_0 + 77895115981/921796463872*c_1001_1^14 + 1843139508185/1843592927744*c_1001_1^13 + 31139295882443/5530778783232*c_1001_1^12 + 56323062812491/2765389391616*c_1001_1^11 + 96600720849447/1843592927744*c_1001_1^10 + 568780751755279/5530778783232*c_1001_1^9 + 295782218109167/1843592927744*c_1001_1^8 + 1125730525160185/5530778783232*c_1001_1^7 + 589150756600801/2765389391616*c_1001_1^6 + 128989322999735/691347347904*c_1001_1^5 + 1984167274465/14403069748*c_1001_1^4 + 9671755023535/115224557984*c_1001_1^3 + 7112717464103/172836836976*c_1001_1^2 + 679715581777/43209209244*c_1001_1 + 42448054087/10802302311, c_0101_1 + 21038819317/921796463872*c_1001_1^14 + 350164590105/1843592927744*c_1001_1^13 + 3893716463471/5530778783232*c_1001_1^12 + 1420587452117/921796463872*c_1001_1^11 + 3022413531587/1843592927744*c_1001_1^10 - 2815639917125/5530778783232*c_1001_1^9 - 39396183371851/5530778783232*c_1001_1^8 - 101626332085615/5530778783232*c_1001_1^7 - 28367400878769/921796463872*c_1001_1^6 - 54032684945081/1382694695808*c_1001_1^5 - 26717291124743/691347347904*c_1001_1^4 - 10172271257675/345673673952*c_1001_1^3 - 981630570249/57612278992*c_1001_1^2 - 665935252513/86418418488*c_1001_1 - 35746307691/14403069748, c_0101_4 + 144119899/921796463872*c_1001_1^14 + 34792029163/1843592927744*c_1001_1^13 + 1202657200439/5530778783232*c_1001_1^12 + 848636007059/691347347904*c_1001_1^11 + 8183555947713/1843592927744*c_1001_1^10 + 62582317029775/5530778783232*c_1001_1^9 + 119745009564217/5530778783232*c_1001_1^8 + 59692222118115/1843592927744*c_1001_1^7 + 26788971415049/691347347904*c_1001_1^6 + 25978975858247/691347347904*c_1001_1^5 + 20654769737795/691347347904*c_1001_1^4 + 6863292865187/345673673952*c_1001_1^3 + 119622792103/10802302311*c_1001_1^2 + 49881800005/10802302311*c_1001_1 + 66451418021/43209209244, c_0101_6 + 144119899/921796463872*c_1001_1^14 + 34792029163/1843592927744*c_1001_1^13 + 1202657200439/5530778783232*c_1001_1^12 + 848636007059/691347347904*c_1001_1^11 + 8183555947713/1843592927744*c_1001_1^10 + 62582317029775/5530778783232*c_1001_1^9 + 119745009564217/5530778783232*c_1001_1^8 + 59692222118115/1843592927744*c_1001_1^7 + 26788971415049/691347347904*c_1001_1^6 + 25978975858247/691347347904*c_1001_1^5 + 20654769737795/691347347904*c_1001_1^4 + 6863292865187/345673673952*c_1001_1^3 + 119622792103/10802302311*c_1001_1^2 + 49881800005/10802302311*c_1001_1 + 66451418021/43209209244, c_1001_1^15 + 25/2*c_1001_1^14 + 449/6*c_1001_1^13 + 866/3*c_1001_1^12 + 4777/6*c_1001_1^11 + 10057/6*c_1001_1^10 + 16807/6*c_1001_1^9 + 22823/6*c_1001_1^8 + 12778/3*c_1001_1^7 + 11932/3*c_1001_1^6 + 9368/3*c_1001_1^5 + 6176/3*c_1001_1^4 + 1120*c_1001_1^3 + 1472/3*c_1001_1^2 + 512/3*c_1001_1 + 128/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB