Magma V2.19-8 Tue Aug 20 2013 23:38:11 on localhost [Seed = 1124411238] Type ? for help. Type -D to quit. Loading file "K10a107__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a107 geometric_solution 8.53675560 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 1 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.586386102002 0.793660796992 0 3 0 4 0132 1230 2031 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 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602790044493 0.201916479891 4 0 6 5 1230 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 1 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.679220391903 0.733934369833 4 7 1 0 0132 0132 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.111201056235 0.701553792593 3 2 1 7 0132 3012 0132 1023 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 -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.265315213842 1.219963281712 7 8 2 6 0213 0132 0132 3120 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 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 1.170215420637 0.782678686800 5 9 8 2 3120 0132 1302 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 1 -1 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.306785489840 0.547173544810 5 3 9 4 0213 0132 0321 1023 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 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.320779608097 0.733934369833 6 5 9 9 2031 0132 2103 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.397209955507 0.201916479891 8 6 7 8 2103 0132 0321 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.413613897998 0.793660796992 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0110_8'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_2'], 'c_1001_8' : negation(d['c_0011_6']), 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : 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_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' : d['c_1001_0'], 'c_1100_8' : d['c_0110_8'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : d['c_1001_2'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_5']), 'c_1010_7' : d['c_0011_0'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0011_6']), '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_0011_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0110_8'], 'c_1010_8' : d['c_1001_0'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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_6']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : negation(d['c_0011_3']), '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' : d['c_0011_5'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_5']), 'c_0101_8' : negation(d['c_0011_5']), 'c_0110_9' : negation(d['c_0110_8']), 'c_0110_8' : d['c_0110_8'], '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_0101_2'], 'c_0110_4' : d['c_0011_0'], 'c_0110_7' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_2']})} 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_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0110_8, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 1114402254942856/33248182565331*c_1001_2^19 - 309254062110856/3694242507259*c_1001_2^18 + 1935996986552476/33248182565331*c_1001_2^17 + 12032405301302120/33248182565331*c_1001_2^16 + 535669109172699/3694242507259*c_1001_2^15 - 24176526846546590/33248182565331*c_1001_2^14 - 23933845587948016/33248182565331*c_1001_2^13 + 32631615748458179/33248182565331*c_1001_2^12 + 36683373518701246/33248182565331*c_1001_2^11 - 17072425395967750/11082727521777*c_1001_2^10 - 56022779420419472/33248182565331*c_1001_2^9 + 59442470014482055/33248182565331*c_1001_2^8 + 23885535265065940/11082727521777*c_1001_2^7 - 50274998400382766/33248182565331*c_1001_2^6 - 59316529118858068/33248182565331*c_1001_2^5 + 15888993502766083/11082727521777*c_1001_2^4 + 15026146208209976/11082727521777*c_1001_2^3 - 20909473855027172/33248182565331*c_1001_2^2 - 21616627645712968/33248182565331*c_1001_2 + 993462299277593/11082727521777, c_0011_0 - 1, c_0011_3 - c_1001_2, c_0011_5 + 277712224772/3694242507259*c_1001_2^19 + 488813579710/3694242507259*c_1001_2^18 - 1028045130776/3694242507259*c_1001_2^17 - 2805867124634/3694242507259*c_1001_2^16 + 894557352581/3694242507259*c_1001_2^15 + 7437845030314/3694242507259*c_1001_2^14 + 2357387564383/3694242507259*c_1001_2^13 - 13211396944548/3694242507259*c_1001_2^12 - 5382254495430/3694242507259*c_1001_2^11 + 19308542053508/3694242507259*c_1001_2^10 + 7748653428438/3694242507259*c_1001_2^9 - 24681070087319/3694242507259*c_1001_2^8 - 11306667316760/3694242507259*c_1001_2^7 + 24589036758981/3694242507259*c_1001_2^6 + 8923398247553/3694242507259*c_1001_2^5 - 23120784556337/3694242507259*c_1001_2^4 - 5270649012632/3694242507259*c_1001_2^3 + 11895539760950/3694242507259*c_1001_2^2 + 3050495944218/3694242507259*c_1001_2 - 4722885652570/3694242507259, c_0011_6 - 962907650789/3694242507259*c_1001_2^19 - 2089784907198/3694242507259*c_1001_2^18 + 2615766072189/3694242507259*c_1001_2^17 + 10310825070280/3694242507259*c_1001_2^16 + 739866950105/3694242507259*c_1001_2^15 - 23713921185977/3694242507259*c_1001_2^14 - 14807112257975/3694242507259*c_1001_2^13 + 37354194012143/3694242507259*c_1001_2^12 + 25192046534735/3694242507259*c_1001_2^11 - 57811424572765/3694242507259*c_1001_2^10 - 37025309366045/3694242507259*c_1001_2^9 + 74354401444757/3694242507259*c_1001_2^8 + 51758751836106/3694242507259*c_1001_2^7 - 69938959846109/3694242507259*c_1001_2^6 - 42125508527825/3694242507259*c_1001_2^5 + 63689425833292/3694242507259*c_1001_2^4 + 29455097717626/3694242507259*c_1001_2^3 - 35304541767048/3694242507259*c_1001_2^2 - 14256566485919/3694242507259*c_1001_2 + 8603207876262/3694242507259, c_0101_0 + 153872468481/3694242507259*c_1001_2^19 + 323391123644/3694242507259*c_1001_2^18 - 15143239686/3694242507259*c_1001_2^17 - 716360055018/3694242507259*c_1001_2^16 - 772246393386/3694242507259*c_1001_2^15 + 260482250932/3694242507259*c_1001_2^14 + 1315446041772/3694242507259*c_1001_2^13 + 886819951508/3694242507259*c_1001_2^12 + 1673433077174/3694242507259*c_1001_2^11 - 538801605212/3694242507259*c_1001_2^10 - 665359074688/3694242507259*c_1001_2^9 + 2744000385070/3694242507259*c_1001_2^8 + 3124063330402/3694242507259*c_1001_2^7 - 2267957905431/3694242507259*c_1001_2^6 - 4029429496772/3694242507259*c_1001_2^5 + 3373296748756/3694242507259*c_1001_2^4 + 1331795190653/3694242507259*c_1001_2^3 - 5019870444000/3694242507259*c_1001_2^2 - 1876433674008/3694242507259*c_1001_2 - 3158939909439/3694242507259, c_0101_1 + 1012996958629/3694242507259*c_1001_2^19 + 1888524349637/3694242507259*c_1001_2^18 - 3419480486015/3694242507259*c_1001_2^17 - 10388357722019/3694242507259*c_1001_2^16 + 1655233013289/3694242507259*c_1001_2^15 + 25959143951564/3694242507259*c_1001_2^14 + 11711200937987/3694242507259*c_1001_2^13 - 43385348226370/3694242507259*c_1001_2^12 - 22676722054423/3694242507259*c_1001_2^11 + 63367408706008/3694242507259*c_1001_2^10 + 33364497195628/3694242507259*c_1001_2^9 - 81610601506981/3694242507259*c_1001_2^8 - 50835887244461/3694242507259*c_1001_2^7 + 75823560215040/3694242507259*c_1001_2^6 + 43668992803469/3694242507259*c_1001_2^5 - 65433580193868/3694242507259*c_1001_2^4 - 32826623216279/3694242507259*c_1001_2^3 + 37386821336485/3694242507259*c_1001_2^2 + 24676957115519/3694242507259*c_1001_2 - 8110706185722/3694242507259, c_0101_2 - 16402900860/3694242507259*c_1001_2^19 + 57098486484/3694242507259*c_1001_2^18 + 273531375415/3694242507259*c_1001_2^17 + 74124000358/3694242507259*c_1001_2^16 - 874970551082/3694242507259*c_1001_2^15 - 828716644000/3694242507259*c_1001_2^14 + 1550023839438/3694242507259*c_1001_2^13 + 2542959888964/3694242507259*c_1001_2^12 - 2235030348184/3694242507259*c_1001_2^11 - 4461780748804/3694242507259*c_1001_2^10 + 3262197808607/3694242507259*c_1001_2^9 + 8585005472860/3694242507259*c_1001_2^8 - 1959854689638/3694242507259*c_1001_2^7 - 8985132221910/3694242507259*c_1001_2^6 + 579216503868/3694242507259*c_1001_2^5 + 9193387294943/3694242507259*c_1001_2^4 - 224732099236/3694242507259*c_1001_2^3 - 8514120126600/3694242507259*c_1001_2^2 - 1155826685189/3694242507259*c_1001_2 + 4171936868068/3694242507259, c_0110_8 + 805170695385/3694242507259*c_1001_2^19 + 1284385811954/3694242507259*c_1001_2^18 - 3519655561059/3694242507259*c_1001_2^17 - 8400432850656/3694242507259*c_1001_2^16 + 3960537514067/3694242507259*c_1001_2^15 + 23194941770960/3694242507259*c_1001_2^14 + 5374388402405/3694242507259*c_1001_2^13 - 41433959192328/3694242507259*c_1001_2^12 - 14276516269520/3694242507259*c_1001_2^11 + 59814183237806/3694242507259*c_1001_2^10 + 16640785830855/3694242507259*c_1001_2^9 - 80056498169274/3694242507259*c_1001_2^8 - 30976433417782/3694242507259*c_1001_2^7 + 75960524390522/3694242507259*c_1001_2^6 + 26918987613042/3694242507259*c_1001_2^5 - 65053949184958/3694242507259*c_1001_2^4 - 15768816615403/3694242507259*c_1001_2^3 + 39660811739629/3694242507259*c_1001_2^2 + 13969787853025/3694242507259*c_1001_2 - 8760623153778/3694242507259, c_1001_0 - 16402900860/3694242507259*c_1001_2^19 + 57098486484/3694242507259*c_1001_2^18 + 273531375415/3694242507259*c_1001_2^17 + 74124000358/3694242507259*c_1001_2^16 - 874970551082/3694242507259*c_1001_2^15 - 828716644000/3694242507259*c_1001_2^14 + 1550023839438/3694242507259*c_1001_2^13 + 2542959888964/3694242507259*c_1001_2^12 - 2235030348184/3694242507259*c_1001_2^11 - 4461780748804/3694242507259*c_1001_2^10 + 3262197808607/3694242507259*c_1001_2^9 + 8585005472860/3694242507259*c_1001_2^8 - 1959854689638/3694242507259*c_1001_2^7 - 8985132221910/3694242507259*c_1001_2^6 + 579216503868/3694242507259*c_1001_2^5 + 9193387294943/3694242507259*c_1001_2^4 - 224732099236/3694242507259*c_1001_2^3 - 8514120126600/3694242507259*c_1001_2^2 - 1155826685189/3694242507259*c_1001_2 + 4171936868068/3694242507259, c_1001_2^20 + 2*c_1001_2^19 - 3*c_1001_2^18 - 10*c_1001_2^17 + c_1001_2^16 + 24*c_1001_2^15 + 11*c_1001_2^14 - 40*c_1001_2^13 - 19*c_1001_2^12 + 62*c_1001_2^11 + 28*c_1001_2^10 - 78*c_1001_2^9 - 39*c_1001_2^8 + 76*c_1001_2^7 + 32*c_1001_2^6 - 68*c_1001_2^5 - 20*c_1001_2^4 + 38*c_1001_2^3 + 11*c_1001_2^2 - 11*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.310 seconds, Total memory usage: 32.09MB