Magma V2.19-8 Tue Aug 20 2013 16:14:46 on localhost [Seed = 2665415419] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s747 geometric_solution 5.27967729 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 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 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.357772376664 0.578387692611 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 1 -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 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.661154378998 0.991734811576 1 3 0 4 1230 0132 0132 2310 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 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.661154378998 0.991734811576 1 2 3 3 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.919121549983 1.014126012138 2 5 5 1 3201 0132 1023 0132 0 0 0 0 0 1 0 -1 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.271458627164 0.581584325001 5 4 4 5 3012 0132 1023 1230 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.946957898039 0.745467106603 ==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' : negation(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' : negation(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_4']), 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), '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_4']), 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_1']), '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' : negation(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' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), '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_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 25012324851337521281543878512367772126754911/3755181195593285998598\ 74792543615182794318*c_0101_5^23 - 40530142698862297730905474204427755815868683/1877590597796642999299\ 37396271807591397159*c_0101_5^22 - 414728385576800435956637884401805980820544261/187759059779664299929\ 937396271807591397159*c_0101_5^21 + 1385678330448493571231309921772687331916062576/18775905977966429992\ 9937396271807591397159*c_0101_5^20 + 3361728556531823158009093812634876505698228987/37551811955932859985\ 9874792543615182794318*c_0101_5^19 - 24662004222185071396702913157914150868717900389/3755181195593285998\ 59874792543615182794318*c_0101_5^18 + 6807113388355519306308028313877778887778651236/18775905977966429992\ 9937396271807591397159*c_0101_5^17 + 37405840052928915851776713735021642388166482120/1877590597796642999\ 29937396271807591397159*c_0101_5^16 - 28521446212088860206740338469113671624090180507/1877590597796642999\ 29937396271807591397159*c_0101_5^15 - 117549579948016037791202299433137179958490631795/375518119559328599\ 859874792543615182794318*c_0101_5^14 + 1210678509167920813904198958243762009044323131/52889875994271633783\ 08095669628382856258*c_0101_5^13 + 46848584136243893795368103606039055096792043381/1877590597796642999\ 29937396271807591397159*c_0101_5^12 - 37388347330735866687045166335577523136812569221/1877590597796642999\ 29937396271807591397159*c_0101_5^11 - 36262002571414893040385694911546551931086846250/1877590597796642999\ 29937396271807591397159*c_0101_5^10 - 388624424331650730783969072695941515797095458/187759059779664299929\ 937396271807591397159*c_0101_5^9 + 44086796003251603546137797573491725618854727368/1877590597796642999\ 29937396271807591397159*c_0101_5^8 + 36528372597440730869831355358054595993618389203/1877590597796642999\ 29937396271807591397159*c_0101_5^7 - 45710470057645834306536638406799565900013882103/3755181195593285998\ 59874792543615182794318*c_0101_5^6 - 49003958713020953647775109120961190631934653515/3755181195593285998\ 59874792543615182794318*c_0101_5^5 + 4852590774912371552980809148964114600052787707/37551811955932859985\ 9874792543615182794318*c_0101_5^4 + 4718388357569988729116575500016303171834820730/18775905977966429992\ 9937396271807591397159*c_0101_5^3 + 277338825072245893402511238202894089987600061/375518119559328599859\ 874792543615182794318*c_0101_5^2 - 249910903938189734320665343096859729088850266/187759059779664299929\ 937396271807591397159*c_0101_5 - 5773274434592945173518240104765905\ 529963282/187759059779664299929937396271807591397159, c_0011_0 - 1, c_0011_1 + 972572136108503453930859118164932489261900/18775905977966429\ 9929937396271807591397159*c_0101_5^23 - 3222334539540504780310704967013913923566477/18775905977966429992993\ 7396271807591397159*c_0101_5^22 - 320718951298085086784908113373739\ 93289570682/187759059779664299929937396271807591397159*c_0101_5^21 + 110276952898376409305526178486503066887819391/187759059779664299929\ 937396271807591397159*c_0101_5^20 + 124399398555819529216250343125299269806777527/187759059779664299929\ 937396271807591397159*c_0101_5^19 - 974544783270047179694395871461289956451712840/187759059779664299929\ 937396271807591397159*c_0101_5^18 + 595704802455718890048813607057944824116643405/187759059779664299929\ 937396271807591397159*c_0101_5^17 + 2919818503582069279619253062990350593026049970/18775905977966429992\ 9937396271807591397159*c_0101_5^16 - 2481807047756468782895355031833898283572403808/18775905977966429992\ 9937396271807591397159*c_0101_5^15 - 4526506668986888250469148640684060373909275105/18775905977966429992\ 9937396271807591397159*c_0101_5^14 + 54223689213137031274092439242690255048912452/2644493799713581689154\ 047834814191428129*c_0101_5^13 + 3535604262022866286147418782520662\ 421965564156/187759059779664299929937396271807591397159*c_0101_5^12 - 3419255983173770548135006512650821911416405026/187759059779664299\ 929937396271807591397159*c_0101_5^11 - 2661476803455743237246700056281223728720998039/18775905977966429992\ 9937396271807591397159*c_0101_5^10 + 357133380211271859517409195913468828968066678/187759059779664299929\ 937396271807591397159*c_0101_5^9 + 3473534258552745113602546061398221862777279279/18775905977966429992\ 9937396271807591397159*c_0101_5^8 + 2561610045726211961264475490902607729388114520/18775905977966429992\ 9937396271807591397159*c_0101_5^7 - 2140265291372598914401700917787099570857419244/18775905977966429992\ 9937396271807591397159*c_0101_5^6 - 1829527884197876151591539951661528768942846693/18775905977966429992\ 9937396271807591397159*c_0101_5^5 + 453723016420438735671193581748800052578035090/187759059779664299929\ 937396271807591397159*c_0101_5^4 + 383326540171162216462211378102205174624321477/187759059779664299929\ 937396271807591397159*c_0101_5^3 - 46217141437866613291779839274740273899494809/1877590597796642999299\ 37396271807591397159*c_0101_5^2 - 243319209403522783133291294287037\ 51100737375/187759059779664299929937396271807591397159*c_0101_5 + 2936150964942223836014761042099034611183181/18775905977966429992993\ 7396271807591397159, c_0011_4 + 443083222105694522829814531044536566970601/18775905977966429\ 9929937396271807591397159*c_0101_5^23 - 1420403754578855240023895864443939703549218/18775905977966429992993\ 7396271807591397159*c_0101_5^22 - 147980054895578312685648285486416\ 27395724575/187759059779664299929937396271807591397159*c_0101_5^21 + 48780443026684339899376043003764758689437311/1877590597796642999299\ 37396271807591397159*c_0101_5^20 + 62968878345463046020909182756485268637559795/1877590597796642999299\ 37396271807591397159*c_0101_5^19 - 441637949682122817064162497354119121528824458/187759059779664299929\ 937396271807591397159*c_0101_5^18 + 221965797886448230754752936321506061352719509/187759059779664299929\ 937396271807591397159*c_0101_5^17 + 1389163351729211625769692084536609444700188489/18775905977966429992\ 9937396271807591397159*c_0101_5^16 - 1021165121492655370440640154601729219322205563/18775905977966429992\ 9937396271807591397159*c_0101_5^15 - 2252084762540080264714927598515021704479530711/18775905977966429992\ 9937396271807591397159*c_0101_5^14 + 23119972613745165530946813155092045403460157/2644493799713581689154\ 047834814191428129*c_0101_5^13 + 1873757130188824144201430187871951\ 359970801485/187759059779664299929937396271807591397159*c_0101_5^12 - 1536403846844425788231578246110813423550983594/187759059779664299\ 929937396271807591397159*c_0101_5^11 - 1401183732017298654047354703183111566554048622/18775905977966429992\ 9937396271807591397159*c_0101_5^10 + 142683235607147420165669782472658988022875026/187759059779664299929\ 937396271807591397159*c_0101_5^9 + 1618285491141842862052301401965827238919904594/18775905977966429992\ 9937396271807591397159*c_0101_5^8 + 1319160701598461207292407684720370668779156199/18775905977966429992\ 9937396271807591397159*c_0101_5^7 - 941062455044783806957535215900580165637589803/187759059779664299929\ 937396271807591397159*c_0101_5^6 - 965780210074303809973457208266498931476545428/187759059779664299929\ 937396271807591397159*c_0101_5^5 + 192390441723821448291029204152517535522336000/187759059779664299929\ 937396271807591397159*c_0101_5^4 + 208775208158248243943241147885410832362678625/187759059779664299929\ 937396271807591397159*c_0101_5^3 - 21145699337938348926781883645445173102566605/1877590597796642999299\ 37396271807591397159*c_0101_5^2 - 137269917148507627073373564809230\ 92819907524/187759059779664299929937396271807591397159*c_0101_5 + 1676945482579685642871285633363523931876654/18775905977966429992993\ 7396271807591397159, c_0101_0 - 1948244338362992491863949373001701337199806/1877590597796642\ 99929937396271807591397159*c_0101_5^23 + 6735306287390621482522190238737942568950480/18775905977966429992993\ 7396271807591397159*c_0101_5^22 + 631589180865681743897844809145754\ 36991798525/187759059779664299929937396271807591397159*c_0101_5^21 - 229532288216642520453906277542907050478343667/187759059779664299929\ 937396271807591397159*c_0101_5^20 - 212552519715764655360702942375555728877274337/187759059779664299929\ 937396271807591397159*c_0101_5^19 + 1967203270729570575604514758936517176253842866/18775905977966429992\ 9937396271807591397159*c_0101_5^18 - 1482214545676698025971264502875486285886999397/18775905977966429992\ 9937396271807591397159*c_0101_5^17 - 5513302255134123893407569744269081488678923450/18775905977966429992\ 9937396271807591397159*c_0101_5^16 + 5619155961733109064605077023904567152671237424/18775905977966429992\ 9937396271807591397159*c_0101_5^15 + 7987405575341912841936854480817558063350819651/18775905977966429992\ 9937396271807591397159*c_0101_5^14 - 118195904474432777302300526699992155892572954/264449379971358168915\ 4047834814191428129*c_0101_5^13 - 559397762184536099095852029578295\ 8503867253905/187759059779664299929937396271807591397159*c_0101_5^1\ 2 + 7003224816458464628080652558293442890591545395/1877590597796642\ 99929937396271807591397159*c_0101_5^11 + 4265393420403019997010060390846360502597818750/18775905977966429992\ 9937396271807591397159*c_0101_5^10 - 860587814959886958370483241131459186402835413/187759059779664299929\ 937396271807591397159*c_0101_5^9 - 6779624359766900612389034342821308822167617453/18775905977966429992\ 9937396271807591397159*c_0101_5^8 - 4247289410953665717790386312265486286532879366/18775905977966429992\ 9937396271807591397159*c_0101_5^7 + 4519130690805265896317859767437825288847233218/18775905977966429992\ 9937396271807591397159*c_0101_5^6 + 2930879311534595356974130332354352114346479835/18775905977966429992\ 9937396271807591397159*c_0101_5^5 - 1001467155583796689691522123360391077382136694/18775905977966429992\ 9937396271807591397159*c_0101_5^4 - 584716690616301702637812301163084938552801818/187759059779664299929\ 937396271807591397159*c_0101_5^3 + 90965665806065298183017464612688893547976124/1877590597796642999299\ 37396271807591397159*c_0101_5^2 + 340083824927958001528201154548705\ 14767376136/187759059779664299929937396271807591397159*c_0101_5 - 4037462682096805027347151890023325442700209/18775905977966429992993\ 7396271807591397159, c_0101_1 - 222562950306589357148755605599247404522053/18775905977966429\ 9929937396271807591397159*c_0101_5^23 + 764854318197616611433662538234948277573217/187759059779664299929937\ 396271807591397159*c_0101_5^22 + 7238846381056462946947790903696567\ 497161281/187759059779664299929937396271807591397159*c_0101_5^21 - 26101666126011281249885164614171941623228708/1877590597796642999299\ 37396271807591397159*c_0101_5^20 - 25071189414181204073378413142906146008421187/1877590597796642999299\ 37396271807591397159*c_0101_5^19 + 225199335276364830674941189741190399822826562/187759059779664299929\ 937396271807591397159*c_0101_5^18 - 164026393637347617154026198319418088914796175/187759059779664299929\ 937396271807591397159*c_0101_5^17 - 641292079049483511294403153297821543924131890/187759059779664299929\ 937396271807591397159*c_0101_5^16 + 636319430319517692395272484923682308494739450/187759059779664299929\ 937396271807591397159*c_0101_5^15 + 945988320470692894903320225822680645485332694/187759059779664299929\ 937396271807591397159*c_0101_5^14 - 13590529771773138779541164160310089350854865/2644493799713581689154\ 047834814191428129*c_0101_5^13 - 6852701899021871643224197395425534\ 46552842813/187759059779664299929937396271807591397159*c_0101_5^12 + 821762843163033788790667640909704822056333821/187759059779664299929\ 937396271807591397159*c_0101_5^11 + 518828870700290544324928860785732381869859792/187759059779664299929\ 937396271807591397159*c_0101_5^10 - 114451852556897749878970688505524831597007631/187759059779664299929\ 937396271807591397159*c_0101_5^9 - 789022875946457657567146076891917701676168856/187759059779664299929\ 937396271807591397159*c_0101_5^8 - 498706504522921250372855949037877042917918459/187759059779664299929\ 937396271807591397159*c_0101_5^7 + 532836106279055419523707495824294794659113806/187759059779664299929\ 937396271807591397159*c_0101_5^6 + 359014738752683050861767512213631999686266105/187759059779664299929\ 937396271807591397159*c_0101_5^5 - 124923332084635557784088032943143370876660661/187759059779664299929\ 937396271807591397159*c_0101_5^4 - 77575766000543162194592483920881196114323666/1877590597796642999299\ 37396271807591397159*c_0101_5^3 + 117629382376842597715552032357981\ 60072574787/187759059779664299929937396271807591397159*c_0101_5^2 + 5249637379680681401098186106036067619976439/18775905977966429992993\ 7396271807591397159*c_0101_5 - 586306930986122314631409362575808879\ 843475/187759059779664299929937396271807591397159, c_0101_5^24 - 3*c_0101_5^23 - 34*c_0101_5^22 + 103*c_0101_5^21 + 163*c_0101_5^20 - 960*c_0101_5^19 + 299*c_0101_5^18 + 3179*c_0101_5^17 - 1591*c_0101_5^16 - 5423*c_0101_5^15 + 2436*c_0101_5^14 + 4849*c_0101_5^13 - 2287*c_0101_5^12 - 3841*c_0101_5^11 - 554*c_0101_5^10 + 3688*c_0101_5^9 + 3770*c_0101_5^8 - 1329*c_0101_5^7 - 2570*c_0101_5^6 - 170*c_0101_5^5 + 540*c_0101_5^4 + 90*c_0101_5^3 - 40*c_0101_5^2 - 6*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB