Magma V2.19-8 Tue Aug 20 2013 23:40:03 on localhost [Seed = 88301994] Type ? for help. Type -D to quit. Loading file "K14n282__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n282 geometric_solution 9.06684374 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 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 1 0 -1 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.680615240975 0.367711167359 0 5 6 2 0132 0132 0132 1230 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 4 0 -4 0 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.346375857535 1.550097255079 1 0 8 7 3012 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 -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.890405453355 0.226819501822 6 5 8 0 0321 0213 1302 0132 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 0 0 4 -4 -1 1 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.443888413470 0.766485414363 5 9 0 6 0321 0132 0132 0321 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 3 0 0 -3 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.330795178301 0.781945787928 4 1 3 7 0321 0132 0213 0321 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 -1 1 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.459686022132 0.286824646107 3 4 10 1 0321 0321 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 -1 0 -3 0 -1 4 1 -1 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541113340341 1.084733134564 10 5 2 9 2031 0321 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.146019555402 0.971960581608 3 9 10 2 2031 0321 3012 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 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.146019555402 0.971960581608 10 4 7 8 0213 0132 0132 0321 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 3 0 1 -4 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.530508654360 0.511420260912 9 8 7 6 0213 1230 1302 0132 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 -1 1 0 0 -1 1 -3 0 0 3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.974103391138 1.061097749890 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_10'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_10' : d['c_0101_8'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_4']), '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' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_0101_8'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : d['c_0101_7'], 'c_1100_0' : d['c_0101_8'], 'c_1100_3' : d['c_0101_8'], 'c_1100_2' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0101_7'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], '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_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0011_10']), 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(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_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_4'], 'c_0011_6' : d['c_0011_0'], '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_0110_10' : d['c_0011_8'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0011_8']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : negation(d['c_0011_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_8, c_0101_2, c_0101_7, c_0101_8, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 17010261291759/26272958516728*c_1001_2^14 - 39670031063497/13136479258364*c_1001_2^13 + 4466273947697/536182826872*c_1001_2^12 - 201882200154627/13136479258364*c_1001_2^11 + 84732008549308/3284119814591*c_1001_2^10 - 980171960526975/26272958516728*c_1001_2^9 + 1111064912328831/26272958516728*c_1001_2^8 - 85385329162940/3284119814591*c_1001_2^7 - 525704090246887/13136479258364*c_1001_2^6 + 2144752111766617/26272958516728*c_1001_2^5 - 1468610355224779/13136479258364*c_1001_2^4 - 16189216242281/3753279788104*c_1001_2^3 + 7246097468507/217131888568*c_1001_2^2 - 269646521604940/3284119814591*c_1001_2 - 50398799205201/13136479258364, c_0011_0 - 1, c_0011_10 + 4953919/158259394*c_1001_2^14 - 25328735/316518788*c_1001_2^13 + 68091887/316518788*c_1001_2^12 - 86745697/316518788*c_1001_2^11 + 219961231/316518788*c_1001_2^10 - 47830991/79129697*c_1001_2^9 + 407688289/316518788*c_1001_2^8 + 4273066/79129697*c_1001_2^7 + 115532415/316518788*c_1001_2^6 + 147803891/158259394*c_1001_2^5 + 322414091/316518788*c_1001_2^4 - 181128867/316518788*c_1001_2^3 + 30524469/316518788*c_1001_2^2 + 115642541/158259394*c_1001_2 - 87731529/316518788, c_0011_3 + 61335881/316518788*c_1001_2^14 - 87241281/158259394*c_1001_2^13 + 475504923/316518788*c_1001_2^12 - 313933061/158259394*c_1001_2^11 + 742342031/158259394*c_1001_2^10 - 1300412133/316518788*c_1001_2^9 + 2572304021/316518788*c_1001_2^8 + 357279505/158259394*c_1001_2^7 - 2161067/158259394*c_1001_2^6 + 4942371979/316518788*c_1001_2^5 + 435261457/158259394*c_1001_2^4 + 1678587831/316518788*c_1001_2^3 + 3078397245/316518788*c_1001_2^2 + 782554283/158259394*c_1001_2 + 457090063/158259394, c_0011_4 - 14682877/158259394*c_1001_2^14 + 86568099/316518788*c_1001_2^13 - 125146955/158259394*c_1001_2^12 + 360574953/316518788*c_1001_2^11 - 208885837/79129697*c_1001_2^10 + 203604535/79129697*c_1001_2^9 - 1608054339/316518788*c_1001_2^8 + 48595873/316518788*c_1001_2^7 - 114694496/79129697*c_1001_2^6 - 1259764729/158259394*c_1001_2^5 - 242100171/316518788*c_1001_2^4 - 765050461/158259394*c_1001_2^3 - 1507672845/316518788*c_1001_2^2 - 1045751971/316518788*c_1001_2 - 106710005/79129697, c_0011_8 - 14682877/158259394*c_1001_2^14 + 86568099/316518788*c_1001_2^13 - 125146955/158259394*c_1001_2^12 + 360574953/316518788*c_1001_2^11 - 208885837/79129697*c_1001_2^10 + 203604535/79129697*c_1001_2^9 - 1608054339/316518788*c_1001_2^8 + 48595873/316518788*c_1001_2^7 - 114694496/79129697*c_1001_2^6 - 1259764729/158259394*c_1001_2^5 - 242100171/316518788*c_1001_2^4 - 765050461/158259394*c_1001_2^3 - 1507672845/316518788*c_1001_2^2 - 1045751971/316518788*c_1001_2 - 106710005/79129697, c_0101_2 + 2066862/79129697*c_1001_2^14 - 14511987/158259394*c_1001_2^13 + 34407193/158259394*c_1001_2^12 - 23187340/79129697*c_1001_2^11 + 46446326/79129697*c_1001_2^10 - 52360007/79129697*c_1001_2^9 + 67941182/79129697*c_1001_2^8 + 54993031/158259394*c_1001_2^7 - 129310719/158259394*c_1001_2^6 + 178808358/79129697*c_1001_2^5 + 80601701/158259394*c_1001_2^4 + 132422311/158259394*c_1001_2^3 + 103435809/79129697*c_1001_2^2 + 372111659/158259394*c_1001_2 + 157811567/158259394, c_0101_7 + c_1001_2, c_0101_8 + 3532395/79129697*c_1001_2^14 - 8806625/158259394*c_1001_2^13 + 14826645/79129697*c_1001_2^12 - 1068385/79129697*c_1001_2^11 + 49601461/79129697*c_1001_2^10 + 71387585/158259394*c_1001_2^9 + 94472897/79129697*c_1001_2^8 + 452349537/158259394*c_1001_2^7 + 332130869/158259394*c_1001_2^6 + 333900058/79129697*c_1001_2^5 + 896255647/158259394*c_1001_2^4 + 264212649/79129697*c_1001_2^3 + 317323873/79129697*c_1001_2^2 + 535038325/158259394*c_1001_2 + 187837873/158259394, c_1001_0 - 2066862/79129697*c_1001_2^14 + 14511987/158259394*c_1001_2^13 - 34407193/158259394*c_1001_2^12 + 23187340/79129697*c_1001_2^11 - 46446326/79129697*c_1001_2^10 + 52360007/79129697*c_1001_2^9 - 67941182/79129697*c_1001_2^8 - 54993031/158259394*c_1001_2^7 + 129310719/158259394*c_1001_2^6 - 178808358/79129697*c_1001_2^5 - 80601701/158259394*c_1001_2^4 - 132422311/158259394*c_1001_2^3 - 103435809/79129697*c_1001_2^2 - 372111659/158259394*c_1001_2 - 157811567/158259394, c_1001_1 - 3532395/79129697*c_1001_2^14 + 8806625/158259394*c_1001_2^13 - 14826645/79129697*c_1001_2^12 + 1068385/79129697*c_1001_2^11 - 49601461/79129697*c_1001_2^10 - 71387585/158259394*c_1001_2^9 - 94472897/79129697*c_1001_2^8 - 452349537/158259394*c_1001_2^7 - 332130869/158259394*c_1001_2^6 - 333900058/79129697*c_1001_2^5 - 896255647/158259394*c_1001_2^4 - 264212649/79129697*c_1001_2^3 - 317323873/79129697*c_1001_2^2 - 535038325/158259394*c_1001_2 - 187837873/158259394, c_1001_2^15 - 2*c_1001_2^14 + 6*c_1001_2^13 - 5*c_1001_2^12 + 19*c_1001_2^11 - 4*c_1001_2^10 + 35*c_1001_2^9 + 43*c_1001_2^8 + 26*c_1001_2^7 + 98*c_1001_2^6 + 82*c_1001_2^5 + 68*c_1001_2^4 + 88*c_1001_2^3 + 67*c_1001_2^2 + 36*c_1001_2 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.380 seconds, Total memory usage: 32.09MB