Magma V2.19-8 Tue Aug 20 2013 16:17:32 on localhost [Seed = 2101141921] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1767 geometric_solution 5.45099562 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 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 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.496350380405 0.454108768572 3 4 2 0 0132 0132 2031 0132 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 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.526074125378 0.691137485538 4 3 0 1 2310 3201 0132 1302 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 1 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.526074125378 0.691137485538 1 5 2 5 0132 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 -1 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.000802818594 1.361747941414 4 1 2 4 3201 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.851766898205 0.788279119166 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.587303383709 0.223312130662 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.594868235898 0.060107912812 ==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' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_0101_1, c_0101_2, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 252564478993524418165201079558262964410619/183358487207299812491628\ 29465589735935379*c_0101_6^25 + 42667243590535787165144240835516317\ 845640/374200994300611862227812846236525223171*c_0101_6^24 - 180262863955902175064887972658311913411345/873135653368094345198229\ 974551892187399*c_0101_6^23 - 1772960323918695922620543490091555857\ 1075/19779772082772363807079643436450632077*c_0101_6^22 + 126343913204976020580536039225693168256915673/183358487207299812491\ 62829465589735935379*c_0101_6^21 - 510156412017539729158289812889519942949070381/183358487207299812491\ 62829465589735935379*c_0101_6^20 + 1434279881156028038843649644255358740024140088/18335848720729981249\ 162829465589735935379*c_0101_6^19 - 2617510275786700133315318457594001217019478154/18335848720729981249\ 162829465589735935379*c_0101_6^18 + 937890703979142924402011188473517498812449398/611194957357666041638\ 7609821863245311793*c_0101_6^17 - 133800556714705568152833389984298\ 9720096951683/18335848720729981249162829465589735935379*c_0101_6^16 - 408046274016587029745061561454876766349812845/1833584872072998124\ 9162829465589735935379*c_0101_6^15 + 96443403488030916699410752562537776949018422/2037316524525553472129\ 203273954415103931*c_0101_6^14 - 1487662104229915874230426921003165\ 03875561608/2037316524525553472129203273954415103931*c_0101_6^13 + 1375367520235288695304840899045323944599318737/61119495735766604163\ 87609821863245311793*c_0101_6^12 - 7627189857062320843679685277130643313008831512/18335848720729981249\ 162829465589735935379*c_0101_6^11 + 7381594991757203215878211687034986874759625920/18335848720729981249\ 162829465589735935379*c_0101_6^10 - 271948437664007374092352277323347919053775791/203731652452555347212\ 9203273954415103931*c_0101_6^9 - 2772621949742831332255606668796850\ 0752086043/178017948744951274263716790928055688693*c_0101_6^8 + 4379699372571802437888445592408096768236906204/18335848720729981249\ 162829465589735935379*c_0101_6^7 - 2564762902138329257994007094675213980335009745/18335848720729981249\ 162829465589735935379*c_0101_6^6 + 366162833402039764947047768073151165431568562/183358487207299812491\ 62829465589735935379*c_0101_6^5 + 527360028750570675487771366302792\ 130975498496/18335848720729981249162829465589735935379*c_0101_6^4 - 142169311130434026998463306284020076393984209/611194957357666041638\ 7609821863245311793*c_0101_6^3 + 5180753256897078733673735555833170\ 5832885064/6111949573576660416387609821863245311793*c_0101_6^2 - 3166330577505294817874560247606083978962905/20373165245255534721292\ 03273954415103931*c_0101_6 + 60697930618075166580761319787624449198\ 2240/6111949573576660416387609821863245311793, c_0011_0 - 1, c_0011_1 + 13245054004039868266602024698682/173888564829378572489242990\ 85141*c_0101_6^25 - 15819724305713366028323449986502/24841223547054\ 08178417757012163*c_0101_6^24 + 29576930594497962316967182081066/24\ 84122354705408178417757012163*c_0101_6^23 + 850216137657637971708982315877325/17388856482937857248924299085141*\ c_0101_6^22 - 6706360420296576546476046517692508/173888564829378572\ 48924299085141*c_0101_6^21 + 27268211803599981520875567431146383/17\ 388856482937857248924299085141*c_0101_6^20 - 77149536508579895463155825658850117/1738885648293785724892429908514\ 1*c_0101_6^19 + 142315404339524249610112185622445320/17388856482937\ 857248924299085141*c_0101_6^18 - 1554885847064130132823259016813658\ 82/17388856482937857248924299085141*c_0101_6^17 + 75750436550871107944703846973794763/1738885648293785724892429908514\ 1*c_0101_6^16 + 23808503858542465378793401240958345/173888564829378\ 57248924299085141*c_0101_6^15 - 53648577109500697445234992430919210\ /17388856482937857248924299085141*c_0101_6^14 + 77001464989638455036071931644979540/1738885648293785724892429908514\ 1*c_0101_6^13 - 223033215451190716771635832271044912/17388856482937\ 857248924299085141*c_0101_6^12 + 4158213293638870596091010705875997\ 84/17388856482937857248924299085141*c_0101_6^11 - 410750172145678995781885263370496540/173888564829378572489242990851\ 41*c_0101_6^10 + 141772193060035174731355152324121603/1738885648293\ 7857248924299085141*c_0101_6^9 + 1607874442313400625865470314082617\ 55/17388856482937857248924299085141*c_0101_6^8 - 257113388150206337991691398090879747/173888564829378572489242990851\ 41*c_0101_6^7 + 157468698707984731193603063167554675/17388856482937\ 857248924299085141*c_0101_6^6 - 26561444665748552113791176257614658\ /17388856482937857248924299085141*c_0101_6^5 - 31579723320510265818617551439395905/1738885648293785724892429908514\ 1*c_0101_6^4 + 28175560070336544306461575547811650/1738885648293785\ 7248924299085141*c_0101_6^3 - 11264022055301344826513805395066128/1\ 7388856482937857248924299085141*c_0101_6^2 + 2338572073561418216257119134896018/17388856482937857248924299085141\ *c_0101_6 - 155588358063699324848754982741756/173888564829378572489\ 24299085141, c_0101_1 + 4080314165469875145658578837457361241/8974962663108165075459\ 045259711079753*c_0101_6^25 - 4801152014738775982473412704386802975\ /1282137523301166439351292179958725679*c_0101_6^24 + 8600342579783494007261676461621439528/12821375233011664393512921799\ 58725679*c_0101_6^23 + 2570215696648083689785119054269068729/871355\ 59836001602674359662715641551*c_0101_6^22 - 2026162917713680085745905307883686567225/89749626631081650754590452\ 59711079753*c_0101_6^21 + 8190380978979929562659812871315102806205/\ 8974962663108165075459045259711079753*c_0101_6^20 - 23030187056678819648683476444841194217985/8974962663108165075459045\ 259711079753*c_0101_6^19 + 4206566580075158490185079203956507363174\ 9/8974962663108165075459045259711079753*c_0101_6^18 - 45595368085228506691458714640740920668107/8974962663108165075459045\ 259711079753*c_0101_6^17 + 2259771068288032146437496260234266095840\ 3/8974962663108165075459045259711079753*c_0101_6^16 + 5635031359780074064889349507162856460081/89749626631081650754590452\ 59711079753*c_0101_6^15 - 14700379106795238778277789299913598629724\ /8974962663108165075459045259711079753*c_0101_6^14 + 23506081015238946743622636579278515518333/8974962663108165075459045\ 259711079753*c_0101_6^13 - 6724181529355024954465840959270711358165\ 1/8974962663108165075459045259711079753*c_0101_6^12 + 122233005900420549352492510699792394785648/897496266310816507545904\ 5259711079753*c_0101_6^11 - 119968968488215667638233636854024503079\ 545/8974962663108165075459045259711079753*c_0101_6^10 + 43136878892644357119852616232608112711186/8974962663108165075459045\ 259711079753*c_0101_6^9 + 423815832495558079104156352658826426438/8\ 7135559836001602674359662715641551*c_0101_6^8 - 73173567531606591742828568862459024866603/8974962663108165075459045\ 259711079753*c_0101_6^7 + 46887636444872990524971706718174442324851\ /8974962663108165075459045259711079753*c_0101_6^6 - 9660333686223017591941330419927880082231/89749626631081650754590452\ 59711079753*c_0101_6^5 - 8187268787258062649979908433621371226820/8\ 974962663108165075459045259711079753*c_0101_6^4 + 8206654256247402752759032798036793292894/89749626631081650754590452\ 59711079753*c_0101_6^3 - 3539383417990802075775726137132389593399/8\ 974962663108165075459045259711079753*c_0101_6^2 + 806203875179248070120133368376370784982/897496266310816507545904525\ 9711079753*c_0101_6 - 69655390488871681888319430703096241275/897496\ 2663108165075459045259711079753, c_0101_2 - 831960205013249583913961635310212702397/61119495735766604163\ 87609821863245311793*c_0101_6^25 + 318862118898108851846551334063252975336/291045217789364781732743324\ 850630729133*c_0101_6^24 - 524224396912262941735688010539500124041/\ 291045217789364781732743324850630729133*c_0101_6^23 - 181453959601694583500140584781940107927/197797720827723638070796434\ 36450632077*c_0101_6^22 + 40242982198387560262130534847294169992548\ 3/6111949573576660416387609821863245311793*c_0101_6^21 - 1593665800919406891128433070131055819119997/61119495735766604163876\ 09821863245311793*c_0101_6^20 + 43954090549206812794275516096717487\ 96832636/6111949573576660416387609821863245311793*c_0101_6^19 - 2583761318193530173442207448082060733682291/20373165245255534721292\ 03273954415103931*c_0101_6^18 + 26174653236941054459301929003797205\ 14979054/2037316524525553472129203273954415103931*c_0101_6^17 - 3185547711164488422250616452518513641282896/61119495735766604163876\ 09821863245311793*c_0101_6^16 - 16618590966168813644712045200198741\ 40474268/6111949573576660416387609821863245311793*c_0101_6^15 + 2668739966030561661959539179427359243731122/61119495735766604163876\ 09821863245311793*c_0101_6^14 - 44216080183776792226205355173519831\ 96928259/6111949573576660416387609821863245311793*c_0101_6^13 + 13062584208446223623733872416657867856057326/6111949573576660416387\ 609821863245311793*c_0101_6^12 - 2255091617415645408291323158683456\ 6018709646/6111949573576660416387609821863245311793*c_0101_6^11 + 6758330149572573065270850773721634640439760/20373165245255534721292\ 03273954415103931*c_0101_6^10 - 17284063615082510225537328187421943\ 44684140/2037316524525553472129203273954415103931*c_0101_6^9 - 93354874737607444578980762707101974639888/5933931624831709142123893\ 0309351896231*c_0101_6^8 + 1310328085266282121842015964653273316967\ 0008/6111949573576660416387609821863245311793*c_0101_6^7 - 2498344759135145679121529529056886536500080/20373165245255534721292\ 03273954415103931*c_0101_6^6 + 110841400108929549064228487155108710\ 2777686/6111949573576660416387609821863245311793*c_0101_6^5 + 512643049732496578303638985604820373131207/203731652452555347212920\ 3273954415103931*c_0101_6^4 - 4529377402227848755260614088294623786\ 30416/2037316524525553472129203273954415103931*c_0101_6^3 + 201973642488919148708653587369414746299066/203731652452555347212920\ 3273954415103931*c_0101_6^2 - 5245974833957452517840227069373323905\ 6069/2037316524525553472129203273954415103931*c_0101_6 + 7146545596620968189601175445159239891941/20373165245255534721292032\ 73954415103931, c_0101_4 - 2663684974498741931829726579053474691811/6111949573576660416\ 387609821863245311793*c_0101_6^25 + 1073212728660945858869789532930143906066/29104521778936478173274332\ 4850630729133*c_0101_6^24 - 209648752355363367212207937597943414145\ 2/291045217789364781732743324850630729133*c_0101_6^23 - 536608235145450097128551430718960906975/197797720827723638070796434\ 36450632077*c_0101_6^22 + 13656273351094645228832167463089828029844\ 48/6111949573576660416387609821863245311793*c_0101_6^21 - 5631448562952620381621177194663738924061369/61119495735766604163876\ 09821863245311793*c_0101_6^20 + 16122018702420668987144460684566285\ 983623073/6111949573576660416387609821863245311793*c_0101_6^19 - 10122419964698365800793511980218197500024199/2037316524525553472129\ 203273954415103931*c_0101_6^18 + 1152129574042445496442884991644172\ 3057886541/2037316524525553472129203273954415103931*c_0101_6^17 - 18805177471330248519243960441584713376722484/6111949573576660416387\ 609821863245311793*c_0101_6^16 - 3325594023866154211052157297480818\ 601005102/6111949573576660416387609821863245311793*c_0101_6^15 + 11814681674599091506709989113644168203492523/6111949573576660416387\ 609821863245311793*c_0101_6^14 - 1690824899639460732855146143054713\ 9150683474/6111949573576660416387609821863245311793*c_0101_6^13 + 46365722570875856860183843440876978147438167/6111949573576660416387\ 609821863245311793*c_0101_6^12 - 8862275872471207746755938969910115\ 4446908878/6111949573576660416387609821863245311793*c_0101_6^11 + 30819496900269006350225568123952965690608493/2037316524525553472129\ 203273954415103931*c_0101_6^10 - 1263483503514171920880891103685335\ 0961727756/2037316524525553472129203273954415103931*c_0101_6^9 - 291578872412554816430628704738903880551947/593393162483170914212389\ 30309351896231*c_0101_6^8 + 566107999803046159225956092567094180795\ 63122/6111949573576660416387609821863245311793*c_0101_6^7 - 12665407411600317567436612697825426991712326/2037316524525553472129\ 203273954415103931*c_0101_6^6 + 85445118011338952239163205991287345\ 28590815/6111949573576660416387609821863245311793*c_0101_6^5 + 2085464045497017114669107968311388582731299/20373165245255534721292\ 03273954415103931*c_0101_6^4 - 220036792293506461902400401448554042\ 2537298/2037316524525553472129203273954415103931*c_0101_6^3 + 962310661480418121294207363800978472648199/203731652452555347212920\ 3273954415103931*c_0101_6^2 - 2241704435703809872831958635522310003\ 17979/2037316524525553472129203273954415103931*c_0101_6 + 21262182132993114814880574059731720932158/2037316524525553472129203\ 273954415103931, c_0101_5 - 7618959572206471760452752773411080789/8974962663108165075459\ 045259711079753*c_0101_6^25 + 9078070720792738711120654880098820449\ /1282137523301166439351292179958725679*c_0101_6^24 - 16870162175995977119823295246079851438/1282137523301166439351292179\ 958725679*c_0101_6^23 - 4749572373706044351981216806742299487/87135\ 559836001602674359662715641551*c_0101_6^22 + 3844123510059154693232469407013031671334/89749626631081650754590452\ 59711079753*c_0101_6^21 - 15627197378596916802970484375366345325127\ /8974962663108165075459045259711079753*c_0101_6^20 + 44200282797591570008133362383237437672569/8974962663108165075459045\ 259711079753*c_0101_6^19 - 8150604045919936392739170394407940116802\ 0/8974962663108165075459045259711079753*c_0101_6^18 + 89251485491078611818369086158561380926365/8974962663108165075459045\ 259711079753*c_0101_6^17 - 4427817518298330150691809126194424448728\ 7/8974962663108165075459045259711079753*c_0101_6^16 - 12275051361721287811956508837527099251743/8974962663108165075459045\ 259711079753*c_0101_6^15 + 3017416200999010314840273356849245925521\ 8/8974962663108165075459045259711079753*c_0101_6^14 - 44828152212483388970759727407442887897954/8974962663108165075459045\ 259711079753*c_0101_6^13 + 1283296085049335640828429092879167877907\ 06/8974962663108165075459045259711079753*c_0101_6^12 - 237770082956884759671938217751923182964188/897496266310816507545904\ 5259711079753*c_0101_6^11 + 235762850645688048877062153737342413781\ 449/8974962663108165075459045259711079753*c_0101_6^10 - 84266353103062099834529381927486679773210/8974962663108165075459045\ 259711079753*c_0101_6^9 - 858352437753188368038727219505696542052/8\ 7135559836001602674359662715641551*c_0101_6^8 + 146301408262137392704880524377548565498113/897496266310816507545904\ 5259711079753*c_0101_6^7 - 9222299057740329790061520277020377012873\ 7/8974962663108165075459045259711079753*c_0101_6^6 + 17624172891637353259494569512696747462207/8974962663108165075459045\ 259711079753*c_0101_6^5 + 17132088368354550077773846848819172894984\ /8974962663108165075459045259711079753*c_0101_6^4 - 16362337419967673265596860658674794294027/8974962663108165075459045\ 259711079753*c_0101_6^3 + 6855857731184463430348230696288480974108/\ 8974962663108165075459045259711079753*c_0101_6^2 - 1527515021122881982564046779780233936563/89749626631081650754590452\ 59711079753*c_0101_6 + 125632423965091931733564005652256254259/8974\ 962663108165075459045259711079753, c_0101_6^26 - 9*c_0101_6^25 + 21*c_0101_6^24 + 54*c_0101_6^23 - 547*c_0101_6^22 + 2384*c_0101_6^21 - 7153*c_0101_6^20 + 14517*c_0101_6^19 - 18744*c_0101_6^18 + 13469*c_0101_6^17 - 2110*c_0101_6^16 - 5111*c_0101_6^15 + 8486*c_0101_6^14 - 20651*c_0101_6^13 + 42271*c_0101_6^12 - 51471*c_0101_6^11 + 31260*c_0101_6^10 + 4645*c_0101_6^9 - 27062*c_0101_6^8 + 24678*c_0101_6^7 - 10037*c_0101_6^6 - 912*c_0101_6^5 + 3666*c_0101_6^4 - 2274*c_0101_6^3 + 756*c_0101_6^2 - 135*c_0101_6 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB