Magma V2.19-8 Tue Aug 20 2013 23:38:18 on localhost [Seed = 2345529253] Type ? for help. Type -D to quit. Loading file "K12n644__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n644 geometric_solution 9.62468160 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -11 11 0 11 0 -11 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396420877330 0.795437059641 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 11 0 -11 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539463974634 0.590236242508 6 0 8 5 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 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 -10 10 -10 10 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.229589170635 1.262951761678 9 4 8 0 0132 2310 3120 0132 0 0 0 0 0 0 0 0 1 0 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 -1 0 1 -11 0 0 11 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306557535755 0.979397829319 6 5 0 3 1302 1023 0132 3201 0 0 0 0 0 0 0 0 -1 0 1 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 1 -1 0 11 0 -11 0 -11 10 0 1 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.892289728904 1.294738211664 4 1 2 9 1023 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 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 0 -10 11 -10 10 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436112927935 1.011399568663 7 4 1 2 0321 2031 0132 3120 0 0 0 0 0 -1 0 1 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 11 0 -11 0 0 0 0 -10 0 0 10 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.075099038103 1.157711724973 6 8 9 1 0321 3120 0321 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 0 0 0 0 0 0 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.737279546669 0.726148564886 9 7 3 2 1302 3120 3120 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 -10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.026193041998 0.857919693935 3 8 7 5 0132 2031 0321 2103 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 0 0 0 0 11 0 0 -11 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.509129268283 0.752774255085 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : negation(d['c_0110_5']), 'c_1001_6' : negation(d['c_0110_4']), 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : negation(d['c_0110_4']), 'c_1001_3' : negation(d['c_0110_5']), 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : negation(d['c_0101_2']), 'c_1001_8' : d['c_0110_5'], 's_2_8' : d['1'], 's_2_9' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0110_5']), 'c_1100_8' : negation(d['c_0101_3']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_0101_2']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0101_3']), 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_0110_4']), 'c_1010_1' : negation(d['c_0110_4']), 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : negation(d['c_0011_7']), '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : 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_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], '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_0101_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_7']), 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_3'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_6']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_7']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0011_7'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0101_2, c_0101_3, c_0110_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 8494788091599911144268/47381327953803611*c_0110_5^11 + 23417978984611319670730/47381327953803611*c_0110_5^10 + 84589068414250285959937/47381327953803611*c_0110_5^9 + 1171084430850741358490/893987319883087*c_0110_5^8 + 249539814857747854013592/47381327953803611*c_0110_5^7 + 6166215887238450114156/2493754102831769*c_0110_5^6 + 20696071188121204690426/2493754102831769*c_0110_5^5 - 3108622623805056025257/47381327953803611*c_0110_5^4 + 341105014175670766371715/47381327953803611*c_0110_5^3 - 377517784060594357416221/47381327953803611*c_0110_5^2 + 83579536618072431598084/47381327953803611*c_0110_5 - 8270489811644291822742/47381327953803611, c_0011_0 - 1, c_0011_3 + 55681456043072/47051964204373*c_0110_5^11 + 142963683351980/47051964204373*c_0110_5^10 + 521356683126538/47051964204373*c_0110_5^9 + 291418803870437/47051964204373*c_0110_5^8 + 1519201803007320/47051964204373*c_0110_5^7 + 431377719014105/47051964204373*c_0110_5^6 + 2308060760200254/47051964204373*c_0110_5^5 - 559266613145224/47051964204373*c_0110_5^4 + 2061123896489890/47051964204373*c_0110_5^3 - 2927123244757219/47051964204373*c_0110_5^2 + 897604312603948/47051964204373*c_0110_5 - 58731887752314/47051964204373, c_0011_6 - 84118386688560/47051964204373*c_0110_5^11 - 213021110884888/47051964204373*c_0110_5^10 - 785532467668340/47051964204373*c_0110_5^9 - 428233557967288/47051964204373*c_0110_5^8 - 2335280660474918/47051964204373*c_0110_5^7 - 620859262304272/47051964204373*c_0110_5^6 - 3634136018880684/47051964204373*c_0110_5^5 + 840675333552521/47051964204373*c_0110_5^4 - 3360589235380596/47051964204373*c_0110_5^3 + 4388580123320684/47051964204373*c_0110_5^2 - 1630798316230202/47051964204373*c_0110_5 + 208877628235339/47051964204373, c_0011_7 + 70384660084004/47051964204373*c_0110_5^11 + 181327879607674/47051964204373*c_0110_5^10 + 665239709471909/47051964204373*c_0110_5^9 + 386166761314351/47051964204373*c_0110_5^8 + 1967149855762116/47051964204373*c_0110_5^7 + 591457254624213/47051964204373*c_0110_5^6 + 3054833152418195/47051964204373*c_0110_5^5 - 610921081609020/47051964204373*c_0110_5^4 + 2771209709978676/47051964204373*c_0110_5^3 - 3601680253039538/47051964204373*c_0110_5^2 + 1211927551596173/47051964204373*c_0110_5 - 134535157977096/47051964204373, c_0011_8 - 13596062995824/47051964204373*c_0110_5^11 - 39851961677196/47051964204373*c_0110_5^10 - 142901319432062/47051964204373*c_0110_5^9 - 125773564333337/47051964204373*c_0110_5^8 - 426908056065189/47051964204373*c_0110_5^7 - 264165740479571/47051964204373*c_0110_5^6 - 689296773686557/47051964204373*c_0110_5^5 - 109954645729267/47051964204373*c_0110_5^4 - 590219318919616/47051964204373*c_0110_5^3 + 552756058423086/47051964204373*c_0110_5^2 - 58610732790057/47051964204373*c_0110_5 + 44133852284109/47051964204373, c_0101_0 + 81290675794604/47051964204373*c_0110_5^11 + 220705257952870/47051964204373*c_0110_5^10 + 797807039818095/47051964204373*c_0110_5^9 + 554975736951017/47051964204373*c_0110_5^8 + 2343392243772925/47051964204373*c_0110_5^7 + 1014757621837493/47051964204373*c_0110_5^6 + 3658350707538368/47051964204373*c_0110_5^5 - 188774307502057/47051964204373*c_0110_5^4 + 3196304425753230/47051964204373*c_0110_5^3 - 3745569289835143/47051964204373*c_0110_5^2 + 935274419762611/47051964204373*c_0110_5 - 52198868564175/47051964204373, c_0101_2 + 11672447681056/47051964204373*c_0110_5^11 + 15585056206816/47051964204373*c_0110_5^10 + 68118179372572/47051964204373*c_0110_5^9 - 87457192947046/47051964204373*c_0110_5^8 + 195218746895703/47051964204373*c_0110_5^7 - 353955258058589/47051964204373*c_0110_5^6 + 234831397885573/47051964204373*c_0110_5^5 - 832284257779493/47051964204373*c_0110_5^4 + 359861373433237/47051964204373*c_0110_5^3 - 1229285829457432/47051964204373*c_0110_5^2 + 753743607441153/47051964204373*c_0110_5 - 99464299673753/47051964204373, c_0101_3 + 36563257080904/47051964204373*c_0110_5^11 + 92225607810964/47051964204373*c_0110_5^10 + 338207699955790/47051964204373*c_0110_5^9 + 177419655632208/47051964204373*c_0110_5^8 + 995126266482389/47051964204373*c_0110_5^7 + 254666071896123/47051964204373*c_0110_5^6 + 1530378358397894/47051964204373*c_0110_5^5 - 400010821195759/47051964204373*c_0110_5^4 + 1445133950290596/47051964204373*c_0110_5^3 - 1973725678617529/47051964204373*c_0110_5^2 + 790459709008238/47051964204373*c_0110_5 - 104242299179052/47051964204373, c_0110_4 + 55237041947316/47051964204373*c_0110_5^11 + 158697967560726/47051964204373*c_0110_5^10 + 566270394772471/47051964204373*c_0110_5^9 + 463464023949518/47051964204373*c_0110_5^8 + 1654726531966476/47051964204373*c_0110_5^7 + 939286991514799/47051964204373*c_0110_5^6 + 2601026784162821/47051964204373*c_0110_5^5 + 254222569569484/47051964204373*c_0110_5^4 + 2144770800214612/47051964204373*c_0110_5^3 - 2211889496359902/47051964204373*c_0110_5^2 + 212072261476615/47051964204373*c_0110_5 + 19737231151482/47051964204373, c_0110_5^12 + 5/2*c_0110_5^11 + 37/4*c_0110_5^10 + 19/4*c_0110_5^9 + 55/2*c_0110_5^8 + 25/4*c_0110_5^7 + 171/4*c_0110_5^6 - 49/4*c_0110_5^5 + 161/4*c_0110_5^4 - 219/4*c_0110_5^3 + 85/4*c_0110_5^2 - 7/2*c_0110_5 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB