Magma V2.19-8 Wed Aug 21 2013 01:07:47 on localhost [Seed = 2631566783] Type ? for help. Type -D to quit. Loading file "L14n35129__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n35129 geometric_solution 11.74836712 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 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 1 0 -1 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.250719484096 0.787802896524 0 5 7 6 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.857461185658 1.182312597783 8 0 9 7 0132 0132 0132 3120 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 -1 1 0 1 0 -1 0 0 -5 0 5 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.250719484096 0.787802896524 5 8 6 0 0132 0132 0213 0132 1 1 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 -2 0 2 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542766578466 0.988501170269 8 7 0 10 2103 0132 0132 0132 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 1 -1 -1 0 0 1 0 0 0 0 4 -5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.102727084281 0.643717849057 3 1 8 9 0132 0132 0132 0321 1 1 0 0 0 0 0 0 -1 0 0 1 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 2 0 0 -2 0 0 0 0 -4 5 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422652519812 0.437365796580 9 3 1 11 0132 0213 0132 0132 1 1 1 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 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.141126501423 1.165845574523 2 4 12 1 3120 0132 0132 0132 1 1 0 1 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 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.758246848655 1.514895703258 2 3 4 5 0132 0132 2103 0132 1 1 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 1 0 -1 0 0 1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.857461185658 1.182312597783 6 5 12 2 0132 0321 2103 0132 1 1 0 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 1 -1 0 0 -1 1 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.327285569249 0.706666044255 12 11 4 11 1302 2031 0132 0321 1 1 1 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 -1 1 0 1 0 -1 0 0 -2 0 2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.073525949759 1.109148359377 10 10 6 12 1302 0321 0132 0132 1 1 1 1 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 -1 0 0 1 1 -2 0 1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.059505494368 0.897647995954 9 10 11 7 2103 2031 0132 0132 1 1 1 1 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 -1 1 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.157736490017 0.348534257274 ==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' : d['c_0011_10'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_1001_3'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0011_12'], 'c_1001_8' : d['c_0011_4'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_0011_11'], 'c_1010_10' : d['c_0011_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'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : negation(d['c_0011_12']), '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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_12'], 'c_1100_4' : d['c_1001_11'], '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_1001_11'], 'c_1100_3' : d['c_1001_11'], 'c_1100_2' : negation(d['c_0101_7']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : d['c_1001_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_11'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_1001_3'], 'c_1100_8' : d['c_0011_12'], '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' : negation(d['c_0011_6']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_7']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_7, c_1001_1, c_1001_11, c_1001_3, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 92023263217919917084387723960357971767392237218523308728/3717853348\ 760239554215968805911957967275108998998592639*c_1100_1^9 - 283930406084652158768702265281692973195183910391098264068/371785334\ 8760239554215968805911957967275108998998592639*c_1100_1^8 + 9517696213305766751610790264876405077260285650666898435/13045099469\ 3341738744419958102173963764038912245564654*c_1100_1^7 - 197495626687616872476554496391614883998424854235715951695/156541193\ 6320100864933039497226087565168466946946775848*c_1100_1^6 + 9052300409495134524655023667778697338375628590331800691899/59485653\ 580163832867455500894591327476401743983977482224*c_1100_1^5 - 1114113581655634162516496862329389871108796326655889900613/29742826\ 790081916433727750447295663738200871991988741112*c_1100_1^4 + 26464695149815630132109541123290055745795939334965137855329/1586284\ 09547103554313214669052243539937071317290606619264*c_1100_1^3 - 2545777385779056193689052069242965991643912988767895283197/11897130\ 7160327665734911001789182654952803487967954964448*c_1100_1^2 + 213331096393939741462152041369746869066557839444436520018721/475885\ 228641310662939644007156730619811213951871819857792*c_1100_1 - 50487707762693289357275098669920647015026105265976944270513/4758852\ 28641310662939644007156730619811213951871819857792, c_0011_0 - 1, c_0011_10 - 1637421612675177868627968/2991363620042613994390853*c_1100_\ 1^9 + 4421974278501810362613760/2991363620042613994390853*c_1100_1^\ 8 - 3044451417354967336992000/2991363620042613994390853*c_1100_1^7 + 6684036977262512689338944/2991363620042613994390853*c_1100_1^6 - 6537819154724718213882816/2991363620042613994390853*c_1100_1^5 - 1004117677248204303944144/2991363620042613994390853*c_1100_1^4 - 10297250268160171447421872/2991363620042613994390853*c_1100_1^3 - 3089187670406381191048236/2991363620042613994390853*c_1100_1^2 - 30377053312692407769234732/2991363620042613994390853*c_1100_1 - 4584446414847834111734511/2991363620042613994390853, c_0011_11 + 330599418554550605808640/2991363620042613994390853*c_1100_1\ ^9 - 764493420478609344438784/2991363620042613994390853*c_1100_1^8 + 363433201942000813406528/2991363620042613994390853*c_1100_1^7 - 1166618169441510609676784/2991363620042613994390853*c_1100_1^6 + 651532568293059490036184/2991363620042613994390853*c_1100_1^5 + 800440514276493369868888/2991363620042613994390853*c_1100_1^4 + 1985783147550060642775113/2991363620042613994390853*c_1100_1^3 + 679064462257058021026683/2991363620042613994390853*c_1100_1^2 + 7685623327351067720463170/2991363620042613994390853*c_1100_1 + 2933568319376178770142750/2991363620042613994390853, c_0011_12 + c_1100_1, c_0011_4 + 2304985888509607084951552/2991363620042613994390853*c_1100_1\ ^9 - 6246116128606525319945216/2991363620042613994390853*c_1100_1^8 + 4088795358466346950605440/2991363620042613994390853*c_1100_1^7 - 9101657012144709106339168/2991363620042613994390853*c_1100_1^6 + 9926370217007288458600720/2991363620042613994390853*c_1100_1^5 + 1491033105351474893917584/2991363620042613994390853*c_1100_1^4 + 14006691008592296569555370/2991363620042613994390853*c_1100_1^3 + 3518741260970028459503716/2991363620042613994390853*c_1100_1^2 + 42382348672113620271417195/2991363620042613994390853*c_1100_1 + 5645146128674142659049328/2991363620042613994390853, c_0011_6 - 914933844042244068182016/2991363620042613994390853*c_1100_1^\ 9 + 2140966216118902799356928/2991363620042613994390853*c_1100_1^8 - 732837195697091041948288/2991363620042613994390853*c_1100_1^7 + 3231300064467860336913120/2991363620042613994390853*c_1100_1^6 - 2858737000525919659405936/2991363620042613994390853*c_1100_1^5 - 1918181135733164770369168/2991363620042613994390853*c_1100_1^4 - 6405572817809746136179282/2991363620042613994390853*c_1100_1^3 - 3628053536396013193447650/2991363620042613994390853*c_1100_1^2 - 17052894839922107931776462/2991363620042613994390853*c_1100_1 - 5683916301737012523222824/2991363620042613994390853, c_0101_0 - 1, c_0101_1 - 1965754464275324257233920/2991363620042613994390853*c_1100_1\ ^9 + 5030181630172382627152384/2991363620042613994390853*c_1100_1^8 - 2900977297975451408772032/2991363620042613994390853*c_1100_1^7 + 7971779387313945473721104/2991363620042613994390853*c_1100_1^6 - 8184512699113217917713112/2991363620042613994390853*c_1100_1^5 - 1735871453562954205992000/2991363620042613994390853*c_1100_1^4 - 13801958045775946640490639/2991363620042613994390853*c_1100_1^3 - 2672830423147401055071466/2991363620042613994390853*c_1100_1^2 - 36490350762645850817076253/2991363620042613994390853*c_1100_1 - 9769274053870815211075571/2991363620042613994390853, c_0101_7 + 641311664081478343371776/2991363620042613994390853*c_1100_1^\ 9 - 1582888782499924047845888/2991363620042613994390853*c_1100_1^8 + 682379777481938040381376/2991363620042613994390853*c_1100_1^7 - 2269516742963926147402896/2991363620042613994390853*c_1100_1^6 + 2386524419298476616355640/2991363620042613994390853*c_1100_1^5 + 363135383841489917684368/2991363620042613994390853*c_1100_1^4 + 4580242061056366958615803/2991363620042613994390853*c_1100_1^3 + 1375213045488226512034780/2991363620042613994390853*c_1100_1^2 + 15929704126082522297163632/2991363620042613994390853*c_1100_1 + 4587575613375652808553483/2991363620042613994390853, c_1001_1 + 2304985888509607084951552/2991363620042613994390853*c_1100_1\ ^9 - 6246116128606525319945216/2991363620042613994390853*c_1100_1^8 + 4088795358466346950605440/2991363620042613994390853*c_1100_1^7 - 9101657012144709106339168/2991363620042613994390853*c_1100_1^6 + 9926370217007288458600720/2991363620042613994390853*c_1100_1^5 + 1491033105351474893917584/2991363620042613994390853*c_1100_1^4 + 14006691008592296569555370/2991363620042613994390853*c_1100_1^3 + 3518741260970028459503716/2991363620042613994390853*c_1100_1^2 + 42382348672113620271417195/2991363620042613994390853*c_1100_1 + 5645146128674142659049328/2991363620042613994390853, c_1001_11 + 641311664081478343371776/2991363620042613994390853*c_1100_1\ ^9 - 1582888782499924047845888/2991363620042613994390853*c_1100_1^8 + 682379777481938040381376/2991363620042613994390853*c_1100_1^7 - 2269516742963926147402896/2991363620042613994390853*c_1100_1^6 + 2386524419298476616355640/2991363620042613994390853*c_1100_1^5 + 363135383841489917684368/2991363620042613994390853*c_1100_1^4 + 4580242061056366958615803/2991363620042613994390853*c_1100_1^3 + 1375213045488226512034780/2991363620042613994390853*c_1100_1^2 + 15929704126082522297163632/2991363620042613994390853*c_1100_1 + 4587575613375652808553483/2991363620042613994390853, c_1001_3 + 2274412964006971697921024/2991363620042613994390853*c_1100_1\ ^9 - 6099027217612259343557120/2991363620042613994390853*c_1100_1^8 + 4174218370335037505337536/2991363620042613994390853*c_1100_1^7 - 9904959990811240526706256/2991363620042613994390853*c_1100_1^6 + 10030715654969246906805656/2991363620042613994390853*c_1100_1^5 + 652192674154901180224928/2991363620042613994390853*c_1100_1^4 + 16418201278403871680228787/2991363620042613994390853*c_1100_1^3 + 3974335578476018935610856/2991363620042613994390853*c_1100_1^2 + 45473589301300138631983888/2991363620042613994390853*c_1100_1 + 7425884116139983235209765/2991363620042613994390853, c_1100_1^10 - 5/2*c_1100_1^9 + 21/16*c_1100_1^8 - 247/64*c_1100_1^7 + 455/128*c_1100_1^6 + 167/128*c_1100_1^5 + 6885/1024*c_1100_1^4 + 3097/1024*c_1100_1^3 + 19195/1024*c_1100_1^2 + 103/16*c_1100_1 + 633/1024 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.360 seconds, Total memory usage: 32.09MB