Magma V2.19-8 Tue Aug 20 2013 16:18:45 on localhost [Seed = 391547491] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2909 geometric_solution 6.11365864 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1230 0132 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 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.522692442839 0.898957440601 0 3 5 4 0132 3120 0132 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 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.784246451986 1.323015610551 3 0 5 0 3201 0132 2310 3012 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 -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.721394084592 0.464835047359 6 1 0 2 0132 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534609780657 0.288057342833 6 5 1 6 1230 3201 0132 3012 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 1 0 -1 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.030910852332 0.831456433324 6 2 4 1 3120 3201 2310 0132 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 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.686571006543 0.373230499077 3 4 4 5 0132 3012 1230 3120 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 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.405632174047 0.509954067528 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : 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' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_5'], 'c_0011_5' : d['c_0011_5'], '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_0101_2']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_5']), 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_1001_1']), 'c_0110_1' : d['c_0011_5'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_1001_1'])})} 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_0011_5, c_0101_1, c_0101_2, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 590888724375/4019533084*c_1001_1^12 - 2003346383585/6029299626*c_1001_1^11 + 1424960249779/6029299626*c_1001_1^10 + 16275339356429/12058599252*c_1001_1^9 + 536453455318/430664259*c_1001_1^8 - 26920898447699/12058599252*c_1001_1^7 - 48083873117957/12058599252*c_1001_1^6 + 26825092775227/12058599252*c_1001_1^5 + 1988587015065/574219012*c_1001_1^4 - 2377411810739/1722657036*c_1001_1^3 - 97463441563/574219012*c_1001_1^2 + 2160151629497/12058599252*c_1001_1 - 2998314213427/6029299626, c_0011_0 - 1, c_0011_3 + 297154365/6241511*c_1001_1^12 + 659815954/6241511*c_1001_1^11 - 497053535/6241511*c_1001_1^10 - 2710128766/6241511*c_1001_1^9 - 2444539030/6241511*c_1001_1^8 + 4581266262/6241511*c_1001_1^7 + 7921839668/6241511*c_1001_1^6 - 4631711676/6241511*c_1001_1^5 - 6860144656/6241511*c_1001_1^4 + 2806700251/6241511*c_1001_1^3 + 311929869/6241511*c_1001_1^2 - 336109191/6241511*c_1001_1 + 1001287633/6241511, c_0011_4 - 18800675/12483022*c_1001_1^12 - 63541725/12483022*c_1001_1^11 - 1068251/6241511*c_1001_1^10 + 207907245/12483022*c_1001_1^9 + 290624413/12483022*c_1001_1^8 - 163622855/12483022*c_1001_1^7 - 378793610/6241511*c_1001_1^6 + 24805135/6241511*c_1001_1^5 + 330697828/6241511*c_1001_1^4 - 90816844/6241511*c_1001_1^3 - 10051219/6241511*c_1001_1^2 + 50166542/6241511*c_1001_1 - 93248287/12483022, c_0011_5 + 192720815/12483022*c_1001_1^12 + 426260689/12483022*c_1001_1^11 - 156873673/6241511*c_1001_1^10 - 1734096837/12483022*c_1001_1^9 - 1588848625/12483022*c_1001_1^8 + 2905559905/12483022*c_1001_1^7 + 2517751472/6241511*c_1001_1^6 - 1452633320/6241511*c_1001_1^5 - 2132174477/6241511*c_1001_1^4 + 860398367/6241511*c_1001_1^3 + 79067987/6241511*c_1001_1^2 - 96681307/6241511*c_1001_1 + 614088361/12483022, c_0101_1 + 673814215/12483022*c_1001_1^12 + 1501149089/12483022*c_1001_1^11 - 558516330/6241511*c_1001_1^10 - 6155115973/12483022*c_1001_1^9 - 5586239633/12483022*c_1001_1^8 + 10351190723/12483022*c_1001_1^7 + 9017336722/6241511*c_1001_1^6 - 5198219529/6241511*c_1001_1^5 - 7820069284/6241511*c_1001_1^4 + 3149071874/6241511*c_1001_1^3 + 391804917/6241511*c_1001_1^2 - 387781138/6241511*c_1001_1 + 2250502325/12483022, c_0101_2 - 924582085/12483022*c_1001_1^12 - 2060372561/12483022*c_1001_1^11 + 763183039/6241511*c_1001_1^10 + 8429096039/12483022*c_1001_1^9 + 7655933863/12483022*c_1001_1^8 - 14173646033/12483022*c_1001_1^7 - 12340650208/6241511*c_1001_1^6 + 7138606289/6241511*c_1001_1^5 + 10695791082/6241511*c_1001_1^4 - 4324894588/6241511*c_1001_1^3 - 516302470/6241511*c_1001_1^2 + 518818369/6241511*c_1001_1 - 3112028411/12483022, c_1001_1^13 + 18/5*c_1001_1^12 + 7/5*c_1001_1^11 - 57/5*c_1001_1^10 - 104/5*c_1001_1^9 + 4*c_1001_1^8 + 239/5*c_1001_1^7 + 106/5*c_1001_1^6 - 222/5*c_1001_1^5 - 112/5*c_1001_1^4 + 14*c_1001_1^3 + 2/5*c_1001_1^2 + 9/5*c_1001_1 + 23/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB