Magma V2.19-8 Tue Aug 20 2013 16:14:24 on localhost [Seed = 2050745976] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s392 geometric_solution 4.62824205 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 0 0 -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 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.551954720406 0.485225500946 3 2 2 0 0132 3012 2031 0132 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 1 -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.710663316308 0.714008201896 1 3 0 1 1230 3201 0132 1302 0 0 0 0 0 0 -1 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 -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.710663316308 0.714008201896 1 4 2 4 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.889975651175 1.002831339360 5 3 5 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.693520896174 0.386785952210 4 5 4 5 0132 2310 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750358999860 0.143696963797 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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_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_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 923696092839946714115896148/765563895250610135470953335*c_0101_5^16 - 7435321516511529850206925989/765563895250610135470953335*c_0101_5\ ^15 - 3290221099990913386116749782/765563895250610135470953335*c_01\ 01_5^14 + 114373540222935832520558796532/76556389525061013547095333\ 5*c_0101_5^13 - 119123790042502441113931653689/76556389525061013547\ 0953335*c_0101_5^12 - 385716761435956208295765961787/76556389525061\ 0135470953335*c_0101_5^11 + 107288842606039259174566408639/15311277\ 9050122027094190667*c_0101_5^10 + 83553996170469300121934210303/765\ 563895250610135470953335*c_0101_5^9 - 478416033027129824526701592282/765563895250610135470953335*c_0101_5\ ^8 + 868731782944361275547786430152/765563895250610135470953335*c_0\ 101_5^7 + 57941996358297465799168261009/153112779050122027094190667\ *c_0101_5^6 + 140414560593706859789241861757/7655638952506101354709\ 53335*c_0101_5^5 - 602460259571713940382959495907/76556389525061013\ 5470953335*c_0101_5^4 - 798630043779156387494819271742/765563895250\ 610135470953335*c_0101_5^3 - 300217085096524885325722268243/7655638\ 95250610135470953335*c_0101_5^2 - 111259430882026686235221471194/76\ 5563895250610135470953335*c_0101_5 + 4060910216743281231398730496/765563895250610135470953335, c_0011_0 - 1, c_0011_1 + 1769387769000225709408408/153112779050122027094190667*c_0101\ _5^16 - 13566932205800562752687249/153112779050122027094190667*c_01\ 01_5^15 - 11969604629530298161562063/153112779050122027094190667*c_\ 0101_5^14 + 218255551535386495251615348/153112779050122027094190667\ *c_0101_5^13 - 141708118389678369618330907/153112779050122027094190\ 667*c_0101_5^12 - 853291136825689765179595095/153112779050122027094\ 190667*c_0101_5^11 + 746152078448081870474938078/153112779050122027\ 094190667*c_0101_5^10 + 681720726934359442487663779/153112779050122\ 027094190667*c_0101_5^9 - 919332544573323319172224243/1531127790501\ 22027094190667*c_0101_5^8 + 1137265028762604219915561038/1531127790\ 50122027094190667*c_0101_5^7 + 1437025379000536009671627020/1531127\ 79050122027094190667*c_0101_5^6 + 372498559689647359104272127/15311\ 2779050122027094190667*c_0101_5^5 - 1456121545135729588220460024/153112779050122027094190667*c_0101_5^4 - 1851512352717102152989710220/153112779050122027094190667*c_0101_5\ ^3 - 1137065150552217173813416815/153112779050122027094190667*c_010\ 1_5^2 - 242172167017402942809955654/153112779050122027094190667*c_0\ 101_5 + 9400682669105189810598436/153112779050122027094190667, c_0101_0 + 13654497245591153059938432/153112779050122027094190667*c_010\ 1_5^16 - 111789830397272192244355678/153112779050122027094190667*c_\ 0101_5^15 - 34850263700457952927457720/153112779050122027094190667*\ c_0101_5^14 + 1708927065870245647032441299/153112779050122027094190\ 667*c_0101_5^13 - 1995656086654901932449231149/15311277905012202709\ 4190667*c_0101_5^12 - 5626119887429341259430150624/1531127790501220\ 27094190667*c_0101_5^11 + 8993275679904191467794535713/153112779050\ 122027094190667*c_0101_5^10 + 576716144058666797320012631/153112779\ 050122027094190667*c_0101_5^9 - 8391599811756418335847155851/153112\ 779050122027094190667*c_0101_5^8 + 14242684792014696740112935162/153112779050122027094190667*c_0101_5^\ 7 + 3339228736584992145099208574/153112779050122027094190667*c_0101\ _5^6 - 292618934332986396120345054/153112779050122027094190667*c_01\ 01_5^5 - 8735702008796311539848517177/153112779050122027094190667*c\ _0101_5^4 - 10406421552434031707507117484/1531127790501220270941906\ 67*c_0101_5^3 - 2038141653439028036985513472/1531127790501220270941\ 90667*c_0101_5^2 - 454886894509080680653023299/15311277905012202709\ 4190667*c_0101_5 + 7613067152611168918879479/1531127790501220270941\ 90667, c_0101_1 - 9341063945221368447025716/153112779050122027094190667*c_0101\ _5^16 + 76491192177292804951457037/153112779050122027094190667*c_01\ 01_5^15 + 23414124850268913787065611/153112779050122027094190667*c_\ 0101_5^14 - 1166834875767678152203489940/15311277905012202709419066\ 7*c_0101_5^13 + 1369335323649479610847040507/1531127790501220270941\ 90667*c_0101_5^12 + 3809000723345138593352471774/153112779050122027\ 094190667*c_0101_5^11 - 6134316768076364919447452331/15311277905012\ 2027094190667*c_0101_5^10 - 227312260881270639721630865/15311277905\ 0122027094190667*c_0101_5^9 + 5585856683265475432875265642/15311277\ 9050122027094190667*c_0101_5^8 - 9921689853981241341508029898/15311\ 2779050122027094190667*c_0101_5^7 - 2003237218159207414992382069/153112779050122027094190667*c_0101_5^6 + 59371919429732456456783619/153112779050122027094190667*c_0101_5^5 + 5714509274683062604631492208/153112779050122027094190667*c_0101_5\ ^4 + 7212850239610067646223094260/153112779050122027094190667*c_010\ 1_5^3 + 1640449523855325926667838278/153112779050122027094190667*c_\ 0101_5^2 + 624446501885255643795737660/153112779050122027094190667*\ c_0101_5 - 7741064078696743991511159/153112779050122027094190667, c_0101_4 + 6636283711226840323396818/153112779050122027094190667*c_0101\ _5^16 - 53373112905066094300953635/153112779050122027094190667*c_01\ 01_5^15 - 24963683091780620979837025/153112779050122027094190667*c_\ 0101_5^14 + 829825299790324238077546993/153112779050122027094190667\ *c_0101_5^13 - 851238697618866486560554520/153112779050122027094190\ 667*c_0101_5^12 - 2898509958890872291313176632/15311277905012202709\ 4190667*c_0101_5^11 + 4026732385625381773667230368/1531127790501220\ 27094190667*c_0101_5^10 + 966110271039046478320762681/1531127790501\ 22027094190667*c_0101_5^9 - 4218075555717027660304013528/1531127790\ 50122027094190667*c_0101_5^8 + 6425005788474907942733981860/1531127\ 79050122027094190667*c_0101_5^7 + 2692781862461099114012352080/1531\ 12779050122027094190667*c_0101_5^6 - 206650773188646710949400196/153112779050122027094190667*c_0101_5^5 - 4233160714533280974819274897/153112779050122027094190667*c_0101_5^4 - 5635420698289694181722217511/153112779050122027094190667*c_0101_5\ ^3 - 1597378495911946575141940135/153112779050122027094190667*c_010\ 1_5^2 - 390382655877878824562689826/153112779050122027094190667*c_0\ 101_5 - 12551845751380097439975746/153112779050122027094190667, c_0101_5^17 - 8*c_0101_5^16 - 4*c_0101_5^15 + 124*c_0101_5^14 - 123*c_0101_5^13 - 429*c_0101_5^12 + 570*c_0101_5^11 + 131*c_0101_5^10 - 554*c_0101_5^9 + 934*c_0101_5^8 + 390*c_0101_5^7 + 104*c_0101_5^6 - 624*c_0101_5^5 - 879*c_0101_5^4 - 346*c_0101_5^3 - 133*c_0101_5^2 - 18*c_0101_5 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB