Magma V2.19-8 Tue Aug 20 2013 16:18:18 on localhost [Seed = 3566553571] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2507 geometric_solution 5.82935126 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514515143432 0.713667080434 0 5 6 4 0132 0132 0132 0321 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 0 0 0 0 0 0 0 0 0 0 -1 1 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.695495795478 0.498256805119 3 0 2 2 1230 0132 2031 1302 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.856766004592 1.174052923207 4 2 5 0 0321 3012 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651643313951 0.957921498603 3 1 0 5 0321 0321 0132 3120 0 0 0 0 0 1 -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 0 0 0 0 0 -1 0 1 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 -1.383123829051 0.391305619402 4 1 3 6 3120 0132 3120 1230 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 -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.893019631866 1.461237979885 5 6 6 1 3012 3201 2310 0132 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 -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.572958312246 0.464968181186 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_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' : 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' : d['c_0101_1'], 'c_1100_4' : negation(d['c_0101_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_6'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_0011_4, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1400092234051/131508565080*c_0101_6^15 + 85543628969/131508565080*c_0101_6^14 - 1612607018791/26301713016*c_0101_6^13 + 454924515886/16438570635*c_0101_6^12 + 8109961787609/131508565080*c_0101_6^11 - 26155747387069/131508565080*c_0101_6^10 + 1688511846023/26301713016*c_0101_6^9 - 941562123041/65754282540*c_0101_6^8 - 3215123596179/8767237672*c_0101_6^7 + 43492220331199/131508565080*c_0101_6^6 - 2525135129469/21918094180*c_0101_6^5 + 6663618640051/32877141270*c_0101_6^4 - 906278467651/65754282540*c_0101_6^3 + 3296549600051/43836188360*c_0101_6^2 - 366077192483/16438570635*c_0101_6 - 1277578606349/131508565080, c_0011_0 - 1, c_0011_3 - 78723166/1095904709*c_0101_6^15 - 79072942/1095904709*c_0101_6^14 + 460414282/1095904709*c_0101_6^13 + 309211024/1095904709*c_0101_6^12 - 654723039/1095904709*c_0101_6^11 + 596036391/1095904709*c_0101_6^10 + 823934227/1095904709*c_0101_6^9 + 21639953/1095904709*c_0101_6^8 + 1947097002/1095904709*c_0101_6^7 - 572478453/1095904709*c_0101_6^6 - 2215906393/1095904709*c_0101_6^5 - 2281596640/1095904709*c_0101_6^4 - 845065777/1095904709*c_0101_6^3 - 304964581/1095904709*c_0101_6^2 + 1847171002/1095904709*c_0101_6 + 244838235/1095904709, c_0011_4 + 739319255/1095904709*c_0101_6^15 + 337257230/1095904709*c_0101_6^14 - 4175947864/1095904709*c_0101_6^13 + 270462237/1095904709*c_0101_6^12 + 4604187902/1095904709*c_0101_6^11 - 12108016652/1095904709*c_0101_6^10 - 84385980/1095904709*c_0101_6^9 - 452453745/1095904709*c_0101_6^8 - 26648562894/1095904709*c_0101_6^7 + 14246246412/1095904709*c_0101_6^6 - 1633261799/1095904709*c_0101_6^5 + 11476082370/1095904709*c_0101_6^4 + 6921653548/1095904709*c_0101_6^3 + 2389198590/1095904709*c_0101_6^2 + 16934507/1095904709*c_0101_6 - 2036580336/1095904709, c_0101_1 + 415980396/1095904709*c_0101_6^15 + 339040608/1095904709*c_0101_6^14 - 2407909810/1095904709*c_0101_6^13 - 880257907/1095904709*c_0101_6^12 + 3333091487/1095904709*c_0101_6^11 - 5116337901/1095904709*c_0101_6^10 - 3494345737/1095904709*c_0101_6^9 + 684609588/1095904709*c_0101_6^8 - 12837705260/1095904709*c_0101_6^7 + 2635812929/1095904709*c_0101_6^6 + 6298796213/1095904709*c_0101_6^5 + 7724611678/1095904709*c_0101_6^4 + 2494945112/1095904709*c_0101_6^3 + 1061218343/1095904709*c_0101_6^2 - 1665793573/1095904709*c_0101_6 - 984157490/1095904709, c_0101_2 - 1310104247/2191809418*c_0101_6^15 - 495536967/2191809418*c_0101_6^14 + 7871041819/2191809418*c_0101_6^13 - 551663073/1095904709*c_0101_6^12 - 10841676167/2191809418*c_0101_6^11 + 23642171843/2191809418*c_0101_6^10 + 2435634953/2191809418*c_0101_6^9 - 4186029144/1095904709*c_0101_6^8 + 48968223437/2191809418*c_0101_6^7 - 25097680607/2191809418*c_0101_6^6 - 5714725981/1095904709*c_0101_6^5 - 2707153662/1095904709*c_0101_6^4 - 4571527382/1095904709*c_0101_6^3 - 5331700943/2191809418*c_0101_6^2 - 884226831/1095904709*c_0101_6 + 2397982535/2191809418, c_0101_5 + 739319255/1095904709*c_0101_6^15 + 337257230/1095904709*c_0101_6^14 - 4175947864/1095904709*c_0101_6^13 + 270462237/1095904709*c_0101_6^12 + 4604187902/1095904709*c_0101_6^11 - 12108016652/1095904709*c_0101_6^10 - 84385980/1095904709*c_0101_6^9 - 452453745/1095904709*c_0101_6^8 - 26648562894/1095904709*c_0101_6^7 + 14246246412/1095904709*c_0101_6^6 - 1633261799/1095904709*c_0101_6^5 + 11476082370/1095904709*c_0101_6^4 + 6921653548/1095904709*c_0101_6^3 + 2389198590/1095904709*c_0101_6^2 + 16934507/1095904709*c_0101_6 - 2036580336/1095904709, c_0101_6^16 - 6*c_0101_6^14 + 3*c_0101_6^13 + 7*c_0101_6^12 - 20*c_0101_6^11 + 6*c_0101_6^10 + 3*c_0101_6^9 - 37*c_0101_6^8 + 34*c_0101_6^7 - 5*c_0101_6^6 + 10*c_0101_6^5 + 2*c_0101_6^4 + c_0101_6^3 - c_0101_6^2 - 3*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB