Magma V2.19-8 Wed Aug 21 2013 00:50:34 on localhost [Seed = 88281126] Type ? for help. Type -D to quit. Loading file "L10a10__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L10a10 geometric_solution 12.29267017 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 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 -1 1 0 1 0 0 -1 -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.227544433563 0.526659074269 0 4 0 3 0132 0132 3012 2031 1 1 1 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 0 0 0 0 4 -4 0 -1 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 0.308682891777 1.600076180909 3 5 6 0 0132 0132 0132 0132 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 0 1 -1 0 0 0 0 -1 -3 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.366433676064 1.794080804082 2 1 0 5 0132 1302 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.070018913247 0.926311651996 6 1 5 7 0132 0132 2103 0132 1 1 1 1 0 -1 0 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 -4 0 4 0 0 1 -1 0 1 0 -1 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605906622976 0.513086549841 4 2 3 8 2103 0132 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 -1 0 1 0 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.524822139099 0.875846485731 4 7 8 2 0132 2103 0132 0132 1 1 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 0 0 0 0 1 0 -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 0 0 0 0.607390384766 0.410507639661 9 6 4 10 0132 2103 0132 0132 1 1 1 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 0 0 0 0 3 -4 1 -1 0 1 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.369807430130 0.984400275039 11 12 5 6 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.665575194789 0.890214320773 7 12 11 11 0132 1230 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 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.527801614307 0.942627450396 12 12 7 11 0213 2310 0132 2103 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 -1 1 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.527801614307 0.942627450396 8 9 9 10 0132 0213 0132 2103 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 1 -1 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.424823043571 0.848054280920 10 8 9 10 0213 0132 3012 3201 1 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 0 0 0 0 0 0 0 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.424823043571 0.848054280920 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0011_7'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_7' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_1001_10']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_1001_10']), 'c_1010_12' : negation(d['c_1001_10']), 'c_1010_11' : negation(d['c_0110_10']), 'c_1010_10' : d['c_0110_10'], 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_2_12' : d['1'], 's_2_10' : negation(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' : negation(d['c_0110_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_10']), 'c_1100_10' : negation(d['c_0101_8']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_1001_10']), 'c_1010_5' : negation(d['c_1001_10']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_2']), 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_0011_7'], 'c_1100_8' : d['c_1100_0'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_7']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : negation(d['c_0110_10']), 'c_0101_12' : d['c_0011_10'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : negation(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_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_8'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0011_11'], 'c_0110_6' : d['c_0101_2']})} 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_2, c_0011_7, c_0101_0, c_0101_11, c_0101_2, c_0101_8, c_0110_10, c_1001_0, c_1001_10, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 85430308280197898082682/1256423575495249610522125*c_1001_10^15 - 55627578965412240479032/96647967345788431578625*c_1001_10^14 + 427998416199824938790164/251284715099049922104425*c_1001_10^13 - 157926324609926992726456/96647967345788431578625*c_1001_10^12 - 503677053917612373436216/251284715099049922104425*c_1001_10^11 + 7919361546491293300322638/1256423575495249610522125*c_1001_10^10 - 507943413812746364113383/251284715099049922104425*c_1001_10^9 - 14214291011217962525709176/1256423575495249610522125*c_1001_10^8 + 20465790850876448951342256/1256423575495249610522125*c_1001_10^7 - 1063023316965634827946402/1256423575495249610522125*c_1001_10^6 - 4529721696984569251809977/251284715099049922104425*c_1001_10^5 + 19113152087931391012226928/1256423575495249610522125*c_1001_10^4 + 15042287255182287308732/6791478786460808705525*c_1001_10^3 - 10737765751406902801283596/1256423575495249610522125*c_1001_10^2 + 3096837474123849744539461/1256423575495249610522125*c_1001_10 + 120096030320483547288372/50256943019809984420885, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 + 4166141759712256/12431206308444257*c_1001_10^15 - 30885960781557248/12431206308444257*c_1001_10^14 + 62343891700245248/12431206308444257*c_1001_10^13 + 38255757585207424/12431206308444257*c_1001_10^12 - 251606993233068416/12431206308444257*c_1001_10^11 + 149108384510227776/12431206308444257*c_1001_10^10 + 422655552303889568/12431206308444257*c_1001_10^9 - 637864051922806864/12431206308444257*c_1001_10^8 - 170674346230550048/12431206308444257*c_1001_10^7 + 924931118837202800/12431206308444257*c_1001_10^6 - 436953509741570344/12431206308444257*c_1001_10^5 - 418352662961120396/12431206308444257*c_1001_10^4 + 434696766723952252/12431206308444257*c_1001_10^3 + 3715637301786430/12431206308444257*c_1001_10^2 - 27789457393619456/12431206308444257*c_1001_10 - 49915837175119232/12431206308444257, c_0011_2 + 938980007210284/12431206308444257*c_1001_10^15 - 4330413774683398/12431206308444257*c_1001_10^14 - 5221182030957520/12431206308444257*c_1001_10^13 + 47494071487042224/12431206308444257*c_1001_10^12 - 38334148188160128/12431206308444257*c_1001_10^11 - 101333376244167404/12431206308444257*c_1001_10^10 + 169824344183884216/12431206308444257*c_1001_10^9 + 80827178017409304/12431206308444257*c_1001_10^8 - 352327896307091104/12431206308444257*c_1001_10^7 + 121313606389867150/12431206308444257*c_1001_10^6 + 300678156247691192/12431206308444257*c_1001_10^5 - 259429541206317928/12431206308444257*c_1001_10^4 - 43839122305708080/12431206308444257*c_1001_10^3 + 113535756377752278/12431206308444257*c_1001_10^2 + 11068691036251296/12431206308444257*c_1001_10 + 5706255409745548/12431206308444257, c_0011_7 - 1500822978620880/12431206308444257*c_1001_10^15 + 11199383528627640/12431206308444257*c_1001_10^14 - 23459896855442556/12431206308444257*c_1001_10^13 - 9810731459767720/12431206308444257*c_1001_10^12 + 87401613318848248/12431206308444257*c_1001_10^11 - 64123590162652652/12431206308444257*c_1001_10^10 - 134620091840029718/12431206308444257*c_1001_10^9 + 234756033815841432/12431206308444257*c_1001_10^8 + 21842229595187128/12431206308444257*c_1001_10^7 - 300192637982637724/12431206308444257*c_1001_10^6 + 188720120976813798/12431206308444257*c_1001_10^5 + 86300778167258996/12431206308444257*c_1001_10^4 - 138950204977349438/12431206308444257*c_1001_10^3 + 30892329667518880/12431206308444257*c_1001_10^2 - 22759028864232909/12431206308444257*c_1001_10 + 1233830490019224/12431206308444257, c_0101_0 + 2873519195377564/12431206308444257*c_1001_10^15 - 20367822850338652/12431206308444257*c_1001_10^14 + 37021825678975118/12431206308444257*c_1001_10^13 + 34122861731899068/12431206308444257*c_1001_10^12 - 155211984182180718/12431206308444257*c_1001_10^11 + 57793430401791068/12431206308444257*c_1001_10^10 + 288220347671691274/12431206308444257*c_1001_10^9 - 341163314680735152/12431206308444257*c_1001_10^8 - 184513649080011924/12431206308444257*c_1001_10^7 + 538346490490933252/12431206308444257*c_1001_10^6 - 155733954270523040/12431206308444257*c_1001_10^5 - 294858526954989604/12431206308444257*c_1001_10^4 + 215779560939775764/12431206308444257*c_1001_10^3 + 49281627018125744/12431206308444257*c_1001_10^2 - 27967925351630137/12431206308444257*c_1001_10 - 13247736361471528/12431206308444257, c_0101_11 + c_1001_10, c_0101_2 + 1680603304377994/12431206308444257*c_1001_10^15 - 12801398646535560/12431206308444257*c_1001_10^14 + 27790094660440804/12431206308444257*c_1001_10^13 + 8193920784689192/12431206308444257*c_1001_10^12 - 92806083530983012/12431206308444257*c_1001_10^11 + 58751753660717364/12431206308444257*c_1001_10^10 + 150904727749221498/12431206308444257*c_1001_10^9 - 228371503342063184/12431206308444257*c_1001_10^8 - 48396085485843658/12431206308444257*c_1001_10^7 + 291569320500241508/12431206308444257*c_1001_10^6 - 121414340618859466/12431206308444257*c_1001_10^5 - 126554745436300204/12431206308444257*c_1001_10^4 + 94774992323319192/12431206308444257*c_1001_10^3 + 34449180646087904/12431206308444257*c_1001_10^2 - 31137473562641621/12431206308444257*c_1001_10 - 10503419600109326/12431206308444257, c_0101_8 + 1500822978620880/12431206308444257*c_1001_10^15 - 11199383528627640/12431206308444257*c_1001_10^14 + 23459896855442556/12431206308444257*c_1001_10^13 + 9810731459767720/12431206308444257*c_1001_10^12 - 87401613318848248/12431206308444257*c_1001_10^11 + 64123590162652652/12431206308444257*c_1001_10^10 + 134620091840029718/12431206308444257*c_1001_10^9 - 234756033815841432/12431206308444257*c_1001_10^8 - 21842229595187128/12431206308444257*c_1001_10^7 + 300192637982637724/12431206308444257*c_1001_10^6 - 188720120976813798/12431206308444257*c_1001_10^5 - 86300778167258996/12431206308444257*c_1001_10^4 + 138950204977349438/12431206308444257*c_1001_10^3 - 30892329667518880/12431206308444257*c_1001_10^2 + 22759028864232909/12431206308444257*c_1001_10 - 1233830490019224/12431206308444257, c_0110_10 + 38290304/140384897*c_1001_10^15 - 268598976/140384897*c_1001_10^14 + 483891024/140384897*c_1001_10^13 + 412834700/140384897*c_1001_10^12 - 1874790880/140384897*c_1001_10^11 + 698316464/140384897*c_1001_10^10 + 3316719808/140384897*c_1001_10^9 - 3948665306/140384897*c_1001_10^8 - 1811984640/140384897*c_1001_10^7 + 5599390720/140384897*c_1001_10^6 - 2025416528/140384897*c_1001_10^5 - 2170393670/140384897*c_1001_10^4 + 1868916476/140384897*c_1001_10^3 + 37509182/140384897*c_1001_10^2 + 310658310/140384897*c_1001_10 - 43466579/140384897, c_1001_0 - 807699273720918/12431206308444257*c_1001_10^15 + 7679368331083244/12431206308444257*c_1001_10^14 - 23005838850995846/12431206308444257*c_1001_10^13 + 6617323847046776/12431206308444257*c_1001_10^12 + 84268870029302816/12431206308444257*c_1001_10^11 - 113111994473672464/12431206308444257*c_1001_10^10 - 98787928401212948/12431206308444257*c_1001_10^9 + 320545727248146492/12431206308444257*c_1001_10^8 - 84873932169548008/12431206308444257*c_1001_10^7 - 403445923121886548/12431206308444257*c_1001_10^6 + 366434943906320608/12431206308444257*c_1001_10^5 + 133111227802732468/12431206308444257*c_1001_10^4 - 305521040479928528/12431206308444257*c_1001_10^3 + 76108180972686992/12431206308444257*c_1001_10^2 + 61080251414191775/12431206308444257*c_1001_10 + 15322423450403286/12431206308444257, c_1001_10^16 - 8*c_1001_10^15 + 20*c_1001_10^14 - 4*c_1001_10^13 - 60*c_1001_10^12 + 84*c_1001_10^11 + 50*c_1001_10^10 - 218*c_1001_10^9 + 118*c_1001_10^8 + 204*c_1001_10^7 - 310*c_1001_10^6 + 54*c_1001_10^5 + 180*c_1001_10^4 - 128*c_1001_10^3 + 8*c_1001_10^2 + 15*c_1001_10 + 25/2, c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.300 seconds, Total memory usage: 32.09MB