Magma V2.19-8 Wed Aug 21 2013 01:03:29 on localhost [Seed = 1107581556] Type ? for help. Type -D to quit. Loading file "L14n20276__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n20276 geometric_solution 10.72522683 oriented_manifold CS_known 0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 -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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.162197524616 0.821041529255 0 5 7 6 0132 0132 0132 0132 0 1 0 1 0 -2 0 2 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 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.194048523538 0.621751789846 8 0 4 5 0132 0132 2103 2103 1 1 0 1 0 0 0 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 -1 1 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.143269110581 1.024705152041 9 6 9 0 0132 1023 1023 0132 1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.303781273491 0.437681592562 2 7 0 8 2103 1023 0132 1023 1 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 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.925495940370 0.787028793559 8 1 10 2 1023 0132 0132 2103 0 1 1 0 0 2 0 -2 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 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.169681260882 0.814189317979 3 11 1 12 1023 0132 0132 0132 0 1 0 0 0 2 -2 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 -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.731708307491 1.171757265271 4 12 12 1 1023 3012 0132 0132 0 1 1 1 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 -1 7 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.134408115144 1.045617504983 2 5 10 4 0132 1023 3120 1023 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.106905828911 0.325286159020 3 11 3 10 0132 1023 1023 3120 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 -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.357496503004 0.679630934254 9 11 8 5 3120 3201 3120 0132 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.543774473666 0.760464656146 9 6 10 12 1023 0132 2310 3201 0 1 0 0 0 -2 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 1 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 0 0 0 0.746753594945 1.604002977034 7 11 6 7 1230 2310 0132 0132 0 1 1 0 0 0 0 0 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 0 0 0 0 0 0 0 -7 1 0 6 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.134408115144 1.045617504983 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_12' : d['c_1001_11'], 'c_1001_5' : negation(d['c_1001_11']), 'c_1001_4' : d['c_0011_4'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : negation(d['c_1001_11']), 'c_1001_1' : negation(d['c_0101_12']), 'c_1001_0' : d['c_0101_12'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0011_4'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : d['c_0101_11'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_1001_11']), 'c_1010_10' : negation(d['c_1001_11']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], '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_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : d['c_0101_10'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_10'], 'c_1100_3' : d['c_0101_10'], 'c_1100_2' : negation(d['c_0110_4']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0101_8']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_12']), 'c_1010_6' : d['c_1001_11'], 'c_1010_5' : negation(d['c_0101_12']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_12'], 'c_1010_2' : d['c_0101_12'], 'c_1010_1' : negation(d['c_1001_11']), 'c_1010_0' : d['c_0011_4'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0110_4'], 'c_1100_8' : negation(d['c_0101_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'], 'c_1100_12' : d['c_1100_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_11'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_4'], '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_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0110_4'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_12'], 's_2_9' : negation(d['1'])})} 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_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_8, c_0110_4, c_1001_11, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 1089920071499367081959105868664/2360419542875569507522487011*c_1100\ _1^10 - 1174258464197178409990018555484/236041954287556950752248701\ 1*c_1100_1^9 - 4415121094346218947048322737226/23604195428755695075\ 22487011*c_1100_1^8 - 5249451817240853021705102175377/2360419542875\ 569507522487011*c_1100_1^7 - 1098981380799535572536652801636/181570\ 734067351500578652847*c_1100_1^6 + 23060127126021705038799100747314/2360419542875569507522487011*c_110\ 0_1^5 + 60662038319004622741120015020249/23604195428755695075224870\ 11*c_1100_1^4 + 7476735005881068373230799877340/2360419542875569507\ 522487011*c_1100_1^3 - 42589433670018372917256316531350/23604195428\ 75569507522487011*c_1100_1^2 - 2705526742937810832168089449962/2145\ 83594806869955229317001*c_1100_1 - 5846601663111719722440544526703/2360419542875569507522487011, c_0011_0 - 1, c_0011_10 + 22864623737091873856/13835143965605623973*c_1100_1^10 + 21162838495486352784/13835143965605623973*c_1100_1^9 + 89392163114284808072/13835143965605623973*c_1100_1^8 + 93814635836435602748/13835143965605623973*c_1100_1^7 + 21611048993826218522/1064241843508124921*c_1100_1^6 - 542457349022079010648/13835143965605623973*c_1100_1^5 - 1216223954907632821674/13835143965605623973*c_1100_1^4 - 36209348252659257443/13835143965605623973*c_1100_1^3 + 899580901768562936036/13835143965605623973*c_1100_1^2 + 589902233184760149372/13835143965605623973*c_1100_1 + 117609752080435404318/13835143965605623973, c_0011_11 + 34338796401685619984/13835143965605623973*c_1100_1^10 + 41024805757530137592/13835143965605623973*c_1100_1^9 + 146675886569913452420/13835143965605623973*c_1100_1^8 + 187546426243088622474/13835143965605623973*c_1100_1^7 + 37762453084411397150/1064241843508124921*c_1100_1^6 - 638942127321626772790/13835143965605623973*c_1100_1^5 - 1908078118310473392095/13835143965605623973*c_1100_1^4 - 440373048838842705656/13835143965605623973*c_1100_1^3 + 1227475799098947092381/13835143965605623973*c_1100_1^2 + 948490414363198755900/13835143965605623973*c_1100_1 + 202637996786983048245/13835143965605623973, c_0011_4 - 11611141831853532584/13835143965605623973*c_1100_1^10 - 21305263821115530508/13835143965605623973*c_1100_1^9 - 55842075880037448914/13835143965605623973*c_1100_1^8 - 95848774550359585273/13835143965605623973*c_1100_1^7 - 15391174749388676823/1064241843508124921*c_1100_1^6 + 104601532344531143969/13835143965605623973*c_1100_1^5 + 794868747952652939953/13835143965605623973*c_1100_1^4 + 440875467018942884977/13835143965605623973*c_1100_1^3 - 422464360259562833159/13835143965605623973*c_1100_1^2 - 469614034691341666838/13835143965605623973*c_1100_1 - 122807017746081412565/13835143965605623973, c_0101_0 + 14205256277019834768/13835143965605623973*c_1100_1^10 + 15056089003467756440/13835143965605623973*c_1100_1^9 + 54612883496820616316/13835143965605623973*c_1100_1^8 + 63490066110835426782/13835143965605623973*c_1100_1^7 + 12992048598672428764/1064241843508124921*c_1100_1^6 - 327073561258166764885/13835143965605623973*c_1100_1^5 - 849761164868357832144/13835143965605623973*c_1100_1^4 - 76112862936089251864/13835143965605623973*c_1100_1^3 + 634174331741338420752/13835143965605623973*c_1100_1^2 + 470216044938941734279/13835143965605623973*c_1100_1 + 97900010415247156322/13835143965605623973, c_0101_1 - 1, c_0101_10 + 23742623402264706184/13835143965605623973*c_1100_1^10 + 27356821429865744516/13835143965605623973*c_1100_1^9 + 103812223094714412958/13835143965605623973*c_1100_1^8 + 129396065571217849667/13835143965605623973*c_1100_1^7 + 27091786544776500514/1064241843508124921*c_1100_1^6 - 433025751745790005285/13835143965605623973*c_1100_1^5 - 1232143755790409917919/13835143965605623973*c_1100_1^4 - 291925322992926894153/13835143965605623973*c_1100_1^3 + 739169593425251688586/13835143965605623973*c_1100_1^2 + 569402053185844279800/13835143965605623973*c_1100_1 + 124511069498953193203/13835143965605623973, c_0101_11 - 34338796401685619984/13835143965605623973*c_1100_1^10 - 41024805757530137592/13835143965605623973*c_1100_1^9 - 146675886569913452420/13835143965605623973*c_1100_1^8 - 187546426243088622474/13835143965605623973*c_1100_1^7 - 37762453084411397150/1064241843508124921*c_1100_1^6 + 638942127321626772790/13835143965605623973*c_1100_1^5 + 1908078118310473392095/13835143965605623973*c_1100_1^4 + 440373048838842705656/13835143965605623973*c_1100_1^3 - 1227475799098947092381/13835143965605623973*c_1100_1^2 - 948490414363198755900/13835143965605623973*c_1100_1 - 202637996786983048245/13835143965605623973, c_0101_12 - 1014968832432618784/13835143965605623973*c_1100_1^10 - 7637279493451137432/13835143965605623973*c_1100_1^9 - 12978412404838409452/13835143965605623973*c_1100_1^8 - 37698413878488812466/13835143965605623973*c_1100_1^7 - 4720508209753780187/1064241843508124921*c_1100_1^6 - 101314843231305623536/13835143965605623973*c_1100_1^5 + 118934385432589465777/13835143965605623973*c_1100_1^4 + 292427741173027073474/13835143965605623973*c_1100_1^3 + 65841845414132570636/13835143965605623973*c_1100_1^2 - 90525673513987190738/13835143965605623973*c_1100_1 - 44680090458051557523/13835143965605623973, c_0101_8 - 31588514728405468848/13835143965605623973*c_1100_1^10 - 28394011318062547080/13835143965605623973*c_1100_1^9 - 121157552446029189452/13835143965605623973*c_1100_1^8 - 119901014530699884630/13835143965605623973*c_1100_1^7 - 28534477253170375166/1064241843508124921*c_1100_1^6 + 793720446576594015894/13835143965605623973*c_1100_1^5 + 1722833924919485961364/13835143965605623973*c_1100_1^4 + 77166835110965610433/13835143965605623973*c_1100_1^3 - 1345185068901883495694/13835143965605623973*c_1100_1^2 - 962149258623472245380/13835143965605623973*c_1100_1 - 205910535577216042662/13835143965605623973, c_0110_4 + 34299315336884530632/13835143965605623973*c_1100_1^10 + 34579439435978544716/13835143965605623973*c_1100_1^9 + 136346524814124363522/13835143965605623973*c_1100_1^8 + 157942880831867091769/13835143965605623973*c_1100_1^7 + 33789006197320299817/1064241843508124921*c_1100_1^6 - 745501600916198275177/13835143965605623973*c_1100_1^5 - 1850346870895330992193/13835143965605623973*c_1100_1^4 - 63373823403757506899/13835143965605623973*c_1100_1^3 + 1305822828264199378201/13835143965605623973*c_1100_1^2 + 797865572977856876476/13835143965605623973*c_1100_1 + 129316563412259259027/13835143965605623973, c_1001_11 + 19787811490657498456/13835143965605623973*c_1100_1^10 + 21602813297584888628/13835143965605623973*c_1100_1^9 + 81651284863425873806/13835143965605623973*c_1100_1^8 + 98917602048535892383/13835143965605623973*c_1100_1^7 + 20641962985598823653/1064241843508124921*c_1100_1^6 - 401084430160227337057/13835143965605623973*c_1100_1^5 - 1076570074619374241892/13835143965605623973*c_1100_1^4 - 142975165437052054983/13835143965605623973*c_1100_1^3 + 723812772590844260787/13835143965605623973*c_1100_1^2 + 491000544256622271623/13835143965605623973*c_1100_1 + 96608690865410004582/13835143965605623973, c_1100_1^11 + 3/2*c_1100_1^10 + 127/28*c_1100_1^9 + 367/56*c_1100_1^8 + 855/56*c_1100_1^7 - 867/56*c_1100_1^6 - 1797/28*c_1100_1^5 - 1735/56*c_1100_1^4 + 489/14*c_1100_1^3 + 1231/28*c_1100_1^2 + 123/7*c_1100_1 + 139/56 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.390 Total time: 0.600 seconds, Total memory usage: 32.09MB