Magma V2.19-8 Tue Aug 20 2013 16:18:16 on localhost [Seed = 2850567325] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2476 geometric_solution 5.80920624 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517018815871 0.248547528685 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.911898124956 0.506722491920 1 4 3 5 0132 0132 3012 0132 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 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.873147126955 0.898728928278 5 2 4 1 1023 1230 0132 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 -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.873147126955 0.898728928278 4 2 4 3 2031 0132 1302 0132 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 0 0 0 0 0 -1 1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485653369910 0.912563224414 6 3 2 6 0132 1023 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 -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.627413621794 0.566931526652 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.680012957132 0.582963576430 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), '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_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_0101_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_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_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 119127295888872310178543958692339/110941158205118762461512086772*c_\ 0101_6^35 - 1503932996252549313744230130186535/36980386068372920820\ 504028924*c_0101_6^33 + 33011704600928265662066990233972435/5547057\ 9102559381230756043386*c_0101_6^31 - 282348898022726548305053476581126401/55470579102559381230756043386*\ c_0101_6^29 + 1605789127746980739788570679694232035/554705791025593\ 81230756043386*c_0101_6^27 - 6473429816612878196138212576240188467/\ 55470579102559381230756043386*c_0101_6^25 + 3189264032497892290977882020893447792/9245096517093230205126007231*\ c_0101_6^23 - 84576487035211852282502229735686671919/11094115820511\ 8762461512086772*c_0101_6^21 + 140856147877097760775095896127094359\ 017/110941158205118762461512086772*c_0101_6^19 - 29460604226721637452178461303933223941/1849019303418646041025201446\ 2*c_0101_6^17 + 166351843854338895676961000381369671355/11094115820\ 5118762461512086772*c_0101_6^15 - 116348106765934580901131157337567\ 061987/110941158205118762461512086772*c_0101_6^13 + 14867151654123909329348190890156545381/2773528955127969061537802169\ 3*c_0101_6^11 - 3589643191475212597608521839004464461/1849019303418\ 6460410252014462*c_0101_6^9 + 5234876883912951127574543364683508715\ /110941158205118762461512086772*c_0101_6^7 - 388606329326335488722750710197932743/55470579102559381230756043386*\ c_0101_6^5 + 29732816450548838721407639070176939/554705791025593812\ 30756043386*c_0101_6^3 - 1585892788968559343673827417342719/1109411\ 58205118762461512086772*c_0101_6, c_0011_0 - 1, c_0011_1 + 25485471217174399838697184851/9245096517093230205126007231*c\ _0101_6^34 - 965927435666839452767565686260/92450965170932302051260\ 07231*c_0101_6^32 + 28299109995272668720577049459873/18490193034186\ 460410252014462*c_0101_6^30 - 121137716799967801458679906703842/924\ 5096517093230205126007231*c_0101_6^28 + 1379132408216928649882009864304105/18490193034186460410252014462*c_\ 0101_6^26 - 2781947430639259720910381505296409/92450965170932302051\ 26007231*c_0101_6^24 + 16454648701898375109276276025772445/18490193\ 034186460410252014462*c_0101_6^22 - 18180719638818890159806139558343321/9245096517093230205126007231*c_\ 0101_6^20 + 60501011918766115232559589795607653/1849019303418646041\ 0252014462*c_0101_6^18 - 75742047870252511980331375734836967/184901\ 93034186460410252014462*c_0101_6^16 + 70938236585294417374324112324743279/18490193034186460410252014462*c\ _0101_6^14 - 49192470763261409492361006800104987/184901930341864604\ 10252014462*c_0101_6^12 + 12394082653232219633156677739091356/92450\ 96517093230205126007231*c_0101_6^10 - 8769277354396179797106508373601811/18490193034186460410252014462*c_\ 0101_6^8 + 1023845736721735955947207323194573/924509651709323020512\ 6007231*c_0101_6^6 - 282578805793286950891116289974069/184901930341\ 86460410252014462*c_0101_6^4 + 18617624835202371133761231463421/184\ 90193034186460410252014462*c_0101_6^2 - 159354313330423552661366121090/9245096517093230205126007231, c_0011_3 + 102981985113131948008692395309/36980386068372920820504028924\ *c_0101_6^34 - 3891351012500902415025616445277/36980386068372920820\ 504028924*c_0101_6^32 + 28367490551835231403829478814511/1849019303\ 4186460410252014462*c_0101_6^30 - 241585492598109487101548267947263\ /18490193034186460410252014462*c_0101_6^28 + 1366770249686333418539316611245297/18490193034186460410252014462*c_\ 0101_6^26 - 5474441622978908501104934346587843/18490193034186460410\ 252014462*c_0101_6^24 + 8026383882212049846155732465325292/92450965\ 17093230205126007231*c_0101_6^22 - 70235843315667393458611133684213245/36980386068372920820504028924*c\ _0101_6^20 + 115469054391466935798144198016061921/36980386068372920\ 820504028924*c_0101_6^18 - 71247521775817236188334094386941045/1849\ 0193034186460410252014462*c_0101_6^16 + 131210996712771961349828712271587501/36980386068372920820504028924*\ c_0101_6^14 - 89211479113158319351777286839779783/36980386068372920\ 820504028924*c_0101_6^12 + 10984135371851248658947449607049769/9245\ 096517093230205126007231*c_0101_6^10 - 7565026473734328402778236705944663/18490193034186460410252014462*c_\ 0101_6^8 + 3420873265956909317972597689278937/369803860683729208205\ 04028924*c_0101_6^6 - 113569314739954824086483992611759/92450965170\ 93230205126007231*c_0101_6^4 + 7188937285198183114612258573704/9245\ 096517093230205126007231*c_0101_6^2 - 506780406849679117384965028855/36980386068372920820504028924, c_0101_0 + 371862177122043019804083246313/36980386068372920820504028924\ *c_0101_6^35 - 3518933906734092769518239165185/92450965170932302051\ 26007231*c_0101_6^33 + 102894413516379347044473986607067/1849019303\ 4186460410252014462*c_0101_6^31 - 879116329930927948187703475224649\ /18490193034186460410252014462*c_0101_6^29 + 2496623241349623109347611090286648/9245096517093230205126007231*c_0\ 101_6^27 - 10048477492617134052411557566115382/92450965170932302051\ 26007231*c_0101_6^25 + 29643374132981864049403279804806036/92450965\ 17093230205126007231*c_0101_6^23 - 261361555631412901987347460601612055/36980386068372920820504028924*\ c_0101_6^21 + 216904095645572608054591052392896581/1849019303418646\ 0410252014462*c_0101_6^19 - 270964301373126144175021565261581377/18\ 490193034186460410252014462*c_0101_6^17 + 506848186024791227448505626245919013/36980386068372920820504028924*\ c_0101_6^15 - 87858280003359212690959471274566619/92450965170932302\ 05126007231*c_0101_6^13 + 88696575113137116530358021385037689/18490\ 193034186460410252014462*c_0101_6^11 - 15758540946529990700050351165050930/9245096517093230205126007231*c_\ 0101_6^9 + 14846823184225254694006528274108371/36980386068372920820\ 504028924*c_0101_6^7 - 2080566514808583868234826680867253/369803860\ 68372920820504028924*c_0101_6^5 + 140876956459375078152189564795269\ /36980386068372920820504028924*c_0101_6^3 - 668332099787440059835584141461/9245096517093230205126007231*c_0101_\ 6, c_0101_1 - 38058396899004532468715601415/9245096517093230205126007231*c\ _0101_6^34 + 5755095497291327538596035204243/3698038606837292082050\ 4028924*c_0101_6^32 - 20993367944625450261748708728922/924509651709\ 3230205126007231*c_0101_6^30 + 357922386094831475791999803107441/18\ 490193034186460410252014462*c_0101_6^28 - 2027517689923282127109244103497929/18490193034186460410252014462*c_\ 0101_6^26 + 4067215190287746252894972383717370/92450965170932302051\ 26007231*c_0101_6^24 - 11952342879849518453528292537921256/92450965\ 17093230205126007231*c_0101_6^22 + 26223118996071153582895678800410875/9245096517093230205126007231*c_\ 0101_6^20 - 173111722688164351664898658086941409/369803860683729208\ 20504028924*c_0101_6^18 + 107373281558666613425553563982070113/1849\ 0193034186460410252014462*c_0101_6^16 - 99568449936507903677793529968963035/18490193034186460410252014462*c\ _0101_6^14 + 136669492159952420985577334383176611/36980386068372920\ 820504028924*c_0101_6^12 - 17038056441550324704513176713314229/9245\ 096517093230205126007231*c_0101_6^10 + 11932982487072602180118312888680883/18490193034186460410252014462*c\ _0101_6^8 - 1380539554712899117843593768676857/92450965170932302051\ 26007231*c_0101_6^6 + 756980012256650269497027191955445/36980386068\ 372920820504028924*c_0101_6^4 - 49744645163543979401744377794203/36\ 980386068372920820504028924*c_0101_6^2 + 885997766950914992374571293251/36980386068372920820504028924, c_0101_3 + 329566598864875831024601078413/36980386068372920820504028924\ *c_0101_6^35 - 3116441365094293960788655377880/92450965170932302051\ 26007231*c_0101_6^33 + 45510658382044958025909875182441/92450965170\ 93230205126007231*c_0101_6^31 - 388325412322215616372871413102522/9\ 245096517093230205126007231*c_0101_6^29 + 4404261155702663808346093878445829/18490193034186460410252014462*c_\ 0101_6^27 - 17692202748235325761454652362889347/1849019303418646041\ 0252014462*c_0101_6^25 + 52068257544069477965468630680972197/184901\ 93034186460410252014462*c_0101_6^23 - 228857787874186458580237979297137525/36980386068372920820504028924*\ c_0101_6^21 + 94607483901682753710058950172982860/92450965170932302\ 05126007231*c_0101_6^19 - 235232736686318663599811762882892199/1849\ 0193034186460410252014462*c_0101_6^17 + 437281277240652601603638156791551765/36980386068372920820504028924*\ c_0101_6^15 - 75199746151042435853198519573830293/92450965170932302\ 05126007231*c_0101_6^13 + 37576762199259708125017495395842024/92450\ 96517093230205126007231*c_0101_6^11 - 26359615995410538883258918455937607/18490193034186460410252014462*c\ _0101_6^9 + 12208660754127354880833532445635017/3698038606837292082\ 0504028924*c_0101_6^7 - 1674207743669854493945320020842079/36980386\ 068372920820504028924*c_0101_6^5 + 110525554705445091777593664163117/36980386068372920820504028924*c_0\ 101_6^3 - 1005191173384053653215976093571/1849019303418646041025201\ 4462*c_0101_6, c_0101_6^36 - 38*c_0101_6^34 + 559*c_0101_6^32 - 4810*c_0101_6^30 + 27554*c_0101_6^28 - 112054*c_0101_6^26 + 334816*c_0101_6^24 - 749875*c_0101_6^22 + 1270188*c_0101_6^20 - 1629221*c_0101_6^18 + 1577671*c_0101_6^16 - 1145868*c_0101_6^14 + 616375*c_0101_6^12 - 239944*c_0101_6^10 + 65009*c_0101_6^8 - 11519*c_0101_6^6 + 1210*c_0101_6^4 - 63*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB