Magma V2.19-8 Tue Aug 20 2013 16:18:20 on localhost [Seed = 1191631464] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2545 geometric_solution 5.85545066 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292480599946 0.236324697679 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638972971715 1.435063453885 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 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 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.082032381679 1.034871131200 5 4 2 1 3201 3201 2310 0132 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 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.082032381679 1.034871131200 6 6 3 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.127564989833 0.704332800744 5 5 2 3 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 -1 0 0 1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.429108389759 1.223264537625 4 6 6 4 0132 1230 3012 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 -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.329371432224 0.828754177859 ==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' : 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' : 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_4']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['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_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_4, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 2327893464138848007852552639840029259/10850775694359284297022594154\ 176953*c_0101_3^22 - 1806316286350376582237296785524732164/10850775\ 694359284297022594154176953*c_0101_3^21 - 6029349822336955567207523622951343602/10850775694359284297022594154\ 176953*c_0101_3^20 - 370345923213372333158009223581063550/108507756\ 94359284297022594154176953*c_0101_3^19 - 15718221286875231309838306505018900709/1085077569435928429702259415\ 4176953*c_0101_3^18 - 98588842534659153621327706137452181095/108507\ 75694359284297022594154176953*c_0101_3^17 - 6115959594214663854746936823993494202/10850775694359284297022594154\ 176953*c_0101_3^16 + 490825617407056405278190879282728477481/108507\ 75694359284297022594154176953*c_0101_3^15 + 384840689466203262008784392709305242988/108507756943592842970225941\ 54176953*c_0101_3^14 - 30026413305584005209105367177761130303/37416\ 4679115837389552503246695757*c_0101_3^13 - 1197751505659391898331916884642235169633/10850775694359284297022594\ 154176953*c_0101_3^12 + 923130815795368707192243122066867000784/108\ 50775694359284297022594154176953*c_0101_3^11 + 1695449966211072617599599947887474666977/10850775694359284297022594\ 154176953*c_0101_3^10 - 910157371666234358846773549873480735797/108\ 50775694359284297022594154176953*c_0101_3^9 - 1287710278596481591720641254462887637854/10850775694359284297022594\ 154176953*c_0101_3^8 + 18786145856220777751806957703355975544/26465\ 3065716080104805429125711633*c_0101_3^7 + 574823258056471170980718157990318409950/108507756943592842970225941\ 54176953*c_0101_3^6 - 398134800677714845437473318738542334123/10850\ 775694359284297022594154176953*c_0101_3^5 - 180667868487058699643116976940425398914/108507756943592842970225941\ 54176953*c_0101_3^4 + 109489867549602357524672610458992034970/10850\ 775694359284297022594154176953*c_0101_3^3 + 39713226991861950384392872679674010818/1085077569435928429702259415\ 4176953*c_0101_3^2 - 13808439078066678549657809267546635755/1085077\ 5694359284297022594154176953*c_0101_3 - 2537105996881813529969162560465065440/10850775694359284297022594154\ 176953, c_0011_0 - 1, c_0011_1 + 61403691424302182904122487823596/912596778331310706225617674\ 8677*c_0101_3^22 - 40100835286546631512314180529188/912596778331310\ 7062256176748677*c_0101_3^21 - 160113691512056206272984271350650/91\ 25967783313107062256176748677*c_0101_3^20 - 28156633816953854888048932690768/9125967783313107062256176748677*c_\ 0101_3^19 - 442109499500257728642053175481270/912596778331310706225\ 6176748677*c_0101_3^18 - 2658511137691753755381737533408232/9125967\ 783313107062256176748677*c_0101_3^17 - 501581440975690446103373051519785/9125967783313107062256176748677*c\ _0101_3^16 + 12703432950857060187661650563114620/912596778331310706\ 2256176748677*c_0101_3^15 + 11618278621146167525415169511443161/912\ 5967783313107062256176748677*c_0101_3^14 - 20261549370055668613201997229146025/9125967783313107062256176748677\ *c_0101_3^13 - 32371555609103357810978832744012127/9125967783313107\ 062256176748677*c_0101_3^12 + 18058293305276189722449449305197549/9\ 125967783313107062256176748677*c_0101_3^11 + 41860914701503729416752099501940401/9125967783313107062256176748677\ *c_0101_3^10 - 17945712941681347767195293003537662/9125967783313107\ 062256176748677*c_0101_3^9 - 28906148666301886890777395946683774/91\ 25967783313107062256176748677*c_0101_3^8 + 16503933292465067447669241263626088/9125967783313107062256176748677\ *c_0101_3^7 + 11154321713388019358185272995915736/91259677833131070\ 62256176748677*c_0101_3^6 - 7647915931775309176092178351435765/9125\ 967783313107062256176748677*c_0101_3^5 - 2736190744541559943747339910229861/9125967783313107062256176748677*\ c_0101_3^4 + 1347261804491770939048064737332988/9125967783313107062\ 256176748677*c_0101_3^3 + 426881429727040904354770841639180/9125967\ 783313107062256176748677*c_0101_3^2 - 63257980889927848222333119670924/9125967783313107062256176748677*c_\ 0101_3 - 15503907124507795465180109855222/9125967783313107062256176\ 748677, c_0011_3 - 102592500641737080284889111324951/91259677833131070622561767\ 48677*c_0101_3^22 + 40274373343475933168385761676159/91259677833131\ 07062256176748677*c_0101_3^21 + 261683465138941132239597041675490/9\ 125967783313107062256176748677*c_0101_3^20 + 124425928118607108846762626804472/9125967783313107062256176748677*c\ _0101_3^19 + 774554384733423472561048574797865/91259677833131070622\ 56176748677*c_0101_3^18 + 4688115048621074038926960673430598/912596\ 7783313107062256176748677*c_0101_3^17 + 2224841017677927319712387691161083/9125967783313107062256176748677*\ c_0101_3^16 - 19883006950829352772465827714426533/91259677833131070\ 62256176748677*c_0101_3^15 - 24045561395457920076966331333985271/91\ 25967783313107062256176748677*c_0101_3^14 + 25958807969681734765775478154738112/9125967783313107062256176748677\ *c_0101_3^13 + 57930285060762165170865881944694934/9125967783313107\ 062256176748677*c_0101_3^12 - 16056485167939952786996930737649392/9\ 125967783313107062256176748677*c_0101_3^11 - 70631232888067702770762109220993946/9125967783313107062256176748677\ *c_0101_3^10 + 13947662783562611278478384707195319/9125967783313107\ 062256176748677*c_0101_3^9 + 52039246445559212873152550584107835/91\ 25967783313107062256176748677*c_0101_3^8 - 16545115461828648158490266213710024/9125967783313107062256176748677\ *c_0101_3^7 - 24572433381541499787892274871393358/91259677833131070\ 62256176748677*c_0101_3^6 + 9769519726718390686374696509474669/9125\ 967783313107062256176748677*c_0101_3^5 + 7004474553241043756206072201732616/9125967783313107062256176748677*\ c_0101_3^4 - 2241372867558837913177897639756340/9125967783313107062\ 256176748677*c_0101_3^3 - 960708323598940283188127182648662/9125967\ 783313107062256176748677*c_0101_3^2 + 129586367719159704379102969364779/9125967783313107062256176748677*c\ _0101_3 + 39696573232322915681542983909570/912596778331310706225617\ 6748677, c_0011_4 - 190241795107929589050329371379952/91259677833131070622561767\ 48677*c_0101_3^22 + 100166946423225103082470542234430/9125967783313\ 107062256176748677*c_0101_3^21 + 444324483861203075378196950925125/\ 9125967783313107062256176748677*c_0101_3^20 + 191806464609032254021644326970073/9125967783313107062256176748677*c\ _0101_3^19 + 1457745555670488517674283948002064/9125967783313107062\ 256176748677*c_0101_3^18 + 8518031521763085427987466019751743/91259\ 67783313107062256176748677*c_0101_3^17 + 3215080479234142649825363904532260/9125967783313107062256176748677*\ c_0101_3^16 - 36099610409469238046365007697913684/91259677833131070\ 62256176748677*c_0101_3^15 - 39439797801474568603852326774748921/91\ 25967783313107062256176748677*c_0101_3^14 + 48737307510755205736470409642435380/9125967783313107062256176748677\ *c_0101_3^13 + 96688309806527863200179378289028732/9125967783313107\ 062256176748677*c_0101_3^12 - 36683892530069472882590630831869456/9\ 125967783313107062256176748677*c_0101_3^11 - 116377748907489077885367588845658507/912596778331310706225617674867\ 7*c_0101_3^10 + 35342135878391910363218451758274187/912596778331310\ 7062256176748677*c_0101_3^9 + 81528646444183944698345228307298054/9\ 125967783313107062256176748677*c_0101_3^8 - 34401260120477750202726896841103020/9125967783313107062256176748677\ *c_0101_3^7 - 35760680647411935759925649778236655/91259677833131070\ 62256176748677*c_0101_3^6 + 17680082740438088223214980545413560/912\ 5967783313107062256176748677*c_0101_3^5 + 9611264006143039256817288249384925/9125967783313107062256176748677*\ c_0101_3^4 - 3749681702888242238469765540504458/9125967783313107062\ 256176748677*c_0101_3^3 - 1293056241766870577583329895306357/912596\ 7783313107062256176748677*c_0101_3^2 + 216358558473910350160819974241787/9125967783313107062256176748677*c\ _0101_3 + 52623321124546790944243943238058/912596778331310706225617\ 6748677, c_0011_5 - 102983621591918978160386338581642/91259677833131070622561767\ 48677*c_0101_3^22 + 77163549895896383348954469703940/91259677833131\ 07062256176748677*c_0101_3^21 + 225586426796793064141105067731633/9\ 125967783313107062256176748677*c_0101_3^20 + 33198396087315450927277023673626/9125967783313107062256176748677*c_\ 0101_3^19 + 796531344153025499153596895074599/912596778331310706225\ 6176748677*c_0101_3^18 + 4450581236224829023038263438554202/9125967\ 783313107062256176748677*c_0101_3^17 + 748283801561596553324680100397081/9125967783313107062256176748677*c\ _0101_3^16 - 19645513434268987483636562894058270/912596778331310706\ 2256176748677*c_0101_3^15 - 16215267141772515019383461654549928/912\ 5967783313107062256176748677*c_0101_3^14 + 30470225158469697905963184255326259/9125967783313107062256176748677\ *c_0101_3^13 + 43057009926669816776841942420104149/9125967783313107\ 062256176748677*c_0101_3^12 - 32072544166738267406616277009358523/9\ 125967783313107062256176748677*c_0101_3^11 - 53378647846829223696360443327778511/9125967783313107062256176748677\ *c_0101_3^10 + 36320344532561900345867388350062433/9125967783313107\ 062256176748677*c_0101_3^9 + 33190477958949264310455576184042614/91\ 25967783313107062256176748677*c_0101_3^8 - 30335864607248110047538035232833759/9125967783313107062256176748677\ *c_0101_3^7 - 9073318083707081392705059732810672/912596778331310706\ 2256176748677*c_0101_3^6 + 12723513488209130544951334103082948/9125\ 967783313107062256176748677*c_0101_3^5 + 682805272106382201434697873947742/9125967783313107062256176748677*c\ _0101_3^4 - 2197672949531320870651780694623828/91259677833131070622\ 56176748677*c_0101_3^3 - 783287179831052184865117130892/91259677833\ 13107062256176748677*c_0101_3^2 + 121329644128939577043633099382273\ /9125967783313107062256176748677*c_0101_3 + 478354838477279479924181157856/9125967783313107062256176748677, c_0101_0 + 231785249183855010796866799542129/91259677833131070622561767\ 48677*c_0101_3^22 - 139098917501506345533102510302293/9125967783313\ 107062256176748677*c_0101_3^21 - 546956923554450391424238817179612/\ 9125967783313107062256176748677*c_0101_3^20 - 153166897220679288480259316047147/9125967783313107062256176748677*c\ _0101_3^19 - 1777770601574640296053438352931977/9125967783313107062\ 256176748677*c_0101_3^18 - 10256330097323657312512379532561396/9125\ 967783313107062256176748677*c_0101_3^17 - 3042226937092173248567374594575864/9125967783313107062256176748677*\ c_0101_3^16 + 44668565947397754858108205966662389/91259677833131070\ 62256176748677*c_0101_3^15 + 43860641980837640949399208549705448/91\ 25967783313107062256176748677*c_0101_3^14 - 64914927323925414869355823429263643/9125967783313107062256176748677\ *c_0101_3^13 - 110895519152238322966492927191746076/912596778331310\ 7062256176748677*c_0101_3^12 + 57849305590226643349657145572070748/\ 9125967783313107062256176748677*c_0101_3^11 + 136248697089564529198159128590809231/912596778331310706225617674867\ 7*c_0101_3^10 - 62398011603819685551647590941644820/912596778331310\ 7062256176748677*c_0101_3^9 - 91538512517671539339879063343390324/9\ 125967783313107062256176748677*c_0101_3^8 + 57143967764602648715043737335506650/9125967783313107062256176748677\ *c_0101_3^7 + 33494755109275380331962853611154640/91259677833131070\ 62256176748677*c_0101_3^6 - 26292068619885012180730330136205405/912\ 5967783313107062256176748677*c_0101_3^5 - 6618035149150300787913814556153574/9125967783313107062256176748677*\ c_0101_3^4 + 4883657194995350379808052973792977/9125967783313107062\ 256176748677*c_0101_3^3 + 717981123987403065690474482092434/9125967\ 783313107062256176748677*c_0101_3^2 - 272813460651587665750260300306553/9125967783313107062256176748677*c\ _0101_3 - 27670284962552980777639262468806/912596778331310706225617\ 6748677, c_0101_3^23 - 14/9*c_0101_3^22 - 5/3*c_0101_3^21 + 13/9*c_0101_3^20 - 65/9*c_0101_3^19 - 332/9*c_0101_3^18 + 254/9*c_0101_3^17 + 1805/9*c_0101_3^16 + 59/9*c_0101_3^15 - 3949/9*c_0101_3^14 - 607/3*c_0101_3^13 + 6010/9*c_0101_3^12 + 2851/9*c_0101_3^11 - 7019/9*c_0101_3^10 - 896/9*c_0101_3^9 + 1702/3*c_0101_3^8 - 311/3*c_0101_3^7 - 1922/9*c_0101_3^6 + 224/3*c_0101_3^5 + 331/9*c_0101_3^4 - 121/9*c_0101_3^3 - 29/9*c_0101_3^2 + 2/3*c_0101_3 + 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB