Magma V2.19-8 Tue Aug 20 2013 16:14:49 on localhost [Seed = 610646091] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s794 geometric_solution 5.33722977 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 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.379912829362 0.271512038828 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 -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.877787721146 0.973655902920 1 4 5 3 0132 0132 0132 2310 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 -1 0 1 1 0 -1 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.112532472870 0.916506346025 2 5 4 1 3201 0132 3201 0132 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 0 0 0 1 0 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.112532472870 0.916506346025 3 2 4 4 2310 0132 2031 1302 0 0 0 0 0 1 0 -1 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 1 0 -1 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.674401336409 1.296587071871 5 3 5 2 2310 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.131980074792 1.074894854888 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], '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_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_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_1'], '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_0'], 'c_1001_4' : negation(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_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : 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_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 395257461560979602211530429541971174920964374741/360764103396860573\ 6655539990613500688133997824*c_0101_4^25 + 696804881541836633800343419275863448742530242219/180382051698430286\ 8327769995306750344066998912*c_0101_4^24 - 199844211761920529012786121887275124841673196117/225477564623037858\ 540971249413343793008374864*c_0101_4^23 - 13070963712791985843925207097551792946236877030425/3607641033968605\ 736655539990613500688133997824*c_0101_4^22 - 13329346715574486054307561942704957534625149721447/9019102584921514\ 34163884997653375172033499456*c_0101_4^21 - 20619487409423768182553418477746702321634274806029/9019102584921514\ 34163884997653375172033499456*c_0101_4^20 - 196786465846016004790793155564552017408836052521397/360764103396860\ 5736655539990613500688133997824*c_0101_4^19 - 127151490757338838277725240221870740024761110144105/360764103396860\ 5736655539990613500688133997824*c_0101_4^18 - 55905878775407131246013596781175027251099568657751/4509551292460757\ 17081942498826687586016749728*c_0101_4^17 - 83581040155685583804255886278659245328163544853441/3607641033968605\ 736655539990613500688133997824*c_0101_4^16 + 9967721589602764568929310452626257011773745033643/22547756462303785\ 8540971249413343793008374864*c_0101_4^15 - 234474106110818861987679549683558916596850611622717/360764103396860\ 5736655539990613500688133997824*c_0101_4^14 + 1650252193392698409505447990531858781072136309470569/36076410339686\ 05736655539990613500688133997824*c_0101_4^13 - 200855645153274300684634586899092362485965223836085/360764103396860\ 5736655539990613500688133997824*c_0101_4^12 + 2428280459138734809428810512239192485102346976631767/36076410339686\ 05736655539990613500688133997824*c_0101_4^11 + 4518477921761465529751742130057229891414592624379/45095512924607571\ 7081942498826687586016749728*c_0101_4^10 + 1839021985184149733592239195667115920380665682351269/36076410339686\ 05736655539990613500688133997824*c_0101_4^9 - 993787384285751033980719541406384075875978048113765/360764103396860\ 5736655539990613500688133997824*c_0101_4^8 + 27588818975022364184115958398762064969519419566283/2254775646230378\ 58540971249413343793008374864*c_0101_4^7 + 840441035426209234649908626927874777569437913281/225477564623037858\ 540971249413343793008374864*c_0101_4^6 - 385242106237550138685977751907429471555224522920763/360764103396860\ 5736655539990613500688133997824*c_0101_4^5 + 12910112314509585124835127950397309749449816508561/1803820516984302\ 868327769995306750344066998912*c_0101_4^4 - 5915117243670761658421346283211424699746546167543/90191025849215143\ 4163884997653375172033499456*c_0101_4^3 + 9814395376567757265632400926069526052211996149743/36076410339686057\ 36655539990613500688133997824*c_0101_4^2 + 2305473956905997322217900116253214808981175008503/18038205169843028\ 68327769995306750344066998912*c_0101_4 + 606597666853111958292735463585130999120882463463/360764103396860573\ 6655539990613500688133997824, c_0011_0 - 1, c_0011_1 - 3225276072837937909024883973895982222363/3735785964109489443\ 548127872910061621888*c_0101_4^25 - 6152812621734482893334320676245383887241/18678929820547447217740639\ 36455030810944*c_0101_4^24 + 57407304457794898944196532420206111139\ 45/933946491027372360887031968227515405472*c_0101_4^23 + 114787864070771181822889458928594980273751/373578596410948944354812\ 7872910061621888*c_0101_4^22 + 145190337433308022244120245385059173\ 56287/116743311378421545110878996028439425684*c_0101_4^21 + 99198479086837703823748160888400560426057/4669732455136861804435159\ 84113757702736*c_0101_4^20 + 17786117956908309265549570295339257651\ 12503/3735785964109489443548127872910061621888*c_0101_4^19 + 1468716985860797459750034919693482707374283/37357859641094894435481\ 27872910061621888*c_0101_4^18 + 48362060709129417848688186744501254\ 3253851/466973245513686180443515984113757702736*c_0101_4^17 + 1687722592754897408877512580714370080500607/37357859641094894435481\ 27872910061621888*c_0101_4^16 - 16103490222468028406993879201281918\ 1913983/466973245513686180443515984113757702736*c_0101_4^15 + 1506181952619964719063531175991006077924143/37357859641094894435481\ 27872910061621888*c_0101_4^14 - 12844351469890597789452385806090805\ 258409399/3735785964109489443548127872910061621888*c_0101_4^13 - 2357558498775847867826080476672727110951029/37357859641094894435481\ 27872910061621888*c_0101_4^12 - 18650882851819786708880643500021575\ 739607309/3735785964109489443548127872910061621888*c_0101_4^11 - 1532200298504052220308427732574022959182977/93394649102737236088703\ 1968227515405472*c_0101_4^10 - 140796989434618528619342521622748824\ 34095555/3735785964109489443548127872910061621888*c_0101_4^9 + 3757376984160503262244522194268523178099079/37357859641094894435481\ 27872910061621888*c_0101_4^8 - 123449192975861414781508266913752363\ 978995/933946491027372360887031968227515405472*c_0101_4^7 - 198074134692489793228773577779483131206809/466973245513686180443515\ 984113757702736*c_0101_4^6 + 32943860734745796796294468026709772154\ 78361/3735785964109489443548127872910061621888*c_0101_4^5 + 346582108507567221673990150182523545229017/186789298205474472177406\ 3936455030810944*c_0101_4^4 - 9479766541193057782232125952191373478\ 001/933946491027372360887031968227515405472*c_0101_4^3 - 12566966239798130927041412046264521242633/3735785964109489443548127\ 872910061621888*c_0101_4^2 - 37366971821378640687288305158755495131\ 393/1867892982054744721774063936455030810944*c_0101_4 - 10902799511716625997646595055613243681397/3735785964109489443548127\ 872910061621888, c_0011_3 + 4202571757933457394308490982165425894551693427/3607641033968\ 605736655539990613500688133997824*c_0101_4^25 + 405923047556081673950441810377823494495139921/112738782311518929270\ 485624706671896504187432*c_0101_4^24 - 20120047035761466853068126672666903944079171591/1803820516984302868\ 327769995306750344066998912*c_0101_4^23 - 123456940112550183096484572932310997473122947981/360764103396860573\ 6655539990613500688133997824*c_0101_4^22 - 63502804840227642404805030970422841872138712979/4509551292460757170\ 81942498826687586016749728*c_0101_4^21 - 39824723849381787360557653952754612743448621249/2254775646230378585\ 40971249413343793008374864*c_0101_4^20 - 1738766455761065274953982503933212631510780306231/36076410339686057\ 36655539990613500688133997824*c_0101_4^19 - 486546649614532246872161862030967053149842145457/360764103396860573\ 6655539990613500688133997824*c_0101_4^18 - 534015203627161388519981730168614546567499691169/450955129246075717\ 081942498826687586016749728*c_0101_4^17 + 1104716836266042707155060140356850225860940226057/36076410339686057\ 36655539990613500688133997824*c_0101_4^16 + 922771049452618392396605892151062464517229795401/180382051698430286\ 8327769995306750344066998912*c_0101_4^15 - 3297551609268002466475092600253158725748743535089/36076410339686057\ 36655539990613500688133997824*c_0101_4^14 + 18705666976761790615219282063075962597147169823315/3607641033968605\ 736655539990613500688133997824*c_0101_4^13 - 9890513176512223478136386219458788668955378178865/36076410339686057\ 36655539990613500688133997824*c_0101_4^12 + 27579959023254623784818011046720993335080742636485/3607641033968605\ 736655539990613500688133997824*c_0101_4^11 - 5436638976865460972783525382460061325145570867981/18038205169843028\ 68327769995306750344066998912*c_0101_4^10 + 20616810247112906593614689142816459400388852545121/3607641033968605\ 736655539990613500688133997824*c_0101_4^9 - 18913033269256625778386656017901412194632628649879/3607641033968605\ 736655539990613500688133997824*c_0101_4^8 + 5116307598573426131637463389370751428964092703879/18038205169843028\ 68327769995306750344066998912*c_0101_4^7 - 1138000044821938918793830518062685375868445670753/18038205169843028\ 68327769995306750344066998912*c_0101_4^6 - 3968015267195459659541638279993802521330551145959/36076410339686057\ 36655539990613500688133997824*c_0101_4^5 + 1061375442036780739565047047698196120786003474445/18038205169843028\ 68327769995306750344066998912*c_0101_4^4 - 145320268739620719500174771955788333055511207475/901910258492151434\ 163884997653375172033499456*c_0101_4^3 + 220655256230040660851877425282159882108473241065/360764103396860573\ 6655539990613500688133997824*c_0101_4^2 - 1333636602295879946944405089169018735110311927/90191025849215143416\ 3884997653375172033499456*c_0101_4 - 14725902684428459671787858284545937816676707425/3607641033968605736\ 655539990613500688133997824, c_0101_0 - 5638161158214359800063796555770748775163379723/7215282067937\ 211473311079981227001376267995648*c_0101_4^25 - 4651455859436756395565685452945666743206516259/18038205169843028683\ 27769995306750344066998912*c_0101_4^24 + 25056353075403048703358521704060472930696787761/3607641033968605736\ 655539990613500688133997824*c_0101_4^23 + 176154627413103805899569680880746352094228009953/721528206793721147\ 3311079981227001376267995648*c_0101_4^22 + 89777862346301838321850087456365597262477269633/9019102584921514341\ 63884997653375172033499456*c_0101_4^21 + 31397279968101376244378552926652546997182024119/2254775646230378585\ 40971249413343793008374864*c_0101_4^20 + 2540847396662704311615672888534844220064265014591/72152820679372114\ 73311079981227001376267995648*c_0101_4^19 + 1181805206084480934086244950594649039518800566341/72152820679372114\ 73311079981227001376267995648*c_0101_4^18 + 746204274820755104226750728034857033531992212229/901910258492151434\ 163884997653375172033499456*c_0101_4^17 - 237413974063305108909301725873546345711654376913/721528206793721147\ 3311079981227001376267995648*c_0101_4^16 - 1277315523526046310221403280143025469263123141587/36076410339686057\ 36655539990613500688133997824*c_0101_4^15 + 3892816664594729305363841866571342653646202308701/72152820679372114\ 73311079981227001376267995648*c_0101_4^14 - 24302025320550847406222173166280809788450930622163/7215282067937211\ 473311079981227001376267995648*c_0101_4^13 + 8154387664711763601158160619847883120295572615749/72152820679372114\ 73311079981227001376267995648*c_0101_4^12 - 35203792707527048640639173874710104065006960157965/7215282067937211\ 473311079981227001376267995648*c_0101_4^11 + 3567730552467382641281735178010629584891385322923/36076410339686057\ 36655539990613500688133997824*c_0101_4^10 - 25949738150215903565258088782558547474919526853669/7215282067937211\ 473311079981227001376267995648*c_0101_4^9 + 19867378682789700414821776318496206744502023736255/7215282067937211\ 473311079981227001376267995648*c_0101_4^8 - 4669823727039849785654733567931655411006450367017/36076410339686057\ 36655539990613500688133997824*c_0101_4^7 + 514660075852635181493473846533921058385965937179/360764103396860573\ 6655539990613500688133997824*c_0101_4^6 + 5723141674146515835923398080679301982707773128283/72152820679372114\ 73311079981227001376267995648*c_0101_4^5 - 848209812744784558204253605337555084365483421569/360764103396860573\ 6655539990613500688133997824*c_0101_4^4 + 102846199255651969911763792751402546517594616611/180382051698430286\ 8327769995306750344066998912*c_0101_4^3 - 188171154058592959898876104126652499848886593953/721528206793721147\ 3311079981227001376267995648*c_0101_4^2 - 6808765347062305906326103483210306568503249631/90191025849215143416\ 3884997653375172033499456*c_0101_4 + 5670088437288527036538650321714568184492745813/72152820679372114733\ 11079981227001376267995648, c_0101_1 + 16333833685179582594372412078696612823881/149431438564379577\ 74192511491640246487552*c_0101_4^25 + 12932601225272888574482294274533756170073/3735785964109489443548127\ 872910061621888*c_0101_4^24 - 7614038943687232449643304793719633838\ 8859/7471571928218978887096255745820123243776*c_0101_4^23 - 490806017682978072277746453806707626299451/149431438564379577741925\ 11491640246487552*c_0101_4^22 - 25165816466263741795756379847382026\ 0395803/1867892982054744721774063936455030810944*c_0101_4^21 - 82372461037651614251967706648802253648925/4669732455136861804435159\ 84113757702736*c_0101_4^20 - 69829722453357442319948042787465404541\ 94501/14943143856437957774192511491640246487552*c_0101_4^19 - 2461515989736751232038194480970110461985479/14943143856437957774192\ 511491640246487552*c_0101_4^18 - 2110104220409482518399915582534551\ 574299079/1867892982054744721774063936455030810944*c_0101_4^17 + 2946674789151933211746759256926493715830123/14943143856437957774192\ 511491640246487552*c_0101_4^16 + 3600456408317072573973987127477505\ 474475153/7471571928218978887096255745820123243776*c_0101_4^15 - 12310447681816381107288857734007652129276303/1494314385643795777419\ 2511491640246487552*c_0101_4^14 + 718423899299735415006008575500427\ 82721869601/14943143856437957774192511491640246487552*c_0101_4^13 - 33039760407710411236160839758266533147270983/1494314385643795777419\ 2511491640246487552*c_0101_4^12 + 105405345544827014985488863368994\ 761232686015/14943143856437957774192511491640246487552*c_0101_4^11 - 17130816997525877588403633347569833296265081/7471571928218978887096\ 255745820123243776*c_0101_4^10 + 7858376299882822938309035155555654\ 3082671975/14943143856437957774192511491640246487552*c_0101_4^9 - 67483155040877634507981002276270661226680773/1494314385643795777419\ 2511491640246487552*c_0101_4^8 + 1770434644224981990047783944288705\ 8440499043/7471571928218978887096255745820123243776*c_0101_4^7 - 3309803303601477114441532659246491930804905/74715719282189788870962\ 55745820123243776*c_0101_4^6 - 158294730708993008935200446526796664\ 48928217/14943143856437957774192511491640246487552*c_0101_4^5 + 3506453759687283896681272921603478584937499/74715719282189788870962\ 55745820123243776*c_0101_4^4 - 470528337334349073042425515872619723\ 041873/3735785964109489443548127872910061621888*c_0101_4^3 + 722291017479124681212146806293960413082075/149431438564379577741925\ 11491640246487552*c_0101_4^2 + 217433965749841009512329465896572596\ 0545/1867892982054744721774063936455030810944*c_0101_4 - 39927780773224393667034060110550577291127/1494314385643795777419251\ 1491640246487552, c_0101_4^26 + 3*c_0101_4^25 - 10*c_0101_4^24 - 29*c_0101_4^23 - 117*c_0101_4^22 - 136*c_0101_4^21 - 381*c_0101_4^20 - 50*c_0101_4^19 - 937*c_0101_4^18 + 395*c_0101_4^17 + 575*c_0101_4^16 - 809*c_0101_4^15 + 4464*c_0101_4^14 - 2664*c_0101_4^13 + 6166*c_0101_4^12 - 3049*c_0101_4^11 + 4241*c_0101_4^10 - 4876*c_0101_4^9 + 2163*c_0101_4^8 - 344*c_0101_4^7 - 1103*c_0101_4^6 + 599*c_0101_4^5 - 42*c_0101_4^4 + 39*c_0101_4^3 + 5*c_0101_4^2 - 7*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB