Magma V2.19-8 Tue Aug 20 2013 23:29:50 on localhost [Seed = 4290353577] Type ? for help. Type -D to quit. Loading file "K8a4__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K8a4 geometric_solution 7.80134122 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 4 0132 0132 0132 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 -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 1.591926039554 0.925942382410 0 2 6 5 0132 1230 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392837888328 0.462515499305 4 0 1 7 1230 0132 3012 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 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.288490423016 1.560750699932 5 5 6 0 0132 1302 2103 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 -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.548497425611 0.683637876735 8 2 0 8 0132 3012 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1.183703112983 0.797323395086 3 8 1 3 0132 0132 0132 2031 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 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.672664285420 1.018507556601 3 7 7 1 2103 1302 3012 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 1 -1 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 1.091528197312 1.409951486835 8 6 2 6 2310 1230 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 1 0 0 -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.045847986577 0.706267999811 4 5 7 4 0132 0132 3201 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.183703112983 0.797323395086 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_7']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0011_0'], 'c_1001_8' : d['c_0011_3'], 's_2_8' : 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_2_7' : d['1'], 's_0_8' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_8' : negation(d['c_0011_7']), 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_1001_1']), 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_0'], 'c_1010_8' : d['c_0101_2'], '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' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_8' : negation(d['1']), 's_1_7' : 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_1_8' : d['1'], 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], '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_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0011_7'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0011_7'], 'c_0110_7' : negation(d['c_0011_7']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 1701849417078600/53532243102149*c_1001_1^11 - 56914296545209769/107064486204298*c_1001_1^10 - 361865493075431991/107064486204298*c_1001_1^9 - 1126524471010242709/107064486204298*c_1001_1^8 - 1995654331877345793/107064486204298*c_1001_1^7 - 2483003896529134019/107064486204298*c_1001_1^6 - 1377370454371481778/53532243102149*c_1001_1^5 - 183699935139788040/7647463300307*c_1001_1^4 - 994909392508905856/53532243102149*c_1001_1^3 - 1794235605309346741/107064486204298*c_1001_1^2 - 615234048107813555/53532243102149*c_1001_1 - 281016852873770833/107064486204298, c_0011_0 - 1, c_0011_3 - 199368807303/1799403129484*c_1001_1^11 - 3096496765529/1799403129484*c_1001_1^10 - 17586013094079/1799403129484*c_1001_1^9 - 46173922536929/1799403129484*c_1001_1^8 - 67906231196817/1799403129484*c_1001_1^7 - 39367604568839/899701564742*c_1001_1^6 - 21498845810272/449850782371*c_1001_1^5 - 34542104441163/899701564742*c_1001_1^4 - 56868729174971/1799403129484*c_1001_1^3 - 13334789305613/449850782371*c_1001_1^2 - 23720164829703/1799403129484*c_1001_1 - 1661887653593/899701564742, c_0011_6 - 89110401083/899701564742*c_1001_1^11 - 1380670308593/899701564742*c_1001_1^10 - 7792016503135/899701564742*c_1001_1^9 - 20123705375815/899701564742*c_1001_1^8 - 28627382419875/899701564742*c_1001_1^7 - 16348320124222/449850782371*c_1001_1^6 - 18211511901906/449850782371*c_1001_1^5 - 13945215077409/449850782371*c_1001_1^4 - 23058577490111/899701564742*c_1001_1^3 - 11470090190960/449850782371*c_1001_1^2 - 7320388316703/899701564742*c_1001_1 - 509017420586/449850782371, c_0011_7 - 8000111545/899701564742*c_1001_1^11 - 75636243037/899701564742*c_1001_1^10 + 7014407747/899701564742*c_1001_1^9 + 1829763963625/899701564742*c_1001_1^8 + 5538035066635/899701564742*c_1001_1^7 + 3580664368922/449850782371*c_1001_1^6 + 4179213437516/449850782371*c_1001_1^5 + 4620841882344/449850782371*c_1001_1^4 + 5815595766497/899701564742*c_1001_1^3 + 3167228987969/449850782371*c_1001_1^2 + 5731424569909/899701564742*c_1001_1 + 737947065764/449850782371, c_0101_0 - 4215490603/449850782371*c_1001_1^11 - 55056057311/449850782371*c_1001_1^10 - 203643943033/449850782371*c_1001_1^9 + 30261845783/449850782371*c_1001_1^8 + 1374320537661/449850782371*c_1001_1^7 + 2549668064915/449850782371*c_1001_1^6 + 2829404948855/449850782371*c_1001_1^5 + 3663473028598/449850782371*c_1001_1^4 + 2663618863718/449850782371*c_1001_1^3 + 1574909215008/449850782371*c_1001_1^2 + 2929752880726/449850782371*c_1001_1 + 765927660579/449850782371, c_0101_1 - 175870788125/1799403129484*c_1001_1^11 - 2872523132111/1799403129484*c_1001_1^10 - 17595299904781/1799403129484*c_1001_1^9 - 51641474269767/1799403129484*c_1001_1^8 - 85118010116067/1799403129484*c_1001_1^7 - 51244416656643/899701564742*c_1001_1^6 - 28634861435874/449850782371*c_1001_1^5 - 50418596881553/899701564742*c_1001_1^4 - 77924873966205/1799403129484*c_1001_1^3 - 18447138899997/449850782371*c_1001_1^2 - 41821442595385/1799403129484*c_1001_1 - 4276221326855/899701564742, c_0101_2 + 16660061138/449850782371*c_1001_1^11 + 259703757896/449850782371*c_1001_1^10 + 1479231428483/449850782371*c_1001_1^9 + 3873808583726/449850782371*c_1001_1^8 + 5589850733243/449850782371*c_1001_1^7 + 6403697977602/449850782371*c_1001_1^6 + 7157689485385/449850782371*c_1001_1^5 + 5733903262193/449850782371*c_1001_1^4 + 4755193266346/449850782371*c_1001_1^3 + 4779280255356/449850782371*c_1001_1^2 + 2168838223180/449850782371*c_1001_1 + 471499616741/449850782371, c_1001_0 + 26747234983/1799403129484*c_1001_1^11 + 450986806885/1799403129484*c_1001_1^10 + 2885560271683/1799403129484*c_1001_1^9 + 8986981227297/1799403129484*c_1001_1^8 + 15857186286865/1799403129484*c_1001_1^7 + 10107411997293/899701564742*c_1001_1^6 + 5693246200872/449850782371*c_1001_1^5 + 10494579851543/899701564742*c_1001_1^4 + 17249698858239/1799403129484*c_1001_1^3 + 3488102440461/449850782371*c_1001_1^2 + 11340258843979/1799403129484*c_1001_1 + 1424657922201/899701564742, c_1001_1^12 + 17*c_1001_1^11 + 111*c_1001_1^10 + 361*c_1001_1^9 + 681*c_1001_1^8 + 900*c_1001_1^7 + 1024*c_1001_1^6 + 994*c_1001_1^5 + 809*c_1001_1^4 + 702*c_1001_1^3 + 517*c_1001_1^2 + 192*c_1001_1 + 28 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB