Magma V2.19-8 Tue Aug 20 2013 16:14:47 on localhost [Seed = 4139215505] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s770 geometric_solution 5.33046352 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0.348954625169 0.264875279397 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 1 0 -1 0 0 0 0 0 2 -1 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.832893873091 1.115199241114 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 -1 0 0 1 -2 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.870968744079 0.939784748353 2 5 4 1 3012 1023 0132 0132 0 0 0 0 0 -1 0 1 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 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.870968744079 0.939784748353 4 2 4 3 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523206645160 0.435507540451 3 5 5 2 1023 3201 2310 0132 0 0 0 0 0 0 0 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 0 0 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.839150113283 0.740937097641 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_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_5' : d['c_0101_5'], '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_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], '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' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 38337337772078658553138600588/10807278887901540606254795709*c_0101_\ 5^22 + 243900230320478685370359211600/10807278887901540606254795709\ *c_0101_5^21 - 229162078990619205702421391926/108072788879015406062\ 54795709*c_0101_5^20 - 2350015991208997055089014174986/108072788879\ 01540606254795709*c_0101_5^19 + 2263077896469440103249855092614/360\ 2426295967180202084931903*c_0101_5^18 + 1358640816099015296874519565310/3602426295967180202084931903*c_0101\ _5^17 - 37163175022612522654200943746151/10807278887901540606254795\ 709*c_0101_5^16 + 277943807584313626159363342033/156627230259442617\ 481953561*c_0101_5^15 + 93905992628932419549825082656088/1080727888\ 7901540606254795709*c_0101_5^14 - 29777131550167745361996454926365/\ 3602426295967180202084931903*c_0101_5^13 - 16711170680051139356407204175663/1200808765322393400694977301*c_010\ 1_5^12 + 168056155710260722045054023423784/108072788879015406062547\ 95709*c_0101_5^11 + 172340103205907982357961255948802/1080727888790\ 1540606254795709*c_0101_5^10 - 179437263110354592710948833299250/10\ 807278887901540606254795709*c_0101_5^9 - 141927157057890336693044371802852/10807278887901540606254795709*c_0\ 101_5^8 + 115991364846646427277652429610764/10807278887901540606254\ 795709*c_0101_5^7 + 81229846602352900082668129145923/10807278887901\ 540606254795709*c_0101_5^6 - 38719054689152033793958370761438/10807\ 278887901540606254795709*c_0101_5^5 - 10243970885839084169948677381886/3602426295967180202084931903*c_010\ 1_5^4 + 571170657284787581392913078428/3602426295967180202084931903\ *c_0101_5^3 + 6151633489180832861359703811124/108072788879015406062\ 54795709*c_0101_5^2 + 479739383988839032282152482651/36024262959671\ 80202084931903*c_0101_5 - 249226888627753652193368550389/1080727888\ 7901540606254795709, c_0011_0 - 1, c_0011_1 + 971011482486281724481453048/3602426295967180202084931903*c_0\ 101_5^22 - 5681799577975723535307782579/360242629596718020208493190\ 3*c_0101_5^21 + 3328770376952513601662556865/3602426295967180202084\ 931903*c_0101_5^20 + 59177370181422309741313460182/3602426295967180\ 202084931903*c_0101_5^19 - 47559385372886913716912764053/1200808765\ 322393400694977301*c_0101_5^18 - 49866372204089325985759082739/1200\ 808765322393400694977301*c_0101_5^17 + 828672554982341243874924566059/3602426295967180202084931903*c_0101_\ 5^16 - 7820403250938256901863661927/156627230259442617481953561*c_0\ 101_5^15 - 2190843736653982497525030200624/360242629596718020208493\ 1903*c_0101_5^14 + 458758839399429428764080384450/12008087653223934\ 00694977301*c_0101_5^13 + 1202629386891399081409860015097/120080876\ 5322393400694977301*c_0101_5^12 - 2654927357296314523210404803254/3\ 602426295967180202084931903*c_0101_5^11 - 3997818651701901963768357491527/3602426295967180202084931903*c_0101\ _5^10 + 2794091913798157979380920292516/360242629596718020208493190\ 3*c_0101_5^9 + 3020552223159277346126345995198/36024262959671802020\ 84931903*c_0101_5^8 - 1774174730977329398198900958424/3602426295967\ 180202084931903*c_0101_5^7 - 500587275423252701257155915853/1200808\ 765322393400694977301*c_0101_5^6 + 196036784173553991541527216389/1200808765322393400694977301*c_0101_\ 5^5 + 456953075571871880915579873686/3602426295967180202084931903*c\ _0101_5^4 - 49638401348385403992881966078/3602426295967180202084931\ 903*c_0101_5^3 - 28360713601303757540368860993/12008087653223934006\ 94977301*c_0101_5^2 - 4522552416011238270219889180/3602426295967180\ 202084931903*c_0101_5 + 7728894993133246655982848305/36024262959671\ 80202084931903, c_0011_3 - 3550096043306436320191942315/10807278887901540606254795709*c\ _0101_5^22 + 22495304812220002427095108336/108072788879015406062547\ 95709*c_0101_5^21 - 21810149316149756903314966909/10807278887901540\ 606254795709*c_0101_5^20 - 211735125699074599501071851933/108072788\ 87901540606254795709*c_0101_5^19 + 206878863083049689068756783774/3602426295967180202084931903*c_0101_\ 5^18 + 108612074835980856955358747561/3602426295967180202084931903*\ c_0101_5^17 - 3287286413352000012670485955513/108072788879015406062\ 54795709*c_0101_5^16 + 27218430846277358602164018491/15662723025944\ 2617481953561*c_0101_5^15 + 7919815059321896556848935741567/1080727\ 8887901540606254795709*c_0101_5^14 - 2686277233493087097099268935641/3602426295967180202084931903*c_0101\ _5^13 - 1338564379084318477192110957913/120080876532239340069497730\ 1*c_0101_5^12 + 14573687244456343259478979854316/108072788879015406\ 06254795709*c_0101_5^11 + 12948706042891524541815511979702/10807278\ 887901540606254795709*c_0101_5^10 - 15313088782947044796485625902818/10807278887901540606254795709*c_01\ 01_5^9 - 9974072849054176733016744588227/10807278887901540606254795\ 709*c_0101_5^8 + 9989720441702712057837754732603/108072788879015406\ 06254795709*c_0101_5^7 + 5344675546891457796532915234369/1080727888\ 7901540606254795709*c_0101_5^6 - 3593783591192844997129237948387/10\ 807278887901540606254795709*c_0101_5^5 - 657619059340277729953302456682/3602426295967180202084931903*c_0101_\ 5^4 + 157769684559564928393611513200/3602426295967180202084931903*c\ _0101_5^3 + 428052221536187940887428658665/108072788879015406062547\ 95709*c_0101_5^2 + 2820672677302400834030002237/3602426295967180202\ 084931903*c_0101_5 - 28814706211666012068000333644/1080727888790154\ 0606254795709, c_0101_0 - 3864658229950168522878222499/10807278887901540606254795709*c\ _0101_5^22 + 20136467444009420268684495358/108072788879015406062547\ 95709*c_0101_5^21 - 979865228088210542340221560/1080727888790154060\ 6254795709*c_0101_5^20 - 232616659194081154171977066107/10807278887\ 901540606254795709*c_0101_5^19 + 139096554204046110647758953289/360\ 2426295967180202084931903*c_0101_5^18 + 275239716602608652541440211593/3602426295967180202084931903*c_0101_\ 5^17 - 2688191153376944044971152330503/1080727888790154060625479570\ 9*c_0101_5^16 - 13114735546221552278785718432/156627230259442617481\ 953561*c_0101_5^15 + 7680656628562280407948621943980/10807278887901\ 540606254795709*c_0101_5^14 - 179430858501584572998377086724/360242\ 6295967180202084931903*c_0101_5^13 - 1504071730101442920804997003331/1200808765322393400694977301*c_0101\ _5^12 + 1451208454313626730008659172375/108072788879015406062547957\ 09*c_0101_5^11 + 14957957516815992648162707305955/10807278887901540\ 606254795709*c_0101_5^10 - 819722702453836786747970717791/108072788\ 87901540606254795709*c_0101_5^9 - 10595013658682804559696316289312/\ 10807278887901540606254795709*c_0101_5^8 - 300138561089810015737834890185/10807278887901540606254795709*c_0101\ _5^7 + 4448121658898337669457200362626/1080727888790154060625479570\ 9*c_0101_5^6 + 729448892947805602497396469862/108072788879015406062\ 54795709*c_0101_5^5 - 254564430573558227760241022324/36024262959671\ 80202084931903*c_0101_5^4 - 87083226620489715706373388917/360242629\ 5967180202084931903*c_0101_5^3 + 22410195605768720363037433924/1080\ 7278887901540606254795709*c_0101_5^2 - 94993355311521822577238857/3602426295967180202084931903*c_0101_5 - 1588366503776816725823443778/10807278887901540606254795709, c_0101_3 + 2733717502436306609953437535/10807278887901540606254795709*c\ _0101_5^22 - 10498836847965918782706790174/108072788879015406062547\ 95709*c_0101_5^21 - 20226805605690887700985226342/10807278887901540\ 606254795709*c_0101_5^20 + 173254854119469459553206666743/108072788\ 87901540606254795709*c_0101_5^19 - 24384080453649538171531388284/3602426295967180202084931903*c_0101_5\ ^18 - 356153524701485637207280185446/3602426295967180202084931903*c\ _0101_5^17 + 1276201176079459319965791817858/1080727888790154060625\ 4795709*c_0101_5^16 + 50067685677207735581887182680/156627230259442\ 617481953561*c_0101_5^15 - 5517689059842360190640101437436/10807278\ 887901540606254795709*c_0101_5^14 - 2332531503007397989454381198776/3602426295967180202084931903*c_0101\ _5^13 + 1380905977470263686529095020991/120080876532239340069497730\ 1*c_0101_5^12 + 11194763004645538775283729062573/108072788879015406\ 06254795709*c_0101_5^11 - 15558514754829633307528978334207/10807278\ 887901540606254795709*c_0101_5^10 - 12642530856440989164393605832554/10807278887901540606254795709*c_01\ 01_5^9 + 11654428631033928940816918412825/1080727888790154060625479\ 5709*c_0101_5^8 + 9607031095445644259200601157437/10807278887901540\ 606254795709*c_0101_5^7 - 4800670438000808178971249912860/108072788\ 87901540606254795709*c_0101_5^6 - 4600444814663694896963724368951/1\ 0807278887901540606254795709*c_0101_5^5 + 126914441356564335405309524201/3602426295967180202084931903*c_0101_\ 5^4 + 355520794948084250656688246096/3602426295967180202084931903*c\ _0101_5^3 + 255388186614600438356731425923/108072788879015406062547\ 95709*c_0101_5^2 - 21030770437791733973091848183/360242629596718020\ 2084931903*c_0101_5 - 20406070976340337654436089009/108072788879015\ 40606254795709, c_0101_5^23 - 5*c_0101_5^22 - c_0101_5^21 + 61*c_0101_5^20 - 95*c_0101_5^19 - 246*c_0101_5^18 + 664*c_0101_5^17 + 422*c_0101_5^16 - 2038*c_0101_5^15 - 359*c_0101_5^14 + 3846*c_0101_5^13 + 446*c_0101_5^12 - 4534*c_0101_5^11 - 714*c_0101_5^10 + 3439*c_0101_5^9 + 798*c_0101_5^8 - 1587*c_0101_5^7 - 562*c_0101_5^6 + 338*c_0101_5^5 + 189*c_0101_5^4 - 13*c_0101_5^3 - 23*c_0101_5^2 - c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB