Magma V2.19-8 Tue Aug 20 2013 23:44:02 on localhost [Seed = 1848118148] Type ? for help. Type -D to quit. Loading file "K13n1678__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1678 geometric_solution 10.39744480 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 1 0 0 -2 2 0 1 0 -1 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517825725612 0.957176402952 0 0 5 4 0132 1302 0132 0132 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 -2 2 0 0 0 0 0 3 -1 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562769109374 0.808200656029 6 0 6 3 0132 0132 3012 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 0 0 0 3 0 -3 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.449438743090 0.502239097633 7 8 2 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 0 1 -2 0 0 2 3 0 0 -3 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.172988308633 1.310152421639 7 6 1 9 3012 0213 0132 0132 0 0 0 0 0 0 0 0 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 -3 0 3 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.032078215716 1.042359600777 10 8 9 1 0132 2310 0132 0132 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 2 0 -2 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.860488342055 0.560682149191 2 2 4 10 0132 1230 0213 1023 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 3 0 -3 -3 0 3 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.991355992048 0.904345761040 3 11 11 4 0132 0132 1023 1230 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 2 0 -2 0 -2 0 0 2 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.046265153041 1.099435680439 11 3 9 5 0132 0132 2310 3201 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 1 -1 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582085180569 1.679554114609 10 8 4 5 1023 3201 0132 0132 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 0 0 -1 1 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.382950553790 0.867256646688 5 9 11 6 0132 1023 1230 1023 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 -3 3 0 1 0 -1 1 -3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.139511657945 0.560682149191 8 7 7 10 0132 0132 1023 3012 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 0 2 -2 0 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 0 0 -0.061741095479 0.381894764270 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_0'], 'c_1001_10' : d['c_0101_9'], 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_1']), 'c_1001_6' : d['c_1001_4'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_0'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0101_1']), 'c_1010_10' : d['c_0101_2'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0101_1']), 'c_0101_10' : d['c_0101_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_2_10' : d['1'], 's_2_11' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : d['c_0101_9'], 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_1001_4']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_1'], 'c_1100_11' : negation(d['c_0101_9']), 'c_1100_10' : d['c_0101_8'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_0'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_8']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_1001_0']), 'c_1010_8' : d['c_1001_0'], 'c_1100_8' : d['c_0011_10'], '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' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), '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_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0101_2'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(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' : d['c_0011_4'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0011_4'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_8, c_0101_9, c_1001_0, c_1001_4, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 591978409406001835603/767937281938680282*c_1100_1^9 + 401563578206630700752/127989546989780047*c_1100_1^8 - 24932252645673383707/9845349768444619*c_1100_1^7 - 14162055085061097385933/255979093979560094*c_1100_1^6 - 178761415994999824327069/767937281938680282*c_1100_1^5 + 11666020880455824491837/20755061674018386*c_1100_1^4 - 531640930235989914724613/767937281938680282*c_1100_1^3 - 43756298709921880237543/69812480176243662*c_1100_1^2 - 49944349032062333639425/255979093979560094*c_1100_1 - 8401370098317564641543/767937281938680282, c_0011_0 - 1, c_0011_10 - 5561202304980/335549223559*c_1100_1^9 + 22634210934067/335549223559*c_1100_1^8 - 18268130494868/335549223559*c_1100_1^7 - 399129098312059/335549223559*c_1100_1^6 - 1679339459825872/335549223559*c_1100_1^5 + 4054946079392788/335549223559*c_1100_1^4 - 4994188979107124/335549223559*c_1100_1^3 - 411113708576723/30504474869*c_1100_1^2 - 1406741260144908/335549223559*c_1100_1 - 79035682799696/335549223559, c_0011_11 + 116767032011852/13086419718801*c_1100_1^9 - 158479130554650/4362139906267*c_1100_1^8 + 9854763481326/335549223559*c_1100_1^7 + 2793292772580646/4362139906267*c_1100_1^6 + 35246603931707405/13086419718801*c_1100_1^5 - 85200278706784030/13086419718801*c_1100_1^4 + 104997555559041988/13086419718801*c_1100_1^3 + 8618285129264168/1189674519891*c_1100_1^2 + 9781148161995776/4362139906267*c_1100_1 + 1630203643229932/13086419718801, c_0011_4 - 454806173758084/13086419718801*c_1100_1^9 + 617155599290119/4362139906267*c_1100_1^8 - 38350784401849/335549223559*c_1100_1^7 - 10879990805907447/4362139906267*c_1100_1^6 - 137311690993011550/13086419718801*c_1100_1^5 + 331736654535149771/13086419718801*c_1100_1^4 - 408740128853043692/13086419718801*c_1100_1^3 - 33584410143903667/1189674519891*c_1100_1^2 - 38277596995626842/4362139906267*c_1100_1 - 6417883072456655/13086419718801, c_0101_0 - 193930905331828/13086419718801*c_1100_1^9 + 263170985064811/4362139906267*c_1100_1^8 - 16356762466040/335549223559*c_1100_1^7 - 4639248446302375/4362139906267*c_1100_1^6 - 58547109621515794/13086419718801*c_1100_1^5 + 141467249968603631/13086419718801*c_1100_1^4 - 174314066601007004/13086419718801*c_1100_1^3 - 14318663706985873/1189674519891*c_1100_1^2 - 16303806856422983/4362139906267*c_1100_1 - 2725590065100482/13086419718801, c_0101_1 - 82887818053156/13086419718801*c_1100_1^9 + 112463602742118/4362139906267*c_1100_1^8 - 6985788156186/335549223559*c_1100_1^7 - 1982887513079150/4362139906267*c_1100_1^6 - 25027558719808135/13086419718801*c_1100_1^5 + 60446898770139755/13086419718801*c_1100_1^4 - 74467359212109632/13086419718801*c_1100_1^3 - 6122648841115033/1189674519891*c_1100_1^2 - 6987041458774513/4362139906267*c_1100_1 - 1175299387338761/13086419718801, c_0101_2 - 5561202304980/335549223559*c_1100_1^9 + 22634210934067/335549223559*c_1100_1^8 - 18268130494868/335549223559*c_1100_1^7 - 399129098312059/335549223559*c_1100_1^6 - 1679339459825872/335549223559*c_1100_1^5 + 4054946079392788/335549223559*c_1100_1^4 - 4994188979107124/335549223559*c_1100_1^3 - 411113708576723/30504474869*c_1100_1^2 - 1406741260144908/335549223559*c_1100_1 - 79035682799696/335549223559, c_0101_8 + 282542668118164/13086419718801*c_1100_1^9 - 383406336038886/4362139906267*c_1100_1^8 + 23826339793698/335549223559*c_1100_1^7 + 6759067798738946/4362139906267*c_1100_1^6 + 85301721371323675/13086419718801*c_1100_1^5 - 206094076247063540/13086419718801*c_1100_1^4 + 253932273983261252/13086419718801*c_1100_1^3 + 20863582811494234/1189674519891*c_1100_1^2 + 23759593219451069/4362139906267*c_1100_1 + 3980802417907454/13086419718801, c_0101_9 - 365430486171320/13086419718801*c_1100_1^9 + 495869938781004/4362139906267*c_1100_1^8 - 30812127949884/335549223559*c_1100_1^7 - 8741955311818096/4362139906267*c_1100_1^6 - 110329280091131810/13086419718801*c_1100_1^5 + 266540975017203295/13086419718801*c_1100_1^4 - 328399633195370884/13086419718801*c_1100_1^3 - 26986231652609267/1189674519891*c_1100_1^2 - 30746634678225582/4362139906267*c_1100_1 - 5156101805246215/13086419718801, c_1001_0 + 257917722111934/13086419718801*c_1100_1^9 - 349908973350166/4362139906267*c_1100_1^8 + 21723222358658/335549223559*c_1100_1^7 + 6170304027969404/4362139906267*c_1100_1^6 + 77884717127256835/13086419718801*c_1100_1^5 - 188060743202409776/13086419718801*c_1100_1^4 + 231611053123734659/13086419718801*c_1100_1^3 + 19067947949977414/1189674519891*c_1100_1^2 + 21744863706677976/4362139906267*c_1100_1 + 3659688779691260/13086419718801, c_1001_4 - 38005979954539/4362139906267*c_1100_1^9 + 154712382862803/4362139906267*c_1100_1^8 - 9611784489104/335549223559*c_1100_1^7 - 2727626534294447/4362139906267*c_1100_1^6 - 11474874913615760/4362139906267*c_1100_1^5 + 27720605795703499/4362139906267*c_1100_1^4 - 34149285780370711/4362139906267*c_1100_1^3 - 2807648218085951/396558173297*c_1100_1^2 - 9594458057150049/4362139906267*c_1100_1 - 533594240772017/4362139906267, c_1100_1^10 - 4*c_1100_1^9 + 3*c_1100_1^8 + 72*c_1100_1^7 + 307*c_1100_1^6 - 708*c_1100_1^5 + 847*c_1100_1^4 + 876*c_1100_1^3 + 310*c_1100_1^2 + 32*c_1100_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.550 Total time: 0.770 seconds, Total memory usage: 32.09MB