Magma V2.19-8 Wed Aug 21 2013 00:35:22 on localhost [Seed = 2395512625] Type ? for help. Type -D to quit. Loading file "K14n22172__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n22172 geometric_solution 12.16009276 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 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 0 1 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.619068205655 0.775957355424 0 5 7 6 0132 0132 0132 0132 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 1 0 0 -1 0 1 0 -1 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.655537077858 0.619211521465 7 0 5 8 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.628023512982 1.578240283698 7 9 10 0 0132 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442816135590 0.832699645096 10 7 0 11 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 -1 0 0 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 2 1 -3 3 0 -1 -2 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.442816135590 0.832699645096 6 1 12 2 3201 0132 0132 0132 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 3 -3 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.463934933358 0.921920576814 8 11 1 5 0321 0132 0132 2310 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 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.554495547003 0.446508250582 3 4 2 1 0132 0132 3201 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 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.619068205655 0.775957355424 6 12 2 12 0321 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.634974480458 0.430727415872 11 3 12 10 3012 0132 3012 3012 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 0 1 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.373209569257 0.845536507971 4 11 9 3 0132 3012 1230 0132 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 -3 0 3 0 -2 2 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.569581533548 0.912961396195 10 6 4 9 1230 0132 0132 1230 0 0 0 0 0 1 -1 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 -3 3 0 -2 0 2 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.373209569257 0.845536507971 8 9 8 5 1230 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.096237519942 0.737181103178 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_8']), 'c_1001_11' : negation(d['c_0101_2']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : d['c_0101_9'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_9'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_12']), 'c_1001_3' : negation(d['c_0101_10']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : d['c_0101_9'], 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], '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' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : 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_1100_8' : d['c_1100_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_12'], 'c_1100_4' : d['c_0110_9'], 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0110_9'], 'c_1100_3' : d['c_0110_9'], 'c_1100_2' : d['c_1100_12'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_9'], 'c_1100_10' : d['c_0110_9'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0011_12']), 'c_1010_2' : negation(d['c_0011_12']), 'c_1010_1' : d['c_0101_9'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : negation(d['c_0011_11']), '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'], 'c_1100_12' : d['c_1100_12'], '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' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0011_8'], 'c_0101_12' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_8'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], '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' : negation(d['c_0101_0']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_9, c_0110_9, c_1001_1, c_1100_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 680194662937535112729/166703063823047188346*c_1001_1*c_1100_12^8 + 20414110488188034818881/166703063823047188346*c_1001_1*c_1100_12^7 - 94307487307571915578704/83351531911523594173*c_1001_1*c_1100_12^6 + 445022288558219432147029/166703063823047188346*c_1001_1*c_1100_12^5 + 113344382951310251615957/83351531911523594173*c_1001_1*c_1100_12^\ 4 - 68268568402498463942889/23814723403292455478*c_1001_1*c_1100_12\ ^3 - 358991037100736965533295/166703063823047188346*c_1001_1*c_1100\ _12^2 - 74575758132295615730697/166703063823047188346*c_1001_1*c_11\ 00_12 - 28277017850136296477581/166703063823047188346*c_1001_1 + 133847744860960400993/83351531911523594173*c_1100_12^8 - 4094890134611692330739/83351531911523594173*c_1100_12^7 + 78911874608101880395387/166703063823047188346*c_1100_12^6 - 109287399227454806458410/83351531911523594173*c_1100_12^5 + 7424571606611772348222/83351531911523594173*c_1100_12^4 + 118680824847231004983330/83351531911523594173*c_1100_12^3 + 20084968383379836883573/166703063823047188346*c_1100_12^2 - 24759514945879018726497/83351531911523594173*c_1100_12 + 9013311404230074889359/166703063823047188346, c_0011_0 - 1, c_0011_10 + 4790644636/217630823719*c_1001_1*c_1100_12^8 - 144768953973/217630823719*c_1001_1*c_1100_12^7 + 1358843866728/217630823719*c_1001_1*c_1100_12^6 - 3429887595070/217630823719*c_1001_1*c_1100_12^5 - 742489629575/217630823719*c_1001_1*c_1100_12^4 + 3060656363300/217630823719*c_1001_1*c_1100_12^3 + 2155698725727/217630823719*c_1001_1*c_1100_12^2 + 447993540501/217630823719*c_1001_1*c_1100_12 + 4554861812/217630823719*c_1001_1 - 4790644636/217630823719*c_1100_12^8 + 144768953973/217630823719*c_1100_12^7 - 1358843866728/217630823719*c_1100_12^6 + 3429887595070/217630823719*c_1100_12^5 + 742489629575/217630823719*c_1100_12^4 - 3060656363300/217630823719*c_1100_12^3 - 2155698725727/217630823719*c_1100_12^2 - 447993540501/217630823719*c_1100_12 - 4554861812/217630823719, c_0011_11 + 973550713704/91622576785699*c_1100_12^8 - 29420064113476/91622576785699*c_1100_12^7 + 276112271629240/91622576785699*c_1100_12^6 - 695645481470737/91622576785699*c_1100_12^5 - 170257292027698/91622576785699*c_1100_12^4 + 730522571992620/91622576785699*c_1100_12^3 + 242890980473498/91622576785699*c_1100_12^2 + 104413575176392/91622576785699*c_1100_12 + 7535269665950/91622576785699, c_0011_12 - 579636128150/91622576785699*c_1001_1*c_1100_12^8 + 16415533130796/91622576785699*c_1001_1*c_1100_12^7 - 131139143384074/91622576785699*c_1001_1*c_1100_12^6 + 102390120052710/91622576785699*c_1001_1*c_1100_12^5 + 881708678606887/91622576785699*c_1001_1*c_1100_12^4 - 203028374500902/91622576785699*c_1001_1*c_1100_12^3 - 1040048264424720/91622576785699*c_1001_1*c_1100_12^2 - 346645847412348/91622576785699*c_1001_1*c_1100_12 - 44670985438943/91622576785699*c_1001_1 - 908347978772/91622576785699*c_1100_12^8 + 27576775307056/91622576785699*c_1100_12^7 - 261436175197322/91622576785699*c_1100_12^6 + 684436082437831/91622576785699*c_1100_12^5 + 73039010718541/91622576785699*c_1100_12^4 - 708429990575466/91622576785699*c_1100_12^3 - 128646435121362/91622576785699*c_1100_12^2 - 66331355929900/91622576785699*c_1100_12 - 47878035647199/91622576785699, c_0011_8 - 322419431541/91622576785699*c_1001_1*c_1100_12^8 + 9129410968608/91622576785699*c_1001_1*c_1100_12^7 - 72907619907996/91622576785699*c_1001_1*c_1100_12^6 + 56799759542808/91622576785699*c_1001_1*c_1100_12^5 + 489463479958022/91622576785699*c_1001_1*c_1100_12^4 - 112560477959028/91622576785699*c_1001_1*c_1100_12^3 - 577146404888428/91622576785699*c_1001_1*c_1100_12^2 - 192364033329420/91622576785699*c_1001_1*c_1100_12 + 89458467056852/91622576785699*c_1001_1 - 716334017095/91622576785699*c_1100_12^8 + 22133941951288/91622576785699*c_1100_12^7 - 217880748153162/91622576785699*c_1100_12^6 + 650055120960835/91622576785699*c_1100_12^5 - 221987906621167/91622576785699*c_1100_12^4 - 640054675450746/91622576785699*c_1100_12^3 + 220010879062794/91622576785699*c_1100_12^2 + 141490815692235/91622576785699*c_1100_12 - 56650970741553/91622576785699, c_0101_0 + c_1001_1 + 1788119163/217630823719*c_1100_12^8 - 52605492763/217630823719*c_1100_12^7 + 463847416351/217630823719*c_1100_12^6 - 870495008504/217630823719*c_1100_12^5 - 1341195097464/217630823719*c_1100_12^4 + 1040638055834/217630823719*c_1100_12^3 + 1627996271445/217630823719*c_1100_12^2 + 959546661039/217630823719*c_1100_12 + 13082961484/217630823719, c_0101_1 - 309920436973/91622576785699*c_1100_12^8 + 9698806153111/91622576785699*c_1100_12^7 - 98285023545524/91622576785699*c_1100_12^6 + 325749791054353/91622576785699*c_1100_12^5 - 279675332835382/91622576785699*c_1100_12^4 - 10784988191565/91622576785699*c_1100_12^3 + 82357374960400/91622576785699*c_1100_12^2 - 99147237650673/91622576785699*c_1100_12 - 27505466968119/91622576785699, c_0101_10 - 3002525473/217630823719*c_1001_1*c_1100_12^8 + 92163461210/217630823719*c_1001_1*c_1100_12^7 - 894996450377/217630823719*c_1001_1*c_1100_12^6 + 2559392586566/217630823719*c_1001_1*c_1100_12^5 - 598705467889/217630823719*c_1001_1*c_1100_12^4 - 2020018307466/217630823719*c_1001_1*c_1100_12^3 - 527702454282/217630823719*c_1001_1*c_1100_12^2 + 511553120538/217630823719*c_1001_1*c_1100_12 + 226158923391/217630823719*c_1001_1 + 4790644636/217630823719*c_1100_12^8 - 144768953973/217630823719*c_1100_12^7 + 1358843866728/217630823719*c_1100_12^6 - 3429887595070/217630823719*c_1100_12^5 - 742489629575/217630823719*c_1100_12^4 + 3060656363300/217630823719*c_1100_12^3 + 2155698725727/217630823719*c_1100_12^2 + 447993540501/217630823719*c_1100_12 + 4554861812/217630823719, c_0101_2 + 579636128150/91622576785699*c_1001_1*c_1100_12^8 - 16415533130796/91622576785699*c_1001_1*c_1100_12^7 + 131139143384074/91622576785699*c_1001_1*c_1100_12^6 - 102390120052710/91622576785699*c_1001_1*c_1100_12^5 - 881708678606887/91622576785699*c_1001_1*c_1100_12^4 + 203028374500902/91622576785699*c_1001_1*c_1100_12^3 + 1040048264424720/91622576785699*c_1001_1*c_1100_12^2 + 346645847412348/91622576785699*c_1001_1*c_1100_12 + 44670985438943/91622576785699*c_1001_1 + 716334017095/91622576785699*c_1100_12^8 - 22133941951288/91622576785699*c_1100_12^7 + 217880748153162/91622576785699*c_1100_12^6 - 650055120960835/91622576785699*c_1100_12^5 + 221987906621167/91622576785699*c_1100_12^4 + 640054675450746/91622576785699*c_1100_12^3 - 220010879062794/91622576785699*c_1100_12^2 - 141490815692235/91622576785699*c_1100_12 + 56650970741553/91622576785699, c_0101_9 + 908347978772/91622576785699*c_1100_12^8 - 27576775307056/91622576785699*c_1100_12^7 + 261436175197322/91622576785699*c_1100_12^6 - 684436082437831/91622576785699*c_1100_12^5 - 73039010718541/91622576785699*c_1100_12^4 + 708429990575466/91622576785699*c_1100_12^3 + 128646435121362/91622576785699*c_1100_12^2 + 66331355929900/91622576785699*c_1100_12 + 47878035647199/91622576785699, c_0110_9 - 4790644636/217630823719*c_1001_1*c_1100_12^8 + 144768953973/217630823719*c_1001_1*c_1100_12^7 - 1358843866728/217630823719*c_1001_1*c_1100_12^6 + 3429887595070/217630823719*c_1001_1*c_1100_12^5 + 742489629575/217630823719*c_1001_1*c_1100_12^4 - 3060656363300/217630823719*c_1001_1*c_1100_12^3 - 2155698725727/217630823719*c_1001_1*c_1100_12^2 - 447993540501/217630823719*c_1001_1*c_1100_12 - 4554861812/217630823719*c_1001_1 - 1, c_1001_1^2 + 1788119163/217630823719*c_1001_1*c_1100_12^8 - 52605492763/217630823719*c_1001_1*c_1100_12^7 + 463847416351/217630823719*c_1001_1*c_1100_12^6 - 870495008504/217630823719*c_1001_1*c_1100_12^5 - 1341195097464/217630823719*c_1001_1*c_1100_12^4 + 1040638055834/217630823719*c_1001_1*c_1100_12^3 + 1627996271445/217630823719*c_1001_1*c_1100_12^2 + 959546661039/217630823719*c_1001_1*c_1100_12 + 13082961484/217630823719*c_1001_1 + 909845611922/91622576785699*c_1100_12^8 - 27700292296624/91622576785699*c_1100_12^7 + 264355003149146/91622576785699*c_1100_12^6 - 711849348421658/91622576785699*c_1100_12^5 + 26991536375950/91622576785699*c_1100_12^4 + 553886958028537/91622576785699*c_1100_12^3 + 269267167322564/91622576785699*c_1100_12^2 + 70330259615687/91622576785699*c_1100_12 + 47992513932524/91622576785699, c_1100_12^9 - 30*c_1100_12^8 + 277*c_1100_12^7 - 653*c_1100_12^6 - 321*c_1100_12^5 + 644*c_1100_12^4 + 534*c_1100_12^3 + 179*c_1100_12^2 + 55*c_1100_12 - 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.490 Total time: 4.700 seconds, Total memory usage: 64.12MB