Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 2564359354] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s346 geometric_solution 4.54951831 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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.517329375239 0.152887533265 2 0 2 0 0132 2310 1023 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 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.704932597392 0.372491451197 1 3 1 4 0132 0132 1023 0132 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 0 0 0 0 0 0 0 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 1.770577616379 1.151755220284 4 2 5 4 3012 0132 0132 3120 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 0 1 -1 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.711958632657 0.755422283396 3 5 2 3 3120 3201 0132 1230 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 -1 0 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.711958632657 0.755422283396 5 5 4 3 1302 2031 2310 0132 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 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.577671270658 0.338797931027 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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_0101_3']), 'c_1001_4' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_1'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0011_5'], '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_4, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 3043693030617577785120630428576054936949749170961418167/61742376563\ 7837198920489413382903727052511366089733696*c_0101_3^20 + 40421845487730144283108924035432148653825464708482490207/6174237656\ 37837198920489413382903727052511366089733696*c_0101_3^19 - 50890382029788505828622852823598374955527244788337745395/6174237656\ 37837198920489413382903727052511366089733696*c_0101_3^18 - 176067635913416237595996795295664147231008312305443498763/154355941\ 409459299730122353345725931763127841522433424*c_0101_3^17 + 2946409383998250368201167502116506152258221470320457777549/61742376\ 5637837198920489413382903727052511366089733696*c_0101_3^16 + 3006790112928652686716406815884149824440846962589692092175/30871188\ 2818918599460244706691451863526255683044866848*c_0101_3^15 - 23519762165974182865357571421604831140922798159540395327397/6174237\ 65637837198920489413382903727052511366089733696*c_0101_3^14 + 4119840127287128729359397613364692733081481977793433283375/15435594\ 1409459299730122353345725931763127841522433424*c_0101_3^13 + 2050128672076713051097557571239177853196974444532201547617/15435594\ 1409459299730122353345725931763127841522433424*c_0101_3^12 - 171253940097086135822591911647435746403603988430213417687209/617423\ 765637837198920489413382903727052511366089733696*c_0101_3^11 + 10405668435879671430097733996959824761429504055474502043383/1929449\ 2676182412466265294168215741470390980190304178*c_0101_3^10 + 30744833904009280450143346108186226652656571891202095899213/3087118\ 82818918599460244706691451863526255683044866848*c_0101_3^9 - 118545307215915056058457122276668469286444231854755600650029/154355\ 941409459299730122353345725931763127841522433424*c_0101_3^8 + 61622341291041948906467324486473532213385355138795838970899/1543559\ 41409459299730122353345725931763127841522433424*c_0101_3^7 - 3399631359701761462952757921715179915430184626278181122563/77177970\ 704729649865061176672862965881563920761216712*c_0101_3^6 + 5176281655069731329824222075939375197460486226306268249483/61742376\ 5637837198920489413382903727052511366089733696*c_0101_3^5 + 30465557857702309006615136050387927075407718403123273439629/3087118\ 82818918599460244706691451863526255683044866848*c_0101_3^4 - 7223980462951317850262755795216120823987816821752848665125/77177970\ 704729649865061176672862965881563920761216712*c_0101_3^3 + 905668093421814108876156960273597876837123175547564946981/771779707\ 04729649865061176672862965881563920761216712*c_0101_3^2 + 136387251044990119841647595737365304881612431344966561113/192944926\ 76182412466265294168215741470390980190304178*c_0101_3 - 11656862307551650065980398764201426827324788137669006885/9647246338\ 091206233132647084107870735195490095152089, c_0011_0 - 1, c_0011_1 + 29259804434518834011302470052725768636556288598505/771779707\ 04729649865061176672862965881563920761216712*c_0101_3^20 - 530185680382076827754769734256829770234431836848631/771779707047296\ 49865061176672862965881563920761216712*c_0101_3^19 + 2214047715206957743276669546565435978083058442900745/77177970704729\ 649865061176672862965881563920761216712*c_0101_3^18 + 1584036374995293499312974824523555329480439668188371/19294492676182\ 412466265294168215741470390980190304178*c_0101_3^17 - 62013379565764163032641025119334639039482942538460517/7717797070472\ 9649865061176672862965881563920761216712*c_0101_3^16 + 5289322429718804929897576776967489563210281935820237/96472463380912\ 06233132647084107870735195490095152089*c_0101_3^15 + 624762609752091929449719735226678425433707273955912657/771779707047\ 29649865061176672862965881563920761216712*c_0101_3^14 - 419998515355962933677719116188781435206657538081573523/385889853523\ 64824932530588336431482940781960380608356*c_0101_3^13 - 83451897178486286050454550268541632137830488660155915/3858898535236\ 4824932530588336431482940781960380608356*c_0101_3^12 + 2106930679858821336515135204959173986952229531321694451/77177970704\ 729649865061176672862965881563920761216712*c_0101_3^11 - 5312271374140018298161585120303051697512091204659717339/38588985352\ 364824932530588336431482940781960380608356*c_0101_3^10 + 1650603551060683883185262779349516394071419877013474519/19294492676\ 182412466265294168215741470390980190304178*c_0101_3^9 + 4316298745097224689561643688720811453433198873040532423/19294492676\ 182412466265294168215741470390980190304178*c_0101_3^8 - 3064722566809993741169176066735372505077148561812929155/19294492676\ 182412466265294168215741470390980190304178*c_0101_3^7 - 335349238950600515373825116492844789056792642101212700/964724633809\ 1206233132647084107870735195490095152089*c_0101_3^6 - 1890784086341717787926454473225963164531969948594259189/77177970704\ 729649865061176672862965881563920761216712*c_0101_3^5 - 179885727551238377770211320883857982369731412074953482/964724633809\ 1206233132647084107870735195490095152089*c_0101_3^4 + 1401588603364745129125719265033272594757882731564098055/38588985352\ 364824932530588336431482940781960380608356*c_0101_3^3 + 4699970278929936923150867097503825050413197251940008/96472463380912\ 06233132647084107870735195490095152089*c_0101_3^2 - 61744275492597920315869377360222884670449424691797895/1929449267618\ 2412466265294168215741470390980190304178*c_0101_3 + 2711998015880417071532322349655250219689850262807914/96472463380912\ 06233132647084107870735195490095152089, c_0011_4 + 120814746419847013428754877956737900577278291110416/96472463\ 38091206233132647084107870735195490095152089*c_0101_3^20 - 1521174522124127726638128030074438618951712802198301/96472463380912\ 06233132647084107870735195490095152089*c_0101_3^19 + 3847061428057048921816032497151960060286814855453245/38588985352364\ 824932530588336431482940781960380608356*c_0101_3^18 + 28736758582237104156609543744074885745958623352614799/9647246338091\ 206233132647084107870735195490095152089*c_0101_3^17 - 97228883078268036740308792076075553503852714607787198/9647246338091\ 206233132647084107870735195490095152089*c_0101_3^16 - 1231806763873888179252733225274816974027507260741101299/38588985352\ 364824932530588336431482940781960380608356*c_0101_3^15 + 2916233896643973163105769401955652599723645993608285413/38588985352\ 364824932530588336431482940781960380608356*c_0101_3^14 - 514912730152518341021686023548973878312042635788148989/385889853523\ 64824932530588336431482940781960380608356*c_0101_3^13 - 1896935794068323495390442851546012389194559495146302055/38588985352\ 364824932530588336431482940781960380608356*c_0101_3^12 + 25954489435965881160459842816029651371308783409680099543/3858898535\ 2364824932530588336431482940781960380608356*c_0101_3^11 - 8706019458596512209656529261091558718514730557858259992/96472463380\ 91206233132647084107870735195490095152089*c_0101_3^10 - 35807566062780183670357263119820786272478809177652414725/3858898535\ 2364824932530588336431482940781960380608356*c_0101_3^9 + 53580359767981708205284625678453411906782152341161152399/3858898535\ 2364824932530588336431482940781960380608356*c_0101_3^8 + 109105618904921054408050518744591004033538503015650445/192944926761\ 82412466265294168215741470390980190304178*c_0101_3^7 - 94900441611298506472866353803025825442505128192363665/1929449267618\ 2412466265294168215741470390980190304178*c_0101_3^6 - 74037984814086627408709342913504117239359139866960201/9647246338091\ 206233132647084107870735195490095152089*c_0101_3^5 - 2438955829794403568539637520570326274489933284976731424/96472463380\ 91206233132647084107870735195490095152089*c_0101_3^4 + 2357874041292631680372900111951112248958863786758594035/38588985352\ 364824932530588336431482940781960380608356*c_0101_3^3 + 1290089977672485517710123650509219972290598739943072709/38588985352\ 364824932530588336431482940781960380608356*c_0101_3^2 - 84619042807046004449279133325994033878314995454302371/1929449267618\ 2412466265294168215741470390980190304178*c_0101_3 - 14883368795065601147516782856818213673372114482901663/9647246338091\ 206233132647084107870735195490095152089, c_0011_5 - 446769251097002793272072727949671994988962863071519/77177970\ 704729649865061176672862965881563920761216712*c_0101_3^20 + 5667954710361872984579429483386170437986999539550753/77177970704729\ 649865061176672862965881563920761216712*c_0101_3^19 - 4054591526465198035365809955384418654771385993827531/77177970704729\ 649865061176672862965881563920761216712*c_0101_3^18 - 53212816547610073276348680351032288217170003968640891/3858898535236\ 4824932530588336431482940781960380608356*c_0101_3^17 + 370013537766264085997195646084076860621040750094861593/771779707047\ 29649865061176672862965881563920761216712*c_0101_3^16 + 556921083613631373541765973384773379469554756974105971/385889853523\ 64824932530588336431482940781960380608356*c_0101_3^15 - 2836538309355977288256365149251499571086051278972922655/77177970704\ 729649865061176672862965881563920761216712*c_0101_3^14 + 158117743582664186603002012359488347537043776793425815/192944926761\ 82412466265294168215741470390980190304178*c_0101_3^13 + 972038505837040667967449565848597623372704350639175183/385889853523\ 64824932530588336431482940781960380608356*c_0101_3^12 - 24200868108329848554564067331142929295527556852922261871/7717797070\ 4729649865061176672862965881563920761216712*c_0101_3^11 + 17173125111809098361692315322522625108741412159417531883/3858898535\ 2364824932530588336431482940781960380608356*c_0101_3^10 + 4017332148845964842783749554887311412431921751189093691/96472463380\ 91206233132647084107870735195490095152089*c_0101_3^9 - 27761374560373589309951525185523807234724202148656480995/3858898535\ 2364824932530588336431482940781960380608356*c_0101_3^8 + 199866557352023480122871357815202946651751925310599347/964724633809\ 1206233132647084107870735195490095152089*c_0101_3^7 + 1077913562058788694710546816525371415359114315809238581/19294492676\ 182412466265294168215741470390980190304178*c_0101_3^6 + 395865751789138141418617226882005002044897328367523123/771779707047\ 29649865061176672862965881563920761216712*c_0101_3^5 + 1164695320015099960469570456689014357043469849330456370/96472463380\ 91206233132647084107870735195490095152089*c_0101_3^4 - 1541259450633528461725964983170981174610473018873327559/38588985352\ 364824932530588336431482940781960380608356*c_0101_3^3 - 892337778173075198403258017158309937897349187708671821/385889853523\ 64824932530588336431482940781960380608356*c_0101_3^2 + 80954404869635394632154467455152665605335263555138191/1929449267618\ 2412466265294168215741470390980190304178*c_0101_3 + 12198585595597913915927159108226868817191854573511807/9647246338091\ 206233132647084107870735195490095152089, c_0101_0 - 28627397903834883828850851644219292592158517739451467/308711\ 882818918599460244706691451863526255683044866848*c_0101_3^20 + 358150758730720685574507541880134242049415607628070421/308711882818\ 918599460244706691451863526255683044866848*c_0101_3^19 - 200542959865724326053629008854916905009648631417343565/308711882818\ 918599460244706691451863526255683044866848*c_0101_3^18 - 3404321479150358718493611627298469383416182733630755851/15435594140\ 9459299730122353345725931763127841522433424*c_0101_3^17 + 22488883037344515976504745195138932412102489642831033317/3087118828\ 18918599460244706691451863526255683044866848*c_0101_3^16 + 9305652954575170456174804178453819520143875205945889027/38588985352\ 364824932530588336431482940781960380608356*c_0101_3^15 - 165817341768626229556494876914633914551778793490102651737/308711882\ 818918599460244706691451863526255683044866848*c_0101_3^14 + 10560073551262470931573073875594760538696171415113059129/1543559414\ 09459299730122353345725931763127841522433424*c_0101_3^13 + 6714983463716723490012056668910868944528553799407873601/19294492676\ 182412466265294168215741470390980190304178*c_0101_3^12 - 1530218231676198890497301290302076012781484219510425556405/30871188\ 2818918599460244706691451863526255683044866848*c_0101_3^11 + 972616143205527954318817116268227908863407826147794121815/154355941\ 409459299730122353345725931763127841522433424*c_0101_3^10 + 1102516601784714198494173003085352519532487508801303762427/15435594\ 1409459299730122353345725931763127841522433424*c_0101_3^9 - 366136746998909428598797947789051693562844348266377207773/385889853\ 52364824932530588336431482940781960380608356*c_0101_3^8 - 29084820413269629258418344385878372283126552610884434061/7717797070\ 4729649865061176672862965881563920761216712*c_0101_3^7 - 3076876663293024130306124098972296948917617280000187118/96472463380\ 91206233132647084107870735195490095152089*c_0101_3^6 - 27079051915251340721176092133289320922718839292903535569/3087118828\ 18918599460244706691451863526255683044866848*c_0101_3^5 + 70656290854875698751276315874495337971076976442091994239/3858898535\ 2364824932530588336431482940781960380608356*c_0101_3^4 - 3283063793135318965696012679699909429185690046011500250/96472463380\ 91206233132647084107870735195490095152089*c_0101_3^3 - 7502507334882398340952066615539309781464428973949237937/38588985352\ 364824932530588336431482940781960380608356*c_0101_3^2 + 163950897575794215233860699124899144235232802820573562/964724633809\ 1206233132647084107870735195490095152089*c_0101_3 + 26215100098526633680521546406714507098672303234421765/9647246338091\ 206233132647084107870735195490095152089, c_0101_3^21 - 13*c_0101_3^20 + 13*c_0101_3^19 + 236*c_0101_3^18 - 903*c_0101_3^17 - 2246*c_0101_3^16 + 7167*c_0101_3^15 - 3256*c_0101_3^14 - 4160*c_0101_3^13 + 55471*c_0101_3^12 - 93644*c_0101_3^11 - 50570*c_0101_3^10 + 149364*c_0101_3^9 - 37356*c_0101_3^8 - 12536*c_0101_3^7 + 355*c_0101_3^6 - 20658*c_0101_3^5 + 13260*c_0101_3^4 + 2784*c_0101_3^3 - 1968*c_0101_3^2 - 128*c_0101_3 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB