Magma V2.19-8 Tue Aug 20 2013 16:17:31 on localhost [Seed = 3246415129] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1746 geometric_solution 5.44231850 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345561877434 0.403563295305 0 1 0 1 0132 2310 2310 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 0 0 0 0 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.246271244919 0.573580799080 4 3 5 0 0132 3012 0132 0132 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 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.736836339417 0.913277431660 2 4 0 5 1230 0132 0132 3201 0 0 0 0 0 -1 0 1 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 -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 0 0.736836339417 0.913277431660 2 3 6 6 0132 0132 0132 2310 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 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.272426652584 1.537017507579 5 3 5 2 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.469539525913 1.306493406698 4 6 6 4 3201 3201 2310 0132 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 -1 0 1 -1 0 1 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.613363687043 0.514208852412 ==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' : 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_5']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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_5'], 'c_0011_4' : negation(d['c_0011_2']), '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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 228446323111144001631389161768854673911481/153258675635021123977077\ 6047244448869*c_0101_2^24 + 124515467725896147747164598288649537956\ 1088/1532586756350211239770776047244448869*c_0101_2^23 - 2865712261735872918195597798825380179108424/15325867563502112397707\ 76047244448869*c_0101_2^22 - 19795270871836776427575573094067432119\ 889936/1532586756350211239770776047244448869*c_0101_2^21 + 14154667426362130118903273215693649693978177/1532586756350211239770\ 776047244448869*c_0101_2^20 + 6012901105608543261315682860803635217\ 51674/10425760247280348569869224811186727*c_0101_2^19 - 14642829497746107863300440551465167915442565/2189409651928873199672\ 53721034921267*c_0101_2^18 - 13184815435992489910633251318358585063\ 5346399/1532586756350211239770776047244448869*c_0101_2^17 + 304971876652804914274821408388523071313344742/153258675635021123977\ 0776047244448869*c_0101_2^16 - 553651762319116182866806062753574428\ 5653397/31277280741841045709607674433560181*c_0101_2^15 - 348620726087302925525697303736444985287499719/153258675635021123977\ 0776047244448869*c_0101_2^14 + 287499000562938781079803761267880208\ 771382503/510862252116737079923592015748149623*c_0101_2^13 + 78813064665826294907787897354027710703425338/1532586756350211239770\ 776047244448869*c_0101_2^12 - 5219150127344454740177012600381646115\ 37528081/1532586756350211239770776047244448869*c_0101_2^11 + 66187401711268798148755766620427473174970866/1532586756350211239770\ 776047244448869*c_0101_2^10 + 2057285315470904354842984423175437718\ 10666634/1532586756350211239770776047244448869*c_0101_2^9 - 63377852789034166547720117993054175644153419/5108622521167370799235\ 92015748149623*c_0101_2^8 - 186407637452679333739743042257685735509\ 895118/1532586756350211239770776047244448869*c_0101_2^7 + 17679334378227832208812333520252045860515344/1532586756350211239770\ 776047244448869*c_0101_2^6 + 57995310415516871214197487760428839021\ 420734/1532586756350211239770776047244448869*c_0101_2^5 + 16628681282411822357259988840119895701157297/5108622521167370799235\ 92015748149623*c_0101_2^4 - 575820461692211598764179396658922660697\ 3370/510862252116737079923592015748149623*c_0101_2^3 - 10067600453200729352629545718002372828648598/1532586756350211239770\ 776047244448869*c_0101_2^2 + 77754183086847756800142079689363470006\ 124/72980321730962439989084573678307089*c_0101_2 + 507091310921299949094411890370491948271724/153258675635021123977077\ 6047244448869, c_0011_0 - 1, c_0011_2 + 3952168768399524533110203115611508195/1042576024728034856986\ 9224811186727*c_0101_2^24 + 21612722994754596708856385987059442788/\ 10425760247280348569869224811186727*c_0101_2^23 - 49156228128119994825869130062329702847/1042576024728034856986922481\ 1186727*c_0101_2^22 - 343164339313698528676986106267833774230/10425\ 760247280348569869224811186727*c_0101_2^21 + 238377060620027947888962546249972308374/104257602472803485698692248\ 11186727*c_0101_2^20 + 1530606867697020468267196002124831318605/104\ 25760247280348569869224811186727*c_0101_2^19 - 1744975401610257012908700054790742502149/10425760247280348569869224\ 811186727*c_0101_2^18 - 2300061653655931339163468586535865912270/10\ 425760247280348569869224811186727*c_0101_2^17 + 5226003604745073381054897067037898456259/10425760247280348569869224\ 811186727*c_0101_2^16 - 4620911217008100888901544751247391837205/10\ 425760247280348569869224811186727*c_0101_2^15 - 6082394316056327176107483173233211350193/10425760247280348569869224\ 811186727*c_0101_2^14 + 14788538422141533584254752065985501994559/1\ 0425760247280348569869224811186727*c_0101_2^13 + 1572400695638653076517327898631583538143/10425760247280348569869224\ 811186727*c_0101_2^12 - 8908205782967430391463169030483315698891/10\ 425760247280348569869224811186727*c_0101_2^11 + 1035800912262373313555008222457746924812/10425760247280348569869224\ 811186727*c_0101_2^10 + 3529395898951767568353766906766477883729/10\ 425760247280348569869224811186727*c_0101_2^9 - 3237889104766276253984691533795428719696/10425760247280348569869224\ 811186727*c_0101_2^8 - 3260686935791269454808089461361996672030/104\ 25760247280348569869224811186727*c_0101_2^7 + 230962791566603902763823743653992915741/104257602472803485698692248\ 11186727*c_0101_2^6 + 974932269764967549790787108416372850102/10425\ 760247280348569869224811186727*c_0101_2^5 + 868578208524214254674454569181056811737/104257602472803485698692248\ 11186727*c_0101_2^4 - 280660212129572310077095077309288764351/10425\ 760247280348569869224811186727*c_0101_2^3 - 171287720948603594735567286251686990771/104257602472803485698692248\ 11186727*c_0101_2^2 + 26297305841643465700797278497804322740/104257\ 60247280348569869224811186727*c_0101_2 + 8401526988233761378466810116066695411/10425760247280348569869224811\ 186727, c_0011_5 + 16042036275626201916810125986143872220/104257602472803485698\ 69224811186727*c_0101_2^24 + 87370367048498952997118407725028033509\ /10425760247280348569869224811186727*c_0101_2^23 - 201634160290855813006131743366714167746/104257602472803485698692248\ 11186727*c_0101_2^22 - 1389404312290156567796355716752365709227/104\ 25760247280348569869224811186727*c_0101_2^21 + 1000105936207201587379510016307862554600/10425760247280348569869224\ 811186727*c_0101_2^20 + 6205512318028813199687069341337304724743/10\ 425760247280348569869224811186727*c_0101_2^19 - 7224457820729229772374436808615227606546/10425760247280348569869224\ 811186727*c_0101_2^18 - 9240476290792522019130767051198524140217/10\ 425760247280348569869224811186727*c_0101_2^17 + 21462873162014677976966891894301625813604/1042576024728034856986922\ 4811186727*c_0101_2^16 - 19119278402254685663773001883863321339861/\ 10425760247280348569869224811186727*c_0101_2^15 - 24431922824189487930487220708101575452834/1042576024728034856986922\ 4811186727*c_0101_2^14 + 60691266606727653538727644030150502367958/\ 10425760247280348569869224811186727*c_0101_2^13 + 5336426310313001453340023519756942318928/10425760247280348569869224\ 811186727*c_0101_2^12 - 36762364199621053512930154339864455953656/1\ 0425760247280348569869224811186727*c_0101_2^11 + 4751063947950246573461307189127804064334/10425760247280348569869224\ 811186727*c_0101_2^10 + 14473910876285589235521437102689406452989/1\ 0425760247280348569869224811186727*c_0101_2^9 - 13400046548114944993195817382900651492587/1042576024728034856986922\ 4811186727*c_0101_2^8 - 13055862200872673978370814439802874246856/1\ 0425760247280348569869224811186727*c_0101_2^7 + 1311793994881786785088225730049647682747/10425760247280348569869224\ 811186727*c_0101_2^6 + 4098974532412239655513812572632612749473/104\ 25760247280348569869224811186727*c_0101_2^5 + 3497840234026843144595796182410131493538/10425760247280348569869224\ 811186727*c_0101_2^4 - 1230168418501073606362757322173425606553/104\ 25760247280348569869224811186727*c_0101_2^3 - 709568338506947543265974324224282305894/104257602472803485698692248\ 11186727*c_0101_2^2 + 116469801346557346891252170040106426649/10425\ 760247280348569869224811186727*c_0101_2 + 35953928116803979953965890378583132256/1042576024728034856986922481\ 1186727, c_0011_6 + 17878445468671432747826463310060362989/104257602472803485698\ 69224811186727*c_0101_2^24 + 97407431918060739961344514673952620824\ /10425760247280348569869224811186727*c_0101_2^23 - 224507212987491429986761370104268933956/104257602472803485698692248\ 11186727*c_0101_2^22 - 1548804247359425063589936243431430290024/104\ 25760247280348569869224811186727*c_0101_2^21 + 1111365023969461092174856605162334746948/10425760247280348569869224\ 811186727*c_0101_2^20 + 6916601523048872100612041990688757535237/10\ 425760247280348569869224811186727*c_0101_2^19 - 8037405793653392736169656936900121656639/10425760247280348569869224\ 811186727*c_0101_2^18 - 10307703604450949138163567042738773735445/1\ 0425760247280348569869224811186727*c_0101_2^17 + 23894820748718244522171043718985051275011/1042576024728034856986922\ 4811186727*c_0101_2^16 - 21271990449626033206952773396545692932330/\ 10425760247280348569869224811186727*c_0101_2^15 - 27253791472164124684911654265344238745649/1042576024728034856986922\ 4811186727*c_0101_2^14 + 67572587946953789544016991294644786100881/\ 10425760247280348569869224811186727*c_0101_2^13 + 6051040395975237212253073970036831119749/10425760247280348569869224\ 811186727*c_0101_2^12 - 40909722459408850588019501542505849098722/1\ 0425760247280348569869224811186727*c_0101_2^11 + 5239854482136900297176459958846751202454/10425760247280348569869224\ 811186727*c_0101_2^10 + 16115169434855770812413167810982049487046/1\ 0425760247280348569869224811186727*c_0101_2^9 - 14908082559346807326714993971960948266793/1042576024728034856986922\ 4811186727*c_0101_2^8 - 14567955950710727514052309929212755768220/1\ 0425760247280348569869224811186727*c_0101_2^7 + 1424514028654516393322291279264747615947/10425760247280348569869224\ 811186727*c_0101_2^6 + 4554236163925801645118430296092029675433/104\ 25760247280348569869224811186727*c_0101_2^5 + 3901383355217301994773843597190663867633/10425760247280348569869224\ 811186727*c_0101_2^4 - 1361756508132424709586034650957681985351/104\ 25760247280348569869224811186727*c_0101_2^3 - 789313562322697815361593394877568166820/104257602472803485698692248\ 11186727*c_0101_2^2 + 128776769619962144805796812353790621962/10425\ 760247280348569869224811186727*c_0101_2 + 39863394884777346102260195541704419954/1042576024728034856986922481\ 1186727, c_0101_0 - 29039385846391967514674926413112352159/104257602472803485698\ 69224811186727*c_0101_2^24 - 15827515773867744560053539964572667425\ 2/10425760247280348569869224811186727*c_0101_2^23 + 364310429590336113635506931932850962075/104257602472803485698692248\ 11186727*c_0101_2^22 + 2516266025067166144812729122736945211715/104\ 25760247280348569869224811186727*c_0101_2^21 - 1799754876776824892775972653559782093266/10425760247280348569869224\ 811186727*c_0101_2^20 - 11235746604139600208299656914554521956037/1\ 0425760247280348569869224811186727*c_0101_2^19 + 13031398155672035088009968585626324237452/1042576024728034856986922\ 4811186727*c_0101_2^18 + 16758904772415387784503514458064239668565/\ 10425760247280348569869224811186727*c_0101_2^17 - 38770429241469174822976304377552578456404/1042576024728034856986922\ 4811186727*c_0101_2^16 + 34490200825981167793295616197108373593891/\ 10425760247280348569869224811186727*c_0101_2^15 + 44311828977794740205724670053651020390932/1042576024728034856986922\ 4811186727*c_0101_2^14 - 109646863931426263311526820781915479296921\ /10425760247280348569869224811186727*c_0101_2^13 - 10004806799849315331986835552585134179881/1042576024728034856986922\ 4811186727*c_0101_2^12 + 66352437486908927051585100766871732867457/\ 10425760247280348569869224811186727*c_0101_2^11 - 8418923933323438842465028294310669812361/10425760247280348569869224\ 811186727*c_0101_2^10 - 26153159932254694740735643315554236205690/1\ 0425760247280348569869224811186727*c_0101_2^9 + 24172031230637967518542106009022287130391/1042576024728034856986922\ 4811186727*c_0101_2^8 + 23693118525662744757343671401179018719430/1\ 0425760247280348569869224811186727*c_0101_2^7 - 2252400452886766470953114033021996120989/10425760247280348569869224\ 811186727*c_0101_2^6 - 7374816931371470705874367647062151233758/104\ 25760247280348569869224811186727*c_0101_2^5 - 6341730001959993839710906075607250945823/10425760247280348569869224\ 811186727*c_0101_2^4 + 2196855424210323219494260095312162473122/104\ 25760247280348569869224811186727*c_0101_2^3 + 1279979686398706323168405882978882537902/10425760247280348569869224\ 811186727*c_0101_2^2 - 207576611621787298092911633504031504391/1042\ 5760247280348569869224811186727*c_0101_2 - 64476021125845708253038442274758241338/1042576024728034856986922481\ 1186727, c_0101_1 - 31634778728057233066772381310207189994/104257602472803485698\ 69224811186727*c_0101_2^24 - 17240119050360566472168277014834730843\ 4/10425760247280348569869224811186727*c_0101_2^23 + 396988017686983064197870061191567773985/104257602472803485698692248\ 11186727*c_0101_2^22 + 2740964684522357772656106248232564807055/104\ 25760247280348569869224811186727*c_0101_2^21 - 1962416427403489220303143666281019892684/10425760247280348569869224\ 811186727*c_0101_2^20 - 12239576533242513688509996666339589788041/1\ 0425760247280348569869224811186727*c_0101_2^19 + 14203929787298499582307738297154318309996/1042576024728034856986922\ 4811186727*c_0101_2^18 + 18251594605785570078863708278157373462985/\ 10425760247280348569869224811186727*c_0101_2^17 - 42249490745121798923171788984851216315762/1042576024728034856986922\ 4811186727*c_0101_2^16 + 37592583282260934749503191858693949781781/\ 10425760247280348569869224811186727*c_0101_2^15 + 48258285014992800047434338306191988431705/1042576024728034856986922\ 4811186727*c_0101_2^14 - 119483632422171702230242712403054856047526\ /10425760247280348569869224811186727*c_0101_2^13 - 10841781183103154725676654494122786490835/1042576024728034856986922\ 4811186727*c_0101_2^12 + 72317195741551030377926955090780863053715/\ 10425760247280348569869224811186727*c_0101_2^11 - 9200740404889927656663210646917332228103/10425760247280348569869224\ 811186727*c_0101_2^10 - 28499091172082955712929919017825493722254/1\ 0425760247280348569869224811186727*c_0101_2^9 + 26346508793635100876247002255543213497777/1042576024728034856986922\ 4811186727*c_0101_2^8 + 25800910184146798152623644288909550278848/1\ 0425760247280348569869224811186727*c_0101_2^7 - 2474668829708236294794364131246985981768/10425760247280348569869224\ 811186727*c_0101_2^6 - 8042290489131440843788148846034783461636/104\ 25760247280348569869224811186727*c_0101_2^5 - 6907295539447141525939577641194615867349/10425760247280348569869224\ 811186727*c_0101_2^4 + 2398159902977631670551587767590853001211/104\ 25760247280348569869224811186727*c_0101_2^3 + 1395230457479939852980191422920756393506/10425760247280348569869224\ 811186727*c_0101_2^2 - 226634630989031376833179773788095130576/1042\ 5760247280348569869224811186727*c_0101_2 - 70339593186064019475375279963897491910/1042576024728034856986922481\ 1186727, c_0101_2^25 + 5*c_0101_2^24 - 15*c_0101_2^23 - 81*c_0101_2^22 + 101*c_0101_2^21 + 359*c_0101_2^20 - 623*c_0101_2^19 - 375*c_0101_2^18 + 1595*c_0101_2^17 - 1789*c_0101_2^16 - 991*c_0101_2^15 + 4463*c_0101_2^14 - 1356*c_0101_2^13 - 2440*c_0101_2^12 + 1319*c_0101_2^11 + 770*c_0101_2^10 - 1238*c_0101_2^9 - 441*c_0101_2^8 + 445*c_0101_2^7 + 219*c_0101_2^6 + 104*c_0101_2^5 - 174*c_0101_2^4 - 10*c_0101_2^3 + 27*c_0101_2^2 - c_0101_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB