Magma V2.19-8 Tue Aug 20 2013 16:17:39 on localhost [Seed = 3768679431] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1881 geometric_solution 5.50611526 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 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.303771265303 0.531775573649 3 2 4 0 0132 3012 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.571663694993 1.034300946529 1 3 0 4 1230 0132 0132 3201 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 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 0 0 0 0 0.571663694993 1.034300946529 1 2 3 3 0132 0132 1230 3012 0 0 0 0 0 1 -1 0 0 0 -1 1 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 0 0 1.022682079530 1.081050593842 5 2 5 1 0132 2310 2310 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 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.948536970319 1.864297035891 4 4 6 6 0132 3201 2310 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 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.166243280828 0.209215099238 6 5 5 6 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1.742166079031 0.840868157270 ==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_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 92694549049928446822590679804651111787079389424222139/3714874001710\ 7473882881178170704750150922806040072*c_0101_4^31 + 935941769498097493045822050747179152352002605473317628/464359250213\ 8434235360147271338093768865350755009*c_0101_4^29 - 178163586665100755493298930077434958457483604803211518789/371487400\ 17107473882881178170704750150922806040072*c_0101_4^27 + 581971217594208440053825261738721675399748685678088229029/123829133\ 39035824627627059390234916716974268680024*c_0101_4^25 - 413434197870852597939216867362527495494593892384660068875/168857909\ 1686703358312780825941125006860127547276*c_0101_4^23 + 28979777959084253400179440914698624554459506615249696678601/3714874\ 0017107473882881178170704750150922806040072*c_0101_4^21 - 60617927970906794061237979032866667860305939244990606949635/3714874\ 0017107473882881178170704750150922806040072*c_0101_4^19 + 42927726384286518225080927878652880073982256040333405722511/1857437\ 0008553736941440589085352375075461403020036*c_0101_4^17 - 82661496172788017882057715497356045179295668313266661171685/3714874\ 0017107473882881178170704750150922806040072*c_0101_4^15 + 26537909000097246317065831274924476464107539524454476540727/1857437\ 0008553736941440589085352375075461403020036*c_0101_4^13 - 3629568043811140158995476239850115189035223365528566247153/61914566\ 69517912313813529695117458358487134340012*c_0101_4^11 + 5267722352554429723482378330201684630375963904166806998925/37148740\ 017107473882881178170704750150922806040072*c_0101_4^9 - 52230151289418325306098752611196688849655616150362298601/3095728334\ 758956156906764847558729179243567170006*c_0101_4^7 + 5530963216498515852124531944065829515938226904578522153/12382913339\ 035824627627059390234916716974268680024*c_0101_4^5 + 1613367444597542243651443895643563358561934959521151599/37148740017\ 107473882881178170704750150922806040072*c_0101_4^3 - 59955165936059342590903387854952756653946608085904845/3714874001710\ 7473882881178170704750150922806040072*c_0101_4, c_0011_0 - 1, c_0011_1 + 1530814882412586152721182906475184942318929976759921/2476582\ 6678071649255254118780469833433948537360048*c_0101_4^31 - 30904369439374810120375192776853380319541830124178785/6191456669517\ 912313813529695117458358487134340012*c_0101_4^29 + 2939396899678809674941342536886463096290851355260652531/24765826678\ 071649255254118780469833433948537360048*c_0101_4^27 - 28765277776390521795615936421217529573780166465144493517/2476582667\ 8071649255254118780469833433948537360048*c_0101_4^25 + 6798677331617409879156034344946352963442831062746509611/11257193944\ 57802238875187217294083337906751698184*c_0101_4^23 - 475453012851455277821492593755882509080607437247015316399/247658266\ 78071649255254118780469833433948537360048*c_0101_4^21 + 991836618961781202844352386497944677195491576257142658505/247658266\ 78071649255254118780469833433948537360048*c_0101_4^19 - 700203684681405218407822662959489253646563235096938062291/123829133\ 39035824627627059390234916716974268680024*c_0101_4^17 + 1343565166275731462231838087049847944072668406149161036211/24765826\ 678071649255254118780469833433948537360048*c_0101_4^15 - 429715904442299893234193808671717445361743172475426615453/123829133\ 39035824627627059390234916716974268680024*c_0101_4^13 + 175726096755340627124632428830002730584017983684035855197/123829133\ 39035824627627059390234916716974268680024*c_0101_4^11 - 84900509717118973631942483741556506229610765785306539719/2476582667\ 8071649255254118780469833433948537360048*c_0101_4^9 + 633374050130112168809879512304565872105052824241435407/154786416737\ 9478078453382423779364589621783585003*c_0101_4^7 - 265705159659599669654067327469072335435163951650555917/247658266780\ 71649255254118780469833433948537360048*c_0101_4^5 - 30095040623054541679745694342241650764869514045261477/2476582667807\ 1649255254118780469833433948537360048*c_0101_4^3 + 1241588918483499755638485258174420039206448186023835/24765826678071\ 649255254118780469833433948537360048*c_0101_4, c_0011_4 + 5981539716414392608719287043713726321958757319590/1547864167\ 379478078453382423779364589621783585003*c_0101_4^30 - 483289307349121002313054479481742044009655826834298/154786416737947\ 8078453382423779364589621783585003*c_0101_4^28 + 11506693388156808445441258616054043654683007475334187/1547864167379\ 478078453382423779364589621783585003*c_0101_4^26 - 112899354003733797045231183492032107299797556295359301/154786416737\ 9478078453382423779364589621783585003*c_0101_4^24 + 53570212044332286484853767177631886972001229630425696/1407149243072\ 25279859398402161760417238343962273*c_0101_4^22 - 1882395574702752779582433522233849270379159212679119980/15478641673\ 79478078453382423779364589621783585003*c_0101_4^20 + 3951390174505406101399527657200420248650113917791414585/15478641673\ 79478078453382423779364589621783585003*c_0101_4^18 - 5623810503445141956939812482835638782049873178546855723/15478641673\ 79478078453382423779364589621783585003*c_0101_4^16 + 5452086065864013633930912172960173478097579294784274113/15478641673\ 79478078453382423779364589621783585003*c_0101_4^14 - 3536209827398721147317929226584721660241109057165956531/15478641673\ 79478078453382423779364589621783585003*c_0101_4^12 + 1472927469262473896469568750443546771917610567238593160/15478641673\ 79478078453382423779364589621783585003*c_0101_4^10 - 364410663433875010780482483574013053582572919210222109/154786416737\ 9478078453382423779364589621783585003*c_0101_4^8 + 44896069099425033895304849346822264867177312970352124/1547864167379\ 478078453382423779364589621783585003*c_0101_4^6 - 1288842072692719050950430686232640515110591180837597/15478641673794\ 78078453382423779364589621783585003*c_0101_4^4 - 125376341585150390698896253063870669884052846281149/154786416737947\ 8078453382423779364589621783585003*c_0101_4^2 + 4458103747210630465146783215626751904642069212102/15478641673794780\ 78453382423779364589621783585003, c_0011_6 - 9143654484208493164630915249808136407761679875387/2476582667\ 8071649255254118780469833433948537360048*c_0101_4^30 + 182883186047683473702215007245196373030761315676719/619145666951791\ 2313813529695117458358487134340012*c_0101_4^28 - 17007126273998491881342708908922850793137133790543281/2476582667807\ 1649255254118780469833433948537360048*c_0101_4^26 + 158876072349680811213245917525595713767713914183972447/247658266780\ 71649255254118780469833433948537360048*c_0101_4^24 - 34975979082154948079535268997250361686939346652671457/1125719394457\ 802238875187217294083337906751698184*c_0101_4^22 + 2215903964415939867612939560065660026193569373795974613/24765826678\ 071649255254118780469833433948537360048*c_0101_4^20 - 4023559246787294492899895383810606904424382645305631379/24765826678\ 071649255254118780469833433948537360048*c_0101_4^18 + 2307752110374685186529146280968759259353391329392298321/12382913339\ 035824627627059390234916716974268680024*c_0101_4^16 - 3115884861350760457288991424189951826549594080173698257/24765826678\ 071649255254118780469833433948537360048*c_0101_4^14 + 448489311157953142475325017018215619576664241134332663/123829133390\ 35824627627059390234916716974268680024*c_0101_4^12 + 107467708227821098364785412067196007784860040885779217/123829133390\ 35824627627059390234916716974268680024*c_0101_4^10 - 228938459053950152324670294394796327499184953528523571/247658266780\ 71649255254118780469833433948537360048*c_0101_4^8 + 3296084298889164861524046652518694463577615409211381/15478641673794\ 78078453382423779364589621783585003*c_0101_4^6 - 2055269005319600017889206676803347081336156265193057/24765826678071\ 649255254118780469833433948537360048*c_0101_4^4 - 288638288837713643063322820393073073397668843073705/247658266780716\ 49255254118780469833433948537360048*c_0101_4^2 + 3235796479138597962121833833993613097132615283559/24765826678071649\ 255254118780469833433948537360048, c_0101_0 + 1491389441501733722142170365289990260742011865877/6191456669\ 517912313813529695117458358487134340012*c_0101_4^30 - 30675869354773807666133187055999296799783854973014/1547864167379478\ 078453382423779364589621783585003*c_0101_4^28 + 3046049116115442457980483649953664776157802147119223/61914566695179\ 12313813529695117458358487134340012*c_0101_4^26 - 32307961951661624358773810086794213363081532785723465/6191456669517\ 912313813529695117458358487134340012*c_0101_4^24 + 8482679219627972681239040868161663847331809400276923/28142984861445\ 0559718796804323520834476687924546*c_0101_4^22 - 668355733868285445881816711074796591672308038638928571/619145666951\ 7912313813529695117458358487134340012*c_0101_4^20 + 1588555201770750196997325370295870103968910834012078089/61914566695\ 17912313813529695117458358487134340012*c_0101_4^18 - 1293473284205016357392651637585964038379411706916547803/30957283347\ 58956156906764847558729179243567170006*c_0101_4^16 + 2905744371871807157804645878114286105413846240576939727/61914566695\ 17912313813529695117458358487134340012*c_0101_4^14 - 1108569494519438151570128252971706129320062221811790233/30957283347\ 58956156906764847558729179243567170006*c_0101_4^12 + 552840865273517550227253793873105104189720521638706275/309572833475\ 8956156906764847558729179243567170006*c_0101_4^10 - 336799315850789679023866979402990912400948119547394279/619145666951\ 7912313813529695117458358487134340012*c_0101_4^8 + 13829290338619778541768273941324769109960909603586240/1547864167379\ 478078453382423779364589621783585003*c_0101_4^6 - 3344795892644459005019585788672946362461092591312033/61914566695179\ 12313813529695117458358487134340012*c_0101_4^4 - 158789697359459370159991644427536007680586528776789/619145666951791\ 2313813529695117458358487134340012*c_0101_4^2 + 14034700480844694524671669505221278871902303862443/6191456669517912\ 313813529695117458358487134340012, c_0101_1 - 255352374282376560617150767530796669828426380564549/24765826\ 678071649255254118780469833433948537360048*c_0101_4^31 + 5150290602377646647661512581738899263985108938319373/61914566695179\ 12313813529695117458358487134340012*c_0101_4^29 - 488768548809137391881898759549498365756524709703688703/247658266780\ 71649255254118780469833433948537360048*c_0101_4^27 + 4761887531943021789852983397086681184357315103544639425/24765826678\ 071649255254118780469833433948537360048*c_0101_4^25 - 1118226309425266837002240410841256174888622294901182439/11257193944\ 57802238875187217294083337906751698184*c_0101_4^23 + 77552666224178042105086774921851124172866448167232057883/2476582667\ 8071649255254118780469833433948537360048*c_0101_4^21 - 160090110696850391016801065634762931859735436441133863485/247658266\ 78071649255254118780469833433948537360048*c_0101_4^19 + 111509124781700778754072539127031002319793884472842292359/123829133\ 39035824627627059390234916716974268680024*c_0101_4^17 - 210228135931148625809137589357147640818983329220268829871/247658266\ 78071649255254118780469833433948537360048*c_0101_4^15 + 65659883557993267099970806356032318486294791294973301777/1238291333\ 9035824627627059390234916716974268680024*c_0101_4^13 - 25992134728416776725710483965428718174032393604525324025/1238291333\ 9035824627627059390234916716974268680024*c_0101_4^11 + 11996975501393806551487376766223351237139717256808129091/2476582667\ 8071649255254118780469833433948537360048*c_0101_4^9 - 82968890275257269822574294085678270684362603450969633/1547864167379\ 478078453382423779364589621783585003*c_0101_4^7 + 22294790367313644611291492633054724570990317949396497/2476582667807\ 1649255254118780469833433948537360048*c_0101_4^5 + 4767970019932053907392814534891515965302713278238793/24765826678071\ 649255254118780469833433948537360048*c_0101_4^3 - 114647893804499980620044320787481646392040160546343/247658266780716\ 49255254118780469833433948537360048*c_0101_4, c_0101_4^32 - 2343/29*c_0101_4^30 + 55779/29*c_0101_4^28 - 547186/29*c_0101_4^26 + 2855585/29*c_0101_4^24 - 9122313/29*c_0101_4^22 + 19157522/29*c_0101_4^20 - 27301641/29*c_0101_4^18 + 26550969/29*c_0101_4^16 - 17345307/29*c_0101_4^14 + 7347824/29*c_0101_4^12 - 1895753/29*c_0101_4^10 + 263221/29*c_0101_4^8 - 13881/29*c_0101_4^6 - 298/29*c_0101_4^4 + 46/29*c_0101_4^2 - 1/29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB