Magma V2.19-8 Tue Aug 20 2013 16:14:16 on localhost [Seed = 2682127295] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s240 geometric_solution 4.40150941 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 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.518999904159 0.188249310378 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 -1 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 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 1.225613122406 0.312616359375 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.686923072012 0.610081524748 2 5 4 4 0132 0132 1302 2031 0 0 0 0 0 0 0 0 1 0 -1 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404964371428 0.431542273556 3 3 2 5 2031 1302 0132 0132 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 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.404964371428 0.431542273556 5 3 4 5 3201 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.329306246846 1.128268666213 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_0011_4, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 1145143412469826399255033863379/2007892139110887595273074408*c_0101\ _5^20 + 612307007403467790166724910443/167324344925907299606089534*\ c_0101_5^19 - 5869082480473519972156818058045/334648689851814599212\ 179068*c_0101_5^18 - 9747413458051992053327621714845/25098651738886\ 0949409134301*c_0101_5^17 + 42739610023706045332865195725599/334648\ 689851814599212179068*c_0101_5^16 + 91949762099500672779707840148869/334648689851814599212179068*c_0101\ _5^15 - 1527103802149955378310255374045185/200789213911088759527307\ 4408*c_0101_5^14 - 158602026253748702866531799260889/25098651738886\ 0949409134301*c_0101_5^13 + 1230392503690800428119377052364633/5019\ 73034777721898818268602*c_0101_5^12 - 147956451025976210301047746361623/2007892139110887595273074408*c_01\ 01_5^11 - 3712493353931327852687165608394183/1003946069555443797636\ 537204*c_0101_5^10 + 706836154993721298593838574832201/501973034777\ 721898818268602*c_0101_5^9 + 2811978998927920355997116889173261/100\ 3946069555443797636537204*c_0101_5^8 - 106451401889582311282881465921097/83662172462953649803044767*c_0101\ _5^7 - 2118170656007105828872323960259897/2007892139110887595273074\ 408*c_0101_5^6 + 445528668497738377171899282529843/1003946069555443\ 797636537204*c_0101_5^5 + 95169593635950867515893841789223/66929737\ 9703629198424358136*c_0101_5^4 - 13873240192702917674827869093913/1\ 67324344925907299606089534*c_0101_5^3 + 19495370873973681176243789603/6255115698164758863779048*c_0101_5^2 + 15362567496809515567221980025967/2007892139110887595273074408*c_010\ 1_5 - 523837283631825283803688074817/501973034777721898818268602, c_0011_0 - 1, c_0011_1 + 1070528242570035754423163274/83662172462953649803044767*c_01\ 01_5^20 + 6872856718237658437361462726/83662172462953649803044767*c\ _0101_5^19 - 32890441236260273391355837726/836621724629536498030447\ 67*c_0101_5^18 - 72996417206758548349487036495/83662172462953649803\ 044767*c_0101_5^17 + 239300082234020874820578923117/836621724629536\ 49803044767*c_0101_5^16 + 516504453236322653819433635161/8366217246\ 2953649803044767*c_0101_5^15 - 1424517256594292748396223820576/8366\ 2172462953649803044767*c_0101_5^14 - 1190524964157582760604219633656/83662172462953649803044767*c_0101_5\ ^13 + 4589239620535962245099324956709/83662172462953649803044767*c_\ 0101_5^12 - 118822354058791659937517356857/836621724629536498030447\ 67*c_0101_5^11 - 6922660591105659170942055745573/836621724629536498\ 03044767*c_0101_5^10 + 2596326703450037658578839064529/836621724629\ 53649803044767*c_0101_5^9 + 5253647754513637301909088425683/8366217\ 2462953649803044767*c_0101_5^8 - 2337556300690423381881466545242/83\ 662172462953649803044767*c_0101_5^7 - 1993502099708814270352001406533/83662172462953649803044767*c_0101_5\ ^6 + 811145700918102415238752494900/83662172462953649803044767*c_01\ 01_5^5 + 275735327215589010321655560375/83662172462953649803044767*\ c_0101_5^4 - 153201263190387527152855456468/83662172462953649803044\ 767*c_0101_5^3 + 39172544872629239884851686/78188946227059485797238\ 1*c_0101_5^2 + 14594227315772831079318639640/8366217246295364980304\ 4767*c_0101_5 - 1905278869565561293626277310/8366217246295364980304\ 4767, c_0011_4 - 1083160419890946587522909699/83662172462953649803044767*c_01\ 01_5^20 - 7067693589310877213929309317/83662172462953649803044767*c\ _0101_5^19 + 32609760970872060686276617744/836621724629536498030447\ 67*c_0101_5^18 + 77710797202395689943022134329/83662172462953649803\ 044767*c_0101_5^17 - 236465003644432709591866709112/836621724629536\ 49803044767*c_0101_5^16 - 551000611434301946894500166383/8366217246\ 2953649803044767*c_0101_5^15 + 1401955228860071890401444050027/8366\ 2172462953649803044767*c_0101_5^14 + 1376610752115067648372533502732/83662172462953649803044767*c_0101_5\ ^13 - 4610994808019243943485857974059/83662172462953649803044767*c_\ 0101_5^12 - 381482047708766332894136860414/836621724629536498030447\ 67*c_0101_5^11 + 7290503521065598684578122855178/836621724629536498\ 03044767*c_0101_5^10 - 2056598265261279930809622903666/836621724629\ 53649803044767*c_0101_5^9 - 5898624535803429045344903671761/8366217\ 2462953649803044767*c_0101_5^8 + 2136898867141249493510536548118/83\ 662172462953649803044767*c_0101_5^7 + 2382125041557848265698878358775/83662172462953649803044767*c_0101_5\ ^6 - 816242293245104836825365613357/83662172462953649803044767*c_01\ 01_5^5 - 362796616579111157551188174987/83662172462953649803044767*\ c_0101_5^4 + 173724805585672808045411954211/83662172462953649803044\ 767*c_0101_5^3 + 7983267558058270797223986/781889462270594857972381\ *c_0101_5^2 - 17918528539009449350062599013/83662172462953649803044\ 767*c_0101_5 + 2182579003856775958204294040/83662172462953649803044\ 767, c_0101_0 + 6189058964602649414475805139/83662172462953649803044767*c_01\ 01_5^20 + 39960951904368506709512649349/83662172462953649803044767*\ c_0101_5^19 - 188810186577684486938703267276/8366217246295364980304\ 4767*c_0101_5^18 - 429646720737165249495962949854/83662172462953649\ 803044767*c_0101_5^17 + 1372075793595663255347495771651/83662172462\ 953649803044767*c_0101_5^16 + 3041857290414051743885222095795/83662\ 172462953649803044767*c_0101_5^15 - 8156358212986121610257786398887/83662172462953649803044767*c_0101_5\ ^14 - 7219791929815074905627231111804/83662172462953649803044767*c_\ 0101_5^13 + 26463612758409963366189004564821/8366217246295364980304\ 4767*c_0101_5^12 + 287810181620662074961203019656/83662172462953649\ 803044767*c_0101_5^11 - 40569603081889944784565026655345/8366217246\ 2953649803044767*c_0101_5^10 + 13925185702636268529960608468173/836\ 62172462953649803044767*c_0101_5^9 + 31462888443127239686672952326082/83662172462953649803044767*c_0101_\ 5^8 - 13096920174153746594541448280759/83662172462953649803044767*c\ _0101_5^7 - 12164035321458867065514928587306/8366217246295364980304\ 4767*c_0101_5^6 + 4679714610491465780193156176570/83662172462953649\ 803044767*c_0101_5^5 + 1721984505886487795869891267777/836621724629\ 53649803044767*c_0101_5^4 - 914249595318354238496496362205/83662172\ 462953649803044767*c_0101_5^3 + 170258897803822117008337800/7818894\ 62270594857972381*c_0101_5^2 + 88346607072277150308125667975/836621\ 72462953649803044767*c_0101_5 - 11180393408280225188049592086/83662\ 172462953649803044767, c_0101_2 + 2886616260307739292621586014/83662172462953649803044767*c_01\ 01_5^20 + 18655618778466666965523771163/83662172462953649803044767*\ c_0101_5^19 - 87957641380368317097706494758/83662172462953649803044\ 767*c_0101_5^18 - 200979690893247876841556235774/836621724629536498\ 03044767*c_0101_5^17 + 639016890144205142737140819178/8366217246295\ 3649803044767*c_0101_5^16 + 1423121438325769650653139306429/8366217\ 2462953649803044767*c_0101_5^15 - 3797677430194177613170368676421/8\ 3662172462953649803044767*c_0101_5^14 - 3393883296578849965940603598446/83662172462953649803044767*c_0101_5\ ^13 + 12335195834750212433464930076243/83662172462953649803044767*c\ _0101_5^12 + 213654384904979512416971716550/83662172462953649803044\ 767*c_0101_5^11 - 18959547899099556298845454734105/8366217246295364\ 9803044767*c_0101_5^10 + 6396909446763110686201500196769/8366217246\ 2953649803044767*c_0101_5^9 + 14760725959921777393755890713135/8366\ 2172462953649803044767*c_0101_5^8 - 6059222467504466269365545377196/83662172462953649803044767*c_0101_5\ ^7 - 5732997447611438797713826593128/83662172462953649803044767*c_0\ 101_5^6 + 2174929631090187956400913697191/8366217246295364980304476\ 7*c_0101_5^5 + 818869696935691520981205215413/836621724629536498030\ 44767*c_0101_5^4 - 428345381322660439803455904933/83662172462953649\ 803044767*c_0101_5^3 + 68577339461543638670065124/78188946227059485\ 7972381*c_0101_5^2 + 41785245193761189952303020612/8366217246295364\ 9803044767*c_0101_5 - 5252744817097668108445444155/8366217246295364\ 9803044767, c_0101_5^21 + 7*c_0101_5^20 - 27*c_0101_5^19 - 86*c_0101_5^18 + 184*c_0101_5^17 + 612*c_0101_5^16 - 1051*c_0101_5^15 - 1883*c_0101_5^14 + 3643*c_0101_5^13 + 2371*c_0101_5^12 - 6533*c_0101_5^11 - 1313*c_0101_5^10 + 6312*c_0101_5^9 + 646*c_0101_5^8 - 3121*c_0101_5^7 - 311*c_0101_5^6 + 692*c_0101_5^5 + 3*c_0101_5^4 - 78*c_0101_5^3 + 16*c_0101_5^2 + 6*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB