Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 2749513595] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0839 geometric_solution 4.75982077 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.286174286121 0.147509860487 2 0 3 0 0132 2310 0132 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 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.047011821425 1.275576627054 1 3 4 3 0132 3201 0132 1230 0 0 0 0 0 0 1 -1 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 -1 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.374668776594 1.328899065752 2 4 2 1 3012 1023 2310 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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.374668776594 1.328899065752 3 5 5 2 1023 0132 3201 0132 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 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.610544236003 0.210880805793 4 4 6 6 2310 0132 0132 2310 0 0 0 0 0 -1 1 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 -1 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.386598259519 1.199843279662 5 6 6 5 3201 3201 2310 0132 0 0 0 0 0 0 1 -1 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 -1 1 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.692010915855 0.257838569120 ==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' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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_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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_3'], '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_5'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_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_6, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 411331087531718813143552884388681300664024322230/263765865262509453\ 1537992846833418518932522768119*c_0101_5^21 + 5409398384853750460597231907693339372360736732994/26376586526250945\ 31537992846833418518932522768119*c_0101_5^20 + 5147394216451510182687336961441966348498859267419/37680837894644207\ 5933998978119059788418931824017*c_0101_5^19 - 15925794828362223985458805345478031451412909786905/1256027929821473\ 58644666326039686596139643941339*c_0101_5^18 + 383095377545877220019944117898454776066537940779006/263765865262509\ 4531537992846833418518932522768119*c_0101_5^17 + 748134813123217494724714112891312596096246216711799/263765865262509\ 4531537992846833418518932522768119*c_0101_5^16 - 3765493176274779989984301135670133254965097095569812/26376586526250\ 94531537992846833418518932522768119*c_0101_5^15 + 14754899226557281389815546012403637099361551561426274/2637658652625\ 094531537992846833418518932522768119*c_0101_5^14 - 192576852786436815624956699436925860615409759632016/293073183625010\ 503504221427425935390992502529791*c_0101_5^13 - 51339362946470264571434618616422199941055574589611523/2637658652625\ 094531537992846833418518932522768119*c_0101_5^12 + 28408824801751426065891855271669625989618666149616325/2637658652625\ 094531537992846833418518932522768119*c_0101_5^11 + 588083559821029185610325742421050224781052198959541/432403057807392\ 54615376931915301942933320045379*c_0101_5^10 - 2921989474475225625036881156200240258481537371071461/26376586526250\ 94531537992846833418518932522768119*c_0101_5^9 - 11807092713925359739781538989206515251264638069346674/2637658652625\ 094531537992846833418518932522768119*c_0101_5^8 - 18183920440310460205760727814946292964039663039601000/2637658652625\ 094531537992846833418518932522768119*c_0101_5^7 + 4911660398859103662586058126119416003243847174746874/26376586526250\ 94531537992846833418518932522768119*c_0101_5^6 - 4416842929601270940542444062896310698752067618712160/26376586526250\ 94531537992846833418518932522768119*c_0101_5^5 + 917220077934507800575460709218138471665598073514891/263765865262509\ 4531537992846833418518932522768119*c_0101_5^4 + 3408208820201043251377785764329035554487841549823528/26376586526250\ 94531537992846833418518932522768119*c_0101_5^3 + 2537871266328274072748944399906221564134947384361053/26376586526250\ 94531537992846833418518932522768119*c_0101_5^2 - 661374415540092598984672823501771881880182129314929/263765865262509\ 4531537992846833418518932522768119*c_0101_5 - 40177130273350933849763585103432781055752193272648/2637658652625094\ 531537992846833418518932522768119, c_0011_0 - 1, c_0011_1 + 335886449170685065290329832476330553112911944/41867597660715\ 786214888775346562198713214647113*c_0101_5^21 + 2708224712606690687651279255127098881688643629/12560279298214735864\ 4666326039686596139643941339*c_0101_5^20 - 15772146042647733513033645298739899734183796809/4186759766071578621\ 4888775346562198713214647113*c_0101_5^19 + 59594813577810844769123674723880271008340776663/1256027929821473586\ 44666326039686596139643941339*c_0101_5^18 + 81854917573486763057414669605673649808091372854/1256027929821473586\ 44666326039686596139643941339*c_0101_5^17 - 138833659006167641223516333282470132412837851480/418675976607157862\ 14888775346562198713214647113*c_0101_5^16 + 2226036566429158962736973499846839791905171321121/12560279298214735\ 8644666326039686596139643941339*c_0101_5^15 - 189924653292743953707537642844631821479100271065/418675976607157862\ 14888775346562198713214647113*c_0101_5^14 - 7100444440310458403773286589611579146101273469430/12560279298214735\ 8644666326039686596139643941339*c_0101_5^13 + 3741386390263126844564039499023902153409940031451/12560279298214735\ 8644666326039686596139643941339*c_0101_5^12 + 1249379546251609597432244780824592245003601937067/41867597660715786\ 214888775346562198713214647113*c_0101_5^11 + 9153443214337412411297914762650762959403177655/20590621800352026007\ 32234853109616330158097399*c_0101_5^10 - 419750655364893607139975562020603240174222753777/125602792982147358\ 644666326039686596139643941339*c_0101_5^9 - 1900501557204269741029060148811124674990227035364/12560279298214735\ 8644666326039686596139643941339*c_0101_5^8 + 75310094195566945636821710610856169108730701201/4186759766071578621\ 4888775346562198713214647113*c_0101_5^7 - 2066619352489977808979368181324112374555373387607/12560279298214735\ 8644666326039686596139643941339*c_0101_5^6 + 54357572646469126515288663713765679314985671338/4186759766071578621\ 4888775346562198713214647113*c_0101_5^5 + 201874393662201706404812711275555941227445780344/125602792982147358\ 644666326039686596139643941339*c_0101_5^4 + 46819886211156944570256739103238015724098553905/4186759766071578621\ 4888775346562198713214647113*c_0101_5^3 + 18208303719795060474286694121112088971141499113/1256027929821473586\ 44666326039686596139643941339*c_0101_5^2 + 86803058685434572598483682919350951532793650732/1256027929821473586\ 44666326039686596139643941339*c_0101_5 + 61621023671194308104180825909267159486883518083/1256027929821473586\ 44666326039686596139643941339, c_0011_3 - 499037100509730898463095676482995573199103134/37680837894644\ 2075933998978119059788418931824017*c_0101_5^21 - 2745728546307028628143438996909848730694116858/37680837894644207593\ 3998978119059788418931824017*c_0101_5^20 + 21317344624524173406768968282467677545593620143/3768083789464420759\ 33998978119059788418931824017*c_0101_5^19 + 13627964496356463150941576351972007445415229778/1256027929821473586\ 44666326039686596139643941339*c_0101_5^18 - 202159375325832490459171894394866359773235162140/376808378946442075\ 933998978119059788418931824017*c_0101_5^17 + 189281756936918525723576887489475670571587180832/376808378946442075\ 933998978119059788418931824017*c_0101_5^16 - 358134895994498067178252545700094002302130787879/376808378946442075\ 933998978119059788418931824017*c_0101_5^15 - 3550895624404604262073978815204685982352049179128/37680837894644207\ 5933998978119059788418931824017*c_0101_5^14 + 882644575599817697978922471467372926729005238312/418675976607157862\ 14888775346562198713214647113*c_0101_5^13 + 7338226308963467737698671194169495256415778289017/37680837894644207\ 5933998978119059788418931824017*c_0101_5^12 - 20209691221421113653523227115866885390947402156006/3768083789464420\ 75933998978119059788418931824017*c_0101_5^11 + 24180910496491594354581997148549416851356431484/6177186540105607802\ 196704559328848990474292197*c_0101_5^10 + 9579197497778657789039533401316113582921037455149/37680837894644207\ 5933998978119059788418931824017*c_0101_5^9 - 651504527169012638854836888331784650807929566045/376808378946442075\ 933998978119059788418931824017*c_0101_5^8 + 1373095698574510025843869590510578313610635121577/37680837894644207\ 5933998978119059788418931824017*c_0101_5^7 - 3834446785334399083334343332014679748259146179872/37680837894644207\ 5933998978119059788418931824017*c_0101_5^6 + 2229278540541774749592607217552043397875497482862/37680837894644207\ 5933998978119059788418931824017*c_0101_5^5 - 583460355208975349904282777945990664955123996893/376808378946442075\ 933998978119059788418931824017*c_0101_5^4 - 687978834498539388050243489724478811442234461645/376808378946442075\ 933998978119059788418931824017*c_0101_5^3 + 541575947094319917184742971618689851183981469242/376808378946442075\ 933998978119059788418931824017*c_0101_5^2 + 345706675617297473803529331186943510179598982861/376808378946442075\ 933998978119059788418931824017*c_0101_5 - 155560409389148806177641485644730692378208269094/376808378946442075\ 933998978119059788418931824017, c_0011_6 - 303581001402858122221357514378148462382204913/41867597660715\ 786214888775346562198713214647113*c_0101_5^21 - 1353423596718349621926521015913274711751055872/12560279298214735864\ 4666326039686596139643941339*c_0101_5^20 + 15245814177197912238497963796373425822544415417/4186759766071578621\ 4888775346562198713214647113*c_0101_5^19 - 105127863590163707793596116689190313141488320191/125602792982147358\ 644666326039686596139643941339*c_0101_5^18 - 10510863244895077272392605043601190004289168658/1256027929821473586\ 44666326039686596139643941339*c_0101_5^17 + 155160516200987711784722656896483740728945927603/418675976607157862\ 14888775346562198713214647113*c_0101_5^16 - 2464014440697479464674095119841256806525460880927/12560279298214735\ 8644666326039686596139643941339*c_0101_5^15 + 977814737511467225116810314715919079753787747954/418675976607157862\ 14888775346562198713214647113*c_0101_5^14 + 5851421192491347454597571359917233461974007459253/12560279298214735\ 8644666326039686596139643941339*c_0101_5^13 - 11075884250556212709123857009719276582453428293678/1256027929821473\ 58644666326039686596139643941339*c_0101_5^12 + 230881601929645618306872549259870507556785953299/418675976607157862\ 14888775346562198713214647113*c_0101_5^11 + 51109153719186309254127540180890143226732515604/2059062180035202600\ 732234853109616330158097399*c_0101_5^10 + 639110065994917510907385243896936607057794628188/125602792982147358\ 644666326039686596139643941339*c_0101_5^9 + 2793800350502610495320516146205630713787220885425/12560279298214735\ 8644666326039686596139643941339*c_0101_5^8 - 878490167665859273456639651233816108046528741537/418675976607157862\ 14888775346562198713214647113*c_0101_5^7 + 1068639330415255842847238428530271742456884447297/12560279298214735\ 8644666326039686596139643941339*c_0101_5^6 - 511412479869511420454007139621401185424404543211/418675976607157862\ 14888775346562198713214647113*c_0101_5^5 - 373822814222340416818451695507941613867342548446/125602792982147358\ 644666326039686596139643941339*c_0101_5^4 + 8471606587788122014585638257488882348786081296/41867597660715786214\ 888775346562198713214647113*c_0101_5^3 + 214464031422340382889771806671800623268107709476/125602792982147358\ 644666326039686596139643941339*c_0101_5^2 - 84354635268315743568572914397481414367892802250/1256027929821473586\ 44666326039686596139643941339*c_0101_5 + 69919287874021703655278755272941739580992155474/1256027929821473586\ 44666326039686596139643941339, c_0101_0 + 6940670820341347842716633512367624146266334153/3768083789464\ 42075933998978119059788418931824017*c_0101_5^21 + 12110455049445453777359525487471854441062278223/3768083789464420759\ 33998978119059788418931824017*c_0101_5^20 - 344851610337731225020706306566823290012539134357/376808378946442075\ 933998978119059788418931824017*c_0101_5^19 + 79475801814187445955953279966442472323059769659/4186759766071578621\ 4888775346562198713214647113*c_0101_5^18 + 243780054112900135886413693384405074234603975959/376808378946442075\ 933998978119059788418931824017*c_0101_5^17 - 3534474328890017953141030961176812334624071547432/37680837894644207\ 5933998978119059788418931824017*c_0101_5^16 + 17984330704652114785617888625192168849722302460653/3768083789464420\ 75933998978119059788418931824017*c_0101_5^15 - 17718315511723080077939652235897432751284462921480/3768083789464420\ 75933998978119059788418931824017*c_0101_5^14 - 16216085198532253230881780658013194438538756344313/1256027929821473\ 58644666326039686596139643941339*c_0101_5^13 + 75157252485638069355783862945043645608344420548920/3768083789464420\ 75933998978119059788418931824017*c_0101_5^12 + 10871786266592019203469274147797237545847270413801/3768083789464420\ 75933998978119059788418931824017*c_0101_5^11 - 549670649125798795788428211871582895796936820022/617718654010560780\ 2196704559328848990474292197*c_0101_5^10 - 9006629006096487861075457377872075426245283484101/37680837894644207\ 5933998978119059788418931824017*c_0101_5^9 - 8379793169673725396467254532046623472253848295601/37680837894644207\ 5933998978119059788418931824017*c_0101_5^8 + 18284734681046077767519864531945138773470742256208/3768083789464420\ 75933998978119059788418931824017*c_0101_5^7 - 9697172079692525445963457844940434627052828594653/37680837894644207\ 5933998978119059788418931824017*c_0101_5^6 + 6033844486751355282770727654241895650593633677347/37680837894644207\ 5933998978119059788418931824017*c_0101_5^5 + 3723300712765812917845039835970771013890006988819/37680837894644207\ 5933998978119059788418931824017*c_0101_5^4 - 560086203465504380709449801153893227625869267067/376808378946442075\ 933998978119059788418931824017*c_0101_5^3 - 2431977797262467889807892539350035829377515479912/37680837894644207\ 5933998978119059788418931824017*c_0101_5^2 + 919234471923269845354674633305362620834097496656/376808378946442075\ 933998978119059788418931824017*c_0101_5 - 26740252131614057315664909651855353251215947719/3768083789464420759\ 33998978119059788418931824017, c_0101_3 + 1252139121681472541054751518901046040545855997/3768083789464\ 42075933998978119059788418931824017*c_0101_5^21 - 1329566884722383404601807435517136701461847544/37680837894644207593\ 3998978119059788418931824017*c_0101_5^20 - 70891921916739792990134611747467786519445605511/3768083789464420759\ 33998978119059788418931824017*c_0101_5^19 + 98881325532750995171349786676753556441136443393/1256027929821473586\ 44666326039686596139643941339*c_0101_5^18 - 198559302528522157737662755604069496091018308218/376808378946442075\ 933998978119059788418931824017*c_0101_5^17 - 902314310326501707078370598094762753801553518212/376808378946442075\ 933998978119059788418931824017*c_0101_5^16 + 4793796494406723168463680955488156701906676262183/37680837894644207\ 5933998978119059788418931824017*c_0101_5^15 - 11242216261022564387882114511684166118968496472284/3768083789464420\ 75933998978119059788418931824017*c_0101_5^14 - 1767874749328980417671831559145310655538064654179/12560279298214735\ 8644666326039686596139643941339*c_0101_5^13 + 39062081984086059514657115539876932271064607662327/3768083789464420\ 75933998978119059788418931824017*c_0101_5^12 - 17010730618257858237474878777178944557634229742160/3768083789464420\ 75933998978119059788418931824017*c_0101_5^11 - 322961120879825084518349409875768053283186072668/617718654010560780\ 2196704559328848990474292197*c_0101_5^10 + 1295197837293003113484194702250645359667948498965/37680837894644207\ 5933998978119059788418931824017*c_0101_5^9 + 1642751343784035266022186198065132036198736655825/37680837894644207\ 5933998978119059788418931824017*c_0101_5^8 + 11747238723460458832810160302748851231815208290665/3768083789464420\ 75933998978119059788418931824017*c_0101_5^7 - 4677306921963106295108473631345887076125837397998/37680837894644207\ 5933998978119059788418931824017*c_0101_5^6 + 5534633162747577765512053690229486561687692455230/37680837894644207\ 5933998978119059788418931824017*c_0101_5^5 - 102391214565875492736907287439295357731276425217/376808378946442075\ 933998978119059788418931824017*c_0101_5^4 - 1862494588094455628384308188524907245520770867762/37680837894644207\ 5933998978119059788418931824017*c_0101_5^3 - 1091430586332665886713688221158574976998683874950/37680837894644207\ 5933998978119059788418931824017*c_0101_5^2 + 435569979389273539832129974823308711718849463812/376808378946442075\ 933998978119059788418931824017*c_0101_5 - 131250149380384311614149525044741001794312899408/376808378946442075\ 933998978119059788418931824017, c_0101_5^22 + 2*c_0101_5^21 - 49*c_0101_5^20 + 91*c_0101_5^19 + 50*c_0101_5^18 - 485*c_0101_5^17 + 2482*c_0101_5^16 - 1997*c_0101_5^15 - 7123*c_0101_5^14 + 8872*c_0101_5^13 + 2517*c_0101_5^12 - 3306*c_0101_5^11 - 1324*c_0101_5^10 - 1767*c_0101_5^9 + 2034*c_0101_5^8 - 1210*c_0101_5^7 + 626*c_0101_5^6 + 461*c_0101_5^5 + 96*c_0101_5^4 - 282*c_0101_5^3 + 68*c_0101_5^2 - 9*c_0101_5 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB