Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 1949690032] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2329 geometric_solution 5.71752520 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 1 0 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 1 0 -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 1.733573326944 0.494393153901 0 2 3 0 0132 0132 0132 3201 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 0 0 0 0 0 -1 0 1 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.689080873747 0.707669021105 4 1 5 3 0132 0132 0132 3201 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 -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.180571291917 0.874794634210 5 2 4 1 1023 2310 2310 0132 0 0 0 0 0 0 0 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 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.180571291917 0.874794634210 2 3 6 6 0132 3201 2310 0132 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 -0.073048362043 0.708871164445 5 3 5 2 2031 1023 1302 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 -1 1 1 0 0 -1 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.464015436141 1.193515867185 6 4 4 6 3201 3201 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.793542596109 0.879518466653 ==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' : negation(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' : d['c_0011_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 3848913632138140115994893262007256352/31935836996390685513098559202\ 4075*c_0101_4^26 - 551791344027125252639677145720210454/12774334798\ 556274205239423680963*c_0101_4^25 + 9928673350047718003559948997577812671/31935836996390685513098559202\ 4075*c_0101_4^24 + 40591202675177144614183598924693789487/319358369\ 963906855130985592024075*c_0101_4^23 - 2171185253132518498684605395302308993/12774334798556274205239423680\ 963*c_0101_4^22 - 4241350516330761830067687062841583618/31935836996\ 3906855130985592024075*c_0101_4^21 + 37113374792805555740491908710942911333/6387167399278137102619711840\ 4815*c_0101_4^20 - 35471478412887873919657631516396763601/319358369\ 963906855130985592024075*c_0101_4^19 - 196576093012844496693616117687802793912/319358369963906855130985592\ 024075*c_0101_4^18 - 51796824754459163633487917571651774853/3193583\ 69963906855130985592024075*c_0101_4^17 + 21547551040151537127637765288916628717/6387167399278137102619711840\ 4815*c_0101_4^16 - 225740885524812496562828035383561617119/31935836\ 9963906855130985592024075*c_0101_4^15 + 237151871566800484103349118629870643597/319358369963906855130985592\ 024075*c_0101_4^14 + 301463118453689424315994276826349863371/319358\ 369963906855130985592024075*c_0101_4^13 - 105246471933227277173934676906013132913/638716739927813710261971184\ 04815*c_0101_4^12 + 467470046108766989227403259693083363108/3193583\ 69963906855130985592024075*c_0101_4^11 - 357531553661995039986503588269095544607/319358369963906855130985592\ 024075*c_0101_4^10 + 96767710619244613126995404461574219162/3193583\ 69963906855130985592024075*c_0101_4^9 + 6966220237469566831589466067894463193/63871673992781371026197118404\ 815*c_0101_4^8 - 24149985568018095843820864567046639106/31935836996\ 3906855130985592024075*c_0101_4^7 + 1469612222645157741831058993415106088/18785786468465109125352093648\ 475*c_0101_4^6 - 17402323004751410761266293274426585153/31935836996\ 3906855130985592024075*c_0101_4^5 + 5381758367774564100352821691102785423/31935836996390685513098559202\ 4075*c_0101_4^4 - 4292112212427596527413149685597022649/31935836996\ 3906855130985592024075*c_0101_4^3 - 446491788469392553090869189219974366/638716739927813710261971184048\ 15*c_0101_4^2 + 2207597835437730864434049156965705579/3193583699639\ 06855130985592024075*c_0101_4 + 64185534602059044147520278118345567\ 2/319358369963906855130985592024075, c_0011_0 - 1, c_0011_3 - 561629789670884657224432814909001477/31935836996390685513098\ 5592024075*c_0101_4^26 - 78050084040882468781087296315622761/127743\ 34798556274205239423680963*c_0101_4^25 + 1675203144718914412899214706025680661/31935836996390685513098559202\ 4075*c_0101_4^24 + 5803435590608679969866050900228466277/3193583699\ 63906855130985592024075*c_0101_4^23 - 340058691492569603990028113614280130/127743347985562742052394236809\ 63*c_0101_4^22 + 192352779294858080192199278173694847/3193583699639\ 06855130985592024075*c_0101_4^21 + 5405747137217152791020942029118657981/63871673992781371026197118404\ 815*c_0101_4^20 - 7965972118216681591312726498025506946/31935836996\ 3906855130985592024075*c_0101_4^19 - 28305168659683423841615380931171884252/3193583699639068551309855920\ 24075*c_0101_4^18 - 5244730004674077869466392471925988713/319358369\ 963906855130985592024075*c_0101_4^17 + 3308798755657651671816451698731656967/63871673992781371026197118404\ 815*c_0101_4^16 - 33940007642385856936250152606804600729/3193583699\ 63906855130985592024075*c_0101_4^15 + 38642170029820547863048026334680583062/3193583699639068551309855920\ 24075*c_0101_4^14 + 40420369969161874162482658765994405371/31935836\ 9963906855130985592024075*c_0101_4^13 - 3227222242429649471919625129834313804/12774334798556274205239423680\ 963*c_0101_4^12 + 75639174536851970345788680284820698278/3193583699\ 63906855130985592024075*c_0101_4^11 - 60504920270791443160755348112041236832/3193583699639068551309855920\ 24075*c_0101_4^10 + 20922025703135548927186307903897359667/31935836\ 9963906855130985592024075*c_0101_4^9 + 429268353680610249141418181148540427/638716739927813710261971184048\ 15*c_0101_4^8 - 2915231293058001295865902381510320966/3193583699639\ 06855130985592024075*c_0101_4^7 + 216882579631043718289220952744944\ 328/18785786468465109125352093648475*c_0101_4^6 - 2890315982807305359382688410861862298/31935836996390685513098559202\ 4075*c_0101_4^5 + 1059515861331515288222234801072811793/31935836996\ 3906855130985592024075*c_0101_4^4 - 789352597470176861796715821653891134/319358369963906855130985592024\ 075*c_0101_4^3 - 44705319361680561353737385037007812/63871673992781\ 371026197118404815*c_0101_4^2 + 33344785874535615838998891394335843\ 4/319358369963906855130985592024075*c_0101_4 + 80435531555085562728370693831330692/3193583699639068551309855920240\ 75, c_0011_6 + 405429056039136024215791749504/119506796184379860790855525*c\ _0101_4^26 + 284002211714325234735429679383/23901359236875972158171\ 105*c_0101_4^25 - 1156493450574162447972520907037/11950679618437986\ 0790855525*c_0101_4^24 - 4167845630743366116790459714484/1195067961\ 84379860790855525*c_0101_4^23 + 1204987840213067218524406482963/239\ 01359236875972158171105*c_0101_4^22 - 91599397048688524832486819859/119506796184379860790855525*c_0101_4^\ 21 - 3883572407772626401671079377587/23901359236875972158171105*c_0\ 101_4^20 + 5263233731368915385742894107467/119506796184379860790855\ 525*c_0101_4^19 + 20026617899002947338815891546674/1195067961843798\ 60790855525*c_0101_4^18 + 4100340866242650272989686764646/119506796\ 184379860790855525*c_0101_4^17 - 2285870038085324953970557867061/23\ 901359236875972158171105*c_0101_4^16 + 24595949222949382935543505371868/119506796184379860790855525*c_0101\ _4^15 - 27214226249928948569864856462529/11950679618437986079085552\ 5*c_0101_4^14 - 29160000357291860138294780289127/119506796184379860\ 790855525*c_0101_4^13 + 11430868851694490470596168099318/2390135923\ 6875972158171105*c_0101_4^12 - 54043230659893571549777002608621/119\ 506796184379860790855525*c_0101_4^11 + 43119114163003469195322120816769/119506796184379860790855525*c_0101\ _4^10 - 14924548434711364394791344314624/11950679618437986079085552\ 5*c_0101_4^9 - 263111663179971051720319664244/239013592368759721581\ 71105*c_0101_4^8 + 1997861915023884816288419520657/1195067961843798\ 60790855525*c_0101_4^7 - 154744830236406496123277359321/70298115402\ 57638870050325*c_0101_4^6 + 2036976439461396891111969580981/1195067\ 96184379860790855525*c_0101_4^5 - 768945440982691697052105997011/11\ 9506796184379860790855525*c_0101_4^4 + 566804834038078122328434483558/119506796184379860790855525*c_0101_4\ ^3 + 32448636741530617540603330332/23901359236875972158171105*c_010\ 1_4^2 - 227271525247427064066304200983/119506796184379860790855525*\ c_0101_4 - 54322879599240670758420512124/11950679618437986079085552\ 5, c_0101_0 - 279895855998700921172592089412/350734749960635331227243575*c\ _0101_4^26 - 196845590805980350613062239702/70146949992127066245448\ 715*c_0101_4^25 + 788274116849665220040294864156/350734749960635331\ 227243575*c_0101_4^24 + 2901293295019744631668642432912/35073474996\ 0635331227243575*c_0101_4^23 - 825325518473244932749858760822/70146\ 949992127066245448715*c_0101_4^22 - 28706126951791663246795654778/350734749960635331227243575*c_0101_4^\ 21 + 2690394820733358787088572215372/70146949992127066245448715*c_0\ 101_4^20 - 3449408222788017458197554490041/350734749960635331227243\ 575*c_0101_4^19 - 14035285642976866838199929095022/3507347499606353\ 31227243575*c_0101_4^18 - 3000881612089189094832179218428/350734749\ 960635331227243575*c_0101_4^17 + 319611904514753518370218666174/140\ 29389998425413249089743*c_0101_4^16 - 16813114193144532130362505584334/350734749960635331227243575*c_0101\ _4^15 + 18496078451070596071974096208022/35073474996063533122724357\ 5*c_0101_4^14 + 20617978100576050903264943038416/350734749960635331\ 227243575*c_0101_4^13 - 7877680831334669482792363068071/70146949992\ 127066245448715*c_0101_4^12 + 36526330218703664860191424746868/3507\ 34749960635331227243575*c_0101_4^11 - 28836323484569641485998249244362/350734749960635331227243575*c_0101\ _4^10 + 9419105065754614885107704047447/350734749960635331227243575\ *c_0101_4^9 + 57699785340324923302914315599/14029389998425413249089\ 743*c_0101_4^8 - 1536516392636443812634926328491/350734749960635331\ 227243575*c_0101_4^7 + 108311735519057441712830172408/2063145588003\ 7372425131975*c_0101_4^6 - 1384929538613465374382844945343/35073474\ 9960635331227243575*c_0101_4^5 + 493409962240662268096060724998/350\ 734749960635331227243575*c_0101_4^4 - 368700973454935552509735726059/350734749960635331227243575*c_0101_4\ ^3 - 25286153300987377636855394771/70146949992127066245448715*c_010\ 1_4^2 + 161721091448184712641960706749/350734749960635331227243575*\ c_0101_4 + 40678247104877969119975079352/35073474996063533122724357\ 5, c_0101_1 - 152171280240845313229751063259/350734749960635331227243575*c\ _0101_4^26 - 101708312050828653278518195752/70146949992127066245448\ 715*c_0101_4^25 + 528094465048085635898485493467/350734749960635331\ 227243575*c_0101_4^24 + 1534610186563965762675748813899/35073474996\ 0635331227243575*c_0101_4^23 - 498493342769531437815368227922/70146\ 949992127066245448715*c_0101_4^22 + 314126137571385699948275110054/350734749960635331227243575*c_0101_4\ ^21 + 1461421889724144382173840378811/70146949992127066245448715*c_\ 0101_4^20 - 3066098067053985555418783849367/35073474996063533122724\ 3575*c_0101_4^19 - 7555857381192025663234722355484/3507347499606353\ 31227243575*c_0101_4^18 - 678974800289740053619541153881/3507347499\ 60635331227243575*c_0101_4^17 + 952046888675927176210061437222/7014\ 6949992127066245448715*c_0101_4^16 - 9503550620820624721838845819738/350734749960635331227243575*c_0101_\ 4^15 + 11793879468916611217321276309619/350734749960635331227243575\ *c_0101_4^14 + 9796456309491907631899611644447/35073474996063533122\ 7243575*c_0101_4^13 - 4625850649363957806694586540653/7014694999212\ 7066245448715*c_0101_4^12 + 22887582853305324415553079447071/350734\ 749960635331227243575*c_0101_4^11 - 19110992121124524177056046262814/350734749960635331227243575*c_0101\ _4^10 + 7891857297274560843708135367389/350734749960635331227243575\ *c_0101_4^9 - 76802337170665240476936290594/70146949992127066245448\ 715*c_0101_4^8 - 576396028218139286503563669327/3507347499606353312\ 27243575*c_0101_4^7 + 59135312126674596458233745356/206314558800373\ 72425131975*c_0101_4^6 - 898050747962675607644421099441/35073474996\ 0635331227243575*c_0101_4^5 + 376085096494153340787435027941/350734\ 749960635331227243575*c_0101_4^4 - 267354455499048375162499928518/350734749960635331227243575*c_0101_4\ ^3 - 5191262551416359702801736489/70146949992127066245448715*c_0101\ _4^2 + 93960850397115724492988333853/350734749960635331227243575*c_\ 0101_4 + 17893260541030883035028299284/350734749960635331227243575, c_0101_2 - 219047613355966943943783875403/119506796184379860790855525*c\ _0101_4^26 - 30371325499804031186298159819/478027184737519443163422\ 1*c_0101_4^25 + 655069383053882212964417130704/11950679618437986079\ 0855525*c_0101_4^24 + 2241063379132474654670894343678/1195067961843\ 79860790855525*c_0101_4^23 - 133202985341419953369373899443/4780271\ 847375194431634221*c_0101_4^22 + 143007204847327172355437946008/119\ 506796184379860790855525*c_0101_4^21 + 2098996488943806427730573439464/23901359236875972158171105*c_0101_4\ ^20 - 3198441518651382872642636687144/119506796184379860790855525*c\ _0101_4^19 - 10820909193511483561520373713378/119506796184379860790\ 855525*c_0101_4^18 - 1932784355153156689008991883257/11950679618437\ 9860790855525*c_0101_4^17 + 1263641978221761172546686363263/2390135\ 9236875972158171105*c_0101_4^16 - 13386493468230947513876556258381/\ 119506796184379860790855525*c_0101_4^15 + 15216568080810119595016067151068/119506796184379860790855525*c_0101\ _4^14 + 15366335649283236646701661405369/11950679618437986079085552\ 5*c_0101_4^13 - 1256548193851075805761308924392/4780271847375194431\ 634221*c_0101_4^12 + 30065489656852436693067138716667/1195067961843\ 79860790855525*c_0101_4^11 - 24269116200079161652440685912448/11950\ 6796184379860790855525*c_0101_4^10 + 8832661718717149451523476230413/119506796184379860790855525*c_0101_\ 4^9 + 81006208297311059113492293883/23901359236875972158171105*c_01\ 01_4^8 - 1017102712476058550628990879374/11950679618437986079085552\ 5*c_0101_4^7 + 83883959412092956125392066342/7029811540257638870050\ 325*c_0101_4^6 - 1143666749747172036662732553597/119506796184379860\ 790855525*c_0101_4^5 + 445756844517825154409424332527/1195067961843\ 79860790855525*c_0101_4^4 - 325115189928401045418478400451/11950679\ 6184379860790855525*c_0101_4^3 - 15168159419828657513566162603/2390\ 1359236875972158171105*c_0101_4^2 + 125136426876309140903074439901/119506796184379860790855525*c_0101_4 + 28383277170967764110312015438/119506796184379860790855525, c_0101_4^27 + 8/3*c_0101_4^26 - 52/9*c_0101_4^25 - 71/9*c_0101_4^24 + 211/9*c_0101_4^23 - 38/3*c_0101_4^22 - 143/3*c_0101_4^21 + 53*c_0101_4^20 + 346/9*c_0101_4^19 - 280/9*c_0101_4^18 - 329/9*c_0101_4^17 + 758/9*c_0101_4^16 - 1061/9*c_0101_4^15 - 47/3*c_0101_4^14 + 1808/9*c_0101_4^13 - 2261/9*c_0101_4^12 + 1963/9*c_0101_4^11 - 1135/9*c_0101_4^10 + 251/9*c_0101_4^9 + 67/9*c_0101_4^8 - 95/9*c_0101_4^7 + 94/9*c_0101_4^6 - 55/9*c_0101_4^5 + 3*c_0101_4^4 - 7/9*c_0101_4^3 - 8/9*c_0101_4^2 + 1/3*c_0101_4 + 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB