Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 1326371693] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s368 geometric_solution 4.58791270 oriented_manifold CS_known -0.0000000000000006 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 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.563182589418 0.121779008432 2 0 2 0 0132 2310 1023 0132 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 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.740508609641 0.245019979417 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 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 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 1.038640817895 1.017346439363 4 2 4 5 3120 0132 3012 0132 0 0 0 0 0 1 -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 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.615750180831 0.717375486478 5 3 2 3 3201 1230 0132 3120 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 0 0 -1 1 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.615750180831 0.717375486478 5 5 3 4 1230 3012 0132 2310 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 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 1.311068693075 0.802634650937 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0011_4']), '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_0011_5, c_0101_0, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 12538547908787529530792194620007132847512511257541347969/1188238367\ 023108583584531993458201077151633608272457536*c_0101_5^23 + 91949704061865206765983959714859118466968559267447646231/1188238367\ 023108583584531993458201077151633608272457536*c_0101_5^22 + 17797156680457354087481651965777011490313793440021526123/1188238367\ 023108583584531993458201077151633608272457536*c_0101_5^21 - 1538453670032701479561933109352974157612739059696508939447/11882383\ 67023108583584531993458201077151633608272457536*c_0101_5^20 - 2224603775947060142505241761838093838335314389613818517563/59411918\ 3511554291792265996729100538575816804136228768*c_0101_5^19 + 792365699901853343455336464372100621587299364700367689355/297059591\ 755777145896132998364550269287908402068114384*c_0101_5^18 + 9201769190898544808246868402283544544054042545944529052869/29705959\ 1755777145896132998364550269287908402068114384*c_0101_5^17 + 23285366847266949017434801111814485374693342621165792906233/1188238\ 367023108583584531993458201077151633608272457536*c_0101_5^16 - 104375337880087224577332923911210263102860210572802502699659/118823\ 8367023108583584531993458201077151633608272457536*c_0101_5^15 - 32874965379987221920714106242041320380902214697395570579211/2970595\ 91755777145896132998364550269287908402068114384*c_0101_5^14 + 171689616877459051161366147445295970470978670887155013431401/118823\ 8367023108583584531993458201077151633608272457536*c_0101_5^13 + 50127002330995001241440006926676415452678657292532575298089/1485297\ 95877888572948066499182275134643954201034057192*c_0101_5^12 - 45679743992664611504875944248081498869767131394638588933063/1188238\ 367023108583584531993458201077151633608272457536*c_0101_5^11 - 681522552135408746812405912902362385546255092576269727567797/118823\ 8367023108583584531993458201077151633608272457536*c_0101_5^10 - 401080491189301156922497962996998448890865834518018196974255/118823\ 8367023108583584531993458201077151633608272457536*c_0101_5^9 + 66886350703156023247462799799754979925959049849027061308085/1485297\ 95877888572948066499182275134643954201034057192*c_0101_5^8 + 535008618524606436628457501773669359426819467508030433882893/118823\ 8367023108583584531993458201077151633608272457536*c_0101_5^7 - 241568878633479086514380818081083094302627281930668721420565/118823\ 8367023108583584531993458201077151633608272457536*c_0101_5^6 - 228904619710723428474098424568701511119552941608980019608181/118823\ 8367023108583584531993458201077151633608272457536*c_0101_5^5 + 64806862104808205296382942345139837141168453855990348878363/5941191\ 83511554291792265996729100538575816804136228768*c_0101_5^4 + 6439856456328823346270838352097806031495156753566134104267/14852979\ 5877888572948066499182275134643954201034057192*c_0101_5^3 - 4525741180624232348266850739728071070584782852075441549409/14852979\ 5877888572948066499182275134643954201034057192*c_0101_5^2 - 163074137259404184792004667292176597025729961257619507731/371324489\ 69472143237016624795568783660988550258514298*c_0101_5 + 44743034943608382077420601353131519329693193593859541582/1856622448\ 4736071618508312397784391830494275129257149, c_0011_0 - 1, c_0011_1 - 3146557549346045892765676865178651342754512904475465/1485297\ 95877888572948066499182275134643954201034057192*c_0101_5^23 - 23204195126165892107229195725624890445729365010445563/1485297958778\ 88572948066499182275134643954201034057192*c_0101_5^22 - 5108486433365400209240956056346104120302960183736485/14852979587788\ 8572948066499182275134643954201034057192*c_0101_5^21 + 387877606412907377784230530339380459306182903257575185/148529795877\ 888572948066499182275134643954201034057192*c_0101_5^20 + 282807494550585808755529942412064543522836566663985193/371324489694\ 72143237016624795568783660988550258514298*c_0101_5^19 - 392739546896023451068934338483482184651278303954842047/742648979389\ 44286474033249591137567321977100517028596*c_0101_5^18 - 2336879686945972020888036251869326541226338827706058941/37132448969\ 472143237016624795568783660988550258514298*c_0101_5^17 - 6089106564666775061069183486594334252195709698315889509/14852979587\ 7888572948066499182275134643954201034057192*c_0101_5^16 + 26711771901659207564664873253479068137503795119047215799/1485297958\ 77888572948066499182275134643954201034057192*c_0101_5^15 + 17011552766057051233336280653064501020015001308281806269/7426489793\ 8944286474033249591137567321977100517028596*c_0101_5^14 - 44014890779843435143653413044072711698454585324935701423/1485297958\ 77888572948066499182275134643954201034057192*c_0101_5^13 - 12947975458248051573894302175524768062836943896128215238/1856622448\ 4736071618508312397784391830494275129257149*c_0101_5^12 + 11948886887326607145195118078452104314199858225800231861/1485297958\ 77888572948066499182275134643954201034057192*c_0101_5^11 + 176759295206736527684034154338164096132635706603339815081/148529795\ 877888572948066499182275134643954201034057192*c_0101_5^10 + 103068752469292670936148289727544593444256581849877082569/148529795\ 877888572948066499182275134643954201034057192*c_0101_5^9 - 70480183737808210957136942016970962521108300745177927415/7426489793\ 8944286474033249591137567321977100517028596*c_0101_5^8 - 140726222437786522200959603294496336829373219121870057959/148529795\ 877888572948066499182275134643954201034057192*c_0101_5^7 + 65820967787785303400796638966120190396962051668954824213/1485297958\ 77888572948066499182275134643954201034057192*c_0101_5^6 + 62157194304873962484162060859945231314769829002505695007/1485297958\ 77888572948066499182275134643954201034057192*c_0101_5^5 - 8938490594529457478439768310530379978192230366579991567/37132448969\ 472143237016624795568783660988550258514298*c_0101_5^4 - 6740260526237445312623155344466831004811233356407108851/74264897938\ 944286474033249591137567321977100517028596*c_0101_5^3 + 1262054115011385499670700926710277930718933284579964794/18566224484\ 736071618508312397784391830494275129257149*c_0101_5^2 + 310776273610638125413693007181005552032408879886157459/371324489694\ 72143237016624795568783660988550258514298*c_0101_5 - 90521565268470387002094091186170592872112004176380294/1856622448473\ 6071618508312397784391830494275129257149, c_0011_4 - 10598389281768114025712727514023552605108582653243983/148529\ 795877888572948066499182275134643954201034057192*c_0101_5^23 - 77255357327150628493238642595777737786172617086588593/1485297958778\ 88572948066499182275134643954201034057192*c_0101_5^22 - 11922850302566385672469980908756495046817437520331341/1485297958778\ 88572948066499182275134643954201034057192*c_0101_5^21 + 1299010174123606679637754462342689944327884474223478079/14852979587\ 7888572948066499182275134643954201034057192*c_0101_5^20 + 926019893849015715305863966040177696536492087199724437/371324489694\ 72143237016624795568783660988550258514298*c_0101_5^19 - 1404147542230650986743476135109540973023387560241428697/74264897938\ 944286474033249591137567321977100517028596*c_0101_5^18 - 15452705246301766710243353115002765780360421762669996087/7426489793\ 8944286474033249591137567321977100517028596*c_0101_5^17 - 18427930223250883296078570945799947490672617320920767203/1485297958\ 77888572948066499182275134643954201034057192*c_0101_5^16 + 88281561870958860190873344805079214134200600866152994973/1485297958\ 77888572948066499182275134643954201034057192*c_0101_5^15 + 26776346278788120386858674463189161088985570166454925313/3713244896\ 9472143237016624795568783660988550258514298*c_0101_5^14 - 147552598884161579952926073395221124736871224989997732385/148529795\ 877888572948066499182275134643954201034057192*c_0101_5^13 - 165364694083656281059159938052019082551827158494462241833/742648979\ 38944286474033249591137567321977100517028596*c_0101_5^12 + 48823610412837371376097172403963036532431482663523432633/1485297958\ 77888572948066499182275134643954201034057192*c_0101_5^11 + 567488212631729411226952532984647963951924555410020146897/148529795\ 877888572948066499182275134643954201034057192*c_0101_5^10 + 317668609820763579889478198990460291374946483504780756209/148529795\ 877888572948066499182275134643954201034057192*c_0101_5^9 - 227024796027218251401145172249446471781536999996397286725/742648979\ 38944286474033249591137567321977100517028596*c_0101_5^8 - 429122840531078521603630103040150711296884174081127553217/148529795\ 877888572948066499182275134643954201034057192*c_0101_5^7 + 211550335710900952374801123789454200873545196200762428209/148529795\ 877888572948066499182275134643954201034057192*c_0101_5^6 + 179062174231567450055869274749387168312170289737136534091/148529795\ 877888572948066499182275134643954201034057192*c_0101_5^5 - 27729543290127105964964409569830612180789123779864210895/3713244896\ 9472143237016624795568783660988550258514298*c_0101_5^4 - 19004036787789714107472027684434909653469365208596646811/7426489793\ 8944286474033249591137567321977100517028596*c_0101_5^3 + 14871670278277564683473961983507299414633939493202455241/7426489793\ 8944286474033249591137567321977100517028596*c_0101_5^2 + 870171440633337260224952474491506830117831519483044099/371324489694\ 72143237016624795568783660988550258514298*c_0101_5 - 281745125482897513342024593511661823078699319481101139/185662244847\ 36071618508312397784391830494275129257149, c_0011_5 - 2838617059877784458347097156140728459496044108138459/7426489\ 7938944286474033249591137567321977100517028596*c_0101_5^23 - 10323275669154077276379075162007823092559042502696611/3713244896947\ 2143237016624795568783660988550258514298*c_0101_5^22 - 1392329717569471450694079000696756690645536311674173/37132448969472\ 143237016624795568783660988550258514298*c_0101_5^21 + 348536189659532829745734313849281605506343265386599927/742648979389\ 44286474033249591137567321977100517028596*c_0101_5^20 + 246642403035503937795533870124808332393053170154782954/185662244847\ 36071618508312397784391830494275129257149*c_0101_5^19 - 777407916278359829159109635983070694259311353984485127/742648979389\ 44286474033249591137567321977100517028596*c_0101_5^18 - 8291604170898602850302366101029710578544292906562427873/74264897938\ 944286474033249591137567321977100517028596*c_0101_5^17 - 4782892563943351143657160636144011865508973391300106129/74264897938\ 944286474033249591137567321977100517028596*c_0101_5^16 + 5984625050537652666782521484273400120357703773714615433/18566224484\ 736071618508312397784391830494275129257149*c_0101_5^15 + 28420855732287960333201524903142784754313643502403448649/7426489793\ 8944286474033249591137567321977100517028596*c_0101_5^14 - 20273010022339245024468382489865745249422109266923997521/3713244896\ 9472143237016624795568783660988550258514298*c_0101_5^13 - 44306055464454604913413764280193236278020775181078208427/3713244896\ 9472143237016624795568783660988550258514298*c_0101_5^12 + 15398043846395741491698444055614828554557674065828906267/7426489793\ 8944286474033249591137567321977100517028596*c_0101_5^11 + 153809003144439911825072581142044251240114787936616830477/742648979\ 38944286474033249591137567321977100517028596*c_0101_5^10 + 20621905052913750174248137064532995063284328983301708343/1856622448\ 4736071618508312397784391830494275129257149*c_0101_5^9 - 31554193304902810910475589207430936880521908755204053679/1856622448\ 4736071618508312397784391830494275129257149*c_0101_5^8 - 28782616290149588421709274264489261525206449882358408568/1856622448\ 4736071618508312397784391830494275129257149*c_0101_5^7 + 60586612776399951250759837761966605090884794777345525957/7426489793\ 8944286474033249591137567321977100517028596*c_0101_5^6 + 24588422407683002690381469399405691983661001152792220875/3713244896\ 9472143237016624795568783660988550258514298*c_0101_5^5 - 7760131226346889048360024610639857480895725932122878604/18566224484\ 736071618508312397784391830494275129257149*c_0101_5^4 - 10148131263645582978028986868800293145876602606402477079/7426489793\ 8944286474033249591137567321977100517028596*c_0101_5^3 + 8385377824954910228726782210637514369359598851268540329/74264897938\ 944286474033249591137567321977100517028596*c_0101_5^2 + 465754062576169152728247386764418553404148085077155855/371324489694\ 72143237016624795568783660988550258514298*c_0101_5 - 166480871706462574658292874321474627642810012959704139/185662244847\ 36071618508312397784391830494275129257149, c_0101_0 - 3212898333769301628015279474814068022160302274582345/5941191\ 83511554291792265996729100538575816804136228768*c_0101_5^23 - 24727560823010397612157669959558409235717697174840253/5941191835115\ 54291792265996729100538575816804136228768*c_0101_5^22 - 11268302336161961019863402418793954966040395793726409/5941191835115\ 54291792265996729100538575816804136228768*c_0101_5^21 + 405248965061850881802103116336426804325364765305746737/594119183511\ 554291792265996729100538575816804136228768*c_0101_5^20 + 320080902564708581895830705526373722023094184196010665/148529795877\ 888572948066499182275134643954201034057192*c_0101_5^19 - 155285918418955141729183315670205428436772605761598541/148529795877\ 888572948066499182275134643954201034057192*c_0101_5^18 - 2569796759313196172309737887889689133884987117435775187/14852979587\ 7888572948066499182275134643954201034057192*c_0101_5^17 - 8709196699025628304212933575567613917864339301655686393/59411918351\ 1554291792265996729100538575816804136228768*c_0101_5^16 + 29580110727831295214922355355452160140011315921577734485/5941191835\ 11554291792265996729100538575816804136228768*c_0101_5^15 + 22315041948646458721778425941571688083456415451713890801/2970595917\ 55777145896132998364550269287908402068114384*c_0101_5^14 - 46832404575863112079664425796409959725743191549835665605/5941191835\ 11554291792265996729100538575816804136228768*c_0101_5^13 - 65360339630133410822687295180121367879867592040948277807/2970595917\ 55777145896132998364550269287908402068114384*c_0101_5^12 + 2798206641707192552739570589862475572441460156635838923/59411918351\ 1554291792265996729100538575816804136228768*c_0101_5^11 + 222377167687309106607817150582032175593027660246069724919/594119183\ 511554291792265996729100538575816804136228768*c_0101_5^10 + 143501269735767034495065734544497531423308261382113698057/594119183\ 511554291792265996729100538575816804136228768*c_0101_5^9 - 90814324941602870562848218333045102003946894008381325653/2970595917\ 55777145896132998364550269287908402068114384*c_0101_5^8 - 210069515285953885215736767537394414621800509987942808961/594119183\ 511554291792265996729100538575816804136228768*c_0101_5^7 + 88236351879700152807056200171920348461429893677180711167/5941191835\ 11554291792265996729100538575816804136228768*c_0101_5^6 + 118377858528893965139715155106075594461627654814645905711/594119183\ 511554291792265996729100538575816804136228768*c_0101_5^5 - 13594146341453587222563290811870327947560889534464976741/1485297958\ 77888572948066499182275134643954201034057192*c_0101_5^4 - 2030553059215025387987304065931430866716483522925885809/37132448969\ 472143237016624795568783660988550258514298*c_0101_5^3 + 2594152438764336243351015951720529290653354438540382201/74264897938\ 944286474033249591137567321977100517028596*c_0101_5^2 + 106790957054918704629078716225308291203820725834526256/185662244847\ 36071618508312397784391830494275129257149*c_0101_5 - 72269415548976223789779877269447330277463257690508201/1856622448473\ 6071618508312397784391830494275129257149, c_0101_5^24 + 7*c_0101_5^23 - c_0101_5^22 - 123*c_0101_5^21 - 314*c_0101_5^20 + 368*c_0101_5^19 + 2844*c_0101_5^18 + 889*c_0101_5^17 - 8875*c_0101_5^16 - 7704*c_0101_5^15 + 16973*c_0101_5^14 + 27272*c_0101_5^13 - 13875*c_0101_5^12 - 52565*c_0101_5^11 - 14283*c_0101_5^10 + 52180*c_0101_5^9 + 28273*c_0101_5^8 - 32293*c_0101_5^7 - 11393*c_0101_5^6 + 15682*c_0101_5^5 + 580*c_0101_5^4 - 3952*c_0101_5^3 + 496*c_0101_5^2 + 320*c_0101_5 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB