Magma V2.19-8 Wed Aug 21 2013 01:05:02 on localhost [Seed = 2429978870] Type ? for help. Type -D to quit. Loading file "L14n24993__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n24993 geometric_solution 11.64785529 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 1 1 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 -3 2 1 0 0 -1 1 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.511019187213 0.250854341262 0 2 6 5 0132 0213 0132 0132 0 1 1 1 0 -1 0 1 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 3 0 -3 0 0 0 0 -3 0 0 3 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.792013906789 0.847944609950 7 0 1 8 0132 0132 0213 0132 0 1 1 1 0 -1 1 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 0 0 0 0 3 -3 0 4 0 0 -4 -3 3 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.767859658841 0.600617015121 7 9 10 0 2310 0132 0132 0132 0 1 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 0 0 0 2 0 -2 -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.205440966294 1.258263490999 11 9 0 5 0132 0321 0132 0213 0 1 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 0 0 0 -2 -1 3 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.386959768477 1.038668859214 8 10 1 4 0321 0213 0132 0213 0 1 1 1 0 0 -1 1 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 3 -3 0 0 0 0 1 0 0 -1 4 -1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.739999595242 0.753754806738 11 8 10 1 3120 0321 0213 0132 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481487672376 0.826120136880 2 11 3 12 0132 2103 3201 0132 1 1 1 1 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 -4 0 0 4 -1 0 0 1 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.191981052894 1.118882156647 5 9 2 6 0321 0213 0132 0321 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 -4 0 4 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.182301326038 0.770080442988 12 3 8 4 3201 0132 0213 0321 0 1 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 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 0 0 0 0 0 0 0 0.704187092856 0.862287951780 12 6 5 3 1023 0213 0213 0132 0 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.069922629511 0.988679483060 4 7 12 6 0132 2103 3201 3120 1 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 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.319677117069 1.553083852034 11 10 7 9 2310 1023 0132 2310 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 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.396427039202 0.477500464124 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_0'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0011_5'], 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : d['c_1001_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0011_5']), 'c_1010_10' : d['c_1001_3'], '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'], 'c_0101_12' : negation(d['c_0011_0']), 'c_0101_11' : d['c_0011_8'], 'c_0101_10' : d['c_0011_5'], '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_1100_9' : d['c_1001_1'], 'c_1100_8' : d['c_1001_10'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : d['c_1010_5'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : d['c_1010_5'], 'c_1100_3' : d['c_1010_5'], 'c_1100_2' : d['c_1001_10'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_1010_5'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1010_5'], 'c_1010_4' : d['c_1001_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_10'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_1'], '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' : negation(d['c_0011_3']), '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_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_5'], '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_11' : d['c_0101_1'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : negation(d['c_0011_8']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_0']), 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_11']), 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : negation(d['c_0101_0']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : negation(d['c_0011_5']), '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_0101_0']), 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_1'], 's_2_9' : 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_3, c_0011_5, c_0011_8, c_0101_0, c_0101_1, c_1001_0, c_1001_1, c_1001_10, c_1001_3, c_1010_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 277475348567615063997113439/47676708251965297054250*c_1010_5^11 + 523268642435047328849432863/19070683300786118821700*c_1010_5^10 - 3874588775058766467625725997/47676708251965297054250*c_1010_5^9 + 13602548288738131914159954633/95353416503930594108500*c_1010_5^8 - 760559921636251685322753388/4767670825196529705425*c_1010_5^7 + 11563118254846916184585762957/95353416503930594108500*c_1010_5^6 - 2067489059228364297522914784/23838354125982648527125*c_1010_5^5 + 2810242867150347855616570377/47676708251965297054250*c_1010_5^4 - 1212225816192146052883311301/47676708251965297054250*c_1010_5^3 + 1591150198079330342888405151/95353416503930594108500*c_1010_5^2 - 211017926239575160293878967/47676708251965297054250*c_1010_5 + 141404134621598106166213319/95353416503930594108500, c_0011_0 - 1, c_0011_10 - 15141240527162973816/2068403828718667985*c_1010_5^11 + 72282020607478951217/2068403828718667985*c_1010_5^10 - 215566085607932988786/2068403828718667985*c_1010_5^9 + 384280720136441691729/2068403828718667985*c_1010_5^8 - 439695332085599551624/2068403828718667985*c_1010_5^7 + 69700437096811993178/413680765743733597*c_1010_5^6 - 256131054342242773994/2068403828718667985*c_1010_5^5 + 35191949156261771841/413680765743733597*c_1010_5^4 - 78340106502454680318/2068403828718667985*c_1010_5^3 + 50977015476087958766/2068403828718667985*c_1010_5^2 - 17082231056508516748/2068403828718667985*c_1010_5 + 4032449704327477504/2068403828718667985, c_0011_11 - 22410701951325458669/2068403828718667985*c_1010_5^11 + 94999752444128436728/2068403828718667985*c_1010_5^10 - 261908124266777452854/2068403828718667985*c_1010_5^9 + 399041560563354269241/2068403828718667985*c_1010_5^8 - 352218146296811186041/2068403828718667985*c_1010_5^7 + 36918215336462741994/413680765743733597*c_1010_5^6 - 137438358269243182906/2068403828718667985*c_1010_5^5 + 19609729433093938693/413680765743733597*c_1010_5^4 - 4616898681929040302/2068403828718667985*c_1010_5^3 + 28136644942458420844/2068403828718667985*c_1010_5^2 + 4005480135240780998/2068403828718667985*c_1010_5 - 899241649399100379/2068403828718667985, c_0011_3 + 5547118359858591093/413680765743733597*c_1010_5^11 - 22213024636592081703/413680765743733597*c_1010_5^10 + 59236754606557788583/413680765743733597*c_1010_5^9 - 83179865172751367017/413680765743733597*c_1010_5^8 + 62891803696849845369/413680765743733597*c_1010_5^7 - 23212106283885224957/413680765743733597*c_1010_5^6 + 21240332587938498940/413680765743733597*c_1010_5^5 - 15053555733281340117/413680765743733597*c_1010_5^4 - 4759416641591265096/413680765743733597*c_1010_5^3 - 6854901011844755931/413680765743733597*c_1010_5^2 - 2202477829923485491/413680765743733597*c_1010_5 + 28460967647828054/413680765743733597, c_0011_5 - 13089060935078572214/2068403828718667985*c_1010_5^11 + 56491726657962432788/2068403828718667985*c_1010_5^10 - 160161285115706338034/2068403828718667985*c_1010_5^9 + 258533472937594713336/2068403828718667985*c_1010_5^8 - 262920428831538934326/2068403828718667985*c_1010_5^7 + 37847211965868923822/413680765743733597*c_1010_5^6 - 153167059181563222346/2068403828718667985*c_1010_5^5 + 20155199679930721634/413680765743733597*c_1010_5^4 - 28805692212486550592/2068403828718667985*c_1010_5^3 + 31538846240952547039/2068403828718667985*c_1010_5^2 - 2165798395574578082/2068403828718667985*c_1010_5 + 2192105987248305211/2068403828718667985, c_0011_8 + 1888114133848928129/413680765743733597*c_1010_5^11 - 7832528877303516328/413680765743733597*c_1010_5^10 + 21282336033860976440/413680765743733597*c_1010_5^9 - 31213672988865632268/413680765743733597*c_1010_5^8 + 25290308875654186549/413680765743733597*c_1010_5^7 - 10042801465633377679/413680765743733597*c_1010_5^6 + 6922675114693908200/413680765743733597*c_1010_5^5 - 5222628692786704670/413680765743733597*c_1010_5^4 - 13428087234367068/413680765743733597*c_1010_5^3 - 2059095011794346979/413680765743733597*c_1010_5^2 - 927024347456213833/413680765743733597*c_1010_5 + 188305315224302381/413680765743733597, c_0101_0 + 11792725026721963271/2068403828718667985*c_1010_5^11 - 54897493591882485412/2068403828718667985*c_1010_5^10 + 159701739705423390781/2068403828718667985*c_1010_5^9 - 271595083594855897619/2068403828718667985*c_1010_5^8 + 282928183427549069524/2068403828718667985*c_1010_5^7 - 37041288714275413941/413680765743733597*c_1010_5^6 + 112346314238116915899/2068403828718667985*c_1010_5^5 - 13827410834428456752/413680765743733597*c_1010_5^4 + 18132508023030588048/2068403828718667985*c_1010_5^3 - 18018112308729667386/2068403828718667985*c_1010_5^2 + 2391548021505345418/2068403828718667985*c_1010_5 + 1110152705635296741/2068403828718667985, c_0101_1 - 18555535605039086958/2068403828718667985*c_1010_5^11 + 84185402072788007451/2068403828718667985*c_1010_5^10 - 243590480355628884168/2068403828718667985*c_1010_5^9 + 409474469261553244107/2068403828718667985*c_1010_5^8 - 430608315543552447002/2068403828718667985*c_1010_5^7 + 60761379830324723984/413680765743733597*c_1010_5^6 - 219305760425753759232/2068403828718667985*c_1010_5^5 + 29896547306761382574/413680765743733597*c_1010_5^4 - 52941604615627614574/2068403828718667985*c_1010_5^3 + 41608482629439150063/2068403828718667985*c_1010_5^2 - 4984006115646131494/2068403828718667985*c_1010_5 + 1539920947069935732/2068403828718667985, c_1001_0 - 1, c_1001_1 + 19676861294782550921/2068403828718667985*c_1010_5^11 - 91379927671771615902/2068403828718667985*c_1010_5^10 + 267144247024712522911/2068403828718667985*c_1010_5^9 - 458514586752817493604/2068403828718667985*c_1010_5^8 + 493040388048219440009/2068403828718667985*c_1010_5^7 - 70608592298849874626/413680765743733597*c_1010_5^6 + 246320139786371908264/2068403828718667985*c_1010_5^5 - 33362409027885890184/413680765743733597*c_1010_5^4 + 63041089000161317118/2068403828718667985*c_1010_5^3 - 46364841109029590261/2068403828718667985*c_1010_5^2 + 10534062149670576588/2068403828718667985*c_1010_5 - 2663428990608417969/2068403828718667985, c_1001_10 + 18555535605039086958/2068403828718667985*c_1010_5^11 - 84185402072788007451/2068403828718667985*c_1010_5^10 + 243590480355628884168/2068403828718667985*c_1010_5^9 - 409474469261553244107/2068403828718667985*c_1010_5^8 + 430608315543552447002/2068403828718667985*c_1010_5^7 - 60761379830324723984/413680765743733597*c_1010_5^6 + 219305760425753759232/2068403828718667985*c_1010_5^5 - 29896547306761382574/413680765743733597*c_1010_5^4 + 52941604615627614574/2068403828718667985*c_1010_5^3 - 41608482629439150063/2068403828718667985*c_1010_5^2 + 7052409944364799479/2068403828718667985*c_1010_5 - 3608324775788603717/2068403828718667985, c_1001_3 - 2451588515144921831/2068403828718667985*c_1010_5^11 + 5428733821005635007/2068403828718667985*c_1010_5^10 - 6871635459078248141/2068403828718667985*c_1010_5^9 - 17930529592790664851/2068403828718667985*c_1010_5^8 + 60408996162765251186/2068403828718667985*c_1010_5^7 - 15267361228152931146/413680765743733597*c_1010_5^6 + 46134335814729836646/2068403828718667985*c_1010_5^5 - 6943734553027390659/413680765743733597*c_1010_5^4 + 32645784673012870057/2068403828718667985*c_1010_5^3 - 6810141556168172549/2068403828718667985*c_1010_5^2 + 8726938916730908697/2068403828718667985*c_1010_5 - 1525843113603933531/2068403828718667985, c_1010_5^12 - 282/59*c_1010_5^11 + 842/59*c_1010_5^10 - 1500/59*c_1010_5^9 + 1712/59*c_1010_5^8 - 1336/59*c_1010_5^7 + 961/59*c_1010_5^6 - 656/59*c_1010_5^5 + 297/59*c_1010_5^4 - 186/59*c_1010_5^3 + 56/59*c_1010_5^2 - 18/59*c_1010_5 + 1/59 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.140 Total time: 0.350 seconds, Total memory usage: 32.09MB