Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 1781266092] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0295 geometric_solution 4.33684109 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 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 -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 1.541248567126 0.615723189743 0 1 0 1 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.089988650665 0.288297458576 0 3 4 0 3201 0132 0132 0132 0 0 0 0 0 0 -1 1 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 -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.984972179238 0.192019715094 4 2 4 5 2103 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 1 -1 0 1 0 -1 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.915237467587 0.620523049087 3 5 3 2 2031 0132 2103 0132 0 0 0 0 0 0 -1 1 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.915237467587 0.620523049087 6 4 3 6 0132 0132 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.263487319633 0.281952217341 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.798221042530 1.185937158228 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(d['c_0011_2']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : negation(d['c_0101_1']), '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_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_1001_2'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 79660239920797975949527695947672325643171038793937953617899/1708888\ 1327331666585751824893984676573361233662055259864320*c_1001_2^20 + 918410335208548034918108730204909647814932962758553908497993/170888\ 81327331666585751824893984676573361233662055259864320*c_1001_2^19 + 1831428289415198088091571541811696139706886949562163441182251/17088\ 881327331666585751824893984676573361233662055259864320*c_1001_2^18 - 1246935221539198973291804108120348175954351086803823564705635/85444\ 4066366583329287591244699233828668061683102762993216*c_1001_2^17 - 125127826884378411127669307630511699580401660722683549524927017/170\ 88881327331666585751824893984676573361233662055259864320*c_1001_2^1\ 6 + 17630548992905169769546887316802640699785463355157644872081403/\ 1424073443944305548812652074498723047780102805171271655360*c_1001_2\ ^15 + 3090312677926345249784252639564687502633153147144527115535426\ 1/379752918385148146350040553199659479408027414712339108096*c_1001_\ 2^14 - 137068518369743138300802274504173847285943744258252832576857\ 271/1898764591925740731750202765998297397040137073561695540480*c_10\ 01_2^13 - 765141675834823338993247253970254907236659450010703275979\ 7437671/17088881327331666585751824893984676573361233662055259864320\ *c_1001_2^12 + 2857351158813159089798889186125835125688257191883164\ 51571011987/1068055082958229161609489055874042285835077103878453741\ 520*c_1001_2^11 + 2218377057094224543322315709718580082727513728437\ 716195695828129/170888813273316665857518248939846765733612336620552\ 5986432*c_1001_2^10 - 116239776231909162263871060326258901507849662\ 23443262214401709273/1708888132733166658575182489398467657336123366\ 2055259864320*c_1001_2^9 - 1138475247893495073603803188657793486999\ 4727140413785051031418601/56962937757772221952506082979948921911204\ 11220685086621440*c_1001_2^8 + 190315117449512789472625904799918040\ 46658316000539542180821044593/1708888132733166658575182489398467657\ 3361233662055259864320*c_1001_2^7 + 6457980277917170357082414781341759146265082902226401229648067203/42\ 72220331832916646437956223496169143340308415513814966080*c_1001_2^6 - 1153830135552265566319746465336333019850251014663684271373238401/\ 1139258755155444439050121659598978438224082244137017324288*c_1001_2\ ^5 - 43445135535182494177757032111934105918161351913948825287793799\ 7/1139258755155444439050121659598978438224082244137017324288*c_1001\ _2^4 + 173733196674108062052215175411155211300216905554031177467144\ 8653/4272220331832916646437956223496169143340308415513814966080*c_1\ 001_2^3 - 301679247360063003110626976469812917964443928279963360276\ 31059/534027541479114580804744527937021142917538551939226870760*c_1\ 001_2^2 - 437128621463663752162334216703025590936189786230610172870\ 28609/1898764591925740731750202765998297397040137073561695540480*c_\ 1001_2 + 5665597979911561678769384198698089237911109610871254966238\ 567/1068055082958229161609489055874042285835077103878453741520, c_0011_0 - 1, c_0011_2 - 33364210701564748139762827445817453984947823212388763/296681\ 9674883969893359691821872339682875214177440149282*c_1001_2^20 - 373823038860499310623439906592544958820417227132935215/296681967488\ 3969893359691821872339682875214177440149282*c_1001_2^19 - 642817537283595830418487831913101493705560536336025607/296681967488\ 3969893359691821872339682875214177440149282*c_1001_2^18 + 5344102272224865775591763767944096687785524839296374023/14834098374\ 41984946679845910936169841437607088720074641*c_1001_2^17 + 49020695280674728547652218010990097715909302715430400215/2966819674\ 883969893359691821872339682875214177440149282*c_1001_2^16 - 52688137872929530969733696639506830151542748431444621600/1483409837\ 441984946679845910936169841437607088720074641*c_1001_2^15 - 553171913736703405693955401201447863317735951758192439779/296681967\ 4883969893359691821872339682875214177440149282*c_1001_2^14 + 701197835778972803943408824684352743047417949411964115315/296681967\ 4883969893359691821872339682875214177440149282*c_1001_2^13 + 3030082913697765206849791983626011732415954677376846075111/29668196\ 74883969893359691821872339682875214177440149282*c_1001_2^12 - 1457461777341833720079090161018261043159808236403205491362/14834098\ 37441984946679845910936169841437607088720074641*c_1001_2^11 - 4317544526983208746621590404475478988160251836831225975359/14834098\ 37441984946679845910936169841437607088720074641*c_1001_2^10 + 7690988788684860029993631766852421885968755143024635012301/29668196\ 74883969893359691821872339682875214177440149282*c_1001_2^9 + 12646771115070544004284884006247440338297101897761667399213/2966819\ 674883969893359691821872339682875214177440149282*c_1001_2^8 - 12107605956186486258018297759422580672371325405029909373795/2966819\ 674883969893359691821872339682875214177440149282*c_1001_2^7 - 4095843858962009478293592447075531790994307099436787921935/14834098\ 37441984946679845910936169841437607088720074641*c_1001_2^6 + 10055805125913569322231333516822002772384089383126677175193/2966819\ 674883969893359691821872339682875214177440149282*c_1001_2^5 + 480786847422168354358499794511168945890019921467594788301/296681967\ 4883969893359691821872339682875214177440149282*c_1001_2^4 - 1657424182612728684246095681974034125214245181094794373541/14834098\ 37441984946679845910936169841437607088720074641*c_1001_2^3 + 592216566615958829813263389936660906202163253433027893884/148340983\ 7441984946679845910936169841437607088720074641*c_1001_2^2 - 80328214447494450689127207592549784649115371214506574111/2966819674\ 883969893359691821872339682875214177440149282*c_1001_2 - 7935464136074701090573519849333347955131236711469766651/14834098374\ 41984946679845910936169841437607088720074641, c_0011_4 - 36009602528231174098720414342663255134570785495080145/296681\ 9674883969893359691821872339682875214177440149282*c_1001_2^20 - 406863849050048458792304977987295878966691077907309693/296681967488\ 3969893359691821872339682875214177440149282*c_1001_2^19 - 729437685835676938819691681554857677590701238291460561/296681967488\ 3969893359691821872339682875214177440149282*c_1001_2^18 + 5747179977775092316782836416118473756197890887303018881/14834098374\ 41984946679845910936169841437607088720074641*c_1001_2^17 + 54011728724072163116793145589335104688600391987971969011/2966819674\ 883969893359691821872339682875214177440149282*c_1001_2^16 - 54771670000093658856195104502754206022721605746691531362/1483409837\ 441984946679845910936169841437607088720074641*c_1001_2^15 - 610307148748158507691749261169936570331557933447731610485/296681967\ 4883969893359691821872339682875214177440149282*c_1001_2^14 + 711622583764621440870705269304489091506015885311538314759/296681967\ 4883969893359691821872339682875214177440149282*c_1001_2^13 + 3367932675432279437583494554859723541773517650765357323129/29668196\ 74883969893359691821872339682875214177440149282*c_1001_2^12 - 1462349673874995098570191482695897994939769833168775946683/14834098\ 37441984946679845910936169841437607088720074641*c_1001_2^11 - 4863217333475553211215286595257181580818105872692521744211/14834098\ 37441984946679845910936169841437607088720074641*c_1001_2^10 + 7790713758459122008124407547718013540723269750364856614851/29668196\ 74883969893359691821872339682875214177440149282*c_1001_2^9 + 14587433376874694831615374135476943224482912793682770094025/2966819\ 674883969893359691821872339682875214177440149282*c_1001_2^8 - 12593532437421518465341728358618074703324635665851943686451/2966819\ 674883969893359691821872339682875214177440149282*c_1001_2^7 - 4963236145646064301411381628670701345925085965823491788866/14834098\ 37441984946679845910936169841437607088720074641*c_1001_2^6 + 10820951218262914107627680465544217447966299183061673053753/2966819\ 674883969893359691821872339682875214177440149282*c_1001_2^5 + 1036435647519216726689427791709112496895282958874140086953/29668196\ 74883969893359691821872339682875214177440149282*c_1001_2^4 - 1857548037145278612765329448337529389683446609099908654428/14834098\ 37441984946679845910936169841437607088720074641*c_1001_2^3 + 616286844025881159754687884929871683765222989676380475607/148340983\ 7441984946679845910936169841437607088720074641*c_1001_2^2 - 68014194175147413301158859339346592163716220352360473207/2966819674\ 883969893359691821872339682875214177440149282*c_1001_2 - 8789753888173116203812804404787038704309442964256480787/14834098374\ 41984946679845910936169841437607088720074641, c_0101_0 + 129281433381463128437446239306267870225314501440003259/11867\ 278699535879573438767287489358731500856709760597128*c_1001_2^20 + 1482424557631595198083198889878081814529660890965849129/11867278699\ 535879573438767287489358731500856709760597128*c_1001_2^19 + 2884094646266819208843019348024700763805299357192743051/11867278699\ 535879573438767287489358731500856709760597128*c_1001_2^18 - 10148249607415269740249975636499630551349001160840633805/2966819674\ 883969893359691821872339682875214177440149282*c_1001_2^17 - 200330840014908202930728535822012178447678124361734170065/118672786\ 99535879573438767287489358731500856709760597128*c_1001_2^16 + 88663345635991658374353510822326558793115048753664103141/2966819674\ 883969893359691821872339682875214177440149282*c_1001_2^15 + 2224854631732735160482316038443578081161655337609132459849/11867278\ 699535879573438767287489358731500856709760597128*c_1001_2^14 - 2142444985368660755326784192230290992079672901014124870279/11867278\ 699535879573438767287489358731500856709760597128*c_1001_2^13 - 12177794911304664723416553327084023373996218898459561758455/1186727\ 8699535879573438767287489358731500856709760597128*c_1001_2^12 + 1031315119206347566964283468965772006485287047314743173301/14834098\ 37441984946679845910936169841437607088720074641*c_1001_2^11 + 17437352568919516035675844115883235199211275779478823895389/5933639\ 349767939786719383643744679365750428354880298564*c_1001_2^10 - 21481991345284195748335699506980261387117864066150822192937/1186727\ 8699535879573438767287489358731500856709760597128*c_1001_2^9 - 52144773837000007769401400418043986559244049594672466759739/1186727\ 8699535879573438767287489358731500856709760597128*c_1001_2^8 + 35172070529963622974449741072764872821545459983810403123721/1186727\ 8699535879573438767287489358731500856709760597128*c_1001_2^7 + 9066826357009231206911096702168613180640740998964941051847/29668196\ 74883969893359691821872339682875214177440149282*c_1001_2^6 - 31097423011177816364238142021046002540509780088162514700671/1186727\ 8699535879573438767287489358731500856709760597128*c_1001_2^5 - 5458615937688999883024558733072600352761564374577999613587/11867278\ 699535879573438767287489358731500856709760597128*c_1001_2^4 + 2802166383646162350513145353921632612642933974892621741311/29668196\ 74883969893359691821872339682875214177440149282*c_1001_2^3 - 416618420347138578677208532737881090049245716671723000693/148340983\ 7441984946679845910936169841437607088720074641*c_1001_2^2 + 117560185055272636395535099222684045856256951769349010359/118672786\ 99535879573438767287489358731500856709760597128*c_1001_2 + 6096712429491414706632503368953539025030373675850807050/14834098374\ 41984946679845910936169841437607088720074641, c_0101_1 + 7292628399030133326444728008987001635488377983872857/2966819\ 674883969893359691821872339682875214177440149282*c_1001_2^20 + 79765727298358896439956994912816858737010827282306827/2966819674883\ 969893359691821872339682875214177440149282*c_1001_2^19 + 117088497864945744278701567048499322111056862781455687/296681967488\ 3969893359691821872339682875214177440149282*c_1001_2^18 - 1196312115760563030907651972695237395889088314786276044/14834098374\ 41984946679845910936169841437607088720074641*c_1001_2^17 - 10131054398401570908092086752929104957596961210604050255/2966819674\ 883969893359691821872339682875214177440149282*c_1001_2^16 + 13197939219863415814272776377394123332288216382494661631/1483409837\ 441984946679845910936169841437607088720074641*c_1001_2^15 + 117359344864755539757710265082161297684368933799316547217/296681967\ 4883969893359691821872339682875214177440149282*c_1001_2^14 - 189616876936991252329853187271856727981429291251446840823/296681967\ 4883969893359691821872339682875214177440149282*c_1001_2^13 - 649536449472899432542081690273244998371316954775361942765/296681967\ 4883969893359691821872339682875214177440149282*c_1001_2^12 + 418266158788106856948500861294775269846377143513587777823/148340983\ 7441984946679845910936169841437607088720074641*c_1001_2^11 + 933950942870915494823098848140911646836070764562398525708/148340983\ 7441984946679845910936169841437607088720074641*c_1001_2^10 - 2261638299580070453307040199630175546432460235888675744577/29668196\ 74883969893359691821872339682875214177440149282*c_1001_2^9 - 2732662601336145261712584779597080001186775548561417590167/29668196\ 74883969893359691821872339682875214177440149282*c_1001_2^8 + 3558263656879313045704970940920890181314147703497957636197/29668196\ 74883969893359691821872339682875214177440149282*c_1001_2^7 + 839974999539799112920529707806485075066686337727130759973/148340983\ 7441984946679845910936169841437607088720074641*c_1001_2^6 - 2922239388896709503281936188818862165730952549243289598635/29668196\ 74883969893359691821872339682875214177440149282*c_1001_2^5 + 81612966902478392827642335943142618202012003042612754651/2966819674\ 883969893359691821872339682875214177440149282*c_1001_2^4 + 467591335721829834361002644463473328498111383968125117145/148340983\ 7441984946679845910936169841437607088720074641*c_1001_2^3 - 185594518413317201822002243202529320649086477359286360900/148340983\ 7441984946679845910936169841437607088720074641*c_1001_2^2 + 28837749733806593143968851599909953948388371458779032361/2966819674\ 883969893359691821872339682875214177440149282*c_1001_2 + 3428655944135488219503193292098319445020750225057925779/14834098374\ 41984946679845910936169841437607088720074641, c_0101_6 - 180967166998324432059505160837525148771623117531262979/11867\ 278699535879573438767287489358731500856709760597128*c_1001_2^20 - 2035425135115192611711602987087119198264790174221051601/11867278699\ 535879573438767287489358731500856709760597128*c_1001_2^19 - 3577142072735012395697917557206250023135821095964593739/11867278699\ 535879573438767287489358731500856709760597128*c_1001_2^18 + 14446621760575390403612835631742482787418299143195283113/2966819674\ 883969893359691821872339682875214177440149282*c_1001_2^17 + 268306906470739088946558992690667176962327665204185009601/118672786\ 99535879573438767287489358731500856709760597128*c_1001_2^16 - 139792718874703837085377360897517362640965383103094934493/296681967\ 4883969893359691821872339682875214177440149282*c_1001_2^15 - 3019950371481432950130017625575212311814898613841367173849/11867278\ 699535879573438767287489358731500856709760597128*c_1001_2^14 + 3667665074966876491008413048253193262637581619925114755351/11867278\ 699535879573438767287489358731500856709760597128*c_1001_2^13 + 16542315642643089797052612593990179224838931498574333368975/1186727\ 8699535879573438767287489358731500856709760597128*c_1001_2^12 - 1884135945999212738920045679950491926299101384483381776016/14834098\ 37441984946679845910936169841437607088720074641*c_1001_2^11 - 23598708666495533425059996175465556812153886572622327982701/5933639\ 349767939786719383643744679365750428354880298564*c_1001_2^10 + 39606936389943985443468487110585117051250881350349602498673/1186727\ 8699535879573438767287489358731500856709760597128*c_1001_2^9 + 69428110642741907310815386594219302063293231782075525053483/1186727\ 8699535879573438767287489358731500856709760597128*c_1001_2^8 - 62451854317311885425426869740246959143587756486194512182777/1186727\ 8699535879573438767287489358731500856709760597128*c_1001_2^7 - 11424129776315289088248046637405316040383785101600441186733/2966819\ 674883969893359691821872339682875214177440149282*c_1001_2^6 + 52072129297498122603219115717908139675292771597581572770255/1186727\ 8699535879573438767287489358731500856709760597128*c_1001_2^5 + 3715599788515019954983042319461340632575428424966164786051/11867278\ 699535879573438767287489358731500856709760597128*c_1001_2^4 - 4322274061021889839793699972847343581776406614261680468659/29668196\ 74883969893359691821872339682875214177440149282*c_1001_2^3 + 749163366506627760699343196519106410348924704149383914897/148340983\ 7441984946679845910936169841437607088720074641*c_1001_2^2 - 384851638994957319231309000532189055170971650137245408055/118672786\ 99535879573438767287489358731500856709760597128*c_1001_2 - 10477237312771594925547698777880128085107046262667333856/1483409837\ 441984946679845910936169841437607088720074641, c_1001_2^21 + 11*c_1001_2^20 + 17*c_1001_2^19 - 324*c_1001_2^18 - 1403*c_1001_2^17 + 3452*c_1001_2^16 + 15891*c_1001_2^15 - 24381*c_1001_2^14 - 86053*c_1001_2^13 + 105952*c_1001_2^12 + 238302*c_1001_2^11 - 283947*c_1001_2^10 - 323905*c_1001_2^9 + 441379*c_1001_2^8 + 158196*c_1001_2^7 - 350893*c_1001_2^6 + 57735*c_1001_2^5 + 99628*c_1001_2^4 - 58720*c_1001_2^3 + 11173*c_1001_2^2 - 128*c_1001_2 - 128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB