Magma V2.19-8 Tue Aug 20 2013 16:16:22 on localhost [Seed = 54697955] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0639 geometric_solution 4.62784233 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.455253549801 0.150679980694 0 2 2 0 3201 0132 1023 0132 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 -1 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 1.192561650750 0.200642581811 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 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 0 1 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.989198409698 0.558933093462 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 0 0 1 -1 0 -1 0 1 -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 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.416790325422 0.150915387020 5 3 5 6 2031 0132 2103 0132 0 0 0 0 0 1 -1 0 0 0 -1 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 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.769540080600 0.765961655039 4 6 4 3 2103 0132 1302 0132 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 0 -1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.769540080600 0.765961655039 6 5 4 6 3201 0132 0132 2310 0 0 0 0 0 0 0 0 1 0 -1 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.948650473014 0.502859638510 ==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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0011_1'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_1001_3'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0101_0, c_0101_2, c_0101_6, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 1783299987106144775128413984693844201645153107109540/12353784955378\ 71073050433178955761953258907360284839*c_1001_3^16 + 60196684741657251400019584017093849398265679766309137/1235378495537\ 871073050433178955761953258907360284839*c_1001_3^15 + 334821768827413327009083248002285462868709262582746130/123537849553\ 7871073050433178955761953258907360284839*c_1001_3^14 + 2420058779199074130030753518969848391061869036850452510/12353784955\ 37871073050433178955761953258907360284839*c_1001_3^13 - 295835820494179752204833521399523089220465471053825057/137264277281\ 985674783381464328417994806545262253871*c_1001_3^12 - 8594859357183860282607927469471534607088078241389901682/12353784955\ 37871073050433178955761953258907360284839*c_1001_3^11 + 2341569450187048517949974294963330900796456733152077050/12353784955\ 37871073050433178955761953258907360284839*c_1001_3^10 + 7724077443781465250312851577754265472198920319694480476/12353784955\ 37871073050433178955761953258907360284839*c_1001_3^9 - 380173736226010357410575527403944642928472930738561392/301311828179\ 96855440254467779408828128266033177679*c_1001_3^8 + 4466825944549201013794690939817736982555886803381156691/12353784955\ 37871073050433178955761953258907360284839*c_1001_3^7 + 36131147994370322465781928196202630915982404191037379568/1235378495\ 537871073050433178955761953258907360284839*c_1001_3^6 - 51096020211665956737232965042566870607193029337822428023/1235378495\ 537871073050433178955761953258907360284839*c_1001_3^5 + 38359211808812138789228237424203092081422360612410556992/1235378495\ 537871073050433178955761953258907360284839*c_1001_3^4 + 2253815346657925279453482767383711903617433257208794407/12353784955\ 37871073050433178955761953258907360284839*c_1001_3^3 - 2035349211572656896382537099075525557752273788919771804/13726427728\ 1985674783381464328417994806545262253871*c_1001_3^2 + 1424301943347870914062573573213578973269188242704789977/12353784955\ 37871073050433178955761953258907360284839*c_1001_3 + 291923777778543092971265386862649725089511316630034780/411792831845\ 957024350144392985253984419635786761613, c_0011_0 - 1, c_0011_1 - 13169855070998062329830611606191238246622854674/334790920199\ 9650604472718642156536458696225908631*c_1001_3^16 - 446238824043772543073274568746223342513945462285/334790920199965060\ 4472718642156536458696225908631*c_1001_3^15 - 2530783806461937371588048917642588971545281113677/33479092019996506\ 04472718642156536458696225908631*c_1001_3^14 - 18235504038696232062762792644000835120230509463641/3347909201999650\ 604472718642156536458696225908631*c_1001_3^13 + 17084073258645118284446965690557593790210644502507/3347909201999650\ 604472718642156536458696225908631*c_1001_3^12 + 63855690515725717726132150082982096913902988401885/3347909201999650\ 604472718642156536458696225908631*c_1001_3^11 - 8954099593022699370393213833887923857435134430823/33479092019996506\ 04472718642156536458696225908631*c_1001_3^10 - 52630702314395946736560464638861452532693502012436/3347909201999650\ 604472718642156536458696225908631*c_1001_3^9 + 111725068733130339995284720130028474102799816935159/334790920199965\ 0604472718642156536458696225908631*c_1001_3^8 - 20687890948545483920486064050607798214101270022114/3347909201999650\ 604472718642156536458696225908631*c_1001_3^7 - 260798517279896201023457750373277057697842489107604/334790920199965\ 0604472718642156536458696225908631*c_1001_3^6 + 349255202252235908600086660657979064495108104078095/334790920199965\ 0604472718642156536458696225908631*c_1001_3^5 - 256202218480480362664610117956981643394186185516393/334790920199965\ 0604472718642156536458696225908631*c_1001_3^4 - 31922824341803841087774059988204438458428065896173/3347909201999650\ 604472718642156536458696225908631*c_1001_3^3 + 119818615279817636487805307302382375036750784982697/334790920199965\ 0604472718642156536458696225908631*c_1001_3^2 - 3507875191489191618508166546502554167107864256641/33479092019996506\ 04472718642156536458696225908631*c_1001_3 - 6428090608748990291056882231648906061920891451210/33479092019996506\ 04472718642156536458696225908631, c_0011_5 + 1974005794675452500945645328975598207597333688/3347909201999\ 650604472718642156536458696225908631*c_1001_3^16 + 66058194465349140044360719469005817406572081219/3347909201999650604\ 472718642156536458696225908631*c_1001_3^15 + 350771268009826961423899298775679905634319879963/334790920199965060\ 4472718642156536458696225908631*c_1001_3^14 + 2556416165499554207402628435093960706680579224584/33479092019996506\ 04472718642156536458696225908631*c_1001_3^13 - 3816454329490448156447887455855037897558194497518/33479092019996506\ 04472718642156536458696225908631*c_1001_3^12 - 9279699853510854067039032279653089612845712014728/33479092019996506\ 04472718642156536458696225908631*c_1001_3^11 + 5553851304692135069956450991984962258286884426089/33479092019996506\ 04472718642156536458696225908631*c_1001_3^10 + 9778466050494843130084868401938233956451547541340/33479092019996506\ 04472718642156536458696225908631*c_1001_3^9 - 18983697557456473065841264028509541443959584532879/3347909201999650\ 604472718642156536458696225908631*c_1001_3^8 + 9250489342017610007445225846600407266574412150926/33479092019996506\ 04472718642156536458696225908631*c_1001_3^7 + 42069630966090267124690275270495344581074677914359/3347909201999650\ 604472718642156536458696225908631*c_1001_3^6 - 67612851890650950916733437344709557182436184144408/3347909201999650\ 604472718642156536458696225908631*c_1001_3^5 + 51866687609653124512370808716359568548009723938676/3347909201999650\ 604472718642156536458696225908631*c_1001_3^4 - 2434670100613020136678453693093931944533363313809/33479092019996506\ 04472718642156536458696225908631*c_1001_3^3 - 27464469230820074079322488706264797202316940832227/3347909201999650\ 604472718642156536458696225908631*c_1001_3^2 + 3464484269714672650479668081795866833078200113389/33479092019996506\ 04472718642156536458696225908631*c_1001_3 + 3102562143413457642934652684230953733479928137226/33479092019996506\ 04472718642156536458696225908631, c_0101_0 + 6754205013642492099184783361777666670098632355/3347909201999\ 650604472718642156536458696225908631*c_1001_3^16 + 228191402910490691337775637727069111933061251664/334790920199965060\ 4472718642156536458696225908631*c_1001_3^15 + 1274678893819094948680106016074419967052589731688/33479092019996506\ 04472718642156536458696225908631*c_1001_3^14 + 9198148082925792425824671253168504204866411351613/33479092019996506\ 04472718642156536458696225908631*c_1001_3^13 - 9857188076104224030674482022880062275348181997925/33479092019996506\ 04472718642156536458696225908631*c_1001_3^12 - 33138659037432439497703119766683902947062644997872/3347909201999650\ 604472718642156536458696225908631*c_1001_3^11 + 7323598280333667640837319831406282660669854969485/33479092019996506\ 04472718642156536458696225908631*c_1001_3^10 + 29895554898293648695976232695735213336963747738155/3347909201999650\ 604472718642156536458696225908631*c_1001_3^9 - 56084292420545807708846054448951917492529954070424/3347909201999650\ 604472718642156536458696225908631*c_1001_3^8 + 16762399257230191893843009346558999414128845986366/3347909201999650\ 604472718642156536458696225908631*c_1001_3^7 + 138355313025259400645607978723879076656079446267651/334790920199965\ 0604472718642156536458696225908631*c_1001_3^6 - 186185551213374354787855896043902413618582749175323/334790920199965\ 0604472718642156536458696225908631*c_1001_3^5 + 141391932518811105737865160698485152757503493450792/334790920199965\ 0604472718642156536458696225908631*c_1001_3^4 + 9726223635940260331137600121024032463110023354007/33479092019996506\ 04472718642156536458696225908631*c_1001_3^3 - 67862258367466782552680415435416178837830111602961/3347909201999650\ 604472718642156536458696225908631*c_1001_3^2 + 2455334461324735067149183995438448386142393886803/33479092019996506\ 04472718642156536458696225908631*c_1001_3 + 476832591460590818377310628361725191851311067416/334790920199965060\ 4472718642156536458696225908631, c_0101_2 - 2753995285606979328400226719781891708201689282/3347909201999\ 650604472718642156536458696225908631*c_1001_3^16 - 92405371565647933421597848164881976629635157647/3347909201999650604\ 472718642156536458696225908631*c_1001_3^15 - 497739029698433242286959655233433705729104734418/334790920199965060\ 4472718642156536458696225908631*c_1001_3^14 - 3615436059082842491625940401388784948110093422428/33479092019996506\ 04472718642156536458696225908631*c_1001_3^13 + 4970328285751115017131146272308221173160894532951/33479092019996506\ 04472718642156536458696225908631*c_1001_3^12 + 13162024608550288759010134801583716019829707637258/3347909201999650\ 604472718642156536458696225908631*c_1001_3^11 - 6769024672791093949758516036737653186892247700947/33479092019996506\ 04472718642156536458696225908631*c_1001_3^10 - 13906988431758281105123261276231035110222312766453/3347909201999650\ 604472718642156536458696225908631*c_1001_3^9 + 26178470390650235782413338075774627930034253681845/3347909201999650\ 604472718642156536458696225908631*c_1001_3^8 - 9259336678348442427906827142506450184335197777988/33479092019996506\ 04472718642156536458696225908631*c_1001_3^7 - 57992588866117898705126198867982924591331268656739/3347909201999650\ 604472718642156536458696225908631*c_1001_3^6 + 89544123676438092811601496773981313589466433720161/3347909201999650\ 604472718642156536458696225908631*c_1001_3^5 - 64953132158748440486781506328812306013310950197825/3347909201999650\ 604472718642156536458696225908631*c_1001_3^4 - 1647291152644657431414592953297799374059487003973/33479092019996506\ 04472718642156536458696225908631*c_1001_3^3 + 32822841952651855248097003040443080819939003139594/3347909201999650\ 604472718642156536458696225908631*c_1001_3^2 - 2180228455048796870742136874064308913625160371075/33479092019996506\ 04472718642156536458696225908631*c_1001_3 - 4590118451619495586192149901257088000233697832877/33479092019996506\ 04472718642156536458696225908631, c_0101_6 + 2550830669353088307145458220642477759445724558/3347909201999\ 650604472718642156536458696225908631*c_1001_3^16 + 86124801183905903866300939926981626101880703922/3347909201999650604\ 472718642156536458696225908631*c_1001_3^15 + 478606994589720227447376042588104386616348564306/334790920199965060\ 4472718642156536458696225908631*c_1001_3^14 + 3431275274674967874323669416502689510314977840730/33479092019996506\ 04472718642156536458696225908631*c_1001_3^13 - 3998743378873908326120696642563012627388272249139/33479092019996506\ 04472718642156536458696225908631*c_1001_3^12 - 13864395730712240460702479040328399972403704702620/3347909201999650\ 604472718642156536458696225908631*c_1001_3^11 + 3230733327414233064520958025725972040803557482388/33479092019996506\ 04472718642156536458696225908631*c_1001_3^10 + 15666334841798795212671919016107012014684320071242/3347909201999650\ 604472718642156536458696225908631*c_1001_3^9 - 18835527439749152200645446345960730560738451231164/3347909201999650\ 604472718642156536458696225908631*c_1001_3^8 + 5599725141805055060890792618066637575438694078070/33479092019996506\ 04472718642156536458696225908631*c_1001_3^7 + 59011990165748859304806933536457626466036352833442/3347909201999650\ 604472718642156536458696225908631*c_1001_3^6 - 69143900628195328430330143493661563658122296419442/3347909201999650\ 604472718642156536458696225908631*c_1001_3^5 + 40150654146462220693729675947578548296714125638665/3347909201999650\ 604472718642156536458696225908631*c_1001_3^4 + 18029608913034804689313245460088804744323887197123/3347909201999650\ 604472718642156536458696225908631*c_1001_3^3 - 36095000358862689959457344314368817530331630120063/3347909201999650\ 604472718642156536458696225908631*c_1001_3^2 - 3246815349459081349187814205146421236413717723105/33479092019996506\ 04472718642156536458696225908631*c_1001_3 + 2038692058215979883998655235583096545193273411511/33479092019996506\ 04472718642156536458696225908631, c_1001_3^17 + 34*c_1001_3^16 + 196*c_1001_3^15 + 1403*c_1001_3^14 - 1161*c_1001_3^13 - 5180*c_1001_3^12 + 142*c_1001_3^11 + 4643*c_1001_3^10 - 7708*c_1001_3^9 + 356*c_1001_3^8 + 20858*c_1001_3^7 - 23741*c_1001_3^6 + 14522*c_1001_3^5 + 6542*c_1001_3^4 - 9978*c_1001_3^3 - 1672*c_1001_3^2 + 729*c_1001_3 + 123 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB