Magma V2.19-8 Wed Aug 21 2013 00:58:10 on localhost [Seed = 2631566856] Type ? for help. Type -D to quit. Loading file "L13n4790__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4790 geometric_solution 11.47223732 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 1 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 -1 0 1 -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.384536480529 0.717632779335 0 4 4 5 0132 0132 1302 0132 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 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.419887282882 1.082622644647 0 0 4 6 3012 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 1 -1 0 -1 0 0 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.688598036607 0.802907901479 7 5 8 0 0132 0321 0132 0132 1 1 1 1 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 1 -1 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.638663750481 0.369985908731 1 1 9 2 2031 0132 0132 0132 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 0 0 0 0 0 0 0 0 -1 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.688598036607 0.802907901479 7 6 1 3 2103 0132 0132 0321 1 1 1 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 0 0 0 0 0 0 0 -6 0 1 5 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.351024781616 1.383365583191 10 5 2 9 0132 0132 0132 0321 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 -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.860978453145 0.538100677825 3 11 5 12 0132 0132 2103 0132 1 1 1 1 0 0 0 0 0 0 -1 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 0 6 -6 -5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667592314962 0.437273435797 11 9 10 3 0213 1023 1230 0132 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 1 -1 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.349077601416 0.678677245272 8 6 12 4 1023 0321 0213 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 -1 1 0 0 0 0 0 0 0 0 6 -1 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.574872778095 0.666699797728 6 11 12 8 0132 1302 3201 3012 1 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 6 0 -6 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.210581960548 0.657196338840 8 7 12 10 0213 0132 0132 2031 1 1 1 1 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 1 -1 0 0 6 -6 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.409768465329 0.837639758950 10 9 7 11 2310 0213 0132 0132 1 1 1 1 0 0 0 0 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 1 0 -1 0 0 6 -6 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.072695003009 1.032718317152 ==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_12']), 'c_1001_12' : d['c_1001_11'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_1001_11'], 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : d['c_1001_11'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_0_11' : 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_0011_8'], 'c_0101_10' : negation(d['c_0011_8']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : negation(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' : negation(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_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_1001_11'], 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_1001_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : negation(d['c_0011_12']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_1001_4'], 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0101_4'], 'c_1100_8' : d['c_0101_6'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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'], 'c_1100_12' : d['c_0011_11'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(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_8'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), '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_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : d['c_0011_8'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_12'], 'c_0101_8' : d['c_0011_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_12'], '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_6'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : negation(d['c_0011_8'])})} 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_12, c_0101_2, c_0101_4, c_0101_6, c_1001_0, c_1001_11, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 296432739960514820349384921519914918292/477642430618788496762771235\ 99632625*c_1001_4^12 + 1766182414357964106393659813194201251699/477\ 64243061878849676277123599632625*c_1001_4^11 - 7697683653898323130659418230214027232708/47764243061878849676277123\ 599632625*c_1001_4^10 - 874549457924452389512444051351820728311/955\ 2848612375769935255424719926525*c_1001_4^9 + 280050481350251150091130346383823621280477/955284861237576993525542\ 47199265250*c_1001_4^8 - 142106443059675634973697470816099123613127\ /19105697224751539870510849439853050*c_1001_4^7 + 890217320763467683986074737187827879971733/191056972247515398705108\ 494398530500*c_1001_4^6 + 18291576546928903030116556475716390504679\ /9552848612375769935255424719926525*c_1001_4^5 - 7417591406001114965682170245368213037537/19105697224751539870510849\ 439853050*c_1001_4^4 - 644794915014523549683624282133394251756703/3\ 82113944495030797410216988797061000*c_1001_4^3 + 36891897222005590703966000335345964502793/1910569722475153987051084\ 94398530500*c_1001_4^2 + 252879759970840999159422981974685846189481\ /764227888990061594820433977594122000*c_1001_4 + 29198850127050641334490809488127704117277/1910569722475153987051084\ 94398530500, c_0011_0 - 1, c_0011_10 - 143570522148008699143146657792/4543566521938535046494851234\ 21*c_1001_4^12 + 333576777181014887347643906496/4543566521938535046\ 49485123421*c_1001_4^11 + 1685609976912467669157144407312/454356652\ 193853504649485123421*c_1001_4^10 - 13166942669750146953394428534592/454356652193853504649485123421*c_1\ 001_4^9 + 31565878819397551738813593737656/454356652193853504649485\ 123421*c_1001_4^8 - 27300015656601379209296908610744/45435665219385\ 3504649485123421*c_1001_4^7 - 2906307668935030581385702797024/45435\ 6652193853504649485123421*c_1001_4^6 + 14789498248102775585489473440928/454356652193853504649485123421*c_1\ 001_4^5 - 2763315973671969476003179359832/4543566521938535046494851\ 23421*c_1001_4^4 - 2628433859768913575382868834292/4543566521938535\ 04649485123421*c_1001_4^3 - 791611199499230398585827667174/45435665\ 2193853504649485123421*c_1001_4^2 + 890960154555124639438710661513/454356652193853504649485123421*c_100\ 1_4 - 235336658777923623283945543939/454356652193853504649485123421\ , c_0011_11 - 8865697428207736254312456288/454356652193853504649485123421\ *c_1001_4^12 - 682705730478312085423521000/454356652193853504649485\ 123421*c_1001_4^11 + 79980921522253504829668327184/4543566521938535\ 04649485123421*c_1001_4^10 - 401609215591241438438214491112/4543566\ 52193853504649485123421*c_1001_4^9 + 856519964103392667509035943780/454356652193853504649485123421*c_100\ 1_4^8 - 3582138321144391519282510978244/454356652193853504649485123\ 421*c_1001_4^7 + 11387030573773697415986167534098/45435665219385350\ 4649485123421*c_1001_4^6 - 13851480722744917082409582198296/4543566\ 52193853504649485123421*c_1001_4^5 + 4702027350481807769713970385088/454356652193853504649485123421*c_10\ 01_4^4 + 771330975902569401521236658713/454356652193853504649485123\ 421*c_1001_4^3 + 522462498256554790780150183726/4543566521938535046\ 49485123421*c_1001_4^2 - 1554047710087335915515593299577/9087133043\ 87707009298970246842*c_1001_4 + 190831498773632496048602372837/4543\ 56652193853504649485123421, c_0011_12 + 7008490393194659627330753376/454356652193853504649485123421\ *c_1001_4^12 + 110482117987713057383411967528/454356652193853504649\ 485123421*c_1001_4^11 - 379360609076495246203596049232/454356652193\ 853504649485123421*c_1001_4^10 - 768109665061946075385876494280/454\ 356652193853504649485123421*c_1001_4^9 + 9934629496136278554570348081052/454356652193853504649485123421*c_10\ 01_4^8 - 27575736360671481227316966604156/4543566521938535046494851\ 23421*c_1001_4^7 + 31484694266681308038520148692326/454356652193853\ 504649485123421*c_1001_4^6 - 15629604399876594480727977255888/45435\ 6652193853504649485123421*c_1001_4^5 + 4448270534515184048747897744068/454356652193853504649485123421*c_10\ 01_4^4 - 2190922915141263601015450520993/45435665219385350464948512\ 3421*c_1001_4^3 + 1641908272977390460457575886742/45435665219385350\ 4649485123421*c_1001_4^2 - 1817720526607607867117434786963/90871330\ 4387707009298970246842*c_1001_4 + 138110552557283705915735128945/45\ 4356652193853504649485123421, c_0011_8 + 73572907495227853803294198912/454356652193853504649485123421\ *c_1001_4^12 - 109165462691520255518526071904/454356652193853504649\ 485123421*c_1001_4^11 - 971047797040241218336345866352/454356652193\ 853504649485123421*c_1001_4^10 + 5931721975265028539648038100800/45\ 4356652193853504649485123421*c_1001_4^9 - 11002122567088862979433957468944/454356652193853504649485123421*c_1\ 001_4^8 + 3841196975695793567103136468480/4543566521938535046494851\ 23421*c_1001_4^7 + 5745244727730059155157211665216/4543566521938535\ 04649485123421*c_1001_4^6 - 3423263575943264263887302094616/4543566\ 52193853504649485123421*c_1001_4^5 + 1548645206453811173142456543348/454356652193853504649485123421*c_10\ 01_4^4 - 1212054934780830982071939194120/45435665219385350464948512\ 3421*c_1001_4^3 + 672417731346716162709151150138/454356652193853504\ 649485123421*c_1001_4^2 - 136503185581396847039039718048/4543566521\ 93853504649485123421*c_1001_4 + 120664558212927159544673575737/4543\ 56652193853504649485123421, c_0101_0 - 1, c_0101_12 - 143570522148008699143146657792/4543566521938535046494851234\ 21*c_1001_4^12 + 333576777181014887347643906496/4543566521938535046\ 49485123421*c_1001_4^11 + 1685609976912467669157144407312/454356652\ 193853504649485123421*c_1001_4^10 - 13166942669750146953394428534592/454356652193853504649485123421*c_1\ 001_4^9 + 31565878819397551738813593737656/454356652193853504649485\ 123421*c_1001_4^8 - 27300015656601379209296908610744/45435665219385\ 3504649485123421*c_1001_4^7 - 2906307668935030581385702797024/45435\ 6652193853504649485123421*c_1001_4^6 + 14789498248102775585489473440928/454356652193853504649485123421*c_1\ 001_4^5 - 2763315973671969476003179359832/4543566521938535046494851\ 23421*c_1001_4^4 - 2628433859768913575382868834292/4543566521938535\ 04649485123421*c_1001_4^3 - 791611199499230398585827667174/45435665\ 2193853504649485123421*c_1001_4^2 + 890960154555124639438710661513/454356652193853504649485123421*c_100\ 1_4 - 235336658777923623283945543939/454356652193853504649485123421\ , c_0101_2 - 137492307639764584224268124160/45435665219385350464948512342\ 1*c_1001_4^12 + 412125572249295392809455768000/45435665219385350464\ 9485123421*c_1001_4^11 + 1320462233356334155902329542416/4543566521\ 93853504649485123421*c_1001_4^10 - 13463470411716105015059883025632/454356652193853504649485123421*c_1\ 001_4^9 + 39535377229468378317175133343144/454356652193853504649485\ 123421*c_1001_4^8 - 54243138611375222301885915577984/45435665219385\ 3504649485123421*c_1001_4^7 + 36653986372911545216463296547744/4543\ 56652193853504649485123421*c_1001_4^6 - 10883791585623904411163397892284/454356652193853504649485123421*c_1\ 001_4^5 + 1945295919710171439275336091664/4543566521938535046494851\ 23421*c_1001_4^4 - 3726574383323230210226705650044/4543566521938535\ 04649485123421*c_1001_4^3 + 2320571517158677443152407644546/4543566\ 52193853504649485123421*c_1001_4^2 - 221171872474953899363269277500/454356652193853504649485123421*c_100\ 1_4 + 14110324943387534733810285275/454356652193853504649485123421, c_0101_4 + 137492307639764584224268124160/45435665219385350464948512342\ 1*c_1001_4^12 - 412125572249295392809455768000/45435665219385350464\ 9485123421*c_1001_4^11 - 1320462233356334155902329542416/4543566521\ 93853504649485123421*c_1001_4^10 + 13463470411716105015059883025632/454356652193853504649485123421*c_1\ 001_4^9 - 39535377229468378317175133343144/454356652193853504649485\ 123421*c_1001_4^8 + 54243138611375222301885915577984/45435665219385\ 3504649485123421*c_1001_4^7 - 36653986372911545216463296547744/4543\ 56652193853504649485123421*c_1001_4^6 + 10883791585623904411163397892284/454356652193853504649485123421*c_1\ 001_4^5 - 1945295919710171439275336091664/4543566521938535046494851\ 23421*c_1001_4^4 + 3726574383323230210226705650044/4543566521938535\ 04649485123421*c_1001_4^3 - 2320571517158677443152407644546/4543566\ 52193853504649485123421*c_1001_4^2 + 675528524668807404012754400921/454356652193853504649485123421*c_100\ 1_4 - 14110324943387534733810285275/454356652193853504649485123421, c_0101_6 + c_1001_4, c_1001_0 + 137492307639764584224268124160/45435665219385350464948512342\ 1*c_1001_4^12 - 412125572249295392809455768000/45435665219385350464\ 9485123421*c_1001_4^11 - 1320462233356334155902329542416/4543566521\ 93853504649485123421*c_1001_4^10 + 13463470411716105015059883025632/454356652193853504649485123421*c_1\ 001_4^9 - 39535377229468378317175133343144/454356652193853504649485\ 123421*c_1001_4^8 + 54243138611375222301885915577984/45435665219385\ 3504649485123421*c_1001_4^7 - 36653986372911545216463296547744/4543\ 56652193853504649485123421*c_1001_4^6 + 10883791585623904411163397892284/454356652193853504649485123421*c_1\ 001_4^5 - 1945295919710171439275336091664/4543566521938535046494851\ 23421*c_1001_4^4 + 3726574383323230210226705650044/4543566521938535\ 04649485123421*c_1001_4^3 - 2320571517158677443152407644546/4543566\ 52193853504649485123421*c_1001_4^2 + 675528524668807404012754400921/454356652193853504649485123421*c_100\ 1_4 - 14110324943387534733810285275/454356652193853504649485123421, c_1001_11 + 75038519628117794945464623168/45435665219385350464948512342\ 1*c_1001_4^12 - 221813666675613938314732542096/45435665219385350464\ 9485123421*c_1001_4^11 - 756602505990492225540324173824/45435665219\ 3853504649485123421*c_1001_4^10 + 7358974105503829319390202325920/4\ 54356652193853504649485123421*c_1001_4^9 - 20912442713915275871596868239600/454356652193853504649485123421*c_1\ 001_4^8 + 26557686765017459463157793394304/454356652193853504649485\ 123421*c_1001_4^7 - 14831331790001161141338539508900/45435665219385\ 3504649485123421*c_1001_4^6 + 4015442626622829126129764720368/45435\ 6652193853504649485123421*c_1001_4^5 - 2530278094327093503237329052596/454356652193853504649485123421*c_10\ 01_4^4 + 1431645950493426216490942776242/45435665219385350464948512\ 3421*c_1001_4^3 - 507433613241142201418724391780/454356652193853504\ 649485123421*c_1001_4^2 + 341231276528866545526819612752/4543566521\ 93853504649485123421*c_1001_4 - 128970593267475178232681551987/4543\ 56652193853504649485123421, c_1001_4^13 - 9/4*c_1001_4^12 - 35/3*c_1001_4^11 + 1079/12*c_1001_4^10 - 5173/24*c_1001_4^9 + 4819/24*c_1001_4^8 - 759/16*c_1001_4^7 - 1/12*c_1001_4^6 - 235/8*c_1001_4^5 + 2087/96*c_1001_4^4 - 35/16*c_1001_4^3 + 45/64*c_1001_4^2 - 25/48*c_1001_4 + 29/48 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.120 Total time: 1.340 seconds, Total memory usage: 32.09MB