Magma V2.19-8 Tue Aug 20 2013 16:14:26 on localhost [Seed = 4139215607] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s430 geometric_solution 4.73334651 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 1 3 0132 0132 2310 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 -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.692082997539 0.889397239578 0 0 1 1 0132 3201 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 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 0 1 -1 0 0 1 -1 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.389470465204 0.226552895746 3 0 3 4 3120 0132 3012 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 -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 0.716908064102 0.707226717550 4 2 0 2 1023 1230 0132 3120 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 -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.716908064102 0.707226717550 5 3 2 5 0132 1023 0132 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 -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 1.002614047310 0.378042141635 4 5 5 4 0132 3201 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 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 1.162237462680 0.248597951459 ==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' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], '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_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], '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_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 46762052429453836465764833070702910981269199/1257927648336564747355\ 0794139146543433649615*c_0101_5^24 + 22195324469870718031153293995558574080827822/1797039497623663924792\ 970591306649061949945*c_0101_5^23 - 1870773291815240669982012621374181892664568382/12579276483365647473\ 550794139146543433649615*c_0101_5^22 + 2285995500596771160359001293303214919250877177/12579276483365647473\ 550794139146543433649615*c_0101_5^21 + 6921391914033093048384568891001265005219371297/12579276483365647473\ 550794139146543433649615*c_0101_5^20 - 20013274386516482735050174456937482260364843339/1257927648336564747\ 3550794139146543433649615*c_0101_5^19 + 6287359766117025825214166857629921434985541297/12579276483365647473\ 550794139146543433649615*c_0101_5^18 + 5255086404511124790193852137952898508231457316/17970394976236639247\ 92970591306649061949945*c_0101_5^17 - 12004269175460658370972444424959195115927297547/2515855296673129494\ 710158827829308686729923*c_0101_5^16 + 2681433354808181120358523550146007419015985327/12579276483365647473\ 550794139146543433649615*c_0101_5^15 + 125365675220280851286334365274515877925651845308/125792764833656474\ 73550794139146543433649615*c_0101_5^14 + 17495290587989804876039630652112274865051074263/1257927648336564747\ 3550794139146543433649615*c_0101_5^13 - 4547541908372659730537194670311665406383668107/12579276483365647473\ 550794139146543433649615*c_0101_5^12 + 80291646871861112423830649149498345183140255652/1257927648336564747\ 3550794139146543433649615*c_0101_5^11 + 62732766944107305533454429389530627606540336879/1257927648336564747\ 3550794139146543433649615*c_0101_5^10 + 9380453789126368091767152271220831021795876579/12579276483365647473\ 550794139146543433649615*c_0101_5^9 + 6267113076439694094205500211781040754302020474/12579276483365647473\ 550794139146543433649615*c_0101_5^8 + 6986501985794533530909761238148683358956578013/25158552966731294947\ 10158827829308686729923*c_0101_5^7 + 41757122206466774702393198456086924945721818067/1257927648336564747\ 3550794139146543433649615*c_0101_5^6 + 27579123635634253630578389329718383787448892567/1257927648336564747\ 3550794139146543433649615*c_0101_5^5 + 12016043720055242594136519198363011703478537393/1257927648336564747\ 3550794139146543433649615*c_0101_5^4 + 3010841466135821141465383321028875832015809078/12579276483365647473\ 550794139146543433649615*c_0101_5^3 - 10390573049294086474241519879816380062006134/2515855296673129494710\ 158827829308686729923*c_0101_5^2 - 13371634599134274082040873561947317186356885/3594078995247327849585\ 94118261329812389989*c_0101_5 - 24314049877944948428817394691000552\ 4215763868/12579276483365647473550794139146543433649615, c_0011_0 - 1, c_0011_3 + 45886412298423880752596381854691819408697/359407899524732784\ 958594118261329812389989*c_0101_5^24 + 136841611033753359322296020997372907621600/359407899524732784958594\ 118261329812389989*c_0101_5^23 - 1891748787242342143602444350823787\ 735517899/359407899524732784958594118261329812389989*c_0101_5^22 + 2857632222419801782091412969765316473718824/35940789952473278495859\ 4118261329812389989*c_0101_5^21 + 620595728456590309744078905053720\ 5140758945/359407899524732784958594118261329812389989*c_0101_5^20 - 22285281342783125576649138775276785072890027/3594078995247327849585\ 94118261329812389989*c_0101_5^19 + 12342764320176873128414214690494001837838359/3594078995247327849585\ 94118261329812389989*c_0101_5^18 + 36477591053527662896908753350509411857163870/3594078995247327849585\ 94118261329812389989*c_0101_5^17 - 73303796547084010201554611671615230222263528/3594078995247327849585\ 94118261329812389989*c_0101_5^16 + 19121785903487309462005256637263578168880841/3594078995247327849585\ 94118261329812389989*c_0101_5^15 + 131983525641826825060411117234474704093695918/359407899524732784958\ 594118261329812389989*c_0101_5^14 - 30558611742555467800275058269527342220313371/3594078995247327849585\ 94118261329812389989*c_0101_5^13 - 23366759582608983122654769704994432334081708/3594078995247327849585\ 94118261329812389989*c_0101_5^12 + 93312771405326482882689799223125297435764007/3594078995247327849585\ 94118261329812389989*c_0101_5^11 + 34176391326266464331940359727571376773248386/3594078995247327849585\ 94118261329812389989*c_0101_5^10 - 22285436962153026125149622641461703033816009/3594078995247327849585\ 94118261329812389989*c_0101_5^9 + 800864401853464595178739252385069\ 8001220303/359407899524732784958594118261329812389989*c_0101_5^8 + 35557440240716711066255713999196582365987668/3594078995247327849585\ 94118261329812389989*c_0101_5^7 + 270271623992863401242091780165854\ 33447309757/359407899524732784958594118261329812389989*c_0101_5^6 + 11591536566810500607199465965395229278852489/3594078995247327849585\ 94118261329812389989*c_0101_5^5 + 249506638759453717446350600137496\ 3334491949/359407899524732784958594118261329812389989*c_0101_5^4 - 1043575511375049668945578592102604004578562/35940789952473278495859\ 4118261329812389989*c_0101_5^3 - 1515470553654206328993405122579666\ 21584306/359407899524732784958594118261329812389989*c_0101_5^2 - 25623197378482183080881302743484267143644/3594078995247327849585941\ 18261329812389989*c_0101_5 + 15940614522303605305135847581327187240\ 8280/359407899524732784958594118261329812389989, c_0101_0 - 96481907555132406370741593570647621373167/359407899524732784\ 958594118261329812389989*c_0101_5^24 - 339125628855275589369415094971884908864835/359407899524732784958594\ 118261329812389989*c_0101_5^23 + 3818607142445927672692582901788084\ 497728814/359407899524732784958594118261329812389989*c_0101_5^22 - 3913361134650448854248375772150659706949786/35940789952473278495859\ 4118261329812389989*c_0101_5^21 - 160318135744217193028551512106536\ 58763832203/359407899524732784958594118261329812389989*c_0101_5^20 + 39826281304240608857802021564186112230241605/3594078995247327849585\ 94118261329812389989*c_0101_5^19 - 2222822894174196970887122550031429712780483/35940789952473278495859\ 4118261329812389989*c_0101_5^18 - 885457823632684603491082860208104\ 16293096527/359407899524732784958594118261329812389989*c_0101_5^17 + 115006472266499654991903868703099165447442868/359407899524732784958\ 594118261329812389989*c_0101_5^16 + 35025864951009245317476518903412420758683324/3594078995247327849585\ 94118261329812389989*c_0101_5^15 - 294250418089481173910294800676554735404244675/359407899524732784958\ 594118261329812389989*c_0101_5^14 - 75173850648415247945968645350350579111787051/3594078995247327849585\ 94118261329812389989*c_0101_5^13 + 61783143781438017911650963240096427477389171/3594078995247327849585\ 94118261329812389989*c_0101_5^12 - 182714209184328234630342109663697752927267183/359407899524732784958\ 594118261329812389989*c_0101_5^11 - 167472705826868867265991657389409794193818308/359407899524732784958\ 594118261329812389989*c_0101_5^10 - 4379123694095677375324590348072979959286022/35940789952473278495859\ 4118261329812389989*c_0101_5^9 - 5560895881484298676496121401036825\ 243258062/359407899524732784958594118261329812389989*c_0101_5^8 - 81130986597498053477852786720577778192300447/3594078995247327849585\ 94118261329812389989*c_0101_5^7 - 989831874113280909227620693153596\ 39590009439/359407899524732784958594118261329812389989*c_0101_5^6 - 58081705200628240378479963541395341306181256/3594078995247327849585\ 94118261329812389989*c_0101_5^5 - 230418508003445636116940322446650\ 99984336767/359407899524732784958594118261329812389989*c_0101_5^4 - 7160359019834105182699053930294407018131455/35940789952473278495859\ 4118261329812389989*c_0101_5^3 - 5901492472105105856883575359720192\ 25915376/359407899524732784958594118261329812389989*c_0101_5^2 + 668562557184010525113949206484096647598405/359407899524732784958594\ 118261329812389989*c_0101_5 + 5434054314790633552027113859585924699\ 37630/359407899524732784958594118261329812389989, c_0101_1 - 43734812400900046411639124402667592319969/359407899524732784\ 958594118261329812389989*c_0101_5^24 - 121299193368225850026712214425419196141273/359407899524732784958594\ 118261329812389989*c_0101_5^23 + 1827978462070999681407737827590914\ 501164385/359407899524732784958594118261329812389989*c_0101_5^22 - 3110250742578536520996277781176078699450328/35940789952473278495859\ 4118261329812389989*c_0101_5^21 - 525857937616349596550872240464842\ 3446497630/359407899524732784958594118261329812389989*c_0101_5^20 + 22486738485574034466915701149686271669560963/3594078995247327849585\ 94118261329812389989*c_0101_5^19 - 16931513426811098900501614560081853536570834/3594078995247327849585\ 94118261329812389989*c_0101_5^18 - 31105112050531716559459658838459036648672078/3594078995247327849585\ 94118261329812389989*c_0101_5^17 + 78151729214913741322721757705050759464679550/3594078995247327849585\ 94118261329812389989*c_0101_5^16 - 38030725459583362191569461211981634260599209/3594078995247327849585\ 94118261329812389989*c_0101_5^15 - 116441092421193390298779474629574695661537143/359407899524732784958\ 594118261329812389989*c_0101_5^14 + 58489846759163244959697010418605774983094765/3594078995247327849585\ 94118261329812389989*c_0101_5^13 + 692390011579005253232473735625577331836630/359407899524732784958594\ 118261329812389989*c_0101_5^12 - 8956586035346185179591289600260676\ 4224346635/359407899524732784958594118261329812389989*c_0101_5^11 - 10847157682084183498338207594545792538331358/3594078995247327849585\ 94118261329812389989*c_0101_5^10 + 16452876094132129244653653309408751726231550/3594078995247327849585\ 94118261329812389989*c_0101_5^9 - 135736805594413750605773530454626\ 54029622398/359407899524732784958594118261329812389989*c_0101_5^8 - 30854359677538765105644130575658801925848186/3594078995247327849585\ 94118261329812389989*c_0101_5^7 - 208509186167901585936904426710530\ 90197720905/359407899524732784958594118261329812389989*c_0101_5^6 - 8952614677649692755646693134478236782086655/35940789952473278495859\ 4118261329812389989*c_0101_5^5 - 1280246610445489253115611032650963\ 754442344/359407899524732784958594118261329812389989*c_0101_5^4 - 765474347204335822463936040358944820503392/359407899524732784958594\ 118261329812389989*c_0101_5^3 - 96641803798900992221027347390212239\ 0198911/359407899524732784958594118261329812389989*c_0101_5^2 - 330220529580675946943823959116405633846588/359407899524732784958594\ 118261329812389989*c_0101_5 - 9548805139237638589641311901263239551\ 7769/359407899524732784958594118261329812389989, c_0101_4 - 24888869103205161165419450273418957325850/359407899524732784\ 958594118261329812389989*c_0101_5^24 - 66991793877127825797694750926083021529023/3594078995247327849585941\ 18261329812389989*c_0101_5^23 + 10450802395548006585243021149651621\ 15688990/359407899524732784958594118261329812389989*c_0101_5^22 - 1856429306390810107164846242117176611797921/35940789952473278495859\ 4118261329812389989*c_0101_5^21 - 280990482624431820724002430954303\ 3648120133/359407899524732784958594118261329812389989*c_0101_5^20 + 12934245527526716873463978453465523938223592/3594078995247327849585\ 94118261329812389989*c_0101_5^19 - 10673099543817804679774229802709300770870486/3594078995247327849585\ 94118261329812389989*c_0101_5^18 - 16438984003723464079620831910660220751693392/3594078995247327849585\ 94118261329812389989*c_0101_5^17 + 45052979475307551469801160777312434828866683/3594078995247327849585\ 94118261329812389989*c_0101_5^16 - 25096542426447488648716467386879752209275970/3594078995247327849585\ 94118261329812389989*c_0101_5^15 - 62945048050831080298400658962169298156970567/3594078995247327849585\ 94118261329812389989*c_0101_5^14 + 36405309508365225550665402882696090208165257/3594078995247327849585\ 94118261329812389989*c_0101_5^13 - 2731132255552001664181298242537087235250179/35940789952473278495859\ 4118261329812389989*c_0101_5^12 - 488364166978786354046821586490165\ 02012220969/359407899524732784958594118261329812389989*c_0101_5^11 - 3034283295871306553300989499648555518532426/35940789952473278495859\ 4118261329812389989*c_0101_5^10 + 866558781741696589584662943569105\ 0910977992/359407899524732784958594118261329812389989*c_0101_5^9 - 7687583967145215699416107537070190899841408/35940789952473278495859\ 4118261329812389989*c_0101_5^8 - 1636368730393505111714632657263453\ 6482678470/359407899524732784958594118261329812389989*c_0101_5^7 - 11090636225128896774423936702215349837975850/3594078995247327849585\ 94118261329812389989*c_0101_5^6 - 445939195211994060730824382802280\ 4633827700/359407899524732784958594118261329812389989*c_0101_5^5 - 412561883960610149033766432976658812478006/359407899524732784958594\ 118261329812389989*c_0101_5^4 + 27559550728277846623429038486625390\ 674565/359407899524732784958594118261329812389989*c_0101_5^3 - 104647014543018141871548411708268463835279/359407899524732784958594\ 118261329812389989*c_0101_5^2 - 65820473316020553579047491900892989\ 3877642/359407899524732784958594118261329812389989*c_0101_5 - 47603850879584023076279140864066212718083/3594078995247327849585941\ 18261329812389989, c_0101_5^25 + 3*c_0101_5^24 - 41*c_0101_5^23 + 62*c_0101_5^22 + 129*c_0101_5^21 - 470*c_0101_5^20 + 281*c_0101_5^19 + 704*c_0101_5^18 - 1504*c_0101_5^17 + 518*c_0101_5^16 + 2528*c_0101_5^15 - 409*c_0101_5^14 - 39*c_0101_5^13 + 1652*c_0101_5^12 + 822*c_0101_5^11 - 97*c_0101_5^10 + 83*c_0101_5^9 + 697*c_0101_5^8 + 673*c_0101_5^7 + 349*c_0101_5^6 + 103*c_0101_5^5 + c_0101_5^4 - 16*c_0101_5^3 - 10*c_0101_5^2 - 2*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB