Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 1764292013] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2330 geometric_solution 5.71787801 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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.472271215757 0.306593399170 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 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.038100373697 0.660457360334 1 4 3 5 0132 0132 3012 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 -1 0 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 1.086145795376 0.876750609042 5 2 4 1 3201 1230 1023 0132 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 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.086145795376 0.876750609042 4 2 3 4 3201 0132 1023 2310 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 1 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 -0.028816694575 0.775425474339 6 6 2 3 0132 3201 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 -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.516786408253 1.179843318761 5 6 5 6 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.882873878891 0.920727069100 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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_0_6' : 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_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 27215220146140466449923045633874183131779507/1791461530343822391279\ 01232287551781246944*c_0101_3^29 - 669537661713186880519576649907454686924991259/597153843447940797093\ 00410762517260415648*c_0101_3^27 + 1686646255273345678850007552600135246190479143/11196634564648889945\ 493827017971986327934*c_0101_3^25 - 155653199354556502056640074712874731361754609245/179146153034382239\ 127901232287551781246944*c_0101_3^23 + 64233099906291865993565875059889404156787229765/2239326912929777989\ 0987654035943972655868*c_0101_3^21 - 76242769792598293726000581911415533763230689537/1492884608619851992\ 7325102690629315103912*c_0101_3^19 + 434433684437934019365566897357699835788891222345/298576921723970398\ 54650205381258630207824*c_0101_3^17 - 79902208268591887831986180648185367716689300329/2488141014366419987\ 887517115104885850652*c_0101_3^15 + 5370795771656265787099717319546383288613352739517/89573076517191119\ 563950616143775890623472*c_0101_3^13 - 7935214276701324952619096333647526295668094414223/89573076517191119\ 563950616143775890623472*c_0101_3^11 + 3557275397771052569036213528284960508016313975561/44786538258595559\ 781975308071887945311736*c_0101_3^9 - 6998619841375117304461366941359938872424303905115/17914615303438223\ 9127901232287551781246944*c_0101_3^7 + 448842092882623237538937867371436711613469647691/447865382585955597\ 81975308071887945311736*c_0101_3^5 - 4362980598024545264576187383891865648425058937/37322115215496299818\ 31275672657328775978*c_0101_3^3 + 264739825543376171303488789511621\ 802538679198/5598317282324444972746913508985993163967*c_0101_3, c_0011_0 - 1, c_0011_1 - 414020163115468402592830265052634855103/22393269129297779890\ 987654035943972655868*c_0101_3^28 + 5105571874116921036275025162754233775933/37322115215496299818312756\ 72657328775978*c_0101_3^26 - 41617327459602042475825250337470730793\ 3481/22393269129297779890987654035943972655868*c_0101_3^24 + 2441783610260234723533480938748519845031817/22393269129297779890987\ 654035943972655868*c_0101_3^22 - 8227130910943210484690185450576283\ 501316835/22393269129297779890987654035943972655868*c_0101_3^20 + 2534828003677585984661887614776144190395165/37322115215496299818312\ 75672657328775978*c_0101_3^18 - 34788733771535437513320781513827803\ 74047052/1866105760774814990915637836328664387989*c_0101_3^16 + 2614462612091418901551069799923264582392234/62203525359160499697187\ 9278776221462663*c_0101_3^14 - 442753146900672932236339617452414007\ 37209004/5598317282324444972746913508985993163967*c_0101_3^12 + 133358839264653443546756908437133361169364489/111966345646488899454\ 93827017971986327934*c_0101_3^10 - 62979383877594572256288075511352108822605819/5598317282324444972746\ 913508985993163967*c_0101_3^8 + 13397521170012297300222893017568111\ 9337223009/22393269129297779890987654035943972655868*c_0101_3^6 - 38010412982906210731913988053671142520667667/2239326912929777989098\ 7654035943972655868*c_0101_3^4 + 4202232141838022644488812652295002\ 33464416/1866105760774814990915637836328664387989*c_0101_3^2 - 55697494384199734017634927420875480219001/5598317282324444972746913\ 508985993163967, c_0011_3 - 268400048966912874764085357725020088643/49762820287328399757\ 75034230209771701304*c_0101_3^29 + 59510492515526342234383926964751867858393/1492884608619851992732510\ 2690629315103912*c_0101_3^27 - 804524141876772901640048275850948991\ 398687/14928846086198519927325102690629315103912*c_0101_3^25 + 4685827669505087711945736904446186900131437/14928846086198519927325\ 102690629315103912*c_0101_3^23 - 6523645326224740502834607366698895\ 19602275/622035253591604996971879278776221462663*c_0101_3^21 + 28518712879845026666467338353396862812443345/1492884608619851992732\ 5102690629315103912*c_0101_3^19 - 795420507450264240829901483313946\ 47223933369/14928846086198519927325102690629315103912*c_0101_3^17 + 177552850469716208077089755413095793532793601/149288460861985199273\ 25102690629315103912*c_0101_3^15 - 333469701819485370856896959416077472230071395/149288460861985199273\ 25102690629315103912*c_0101_3^13 + 498378171755132448837807368036120461173056873/149288460861985199273\ 25102690629315103912*c_0101_3^11 - 462172248643046139368496443306333531785505227/149288460861985199273\ 25102690629315103912*c_0101_3^9 + 300395520328371391025544226749819\ 18391881367/1866105760774814990915637836328664387989*c_0101_3^7 - 22187619059899056058694650842359186952743957/4976282028732839975775\ 034230209771701304*c_0101_3^5 + 10752209713871456293008089592350631\ 21025996/1866105760774814990915637836328664387989*c_0101_3^3 - 46769288631548863886991562446067022134519/1866105760774814990915637\ 836328664387989*c_0101_3, c_0011_5 + 6599623252172140365380574258965295944375/4478653825859555978\ 1975308071887945311736*c_0101_3^29 - 81221952717880127883732364167882837633931/7464423043099259963662551\ 345314657551956*c_0101_3^27 + 6562393507085681355622642922867128926\ 686195/44786538258595559781975308071887945311736*c_0101_3^25 - 37988911254549214150229218375893728216835917/4478653825859555978197\ 5308071887945311736*c_0101_3^23 + 125994818423263854569077514455901\ 002381447915/44786538258595559781975308071887945311736*c_0101_3^21 - 9431042987101314213462759784958007394171304/18661057607748149909156\ 37836328664387989*c_0101_3^19 + 10662653639618868075948031889975651\ 8812487163/7464423043099259963662551345314657551956*c_0101_3^17 - 78757029932302581701474195954273970005233721/2488141014366419987887\ 517115104885850652*c_0101_3^15 + 1326945645561198575562491056300666\ 891574714657/22393269129297779890987654035943972655868*c_0101_3^13 - 984714893993831083768236963334627189890239411/111966345646488899454\ 93827017971986327934*c_0101_3^11 + 1790584431223754863201596742466662976987885171/22393269129297779890\ 987654035943972655868*c_0101_3^9 - 1806120535803213884899543967516339024924190835/44786538258595559781\ 975308071887945311736*c_0101_3^7 + 480761755229333914531841829789744323458916249/447865382585955597819\ 75308071887945311736*c_0101_3^5 - 246044174916334245816581143148952\ 0648035243/1866105760774814990915637836328664387989*c_0101_3^3 + 313804999118524054184613011878884379610576/559831728232444497274691\ 3508985993163967*c_0101_3, c_0101_0 + 3179743750237352882626870891848528298655/8957307651719111956\ 3950616143775890623472*c_0101_3^28 - 39126805335840777363439729927342738256351/1492884608619851992732510\ 2690629315103912*c_0101_3^26 + 157944042384129625104946943960984522\ 5876417/44786538258595559781975308071887945311736*c_0101_3^24 - 18260947403212493382674006739439306396611863/8957307651719111956395\ 0616143775890623472*c_0101_3^22 + 604362423865870998078468997968249\ 23838251701/89573076517191119563950616143775890623472*c_0101_3^20 - 36029847342907971147216929286591574493547773/2985769217239703985465\ 0205381258630207824*c_0101_3^18 + 102101782110364996873077746240611\ 977324375077/29857692172397039854650205381258630207824*c_0101_3^16 - 226198597030062802513188558520066502671418539/298576921723970398546\ 50205381258630207824*c_0101_3^14 + 1266927013466813332469359761659263526304340993/89573076517191119563\ 950616143775890623472*c_0101_3^12 - 1876983995338565003350860690135620841675575117/89573076517191119563\ 950616143775890623472*c_0101_3^10 + 1692472348786196441918189878277512044902137663/89573076517191119563\ 950616143775890623472*c_0101_3^8 - 104824268699332906282702282034249136089572745/111966345646488899454\ 93827017971986327934*c_0101_3^6 + 273695916715946939721228981264265\ 89182463913/11196634564648889945493827017971986327934*c_0101_3^4 - 376002671090036591156305399377403137653315/124407050718320999394375\ 8557552442925326*c_0101_3^2 + 7861648405658801565027617582605793330\ 2906/5598317282324444972746913508985993163967, c_0101_1 + 572430314860377040564262100149679914825/99525640574656799515\ 50068460419543402608*c_0101_3^28 - 63435622390187846484849805648613382582613/1492884608619851992732510\ 2690629315103912*c_0101_3^26 + 856097514507053751858666197642101606\ 901203/14928846086198519927325102690629315103912*c_0101_3^24 - 9945808350830865890886053180592393639554947/29857692172397039854650\ 205381258630207824*c_0101_3^22 + 1104219068213007767935283226552320\ 7467576803/9952564057465679951550068460419543402608*c_0101_3^20 - 59991214088985889696673929912735946827997431/2985769217239703985465\ 0205381258630207824*c_0101_3^18 + 168310341716223903002342227382011\ 017795238879/29857692172397039854650205381258630207824*c_0101_3^16 - 374461136806972599134831774444691979917398929/298576921723970398546\ 50205381258630207824*c_0101_3^14 + 702403525689346445832967174877743466578623121/298576921723970398546\ 50205381258630207824*c_0101_3^12 - 1046905847100971586805799658379384135011246389/29857692172397039854\ 650205381258630207824*c_0101_3^10 + 963265569096422830582907067876711100826783791/298576921723970398546\ 50205381258630207824*c_0101_3^8 - 123965521250081928133546586805999\ 784927208579/7464423043099259963662551345314657551956*c_0101_3^6 + 11354745030125088802011014365339859650957929/2488141014366419987887\ 517115104885850652*c_0101_3^4 - 11018602269489009504672818804729790\ 33361184/1866105760774814990915637836328664387989*c_0101_3^2 + 50681895353804085702421163820919419133487/1866105760774814990915637\ 836328664387989, c_0101_3^30 - 74*c_0101_3^28 + 1006*c_0101_3^26 - 5913*c_0101_3^24 + 19999*c_0101_3^22 - 37309*c_0101_3^20 + 102357*c_0101_3^18 - 230115*c_0101_3^16 + 436043*c_0101_3^14 - 660383*c_0101_3^12 + 637021*c_0101_3^10 - 359724*c_0101_3^8 + 116600*c_0101_3^6 - 20768*c_0101_3^4 + 1856*c_0101_3^2 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB