Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 206409923] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0378 geometric_solution 4.43447122 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 -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.351657461343 0.147370050916 0 2 2 0 3201 0132 1023 0132 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 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.098880236779 0.126825479161 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -1 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 -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 1.051859977172 0.256696870030 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 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 1 0 -1 0 0 0 0 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.747420277405 0.279015104794 5 3 5 6 2031 0132 1302 0132 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 -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.612355465433 0.409028503813 4 6 4 3 2031 2310 1302 0132 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 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.612355465433 0.409028503813 6 6 4 5 1302 2031 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 -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.623660725416 0.606476856974 ==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_1'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], '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' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0011_1'], 'c_0101_3' : d['c_0101_3'], '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' : negation(d['c_0011_1']), 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0110_6']), '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_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_3'], '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_6, c_0101_0, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 91160980167730546589331232252285373716377553251881/1426283873993147\ 3615090549588605454814337304798660*c_0110_6^19 - 1530110316323968751695751035898361231751580878852701/57051354959725\ 894460362198354421819257349219194640*c_0110_6^18 - 33881449960396954159178947296397168401954415059827/1391496462432338\ 889277126789132239494081688273040*c_0110_6^17 - 1221125673586307176001239130984040458207963964765177/28525677479862\ 947230181099177210909628674609597320*c_0110_6^16 + 44798351905424049573363766478039711331876071764387189/2852567747986\ 2947230181099177210909628674609597320*c_0110_6^15 - 380587158099102706646792213444462191859401691696221863/570513549597\ 25894460362198354421819257349219194640*c_0110_6^14 + 44426976958802074411668120612772522664573091333694077/8150193565675\ 127780051742622060259893907031313520*c_0110_6^13 + 211617335068599619029330562508023310096866622140389763/142628387399\ 31473615090549588605454814337304798660*c_0110_6^12 - 617047305544798122834209503427399652615969142724921969/142628387399\ 31473615090549588605454814337304798660*c_0110_6^11 + 1746730280749044816887432016617558683691405624683/32781201998500256\ 532159979012727089476104605*c_0110_6^10 + 697184761052497411759298839528887075756693425712190763/570513549597\ 2589446036219835442181925734921919464*c_0110_6^9 - 4978533453265925221350836839294754424874203870190229783/28525677479\ 862947230181099177210909628674609597320*c_0110_6^8 - 7091369056837141274581755686443021199483359550891712963/57051354959\ 725894460362198354421819257349219194640*c_0110_6^7 + 27105535425734877237612955072213109041495515450852951/2852567747986\ 2947230181099177210909628674609597320*c_0110_6^6 + 38182799725581451136066552138536894930690228430212971/1630038713135\ 025556010348524412051978781406262704*c_0110_6^5 + 352677255476484576324464101759316698660009740246058233/114102709919\ 45178892072439670884363851469843838928*c_0110_6^4 + 743405980494451251792650036951219834800252828569077487/570513549597\ 25894460362198354421819257349219194640*c_0110_6^3 + 251642652208181091368958480731969519132590758318568763/285256774798\ 62947230181099177210909628674609597320*c_0110_6^2 + 111443874653156053239522338274292902238217410287405603/570513549597\ 25894460362198354421819257349219194640*c_0110_6 - 22431752774314099329549748258440257176658388701163369/5705135495972\ 5894460362198354421819257349219194640, c_0011_0 - 1, c_0011_1 + 2149144618007092794791146190256640224627790015/1391496462432\ 33888927712678913223949408168827304*c_0110_6^19 + 1103120573677851507700217500569290618270747763/17393705780404236115\ 964084864152993676021103413*c_0110_6^18 + 929985640645490582212515645731689867463053357/173937057804042361159\ 64084864152993676021103413*c_0110_6^17 + 6930141662559392821219901039071700327528070283/69574823121616944463\ 856339456611974704084413652*c_0110_6^16 - 529360274596917822143812495830095983232940415857/139149646243233888\ 927712678913223949408168827304*c_0110_6^15 + 1145435365775146255249510298073246282755387339851/69574823121616944\ 463856339456611974704084413652*c_0110_6^14 - 36616302626953390330762884045815584265626522485/2484815111486319445\ 137726409164713382288729059*c_0110_6^13 - 1185547938429616321219291092235464227558142803605/34787411560808472\ 231928169728305987352042206826*c_0110_6^12 + 3717159398598401291070350776802127985587771863991/34787411560808472\ 231928169728305987352042206826*c_0110_6^11 - 3635065792161924355384272043072016776215938291/26224961598800205225\ 727983210181671580883684*c_0110_6^10 - 4867287500522789483915318345573803566902123810299/17393705780404236\ 115964084864152993676021103413*c_0110_6^9 + 61378655761048018706404696783985603546853316601385/1391496462432338\ 88927712678913223949408168827304*c_0110_6^8 + 36025072570225658777295789501977342616200738788055/1391496462432338\ 88927712678913223949408168827304*c_0110_6^7 - 710836116287486507219736887970629416017082124637/695748231216169444\ 63856339456611974704084413652*c_0110_6^6 - 1245345156356540990200061446732396455660700208713/19878520891890555\ 561101811273317707058309832472*c_0110_6^5 - 2535746161223818645022058458470924420136756387225/34787411560808472\ 231928169728305987352042206826*c_0110_6^4 - 877851377141089780392606605954947476926026947151/347874115608084722\ 31928169728305987352042206826*c_0110_6^3 - 2662002520817415847416843923088768211490905476909/13914964624323388\ 8927712678913223949408168827304*c_0110_6^2 - 196679661965483011798607899279090956017048306131/695748231216169444\ 63856339456611974704084413652*c_0110_6 + 20276561284228394480610176805594431933649202356/1739370578040423611\ 5964084864152993676021103413, c_0011_6 - 22300921959810043811655985201805003473794829/248481511148631\ 9445137726409164713382288729059*c_0110_6^19 - 5196711244859016607290897451660859569149754031/13914964624323388892\ 7712678913223949408168827304*c_0110_6^18 - 2258753283516327047605925838750457166554533151/69574823121616944463\ 856339456611974704084413652*c_0110_6^17 - 3984638278180399044852682480620090774095070335/69574823121616944463\ 856339456611974704084413652*c_0110_6^16 + 38414595856185742513582699140695192395741756448/1739370578040423611\ 5964084864152993676021103413*c_0110_6^15 - 187696768526813000818964745114161395236410004415/198785208918905555\ 61101811273317707058309832472*c_0110_6^14 + 548328550734060872177523293144683227010337308467/695748231216169444\ 63856339456611974704084413652*c_0110_6^13 + 730826411958128800625911939292485996122702894105/347874115608084722\ 31928169728305987352042206826*c_0110_6^12 - 1076385939169426583582895515533260357820996135185/17393705780404236\ 115964084864152993676021103413*c_0110_6^11 + 3487932127898637203390406038164294620642927204/45893682797900359145\ 023970617817925266546447*c_0110_6^10 + 11963385627242077589742521042721043652873119622869/6957482312161694\ 4463856339456611974704084413652*c_0110_6^9 - 4432191479145391522068523661024316639508809554085/17393705780404236\ 115964084864152993676021103413*c_0110_6^8 - 24150311846735606090578306666101035029856340533161/1391496462432338\ 88927712678913223949408168827304*c_0110_6^7 + 403895094596286856427727227746642129020140995385/198785208918905555\ 61101811273317707058309832472*c_0110_6^6 + 2779693257560164117429167827797629407837323237945/69574823121616944\ 463856339456611974704084413652*c_0110_6^5 + 5475880362581880789528487728382561204459420963775/13914964624323388\ 8927712678913223949408168827304*c_0110_6^4 + 974282575682261311243209888437867093448863498329/695748231216169444\ 63856339456611974704084413652*c_0110_6^3 + 728873028323753956787228050627522060455919373329/695748231216169444\ 63856339456611974704084413652*c_0110_6^2 + 252975480074566257126768904931902486171641413535/139149646243233888\ 927712678913223949408168827304*c_0110_6 - 66473981541798128714784899113190800566442610989/6957482312161694446\ 3856339456611974704084413652, c_0101_0 - 511582373984774320285375244256719043450288601/27829929248646\ 7777855425357826447898816337654608*c_0110_6^19 - 2951954026649342398843981210120270705101792909/27829929248646777785\ 5425357826447898816337654608*c_0110_6^18 - 642922729233175897157659592428914268220747687/347874115608084722319\ 28169728305987352042206826*c_0110_6^17 - 2877015803891438279264052854639353182340248835/13914964624323388892\ 7712678913223949408168827304*c_0110_6^16 + 120876328627664013731375047961986309947491778145/278299292486467777\ 855425357826447898816337654608*c_0110_6^15 - 334974521823600205846542866042749802134723890907/278299292486467777\ 855425357826447898816337654608*c_0110_6^14 - 224913842565462940164246271527185308182855419883/139149646243233888\ 927712678913223949408168827304*c_0110_6^13 + 74122970853634615429587571112742134375794228783/9939260445945277780\ 550905636658853529154916236*c_0110_6^12 - 15975417706886421979580229481375393706858819331/2484815111486319445\ 137726409164713382288729059*c_0110_6^11 - 2066262063653705483878880956150694782688811103/36714946238320287316\ 0191764942543402132371576*c_0110_6^10 + 8888971033813963060621940703008347580648317345021/13914964624323388\ 8927712678913223949408168827304*c_0110_6^9 - 326374602470811327930682549978078111631992378743/278299292486467777\ 855425357826447898816337654608*c_0110_6^8 - 8759293691996287211142651177290172307681385853727/69574823121616944\ 463856339456611974704084413652*c_0110_6^7 - 10227275261595511505523354228702519032700086760991/2782992924864677\ 77855425357826447898816337654608*c_0110_6^6 + 4818951533018901527445275605911340085022531778835/27829929248646777\ 7855425357826447898816337654608*c_0110_6^5 + 5552322200146354420843730119624342845457832734137/27829929248646777\ 7855425357826447898816337654608*c_0110_6^4 + 57427530074564459120866090741775784917841851733/4969630222972638890\ 275452818329426764577458118*c_0110_6^3 + 1174358173003272865529004646951179316260464125699/27829929248646777\ 7855425357826447898816337654608*c_0110_6^2 + 1123244678694443780864109691713053158138117869653/27829929248646777\ 7855425357826447898816337654608*c_0110_6 + 18674195036259389366043847388072002270556909387/1391496462432338889\ 27712678913223949408168827304, c_0101_2 + 2707387463416626562280324252354516410056873461/2782992924864\ 67777855425357826447898816337654608*c_0110_6^19 + 10523163917311226576558496669400201281598180933/2782992924864677778\ 55425357826447898816337654608*c_0110_6^18 + 432783758403186347626297984904110856747013491/173937057804042361159\ 64084864152993676021103413*c_0110_6^17 + 7717205708396419367639857665900272216436725151/13914964624323388892\ 7712678913223949408168827304*c_0110_6^16 - 670491853716209844930027557639725331340433100829/278299292486467777\ 855425357826447898816337654608*c_0110_6^15 + 3032251397348191360313420360329762648170952539339/27829929248646777\ 7855425357826447898816337654608*c_0110_6^14 - 229586247959995674833302006974574923862733734819/198785208918905555\ 61101811273317707058309832472*c_0110_6^13 - 1358109595088671211622364263367752418021348259085/69574823121616944\ 463856339456611974704084413652*c_0110_6^12 + 1257937792988736839565410541549100376100042919473/17393705780404236\ 115964084864152993676021103413*c_0110_6^11 - 5367751644677021821808544022051673262460585179/52449923197600410451\ 455966420363343161767368*c_0110_6^10 - 21960989385188757024625933429807895767852908578981/1391496462432338\ 88927712678913223949408168827304*c_0110_6^9 + 88713919359540298775586504832675529301917449456763/2782992924864677\ 77855425357826447898816337654608*c_0110_6^8 + 1737688492113906328959408445894336325914595477590/17393705780404236\ 115964084864152993676021103413*c_0110_6^7 - 13075257726257671517307784689512634053860880259033/2782992924864677\ 77855425357826447898816337654608*c_0110_6^6 - 1134282051910898582461881697488862569619998776897/39757041783781111\ 122203622546635414116619664944*c_0110_6^5 - 9684879174421485340119998350196002315998304581321/27829929248646777\ 7855425357826447898816337654608*c_0110_6^4 - 375753382815441460632796710661111785082738575031/347874115608084722\ 31928169728305987352042206826*c_0110_6^3 - 2665285236460755466142744092066400004210961411103/27829929248646777\ 7855425357826447898816337654608*c_0110_6^2 + 334727904536665783340284381955334168338185129387/278299292486467777\ 855425357826447898816337654608*c_0110_6 + 141482315425277958611354019442493327993526132381/139149646243233888\ 927712678913223949408168827304, c_0101_3 + 586111423568455334507856872880402153882249677/27829929248646\ 7777855425357826447898816337654608*c_0110_6^19 + 364750027258044179834890500579581952967930699/397570417837811111222\ 03622546635414116619664944*c_0110_6^18 + 160465333607426305936767358238651796490831757/173937057804042361159\ 64084864152993676021103413*c_0110_6^17 + 2028412433231944574666144142949482750397607559/13914964624323388892\ 7712678913223949408168827304*c_0110_6^16 - 143570018133648658967253697456051798895798053605/278299292486467777\ 855425357826447898816337654608*c_0110_6^15 + 588174932477612838086126010278517297947457249459/278299292486467777\ 855425357826447898816337654608*c_0110_6^14 - 193711919471028668556680154121115396098478811229/139149646243233888\ 927712678913223949408168827304*c_0110_6^13 - 377004999746547540827217029759859725615288945129/695748231216169444\ 63856339456611974704084413652*c_0110_6^12 + 239694309547700791046769679785241357979961934166/173937057804042361\ 15964084864152993676021103413*c_0110_6^11 - 5528997581134678434683152600474942736771461621/36714946238320287316\ 0191764942543402132371576*c_0110_6^10 - 6185259365135327714064657405125827229673958211909/13914964624323388\ 8927712678913223949408168827304*c_0110_6^9 + 14929649044349691282830502039380076788264763316579/2782992924864677\ 77855425357826447898816337654608*c_0110_6^8 + 908234834892087209332278646975145454143332244212/173937057804042361\ 15964084864152993676021103413*c_0110_6^7 + 314059244652208747778344364311065816607637080831/278299292486467777\ 855425357826447898816337654608*c_0110_6^6 - 2058129718324518648005268177005687973698856182463/27829929248646777\ 7855425357826447898816337654608*c_0110_6^5 - 615540733453238131320803014855432886276063161111/397570417837811111\ 22203622546635414116619664944*c_0110_6^4 - 172913728215053717322693459647918042476113261253/347874115608084722\ 31928169728305987352042206826*c_0110_6^3 - 856869345250592268179098634558201311945453757703/278299292486467777\ 855425357826447898816337654608*c_0110_6^2 - 29163211940540657065785893541204815400552383675/3975704178378111112\ 2203622546635414116619664944*c_0110_6 + 111829289908399808149860965218457049507315240893/139149646243233888\ 927712678913223949408168827304, c_0110_6^20 + 4*c_0110_6^19 + 3*c_0110_6^18 + 6*c_0110_6^17 - 247*c_0110_6^16 + 1092*c_0110_6^15 - 1061*c_0110_6^14 - 2138*c_0110_6^13 + 7204*c_0110_6^12 - 9686*c_0110_6^11 - 17380*c_0110_6^10 + 30889*c_0110_6^9 + 13917*c_0110_6^8 - 3493*c_0110_6^7 - 3610*c_0110_6^6 - 4150*c_0110_6^5 - 1143*c_0110_6^4 - 1019*c_0110_6^3 - 42*c_0110_6^2 + 111*c_0110_6 - 10 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB