Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 122067907] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2327 geometric_solution 5.71692525 oriented_manifold CS_known -0.0000000000000002 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 1 0 -1 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.289526755868 0.243918545637 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 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.690359393194 1.457973326380 1 3 4 5 0132 3201 0132 0132 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 -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.092734512641 1.003221981283 5 4 2 1 3201 0132 2310 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.092734512641 1.003221981283 6 3 6 2 0132 0132 2310 0132 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 1 0 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.756185505115 0.816957125050 5 5 2 3 1230 3012 0132 2310 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 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.185145419396 1.191721431192 4 4 6 6 0132 3201 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 -1 0 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.410233463083 0.235461216898 ==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_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' : negation(d['1']), 's_0_6' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_4'], 'c_1100_5' : d['c_0011_3'], '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' : d['c_0101_0'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], '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_0011_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], '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_0011_5'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), '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_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t + 225807242131491542440736432130952889095872991958643792614/306689087\ 720339887633888077605423056439941104335187969*c_0101_4^41 - 19811572260647365157179281983405939587061899529218197274814/3066890\ 87720339887633888077605423056439941104335187969*c_0101_4^39 + 1313739300445811310994871594024563660066546802742719530288063/61337\ 8175440679775267776155210846112879882208670375938*c_0101_4^37 - 11339972374110743760173265713928175023387100664338465402857151/3066\ 89087720339887633888077605423056439941104335187969*c_0101_4^35 + 117027418602362398574849473492325723266473029924052578120772536/306\ 689087720339887633888077605423056439941104335187969*c_0101_4^33 - 1552832116647451437132765830504182818711707281992884382245712521/61\ 3378175440679775267776155210846112879882208670375938*c_0101_4^31 + 6931544304088607067568546279812238578499838819386529878050610127/61\ 3378175440679775267776155210846112879882208670375938*c_0101_4^29 - 21467928029537799210518823107992309070003199682094203682638282913/6\ 13378175440679775267776155210846112879882208670375938*c_0101_4^27 + 15716815823993749520925277816021426429364390575181921615278456315/2\ 04459391813559925089258718403615370959960736223458646*c_0101_4^25 - 74542064413237380158861580448160069519784057621065956677470356337/6\ 13378175440679775267776155210846112879882208670375938*c_0101_4^23 + 42771425379290620411943963515105561965957478099967780265261292585/3\ 06689087720339887633888077605423056439941104335187969*c_0101_4^21 - 35690832618074657464815130778338187444713063676356564839183171538/3\ 06689087720339887633888077605423056439941104335187969*c_0101_4^19 + 43091540559029379444428695103160421593615323875971272755726536667/6\ 13378175440679775267776155210846112879882208670375938*c_0101_4^17 - 9298985936472258098272956617748800150441904263235614631603421967/30\ 6689087720339887633888077605423056439941104335187969*c_0101_4^15 + 1880257959438329551776564106393384850593168619221743387611848103/20\ 4459391813559925089258718403615370959960736223458646*c_0101_4^13 - 1180638076724363948589512571299112902379831967922493761826211981/61\ 3378175440679775267776155210846112879882208670375938*c_0101_4^11 + 168686433505189699816512687438415160988213821722650982727470645/613\ 378175440679775267776155210846112879882208670375938*c_0101_4^9 - 2738406154044376827012934100279854201492851556304475843226109/10222\ 9695906779962544629359201807685479980368111729323*c_0101_4^7 + 541051491831976855092445664382005338917040541740370120502367/306689\ 087720339887633888077605423056439941104335187969*c_0101_4^5 - 44888948719291153070040955517840885678680461168215603334379/6133781\ 75440679775267776155210846112879882208670375938*c_0101_4^3 + 880523878019681364612637166816209649979976569514221979063/613378175\ 440679775267776155210846112879882208670375938*c_0101_4, c_0011_0 - 1, c_0011_1 - 390568116058083883772590294163784783365886268990862280/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^40 + 34220750901844679701615888996621156895695013975132542892/3407656530\ 2259987514876453067269228493326789370576441*c_0101_4^38 - 1132141738225759547509177336776350641502587020783968019922/34076565\ 302259987514876453067269228493326789370576441*c_0101_4^36 + 19484077870367717107783770531314124811674217350727050001511/3407656\ 5302259987514876453067269228493326789370576441*c_0101_4^34 - 200243869606713615803741673366886134708689982670899408062128/340765\ 65302259987514876453067269228493326789370576441*c_0101_4^32 + 1321526303635322877737041993432566593742232173551042909615442/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^30 - 5861359462133663850989589132800015893128439443421132339353995/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^28 + 18020265387202345887001114006297481860937968539032779335170380/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^26 - 39268246836317609950792669500861120902296808076683891172643104/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^24 + 61609006824128938753957828167188768100155757954254286798753848/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^22 - 70250537639040408054241209743725416559928981206110491778739958/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^20 + 58390852859073011048377534988295180407441577658119066693244010/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^18 - 35245458810755179005907255017145176150412024767804271658292076/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^16 + 15285170790381338074460373167694372861583315342108095189347189/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^14 - 4679057719035420717246553063074952119626647458591790502230054/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^12 + 986998848127879233029434169411595520973487267412463151882787/340765\ 65302259987514876453067269228493326789370576441*c_0101_4^10 - 139270625261710235931123637152927434845628290700652985379791/340765\ 65302259987514876453067269228493326789370576441*c_0101_4^8 + 12639840081058647629804616156459388994363477848254176551302/3407656\ 5302259987514876453067269228493326789370576441*c_0101_4^6 - 692922814927790487308446782532067216763716360067597571508/340765653\ 02259987514876453067269228493326789370576441*c_0101_4^4 + 20329710748390363126994887898332951213239804712733237707/3407656530\ 2259987514876453067269228493326789370576441*c_0101_4^2 - 244798943096652649475086459145511817580476911612045042/340765653022\ 59987514876453067269228493326789370576441, c_0011_3 - 421444755588785323920420012156485178174300244482937202/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^41 + 36907292753549417283184580781685153485059685367749080097/3407656530\ 2259987514876453067269228493326789370576441*c_0101_4^39 - 1219998841730380444285554067181078733351022513606088570260/34076565\ 302259987514876453067269228493326789370576441*c_0101_4^37 + 20970107023872497980173329780758358042670415000879190601766/3407656\ 5302259987514876453067269228493326789370576441*c_0101_4^35 - 215143067905776437210516379056456460066700389058058232033131/340765\ 65302259987514876453067269228493326789370576441*c_0101_4^33 + 1416475950763382550344366590807056447237335634299141861206546/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^31 - 6262281884007173026151597155440782699676171425667092691813330/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^29 + 19170239481034876051974932697301181561234140126627768070671672/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^27 - 41537581323290916612319527227976057894692147691974661950670574/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^25 + 64685218802028881449222981160214692841614753789820679031246032/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^23 - 73037964490904473992581733624444749884549049079909359865362389/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^21 + 59920676463963170122347802144945827668553877479736293863208613/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^19 - 35535353452012591663079637138686450746488157174604928048272360/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^17 + 15037474681641693019312022711725446017663309166713632099229831/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^15 - 4444637323301947874135617893727785183152385616086287109373403/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^13 + 890303539158463768247827286492099930043545374032132884846998/340765\ 65302259987514876453067269228493326789370576441*c_0101_4^11 - 116097398266296894365055897126983288142776981301088407627245/340765\ 65302259987514876453067269228493326789370576441*c_0101_4^9 + 9282540134380553363627571042057321425729018126037375735780/34076565\ 302259987514876453067269228493326789370576441*c_0101_4^7 - 408300274347940391433547629911470364501944871059800691219/340765653\ 02259987514876453067269228493326789370576441*c_0101_4^5 + 7729091238565113709251487678089391951057796385285526817/34076565302\ 259987514876453067269228493326789370576441*c_0101_4^3 + 66285914826407591299850861754393432380066188181675570/3407656530225\ 9987514876453067269228493326789370576441*c_0101_4, c_0011_5 - 779157886326332160816020815682740535746478359959832670/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^41 + 68206243524601183386793492415669474523595427426693301601/3407656530\ 2259987514876453067269228493326789370576441*c_0101_4^39 - 2253134291646731266202383744405480231723193415569198673863/34076565\ 302259987514876453067269228493326789370576441*c_0101_4^37 + 38690913603830926532303137422185122072989139494786074226413/3407656\ 5302259987514876453067269228493326789370576441*c_0101_4^35 - 396415343230288465692594192569826041493877088645034603522313/340765\ 65302259987514876453067269228493326789370576441*c_0101_4^33 + 2605139330090563367106630715372047425690936870881175711768363/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^31 - 11488869880001750522211416071313447300556282533993236999251883/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^29 + 35054751289449462933482771793812906939448368216623709681754468/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^27 - 75631272261932141596879075693346031378634635534607585936925014/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^25 + 117128724949660952043550493279720052467081190823702842656252812/340\ 76565302259987514876453067269228493326789370576441*c_0101_4^23 - 131312705056378681412476027865105925771688759131091672713837639/340\ 76565302259987514876453067269228493326789370576441*c_0101_4^21 + 106731186997778846342469044528365602583160856111828506706544010/340\ 76565302259987514876453067269228493326789370576441*c_0101_4^19 - 62513826919057064619307890976414036045111156214838950228379409/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^17 + 26001242444312834378298031253378828296199044758651075305172850/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^15 - 7492548754210179716299773474401640966257619431476696049759483/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^13 + 1441217858125229126155601762770158427520144709407093244654838/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^11 - 174727974511020742815649409100113516081867514184003138933605/340765\ 65302259987514876453067269228493326789370576441*c_0101_4^9 + 11914100933919198177856166954328254548655756640334390189468/3407656\ 5302259987514876453067269228493326789370576441*c_0101_4^7 - 311978007314594203096219723242187851468543568027856105586/340765653\ 02259987514876453067269228493326789370576441*c_0101_4^5 - 6733253658944493631899062738315070812247832043129273256/34076565302\ 259987514876453067269228493326789370576441*c_0101_4^3 + 435790985945165887162630866747839025830026045656568213/340765653022\ 59987514876453067269228493326789370576441*c_0101_4, c_0101_0 - 1663154039112220718297588179423306663018498139950857920/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^40 + 145708365365748674859904413073148976807702616229864436994/340765653\ 02259987514876453067269228493326789370576441*c_0101_4^38 - 4819801048173308886582285934746611338647054200608991145957/34076565\ 302259987514876453067269228493326789370576441*c_0101_4^36 + 82929822914143125793646889651235030139251357271956070009874/3407656\ 5302259987514876453067269228493326789370576441*c_0101_4^34 - 852032052609156430740081415224125188709002119877513189787458/340765\ 65302259987514876453067269228493326789370576441*c_0101_4^32 + 5620723505765488285996041816947902534479189169229798387701933/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^30 - 24916026546335655971287046448541061209273700357985903855027211/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^28 + 76549178824003095633790896551235753765940906171136545807282745/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^26 - 166666042184005931371823858248324874062165583394447126032866461/340\ 76565302259987514876453067269228493326789370576441*c_0101_4^24 + 261214441856868164279617737252242625820341084942067630097027559/340\ 76565302259987514876453067269228493326789370576441*c_0101_4^22 - 297483692825300778019684239805790932259570949792052111545222556/340\ 76565302259987514876453067269228493326789370576441*c_0101_4^20 + 246896998705820966992345743253639913323186110657423234816649301/340\ 76565302259987514876453067269228493326789370576441*c_0101_4^18 - 148761800963335751280327240179930217501120604762088129771293066/340\ 76565302259987514876453067269228493326789370576441*c_0101_4^16 + 64365684103477255437259316708463139564907067115451898123464114/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^14 - 19640599524637188366005718093424008208773122736829620928096862/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^12 + 4123501822498999313982766490403760924680666003354479653898277/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^10 - 577832671241684292877782079606886445162956385920184657167744/340765\ 65302259987514876453067269228493326789370576441*c_0101_4^8 + 51985235465289105230187858871676782047649266541611933645760/3407656\ 5302259987514876453067269228493326789370576441*c_0101_4^6 - 2827512185553736944327484771938327575307865996130152270615/34076565\ 302259987514876453067269228493326789370576441*c_0101_4^4 + 82155391950597577880484599163584216402938382590949283967/3407656530\ 2259987514876453067269228493326789370576441*c_0101_4^2 - 847831315540436878592117264717634881236911615655644794/340765653022\ 59987514876453067269228493326789370576441, c_0101_1 + 529102951490072819418037006170498050293727546482605686/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^40 - 46368825987460351139913155719947727541107401267350157675/3407656530\ 2259987514876453067269228493326789370576441*c_0101_4^38 + 1534577061579560892203200055259839071030052214081992932040/34076565\ 302259987514876453067269228493326789370576441*c_0101_4^36 - 26423256804658700066536892896672126859498115350551018866670/3407656\ 5302259987514876453067269228493326789370576441*c_0101_4^34 + 271745020154050576926013623288013798973688790868775791469711/340765\ 65302259987514876453067269228493326789370576441*c_0101_4^32 - 1795010972886424600628337905491837738217538011058147986954436/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^30 + 7970496658795555122409865121024239553186010096784705444575988/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^28 - 24539334484846793812619361933361621761115989495117162943603718/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^26 + 53565632152903034096778121910174133338297397722312961434996500/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^24 - 84212090403590811959341304901683721850192015010078496215348186/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^22 + 96257793359185722824424656437239923583551370894627564653629812/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^20 - 80243415438307105470343062497428964842560607344620904406817537/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^18 + 48612867201030788209822147221558708574760185274021796462185137/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^16 - 21179948691965911956206377223935978617628693459957289161834353/3407\ 6565302259987514876453067269228493326789370576441*c_0101_4^14 + 6522175489763435641027627307858437332760751899571056574360846/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^12 - 1386346591027783665629641717692934342801897901413796851516593/34076\ 565302259987514876453067269228493326789370576441*c_0101_4^10 + 197558762317177696521761817379049511047645542392715444258029/340765\ 65302259987514876453067269228493326789370576441*c_0101_4^8 - 18172697855765201489056704045429290116177612741666482275346/3407656\ 5302259987514876453067269228493326789370576441*c_0101_4^6 + 1015993511748535324908633823654941042164967713679091850198/34076565\ 302259987514876453067269228493326789370576441*c_0101_4^4 - 30193942324048862396348487306657075848293075677870838373/3407656530\ 2259987514876453067269228493326789370576441*c_0101_4^2 + 294223183041294274975553856070211624278005962267256023/340765653022\ 59987514876453067269228493326789370576441, c_0101_4^42 - 177/2*c_0101_4^40 + 2976*c_0101_4^38 - 52444*c_0101_4^36 + 556721*c_0101_4^34 - 3836137*c_0101_4^32 + 17994786*c_0101_4^30 - 118789467/2*c_0101_4^28 + 141318277*c_0101_4^26 - 246659768*c_0101_4^24 + 638978037/2*c_0101_4^22 - 617737971/2*c_0101_4^20 + 222867185*c_0101_4^18 - 238621707/2*c_0101_4^16 + 46814696*c_0101_4^14 - 13214926*c_0101_4^12 + 2617416*c_0101_4^10 - 704971/2*c_0101_4^8 + 61921/2*c_0101_4^6 - 3325/2*c_0101_4^4 + 48*c_0101_4^2 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB