Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 37985996] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0326 geometric_solution 4.35678993 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.432772033818 0.139512655721 0 3 0 3 0132 0132 1023 2310 0 0 0 0 0 0 1 -1 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 -2.153674932405 4.641868397495 2 0 2 0 2310 0132 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0.708480748416 0.038707706598 1 1 4 5 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.011329046469 0.366714918100 5 6 6 3 1023 0132 3201 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 0 0 0 0 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.604733591201 0.809923359249 6 4 3 6 2310 1023 0132 1023 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 1 0 0 -1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.604733591201 0.809923359249 4 4 5 5 2310 0132 3201 1023 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 0 -1 1 1 0 -1 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 1.408097994418 0.792737938958 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(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_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 471551469608822833691228306061283646985549633363428337991/360965380\ 4982382157649236121208139491719274454977771800100864*c_0101_6^31 + 79840316007364626934975263071870618266060019259543729342967/3338929\ 7696087034958255434121175290298403288708544389150932992*c_0101_6^29 + 640935700915180310560624755489564104636425157287208661908079/3338\ 9297696087034958255434121175290298403288708544389150932992*c_0101_6\ ^27 + 2155535641373490094606698508959566748376517938219729357302428\ 7/133557190784348139833021736484701161193613154834177556603731968*c\ _0101_6^25 + 622476134717618762615010283215158562816953750507747385\ 39879447/6677859539217406991651086824235058059680657741708877830186\ 5984*c_0101_6^23 + 191251886755687086347520413381642213485643353457\ 501116991654355/133557190784348139833021736484701161193613154834177\ 556603731968*c_0101_6^21 + 1169334950420141763359776389480531270364\ 93888568894907106055003/8347324424021758739563858530293822574600822\ 177136097287733248*c_0101_6^19 - 3434021495378948119737796570560198\ 41273924124294892282740196399/8347324424021758739563858530293822574\ 600822177136097287733248*c_0101_6^17 - 3575585948694016423888470056023458016902542746043298964404445/13042\ 6944125339980305685289535840977728137846517751520120832*c_0101_6^15 - 114693363572067407945099813967616998369947531117763414853526041/5\ 21707776501359921222741158143363910912551386071006080483328*c_0101_\ 6^13 - 224814019311270372505590145713328026651086518485216787164223\ 5/130426944125339980305685289535840977728137846517751520120832*c_01\ 01_6^11 + 985131607995284209063390772290966809131544611139879768296\ 1427/32606736031334995076421322383960244432034461629437880030208*c_\ 0101_6^9 + 35835146104403799786226920020873213847701198275429612332\ 5595/1018960500979218596138166324498757638501076925919933750944*c_0\ 101_6^7 - 141549919182127606224308670207539735045108882382897033458\ 273/2037921001958437192276332648997515277002153851839867501888*c_01\ 01_6^5 - 8125830164718700163758588435767664776641607454107564107795\ /63685031311201162258635395281172352406317307869995859434*c_0101_6^\ 3 - 5644099597762867493168424186882933924561363386482230680081/1273\ 70062622402324517270790562344704812634615739991718868*c_0101_6, c_0011_0 - 1, c_0011_4 + 104709503320529015699309679324478696017450367515707451/69416\ 419326584272262485310023233451763832201057264842309632*c_0101_6^30 + 8855993213079955787093359247643301132402700383590647625/32105093938\ 5452259213994558857454714407723929889849895682048*c_0101_6^28 + 142434004899056750316306906654476513766894313283573446687/642101878\ 770904518427989117714909428815447859779699791364096*c_0101_6^26 + 4808259782518326135450624828200850874482588511272833266915/25684075\ 15083618073711956470859637715261791439118799165456384*c_0101_6^24 + 13914189371747183495093053732067509811396956808603161254001/1284203\ 757541809036855978235429818857630895719559399582728192*c_0101_6^22 + 44250993330146954809447972477867168822876524598559969734895/2568407\ 515083618073711956470859637715261791439118799165456384*c_0101_6^20 + 107066475547734152270402856121688167657097132405973231948531/642101\ 878770904518427989117714909428815447859779699791364096*c_0101_6^18 - 74921911480876359138401968210636088095902743058349973053547/1605254\ 69692726129606997279428727357203861964944924947841024*c_0101_6^16 - 9093728004773413471861338417388138256559410509656498913205/40131367\ 423181532401749319857181839300965491236231236960256*c_0101_6^14 - 26931970535837775451533657482221659663051633453735826925397/1003284\ 1855795383100437329964295459825241372809057809240064*c_0101_6^12 - 736358964916678654074817378951015164028104894379858490393/250821046\ 3948845775109332491073864956310343202264452310016*c_0101_6^10 + 324572532482266891126390047424397095439875437444276666445/156763153\ 996802860944333280692116559769396450141528269376*c_0101_6^8 + 244393572730649751290172873013275760865941629006603940285/783815769\ 98401430472166640346058279884698225070764134688*c_0101_6^6 - 41381224591020522122981845712894076438181012827480201615/3919078849\ 9200715236083320173029139942349112535382067344*c_0101_6^4 - 869325180184728471320207601026371064909981632163792357/489884856240\ 0089404510415021628642492793639066922758418*c_0101_6^2 + 470473323249971408491286749635522375505901603635281982/244942428120\ 0044702255207510814321246396819533461379209, c_0101_0 - 182764669375711117838308174252179279655362791959485799/13883\ 2838653168544524970620046466903527664402114529684619264*c_0101_6^31 - 32816816959244176053837162103041053513812858085508135873/12842037\ 57541809036855978235429818857630895719559399582728192*c_0101_6^29 - 283500326851276302573301685501179513507187132982335682731/128420375\ 7541809036855978235429818857630895719559399582728192*c_0101_6^27 - 9519855273615327198458990783681217401109443830752239150879/51368150\ 30167236147423912941719275430523582878237598330912768*c_0101_6^25 - 29041971350744857702935541851378293679118468984698550842427/2568407\ 515083618073711956470859637715261791439118799165456384*c_0101_6^23 - 132456028456088126409661268164389488048943952944945087925523/513681\ 5030167236147423912941719275430523582878237598330912768*c_0101_6^21 - 104726986972413150842394103642280308429384529614977627759503/6421\ 01878770904518427989117714909428815447859779699791364096*c_0101_6^1\ 9 + 38949194829295996789322201805103723884890932455354136304841/160\ 525469692726129606997279428727357203861964944924947841024*c_0101_6^\ 17 + 12987872967376940446600106972418054334865770300665726336807/20\ 065683711590766200874659928590919650482745618115618480128*c_0101_6^\ 15 + 51955586307725091751638831044395121673410358594498391652981/20\ 065683711590766200874659928590919650482745618115618480128*c_0101_6^\ 13 + 3697112525665977844403703472300968129263568989656356450451/125\ 4105231974422887554666245536932478155171601132226155008*c_0101_6^11 - 1860640252582416602567111960127747937413961315574908586075/125410\ 5231974422887554666245536932478155171601132226155008*c_0101_6^9 - 1465938060012274264236470911175094527789739888474591421259/31352630\ 7993605721888666561384233119538792900283056538752*c_0101_6^7 - 23821102391662902898152922350646536938919547093414115137/9797697124\ 800178809020830043257284985587278133845516836*c_0101_6^5 + 29423019568864133021536744525499587851776626694082302095/1959539424\ 9600357618041660086514569971174556267691033672*c_0101_6^3 + 2061398446135038244559178091724698802003389136890579011/24494242812\ 00044702255207510814321246396819533461379209*c_0101_6, c_0101_1 - 1279836858293844820849283941364416939337578165507364529/1388\ 32838653168544524970620046466903527664402114529684619264*c_0101_6^3\ 1 - 215998671774108953611708797716670235909554709709350822669/12842\ 03757541809036855978235429818857630895719559399582728192*c_0101_6^2\ 9 - 1731538270308854536383022927944199255534183316759363129241/1284\ 203757541809036855978235429818857630895719559399582728192*c_0101_6^\ 27 - 58450803520396833471493776505734510275236292930892586407321/51\ 36815030167236147423912941719275430523582878237598330912768*c_0101_\ 6^25 - 168725206763678105843703889092488555286246420481634487771481\ /2568407515083618073711956470859637715261791439118799165456384*c_01\ 01_6^23 - 524527396468992393166746060284993545002659830150089184125\ 157/5136815030167236147423912941719275430523582878237598330912768*c\ _0101_6^21 - 812343351861166905928409504603212280973229676709427158\ 92769/80262734846363064803498639714363678601930982472462473920512*c\ _0101_6^19 + 931084408349835682503853343112841488502148777852970617\ 960969/321050939385452259213994558857454714407723929889849895682048\ *c_0101_6^17 + 1056229534889471643617916724959063768041572250752529\ 13175823/8026273484636306480349863971436367860193098247246247392051\ 2*c_0101_6^15 + 407454699561940019094661849292581741441293758923933\ 84961785/2508210463948845775109332491073864956310343202264452310016\ *c_0101_6^13 + 6627173779402598077974992408333011544722731547764991\ 711053/5016420927897691550218664982147729912620686404528904620032*c\ _0101_6^11 - 177576850483232562655749689271023930221611287308015254\ 72863/1254105231974422887554666245536932478155171601132226155008*c_\ 0101_6^9 - 56689014885378834146234333771528310958179738026616674243\ 51/313526307993605721888666561384233119538792900283056538752*c_0101\ _6^7 + 432909926560031679334179050193844078640541909999015454389/78\ 381576998401430472166640346058279884698225070764134688*c_0101_6^5 + 5227005778157550983651892183342548546993763541492805946/24494242812\ 00044702255207510814321246396819533461379209*c_0101_6^3 + 7101765357167076599516084617987014327136501859211767699/48988485624\ 00089404510415021628642492793639066922758418*c_0101_6, c_0101_2 - 73096467350270937941314598886612363827559690551263151/347082\ 09663292136131242655011616725881916100528632421154816*c_0101_6^31 - 43288364895925240342086402277199078305860153181135716579/1284203757\ 541809036855978235429818857630895719559399582728192*c_0101_6^29 - 2234806451181384965575156043479493202561386092676677577/10032841855\ 795383100437329964295459825241372809057809240064*c_0101_6^27 - 2471285831414577270946312104983079077835264347120440341219/12842037\ 57541809036855978235429818857630895719559399582728192*c_0101_6^25 - 11954384045669344766957887732261340343080477226623248941361/1284203\ 757541809036855978235429818857630895719559399582728192*c_0101_6^23 + 11880197265065945711408940051275002472407443361132932381495/1284203\ 757541809036855978235429818857630895719559399582728192*c_0101_6^21 - 237774309040748824610259459882491911434643392679385436528647/128420\ 3757541809036855978235429818857630895719559399582728192*c_0101_6^19 + 187539149396310718656243077707358639151177421670453939549461/1605\ 25469692726129606997279428727357203861964944924947841024*c_0101_6^1\ 7 - 12778008054601558457606917286736890757484938972525519730377/100\ 32841855795383100437329964295459825241372809057809240064*c_0101_6^1\ 5 + 8086221374065629808418522841450137913787202754161334040203/2508\ 210463948845775109332491073864956310343202264452310016*c_0101_6^13 - 19340697293348346507274751743175801297075316893450405404771/2508210\ 463948845775109332491073864956310343202264452310016*c_0101_6^11 - 1639757025246354694302965143467397062938464766120427533553/62705261\ 5987211443777333122768466239077585800566113077504*c_0101_6^9 + 669302327464244763569669498456257753919642416193944034819/156763153\ 996802860944333280692116559769396450141528269376*c_0101_6^7 + 701093102700234133774269340837627614813779153846613103087/783815769\ 98401430472166640346058279884698225070764134688*c_0101_6^5 - 34537388155643553297223085634418155645212947185925404877/9797697124\ 800178809020830043257284985587278133845516836*c_0101_6^3 - 2374457111867416741319120201321451590570623326940112856/24494242812\ 00044702255207510814321246396819533461379209*c_0101_6, c_0101_5 - 336585084492746386251345226269909933357781054774880439/69416\ 419326584272262485310023233451763832201057264842309632*c_0101_6^31 - 14344756571904875940614074602659147877228047563726669585/1605254696\ 92726129606997279428727357203861964944924947841024*c_0101_6^29 - 466095344751840294123507701736049201366208970795317139743/642101878\ 770904518427989117714909428815447859779699791364096*c_0101_6^27 - 15726496623014128448070695630339735134869420236530538129119/2568407\ 515083618073711956470859637715261791439118799165456384*c_0101_6^25 - 45867373168467839250670626200023396579746379190270939437801/1284203\ 757541809036855978235429818857630895719559399582728192*c_0101_6^23 - 155624131213362099241759117027875860481407791679446833750395/256840\ 7515083618073711956470859637715261791439118799165456384*c_0101_6^21 - 350147587894842293792743946564635775176598420195104611562577/6421\ 01878770904518427989117714909428815447859779699791364096*c_0101_6^1\ 9 + 57043112586086915225750712616443526531850432060171251480165/401\ 31367423181532401749319857181839300965491236231236960256*c_0101_6^1\ 7 + 37126944644346148761986228140603302075377251430820587286781/401\ 31367423181532401749319857181839300965491236231236960256*c_0101_6^1\ 5 + 44016604443222544017339270814650162329287086374247157434203/501\ 6420927897691550218664982147729912620686404528904620032*c_0101_6^13 + 5849033139895190066273219186630973733937239762097003341011/250821\ 0463948845775109332491073864956310343202264452310016*c_0101_6^11 - 4085032456316942928680744673928964232046129157360190112245/62705261\ 5987211443777333122768466239077585800566113077504*c_0101_6^9 - 1649595597273744427519675573690454795489130108405652068697/15676315\ 3996802860944333280692116559769396450141528269376*c_0101_6^7 + 12790165319602808173094900166794696276233024168720305321/9797697124\ 800178809020830043257284985587278133845516836*c_0101_6^5 + 2136615217833095107872343137673249236711826832161927932/24494242812\ 00044702255207510814321246396819533461379209*c_0101_6^3 + 5697638958738266880645760336347409625974933794316255165/48988485624\ 00089404510415021628642492793639066922758418*c_0101_6, c_0101_6^32 + 672/37*c_0101_6^30 + 5348/37*c_0101_6^28 + 45081/37*c_0101_6^26 + 258734/37*c_0101_6^24 + 378365/37*c_0101_6^22 + 3972556/37*c_0101_6^20 - 12073088/37*c_0101_6^18 - 5155200/37*c_0101_6^16 - 62572288/37*c_0101_6^14 + 1701888/37*c_0101_6^12 + 70770688/37*c_0101_6^10 + 71581696/37*c_0101_6^8 - 39256064/37*c_0101_6^6 - 24903680/37*c_0101_6^4 - 2097152/37*c_0101_6^2 + 4194304/37 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB