Magma V2.19-8 Tue Aug 20 2013 16:15:49 on localhost [Seed = 627357964] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0051 geometric_solution 3.61576036 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 0132 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 0 0 0 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.196635482275 0.409095908691 0 1 2 1 0132 2310 3201 3201 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.954425461746 1.985661728156 1 0 0 3 2310 0132 1023 3201 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 0 0 0 1 0 -1 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.196635482275 0.409095908691 4 2 0 4 0132 2310 0132 1023 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 0 0 0 0 0 0.777527532523 0.986884515097 3 5 5 3 0132 0132 1023 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 0 0 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.279947679931 0.190965567337 6 4 4 6 0132 0132 1023 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 1.154373623681 0.057808132571 5 5 6 6 0132 2310 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 1.373172657943 0.057978716627 ==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' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(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' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : 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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 876069293081997834045701081929514005971991342336/224792530628380278\ 98425644573353551668099451*c_0101_6^18 + 187090898634435764834302450611918346711240328576/132230900369635458\ 2260332033726679509888203*c_0101_6^17 - 1967921056964321294179284902972634194696625540800/32113218661197182\ 71203663510479078809728493*c_0101_6^16 - 8056684163335987242451041328826629813466140665024/22479253062838027\ 898425644573353551668099451*c_0101_6^15 - 67454356940654979284008156031456853865399861959856/2247925306283802\ 7898425644573353551668099451*c_0101_6^14 - 38505397773169518381867076267863512219322541650112/2247925306283802\ 7898425644573353551668099451*c_0101_6^13 - 4933317394986982347461810001884003775308806804592/77514665733924234\ 1325022226667363850624119*c_0101_6^12 - 77581607262063871439497740745820952286879454245452/2247925306283802\ 7898425644573353551668099451*c_0101_6^11 - 178364816508963330488602457819626812132739699513507/224792530628380\ 27898425644573353551668099451*c_0101_6^10 - 63637821641148950495000034835386748541216056305532/2247925306283802\ 7898425644573353551668099451*c_0101_6^9 - 120204667905103601068821280501253734137536709198671/224792530628380\ 27898425644573353551668099451*c_0101_6^8 - 15013992243470535709362691938605254157711093434428/2247925306283802\ 7898425644573353551668099451*c_0101_6^7 - 47296250370789602239674180176876912532056876344738/2247925306283802\ 7898425644573353551668099451*c_0101_6^6 + 4757591539529942639587169455762993151516237512752/22479253062838027\ 898425644573353551668099451*c_0101_6^5 - 11894371541576995854017351228513033579369686605250/2247925306283802\ 7898425644573353551668099451*c_0101_6^4 + 2672535408690927967073006360306025202175518463277/22479253062838027\ 898425644573353551668099451*c_0101_6^3 - 1461430528492923873017505084915894094415763025581/22479253062838027\ 898425644573353551668099451*c_0101_6^2 + 22851369147891132670031659451976660091404247244/1729173312526002146\ 032741890257965512930727*c_0101_6 - 23870414567991457118565801815251833649220543368/2247925306283802789\ 8425644573353551668099451, c_0011_0 - 1, c_0011_3 + 17941671804539877447644757831868584713216/501064419740945275\ 581785537600105915077*c_0101_6^18 - 59208148323579647985593956366111041212928/5010644197409452755817855\ 37600105915077*c_0101_6^17 + 26136614177077647861988404546208407925\ 9904/501064419740945275581785537600105915077*c_0101_6^16 + 255110215381029697343716947740631776194560/501064419740945275581785\ 537600105915077*c_0101_6^15 + 1449188354709972480301347007044207647\ 330240/501064419740945275581785537600105915077*c_0101_6^14 + 1247557523145284683299153596977673009041152/50106441974094527558178\ 5537600105915077*c_0101_6^13 + 324624318452187433981285755973208101\ 5431456/501064419740945275581785537600105915077*c_0101_6^12 + 2568250667555500340003597614080855282017008/50106441974094527558178\ 5537600105915077*c_0101_6^11 + 428857451637313875693480882381941880\ 0342436/501064419740945275581785537600105915077*c_0101_6^10 + 2533269228639903905055420636463956935815224/50106441974094527558178\ 5537600105915077*c_0101_6^9 + 3020408659208463140901266337947425682\ 568698/501064419740945275581785537600105915077*c_0101_6^8 + 1123587538617276129281009495853216895490886/50106441974094527558178\ 5537600105915077*c_0101_6^7 + 1153735967147974419363380047546880764\ 484936/501064419740945275581785537600105915077*c_0101_6^6 + 205243921904221610482040193499315147206722/501064419740945275581785\ 537600105915077*c_0101_6^5 + 24802479361351077449260179004341846977\ 2660/501064419740945275581785537600105915077*c_0101_6^4 + 11995799917790615711621110144090601808980/5010644197409452755817855\ 37600105915077*c_0101_6^3 + 221178948903108934542236841093098282357\ 02/501064419740945275581785537600105915077*c_0101_6^2 - 55100154370253710876393634359928318126/5010644197409452755817855376\ 00105915077*c_0101_6 - 375833337984825000007554489805452366037/5010\ 64419740945275581785537600105915077, c_0101_0 + 1058587052322250418870850870394239638016/5010644197409452755\ 81785537600105915077*c_0101_6^18 - 2982153518041304448849291103038134996736/50106441974094527558178553\ 7600105915077*c_0101_6^17 + 126910520942186528969170300191101952262\ 40/501064419740945275581785537600105915077*c_0101_6^16 + 26228409345163392787167574578066905316736/5010644197409452755817855\ 37600105915077*c_0101_6^15 + 76805882310528483696393742306299828791\ 776/501064419740945275581785537600105915077*c_0101_6^14 + 103621805200129906306719761101996864440256/501064419740945275581785\ 537600105915077*c_0101_6^13 + 1497541929272025025033299997843019556\ 13440/501064419740945275581785537600105915077*c_0101_6^12 + 196033023253278169373781136845486347232024/501064419740945275581785\ 537600105915077*c_0101_6^11 + 1717114658100149304247542764557176969\ 58790/501064419740945275581785537600105915077*c_0101_6^10 + 182512872433186534255798200628508934769412/501064419740945275581785\ 537600105915077*c_0101_6^9 + 73563954360587947721200595458816209561\ 644/501064419740945275581785537600105915077*c_0101_6^8 + 90394933562599838610803262298162782421664/5010644197409452755817855\ 37600105915077*c_0101_6^7 + 393837136047010541530308402936239486556\ 7/501064419740945275581785537600105915077*c_0101_6^6 + 43093816185612140306913723050200448453848/5010644197409452755817855\ 37600105915077*c_0101_6^5 - 328982356525741615210412743220028470586\ 7/501064419740945275581785537600105915077*c_0101_6^4 + 17411652143918611510965301745821193529979/5010644197409452755817855\ 37600105915077*c_0101_6^3 - 187545328852770576886357701442130761700\ 7/501064419740945275581785537600105915077*c_0101_6^2 + 2503495439439820082972632402452782150750/50106441974094527558178553\ 7600105915077*c_0101_6 + 38745239247806714982717444919597202246/501\ 064419740945275581785537600105915077, c_0101_1 + 21670581859787200249138972584827862240768/501064419740945275\ 581785537600105915077*c_0101_6^18 - 71281248173869152272365978114391287726592/5010644197409452755817855\ 37600105915077*c_0101_6^17 + 31508329064643974835434060926111017152\ 2816/501064419740945275581785537600105915077*c_0101_6^16 + 310735554247606553102334549064558313224768/501064419740945275581785\ 537600105915077*c_0101_6^15 + 1756662541679704713381566792540481131\ 699296/501064419740945275581785537600105915077*c_0101_6^14 + 1525191098682863085938124375509982091841808/50106441974094527558178\ 5537600105915077*c_0101_6^13 + 394349774692210275850285018460922215\ 9105952/501064419740945275581785537600105915077*c_0101_6^12 + 3134480566402716332582208694848107917086328/50106441974094527558178\ 5537600105915077*c_0101_6^11 + 521265987095540230960550090659761714\ 4449734/501064419740945275581785537600105915077*c_0101_6^10 + 3090359442280012007989298845511216783509145/50106441974094527558178\ 5537600105915077*c_0101_6^9 + 3661882727348506100390403917740383665\ 686678/501064419740945275581785537600105915077*c_0101_6^8 + 1353441129482535482949586949106995423945403/50106441974094527558178\ 5537600105915077*c_0101_6^7 + 1379573188885631461564496325566737252\ 770687/501064419740945275581785537600105915077*c_0101_6^6 + 231071497419566364753771253796724561286103/501064419740945275581785\ 537600105915077*c_0101_6^5 + 28857622335794808836078078697330981276\ 2431/501064419740945275581785537600105915077*c_0101_6^4 + 8788612846139215765535328540875543232942/50106441974094527558178553\ 7600105915077*c_0101_6^3 + 2585901522940688423147177283653367883472\ 1/501064419740945275581785537600105915077*c_0101_6^2 - 485058927147894578234926243468250953642/501064419740945275581785537\ 600105915077*c_0101_6 - 376994882734808535370146403376794582051/501\ 064419740945275581785537600105915077, c_0101_4 - 3951911670575037182515375445890305249536/5010644197409452755\ 81785537600105915077*c_0101_6^18 + 10995357061479789624518150169705602292096/5010644197409452755817855\ 37600105915077*c_0101_6^17 - 50211823998163136145577891346996640508\ 224/501064419740945275581785537600105915077*c_0101_6^16 - 87306400309463921357614331308024730676544/5010644197409452755817855\ 37600105915077*c_0101_6^15 - 34188952051252100764270367547236906151\ 9472/501064419740945275581785537600105915077*c_0101_6^14 - 421145185281170664821993244439776948771296/501064419740945275581785\ 537600105915077*c_0101_6^13 - 7998282342713762393837780789639334330\ 72944/501064419740945275581785537600105915077*c_0101_6^12 - 843018407740754640085664523838554597840972/501064419740945275581785\ 537600105915077*c_0101_6^11 - 1093418891791213546518591936386792751\ 759351/501064419740945275581785537600105915077*c_0101_6^10 - 860113533638937352808405467380007682847882/501064419740945275581785\ 537600105915077*c_0101_6^9 - 74521270021049626287143117231538672113\ 6783/501064419740945275581785537600105915077*c_0101_6^8 - 391309638378888438670182664891240218117473/501064419740945275581785\ 537600105915077*c_0101_6^7 - 23435623735873713266219034403636483080\ 2906/501064419740945275581785537600105915077*c_0101_6^6 - 77724030429888614448191298846461356931916/5010644197409452755817855\ 37600105915077*c_0101_6^5 - 328673440970262875675715611213013278013\ 81/501064419740945275581785537600105915077*c_0101_6^4 - 8393364508438807704046755005005332029381/50106441974094527558178553\ 7600105915077*c_0101_6^3 - 2041122018355891522344818657411376905166\ /501064419740945275581785537600105915077*c_0101_6^2 + 336204491575338175441959099424312299/501064419740945275581785537600\ 105915077*c_0101_6 - 113887183358639166074385469616580162231/501064\ 419740945275581785537600105915077, c_0101_5 - 15053167802223891072499204730370931761152/501064419740945275\ 581785537600105915077*c_0101_6^18 + 51910642638211310498584740935261281713920/5010644197409452755817855\ 37600105915077*c_0101_6^17 - 22735460778712044117771434748250097981\ 7856/501064419740945275581785537600105915077*c_0101_6^16 - 179929755030678207306232830994400483935168/501064419740945275581785\ 537600105915077*c_0101_6^15 - 1191548566040316869530186738476673716\ 967296/501064419740945275581785537600105915077*c_0101_6^14 - 887277389442175857442952391601586030752240/501064419740945275581785\ 537600105915077*c_0101_6^13 - 2631763443674166817676961707595190521\ 056368/501064419740945275581785537600105915077*c_0101_6^12 - 1851408975126855176198081232476790641416320/50106441974094527558178\ 5537600105915077*c_0101_6^11 - 343358820728810885843015288114286875\ 0386796/501064419740945275581785537600105915077*c_0101_6^10 - 1793363604998823842076932591266665748700507/50106441974094527558178\ 5537600105915077*c_0101_6^9 - 2439457633084974258355192608811373331\ 782687/501064419740945275581785537600105915077*c_0101_6^8 - 780918632869852672619107551115517857266360/501064419740945275581785\ 537600105915077*c_0101_6^7 - 97953467928386577229084254223694380767\ 9285/501064419740945275581785537600105915077*c_0101_6^6 - 134672903802159648494380573724477866317294/501064419740945275581785\ 537600105915077*c_0101_6^5 - 22621863626336597856046903458635042205\ 6884/501064419740945275581785537600105915077*c_0101_6^4 - 5240270827346322504880679622231896024947/50106441974094527558178553\ 7600105915077*c_0101_6^3 - 2110573404449985513991167549979669072976\ 4/501064419740945275581785537600105915077*c_0101_6^2 - 478440331145885424576202564318046902702/501064419740945275581785537\ 600105915077*c_0101_6 + 433962350344661232066085481764379020076/501\ 064419740945275581785537600105915077, c_0101_6^19 - 7/2*c_0101_6^18 + 61/4*c_0101_6^17 + 45/4*c_0101_6^16 + 1251/16*c_0101_6^15 + 54*c_0101_6^14 + 169*c_0101_6^13 + 7031/64*c_0101_6^12 + 55055/256*c_0101_6^11 + 1587/16*c_0101_6^10 + 2345/16*c_0101_6^9 + 4483/128*c_0101_6^8 + 7183/128*c_0101_6^7 + 413/256*c_0101_6^6 + 3281/256*c_0101_6^5 - 325/256*c_0101_6^4 + 321/256*c_0101_6^3 - 15/128*c_0101_6^2 - 5/256*c_0101_6 + 1/256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB