Magma V2.19-8 Tue Aug 20 2013 23:40:08 on localhost [Seed = 324368310] Type ? for help. Type -D to quit. Loading file "K14n4745__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n4745 geometric_solution 9.73656555 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 1 3 0132 0132 1023 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 -1 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.152616863243 0.660117611068 0 4 0 5 0132 0132 1023 0132 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 1 -1 -1 0 1 0 0 15 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.152616863243 0.660117611068 4 0 6 5 0132 0132 0132 2031 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 -1 0 0 1 -14 0 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.193564120695 1.929344924843 5 7 0 8 0213 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371645007456 0.937978122823 2 1 9 7 0132 0132 0132 3120 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 0 0 -1 0 0 0 0 14 -15 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.591427959984 0.955184790637 3 2 1 8 0213 1302 0132 3201 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 -1 1 0 0 0 0 0 0 0 0 0 -1 -14 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371645007456 0.937978122823 9 10 7 2 2031 0132 0321 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 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.283233038550 1.063649336607 4 3 6 10 3120 0132 0321 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 0 1 1 0 -1 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.714949095158 0.526016548262 8 5 3 8 3201 2310 0132 2310 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 0 0 0 0 0 0 0 1.203695888317 0.831375483819 10 10 6 4 3120 1023 1302 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 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.183299054872 0.556776872544 9 6 7 9 1023 0132 0132 3120 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 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.835926485602 0.569883672973 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : d['c_1001_10'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_1001_7'], 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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_0101_6'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_8']), 'c_1100_4' : d['c_0101_6'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_1001_7'], 'c_1100_1' : negation(d['c_0011_8']), 'c_1100_0' : d['c_0011_8'], 'c_1100_3' : d['c_0011_8'], 'c_1100_2' : d['c_1001_7'], 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : negation(d['c_1001_7']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_7'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_1001_10'], 'c_1010_9' : d['c_0101_4'], 'c_1010_8' : d['c_0101_8'], 'c_1100_8' : d['c_0011_8'], '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' : 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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_10']), '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_0101_4'], 'c_0101_7' : negation(d['c_0101_6']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : negation(d['c_0101_8']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_8']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_10']})} 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_5, c_0011_8, c_0101_10, c_0101_4, c_0101_6, c_0101_8, c_1001_10, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 2114756089604495171689/137040320277772844*c_1001_10^19 + 3658423829065076291487/137040320277772844*c_1001_10^18 - 17413255481403768484393/137040320277772844*c_1001_10^17 + 5698030890806175004601/34260080069443211*c_1001_10^16 - 14710241990033300827326/34260080069443211*c_1001_10^15 + 29174629055411174398401/68520160138886422*c_1001_10^14 - 27072947932961167137143/34260080069443211*c_1001_10^13 + 80736449642502056931833/137040320277772844*c_1001_10^12 - 60790595863776226311087/68520160138886422*c_1001_10^11 + 32453950241590332077723/68520160138886422*c_1001_10^10 - 87449832384537905776427/137040320277772844*c_1001_10^9 + 29242943521459846586905/137040320277772844*c_1001_10^8 - 10269240989803201339087/34260080069443211*c_1001_10^7 + 1420576062947483257265/34260080069443211*c_1001_10^6 - 12539704128866840821657/137040320277772844*c_1001_10^5 - 499757559014894731025/68520160138886422*c_1001_10^4 - 2006394487713010602385/137040320277772844*c_1001_10^3 - 236962356896346196592/34260080069443211*c_1001_10^2 - 41666447704715004973/137040320277772844*c_1001_10 - 93005095153765463337/68520160138886422, c_0011_0 - 1, c_0011_10 - 333820321434544221/68520160138886422*c_1001_10^19 + 400513265568739193/68520160138886422*c_1001_10^18 - 940024094523901803/34260080069443211*c_1001_10^17 + 617748004813112639/34260080069443211*c_1001_10^16 - 3458961725290915973/68520160138886422*c_1001_10^15 - 229817029191778203/34260080069443211*c_1001_10^14 - 1169858211637180707/68520160138886422*c_1001_10^13 - 6129608274838691819/68520160138886422*c_1001_10^12 + 4054364759639175709/68520160138886422*c_1001_10^11 - 10348083696705832059/68520160138886422*c_1001_10^10 + 3051543615730117573/34260080069443211*c_1001_10^9 - 4114453276145983888/34260080069443211*c_1001_10^8 + 3777136315456037023/68520160138886422*c_1001_10^7 - 3282676109877493477/68520160138886422*c_1001_10^6 + 1213718987566727931/68520160138886422*c_1001_10^5 - 253355765889048353/34260080069443211*c_1001_10^4 + 119977490439334556/34260080069443211*c_1001_10^3 + 183985740886253411/68520160138886422*c_1001_10^2 - 7796481739921035/34260080069443211*c_1001_10 + 56073932531356263/68520160138886422, c_0011_3 - 555470840363158952/34260080069443211*c_1001_10^19 + 947378055502642895/34260080069443211*c_1001_10^18 - 4322038595529857725/34260080069443211*c_1001_10^17 + 5401139721322577062/34260080069443211*c_1001_10^16 - 26918097556419545847/68520160138886422*c_1001_10^15 + 24565841628309814275/68520160138886422*c_1001_10^14 - 22201620340107528393/34260080069443211*c_1001_10^13 + 14574930214275196551/34260080069443211*c_1001_10^12 - 21659607500030284904/34260080069443211*c_1001_10^11 + 19015331355009599525/68520160138886422*c_1001_10^10 - 25670132281552086143/68520160138886422*c_1001_10^9 + 6358900754061592809/68520160138886422*c_1001_10^8 - 8762737039143456289/68520160138886422*c_1001_10^7 + 443390490586345934/34260080069443211*c_1001_10^6 - 1050693195921267633/68520160138886422*c_1001_10^5 - 112781223050770541/68520160138886422*c_1001_10^4 + 322855548819140159/34260080069443211*c_1001_10^3 - 101536601282931235/68520160138886422*c_1001_10^2 + 94193143104729894/34260080069443211*c_1001_10 - 6859561591312431/68520160138886422, c_0011_5 - 555470840363158952/34260080069443211*c_1001_10^19 + 947378055502642895/34260080069443211*c_1001_10^18 - 4322038595529857725/34260080069443211*c_1001_10^17 + 5401139721322577062/34260080069443211*c_1001_10^16 - 26918097556419545847/68520160138886422*c_1001_10^15 + 24565841628309814275/68520160138886422*c_1001_10^14 - 22201620340107528393/34260080069443211*c_1001_10^13 + 14574930214275196551/34260080069443211*c_1001_10^12 - 21659607500030284904/34260080069443211*c_1001_10^11 + 19015331355009599525/68520160138886422*c_1001_10^10 - 25670132281552086143/68520160138886422*c_1001_10^9 + 6358900754061592809/68520160138886422*c_1001_10^8 - 8762737039143456289/68520160138886422*c_1001_10^7 + 443390490586345934/34260080069443211*c_1001_10^6 - 1050693195921267633/68520160138886422*c_1001_10^5 - 112781223050770541/68520160138886422*c_1001_10^4 + 322855548819140159/34260080069443211*c_1001_10^3 - 101536601282931235/68520160138886422*c_1001_10^2 + 94193143104729894/34260080069443211*c_1001_10 - 6859561591312431/68520160138886422, c_0011_8 - 234704754772321331/34260080069443211*c_1001_10^19 + 992538046370461274/34260080069443211*c_1001_10^18 - 5257754380178395261/68520160138886422*c_1001_10^17 + 6606809899352381749/34260080069443211*c_1001_10^16 - 9981451337200544400/34260080069443211*c_1001_10^15 + 35918784495944073451/68520160138886422*c_1001_10^14 - 18119243311154996972/34260080069443211*c_1001_10^13 + 52500798917095083331/68520160138886422*c_1001_10^12 - 17420558529857642204/34260080069443211*c_1001_10^11 + 45530008087012810111/68520160138886422*c_1001_10^10 - 15882714937354484645/68520160138886422*c_1001_10^9 + 12176488913320955484/34260080069443211*c_1001_10^8 + 97429441941790856/34260080069443211*c_1001_10^7 + 4259879016017947819/34260080069443211*c_1001_10^6 + 1875886156738050371/34260080069443211*c_1001_10^5 + 1082388485103224341/34260080069443211*c_1001_10^4 + 1993513770662259643/68520160138886422*c_1001_10^3 + 153671371797464425/34260080069443211*c_1001_10^2 + 404329806804667373/68520160138886422*c_1001_10 + 53546508350476651/68520160138886422, c_0101_10 - 1081438183660359573/34260080069443211*c_1001_10^19 + 1625241471778369926/34260080069443211*c_1001_10^18 - 7713631905035484821/34260080069443211*c_1001_10^17 + 17220987076702029573/68520160138886422*c_1001_10^16 - 22032298311909376773/34260080069443211*c_1001_10^15 + 35110095835697071187/68520160138886422*c_1001_10^14 - 33009891299673625013/34260080069443211*c_1001_10^13 + 17458246250987548062/34260080069443211*c_1001_10^12 - 57314291454984861007/68520160138886422*c_1001_10^11 + 7609098909529684485/34260080069443211*c_1001_10^10 - 14883810028903331418/34260080069443211*c_1001_10^9 - 443623664685648616/34260080069443211*c_1001_10^8 - 9433365433156457075/68520160138886422*c_1001_10^7 - 3211315015002056771/68520160138886422*c_1001_10^6 - 901453945532146296/34260080069443211*c_1001_10^5 - 1276242523664841441/68520160138886422*c_1001_10^4 + 137457845907050573/68520160138886422*c_1001_10^3 - 89456010054185949/68520160138886422*c_1001_10^2 + 25250874491175055/68520160138886422*c_1001_10 + 87659918801047549/68520160138886422, c_0101_4 + c_1001_10, c_0101_6 + 174357468827950796/34260080069443211*c_1001_10^19 + 678925174408033904/34260080069443211*c_1001_10^18 - 70660451102971453/68520160138886422*c_1001_10^17 + 10558215807165809457/68520160138886422*c_1001_10^16 - 3128617658795790819/34260080069443211*c_1001_10^15 + 16355673596595935594/34260080069443211*c_1001_10^14 - 7975925494009766312/34260080069443211*c_1001_10^13 + 53616618320380082285/68520160138886422*c_1001_10^12 - 15787365187952039455/68520160138886422*c_1001_10^11 + 52598243246193473671/68520160138886422*c_1001_10^10 - 3588447685021272073/68520160138886422*c_1001_10^9 + 16521478372404182093/34260080069443211*c_1001_10^8 + 5821943434566750547/68520160138886422*c_1001_10^7 + 14124571580793259825/68520160138886422*c_1001_10^6 + 2655441478132185409/34260080069443211*c_1001_10^5 + 4285392901921230991/68520160138886422*c_1001_10^4 + 1046533245975756658/34260080069443211*c_1001_10^3 + 670448981358360943/68520160138886422*c_1001_10^2 + 192670785490776259/34260080069443211*c_1001_10 + 38067651721477175/34260080069443211, c_0101_8 - 320531869981164713/68520160138886422*c_1001_10^19 + 570887335290810145/34260080069443211*c_1001_10^18 - 2270159754216503200/34260080069443211*c_1001_10^17 + 4347285813521499750/34260080069443211*c_1001_10^16 - 20489653628990681619/68520160138886422*c_1001_10^15 + 26348713355939729577/68520160138886422*c_1001_10^14 - 22801279742955668569/34260080069443211*c_1001_10^13 + 41763647693587794823/68520160138886422*c_1001_10^12 - 29667664576560947713/34260080069443211*c_1001_10^11 + 38162510643832767483/68520160138886422*c_1001_10^10 - 48723251141914582693/68520160138886422*c_1001_10^9 + 19977558707450828519/68520160138886422*c_1001_10^8 - 13150727110690494766/34260080069443211*c_1001_10^7 + 5014353533206713115/68520160138886422*c_1001_10^6 - 4798473536958606248/34260080069443211*c_1001_10^5 - 122953412021891048/34260080069443211*c_1001_10^4 - 1043722589231702807/34260080069443211*c_1001_10^3 - 688008923188144741/68520160138886422*c_1001_10^2 - 168549634441158057/68520160138886422*c_1001_10 - 43375789182369258/34260080069443211, c_1001_10^20 - 63/43*c_1001_10^19 + 334/43*c_1001_10^18 - 369/43*c_1001_10^17 + 1071/43*c_1001_10^16 - 866/43*c_1001_10^15 + 1880/43*c_1001_10^14 - 1051/43*c_1001_10^13 + 2026/43*c_1001_10^12 - 657/43*c_1001_10^11 + 33*c_1001_10^10 - 119/43*c_1001_10^9 + 673/43*c_1001_10^8 + 107/43*c_1001_10^7 + 223/43*c_1001_10^6 + 88/43*c_1001_10^5 + 46/43*c_1001_10^4 + 30/43*c_1001_10^3 + 6/43*c_1001_10^2 + 4/43*c_1001_10 + 1/43, c_1001_7 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.440 Total time: 0.650 seconds, Total memory usage: 32.09MB