Magma V2.19-8 Tue Aug 20 2013 16:14:52 on localhost [Seed = 3103335632] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s852 geometric_solution 5.47587273 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 -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.483881739420 0.280706251043 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.969861637373 0.616297840020 1 3 4 5 0132 0213 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 -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.595278556748 0.646576570749 5 4 2 1 1023 1023 0213 0132 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 1 0 -1 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.595278556748 0.646576570749 3 4 4 2 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.778362157690 0.689636178818 5 3 2 5 3012 1023 0132 1230 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 -1 0 1 -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.476528421823 0.973043569297 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), '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_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 9883192176478832042662455439913691284236551620028/95948138183194527\ 5789645824247582122195050117931*c_0101_4^25 - 114073461430359973575529334611667015233592543673353/287844414549583\ 5827368937472742746366585150353793*c_0101_4^24 - 183675047527523272377031512362184464214548094241693/959481381831945\ 275789645824247582122195050117931*c_0101_4^23 + 1398056262706829336755999970849847023903540140880656/28784441454958\ 35827368937472742746366585150353793*c_0101_4^22 + 584727555041227332325693941718159486699683810245119/959481381831945\ 275789645824247582122195050117931*c_0101_4^21 - 5392496061592356162881134637373545282584425949781587/28784441454958\ 35827368937472742746366585150353793*c_0101_4^20 - 551759484990231523292720339701204080892054152435403/959481381831945\ 275789645824247582122195050117931*c_0101_4^19 + 102536325634691428656220535476693306263503746653965/405414668379695\ 18695337147503418962909650004983*c_0101_4^18 + 649772938603163724949078540364838527182114221419985/959481381831945\ 275789645824247582122195050117931*c_0101_4^17 + 22437931616509802785280570013140299826146936531447724/2878444145495\ 835827368937472742746366585150353793*c_0101_4^16 - 9446096897228976223983168434846084066057230253659862/95948138183194\ 5275789645824247582122195050117931*c_0101_4^15 - 68914219965694932888547344358241762969138490854951501/2878444145495\ 835827368937472742746366585150353793*c_0101_4^14 + 19916250482384016121321870453213333286548555700225664/9594813818319\ 45275789645824247582122195050117931*c_0101_4^13 + 118320250519973927032812557136965139594440979659485097/287844414549\ 5835827368937472742746366585150353793*c_0101_4^12 - 3522335666517668513858304879066874374541998663923398/95948138183194\ 5275789645824247582122195050117931*c_0101_4^11 - 17598085189353970874247004263157753464902223854010763/2616767404996\ 21438851721588431158760598650032163*c_0101_4^10 - 20431648159143330594917141209621854452302558998998329/2878444145495\ 835827368937472742746366585150353793*c_0101_4^9 + 66835380673470159741761379723266201193599235907560303/9594813818319\ 45275789645824247582122195050117931*c_0101_4^8 + 4888860873562967644436004922801248982304866258919575/28784441454958\ 35827368937472742746366585150353793*c_0101_4^7 - 28197651081844205162514003144535419036285694826053257/9594813818319\ 45275789645824247582122195050117931*c_0101_4^6 - 5797151933430987933328775388169270332230372835762295/28784441454958\ 35827368937472742746366585150353793*c_0101_4^5 + 5038453481987369852304725020543666924959643046866253/28784441454958\ 35827368937472742746366585150353793*c_0101_4^4 + 529773476883203877492788460333204687517529456100512/959481381831945\ 275789645824247582122195050117931*c_0101_4^3 + 1569011261634784170428706266443878629029733399604491/28784441454958\ 35827368937472742746366585150353793*c_0101_4^2 + 798647922251487827670817748034132689248637582710043/287844414549583\ 5827368937472742746366585150353793*c_0101_4 + 187735424369435943208531942935187925881391066979403/287844414549583\ 5827368937472742746366585150353793, c_0011_0 - 1, c_0011_1 + 21390385460001625315773231322771164720346737659/261676740499\ 621438851721588431158760598650032163*c_0101_4^25 - 28839467446269308155056450827868007931108718912/8722558016654047961\ 7240529477052920199550010721*c_0101_4^24 - 378248188299647469629390711334365898672448259813/261676740499621438\ 851721588431158760598650032163*c_0101_4^23 + 1074306786256089720685317250262208030739290673853/26167674049962143\ 8851721588431158760598650032163*c_0101_4^22 + 338199803941859497370113195353782451510415734298/872255801665404796\ 17240529477052920199550010721*c_0101_4^21 - 1326508883533485716212913924795336944513845687943/87225580166540479\ 617240529477052920199550010721*c_0101_4^20 - 306878765714081353382718371045882205272605536674/261676740499621438\ 851721588431158760598650032163*c_0101_4^19 + 69050749013507942580990705318865423162793606632/3685587894360865335\ 939740682128996628150000453*c_0101_4^18 + 141201523063726794971491431244341754928407921876/872255801665404796\ 17240529477052920199550010721*c_0101_4^17 + 5533774188142090058690465889318792562502111069235/87225580166540479\ 617240529477052920199550010721*c_0101_4^16 - 23721749257042127743643547190670260072999560469670/2616767404996214\ 38851721588431158760598650032163*c_0101_4^15 - 43299460772051758481370985609393215604563620547019/2616767404996214\ 38851721588431158760598650032163*c_0101_4^14 + 16416476600626918278907724970063389267004065641005/8722558016654047\ 9617240529477052920199550010721*c_0101_4^13 + 23748509694986759786214098037197160913038176900149/8722558016654047\ 9617240529477052920199550010721*c_0101_4^12 - 16560909527078994268828761044777430223621459744814/2616767404996214\ 38851721588431158760598650032163*c_0101_4^11 - 43167119053827431333099649569278004984842604231180/8722558016654047\ 9617240529477052920199550010721*c_0101_4^10 + 8863929834937344849594738932230046069839024776323/26167674049962143\ 8851721588431158760598650032163*c_0101_4^9 + 43496521821876381307293083858555499291159895447198/8722558016654047\ 9617240529477052920199550010721*c_0101_4^8 - 20591450814966444197660582559285562076281819594843/2616767404996214\ 38851721588431158760598650032163*c_0101_4^7 - 44380833542895206965145375481836772645820329375596/2616767404996214\ 38851721588431158760598650032163*c_0101_4^6 + 983950462258074577390681719956276230908357554069/261676740499621438\ 851721588431158760598650032163*c_0101_4^5 - 503232090049858183187606726448052856925595246507/261676740499621438\ 851721588431158760598650032163*c_0101_4^4 + 954275675629597724828360388506290694579274732265/872255801665404796\ 17240529477052920199550010721*c_0101_4^3 + 146100959209652021907240739114896879837143070172/261676740499621438\ 851721588431158760598650032163*c_0101_4^2 + 384418547218801703340535645864230950174479054165/261676740499621438\ 851721588431158760598650032163*c_0101_4 + 50395429032200426098869899094970643066549743922/8722558016654047961\ 7240529477052920199550010721, c_0011_3 - 3648829551002109196345648924787824025049968042/8722558016654\ 0479617240529477052920199550010721*c_0101_4^25 + 43084896002878330771887980643202912383781660160/2616767404996214388\ 51721588431158760598650032163*c_0101_4^24 + 66075671841307533604786028499830132727215459279/8722558016654047961\ 7240529477052920199550010721*c_0101_4^23 - 529023618492312137595343386223513754373170000702/261676740499621438\ 851721588431158760598650032163*c_0101_4^22 - 572745149091851384582008388917116072547840398934/261676740499621438\ 851721588431158760598650032163*c_0101_4^21 + 663169577556304225061290697195294239363692464074/872255801665404796\ 17240529477052920199550010721*c_0101_4^20 + 110318519217593833360157172063921456182899578592/872255801665404796\ 17240529477052920199550010721*c_0101_4^19 - 35405122934820293828333845251646647055591639561/3685587894360865335\ 939740682128996628150000453*c_0101_4^18 - 344642695415685247958348306488499054031173842003/261676740499621438\ 851721588431158760598650032163*c_0101_4^17 - 2835362769494975598046803736000793500435120320533/87225580166540479\ 617240529477052920199550010721*c_0101_4^16 + 3683149368966720451941552923331006071617518809068/87225580166540479\ 617240529477052920199550010721*c_0101_4^15 + 23280756498489294301510095992616133687981508589874/2616767404996214\ 38851721588431158760598650032163*c_0101_4^14 - 23363773518463730814146462429382270539463947407156/2616767404996214\ 38851721588431158760598650032163*c_0101_4^13 - 12702265080256864435802123844688562209675512984215/8722558016654047\ 9617240529477052920199550010721*c_0101_4^12 + 1979291271689546206349395965436389863365354459843/87225580166540479\ 617240529477052920199550010721*c_0101_4^11 + 65441042533902759713771880682039921542954905601118/2616767404996214\ 38851721588431158760598650032163*c_0101_4^10 - 152647535803447744212978863658568084888212923561/872255801665404796\ 17240529477052920199550010721*c_0101_4^9 - 66631567496146984484643606548095758353229322635166/2616767404996214\ 38851721588431158760598650032163*c_0101_4^8 + 2761364326205750087246317702880878870777682790001/87225580166540479\ 617240529477052920199550010721*c_0101_4^7 + 23513540653383422857437036066063369646675698552617/2616767404996214\ 38851721588431158760598650032163*c_0101_4^6 - 2587671225717911479480422165381476428970564425778/26167674049962143\ 8851721588431158760598650032163*c_0101_4^5 - 136720686575375385004494726245115998889141427738/261676740499621438\ 851721588431158760598650032163*c_0101_4^4 + 664020651225965446016115457826606515723290611744/261676740499621438\ 851721588431158760598650032163*c_0101_4^3 + 37370013950544492689488285543077413553226867467/8722558016654047961\ 7240529477052920199550010721*c_0101_4^2 - 484577419388500473191557058492102631974449814771/261676740499621438\ 851721588431158760598650032163*c_0101_4 - 6278838376879624241857248280154198080629580175/26167674049962143885\ 1721588431158760598650032163, c_0101_0 - 69111502617566357490651264976182886614302816161/785030221498\ 864316555164765293476281795950096489*c_0101_4^25 + 298106092901506480793268504787498718743824202577/785030221498864316\ 555164765293476281795950096489*c_0101_4^24 + 1158347825612877542888087450041194873279273060349/78503022149886431\ 6555164765293476281795950096489*c_0101_4^23 - 1281536637891191275660967719463786819033514896231/26167674049962143\ 8851721588431158760598650032163*c_0101_4^22 - 2548064039818737151941183245443303364472689599543/78503022149886431\ 6555164765293476281795950096489*c_0101_4^21 + 1588311845320157114443291097653385109919153870057/87225580166540479\ 617240529477052920199550010721*c_0101_4^20 - 1914987878351022196896258620771383136142717490775/78503022149886431\ 6555164765293476281795950096489*c_0101_4^19 - 28444011266534462888884134857559853558340338002/1228529298120288445\ 313246894042998876050000151*c_0101_4^18 + 2747744024994339877400521097960647109490277806377/78503022149886431\ 6555164765293476281795950096489*c_0101_4^17 - 16920481214724451965566384456234945423984807742793/2616767404996214\ 38851721588431158760598650032163*c_0101_4^16 + 91040727466025235340041198410428470509697217438894/7850302214988643\ 16555164765293476281795950096489*c_0101_4^15 + 42774810634218704308812351537205259127409690459795/2616767404996214\ 38851721588431158760598650032163*c_0101_4^14 - 208319585112086834298784043995167961886106742606354/785030221498864\ 316555164765293476281795950096489*c_0101_4^13 - 23376997938310559606053460584126995746228670038215/8722558016654047\ 9617240529477052920199550010721*c_0101_4^12 + 140753783122917582338512930775909667202612676609731/785030221498864\ 316555164765293476281795950096489*c_0101_4^11 + 438999771570815365988783816803104138810500747158897/785030221498864\ 316555164765293476281795950096489*c_0101_4^10 - 149390249227693751269192630000389992763407330817181/785030221498864\ 316555164765293476281795950096489*c_0101_4^9 - 475492350381921317872926889387097630880198777246301/785030221498864\ 316555164765293476281795950096489*c_0101_4^8 + 186636133354104876333150760025240857324709221634450/785030221498864\ 316555164765293476281795950096489*c_0101_4^7 + 62919829150655886387498932599119284800633755717599/2616767404996214\ 38851721588431158760598650032163*c_0101_4^6 - 20138860650592772748011236645908992210014539310457/2616767404996214\ 38851721588431158760598650032163*c_0101_4^5 - 16020642602676425386451707496552505838410463740329/7850302214988643\ 16555164765293476281795950096489*c_0101_4^4 - 481603993316328005898146161469525005692339856954/785030221498864316\ 555164765293476281795950096489*c_0101_4^3 - 524656768203186667202286881646265557373616665406/785030221498864316\ 555164765293476281795950096489*c_0101_4^2 - 1956712142822338360580246330865685909164540617233/78503022149886431\ 6555164765293476281795950096489*c_0101_4 + 16872584461003125248636403766188379201007130280/7850302214988643165\ 55164765293476281795950096489, c_0101_1 - 73187579351594053012731760128233872915590349895/785030221498\ 864316555164765293476281795950096489*c_0101_4^25 + 277677043393266461115496900404851112420866778127/785030221498864316\ 555164765293476281795950096489*c_0101_4^24 + 1370641702513976852585737530021202163034810866153/78503022149886431\ 6555164765293476281795950096489*c_0101_4^23 - 1119489848166865650265437649202158203013133811806/26167674049962143\ 8851721588431158760598650032163*c_0101_4^22 - 4441079045169546643508887103399359854705718886549/78503022149886431\ 6555164765293476281795950096489*c_0101_4^21 + 1425122574531445451556614060935716120929818126343/87225580166540479\ 617240529477052920199550010721*c_0101_4^20 + 4676097412108267685508441499714549107190869307070/78503022149886431\ 6555164765293476281795950096489*c_0101_4^19 - 79155236472686830506371083625865366297923014109/3685587894360865335\ 939740682128996628150000453*c_0101_4^18 - 6065512019157030218019240041356049426939478358166/78503022149886431\ 6555164765293476281795950096489*c_0101_4^17 - 18864099551271618462844838072587002024504562347866/2616767404996214\ 38851721588431158760598650032163*c_0101_4^16 + 67392569001445641067202502694024955615290361852219/7850302214988643\ 16555164765293476281795950096489*c_0101_4^15 + 56724462252853123403154939825391799990029931331028/2616767404996214\ 38851721588431158760598650032163*c_0101_4^14 - 132291689563608363216893036362164637149403714952516/785030221498864\ 316555164765293476281795950096489*c_0101_4^13 - 32562812176926039294191314458733471604262801914821/8722558016654047\ 9617240529477052920199550010721*c_0101_4^12 - 2758355792822746444507615835234817836450407345663/78503022149886431\ 6555164765293476281795950096489*c_0101_4^11 + 469941083316742180113354846155407747009589242176863/785030221498864\ 316555164765293476281795950096489*c_0101_4^10 + 84226083096506036990159962733433565742557449097639/7850302214988643\ 16555164765293476281795950096489*c_0101_4^9 - 470127048811906284390813458658834730012480120115837/785030221498864\ 316555164765293476281795950096489*c_0101_4^8 - 51054444548094002572420059099234562975837714291631/7850302214988643\ 16555164765293476281795950096489*c_0101_4^7 + 62138965403673064150555575362349826982601702168662/2616767404996214\ 38851721588431158760598650032163*c_0101_4^6 + 14252484247785919578754401830511931331924678711962/2616767404996214\ 38851721588431158760598650032163*c_0101_4^5 - 8484430825477353035540089036758103862889101596264/78503022149886431\ 6555164765293476281795950096489*c_0101_4^4 - 11525298596237864766661834888666863498401620365089/7850302214988643\ 16555164765293476281795950096489*c_0101_4^3 - 1531530542162623795623176658992883512502344337025/78503022149886431\ 6555164765293476281795950096489*c_0101_4^2 - 1778113823102483781669413318804881455278024120957/78503022149886431\ 6555164765293476281795950096489*c_0101_4 - 103059636949219435294574068504880669180521972795/785030221498864316\ 555164765293476281795950096489, c_0101_4^26 - 4*c_0101_4^25 - 18*c_0101_4^24 + 50*c_0101_4^23 + 52*c_0101_4^22 - 191*c_0101_4^21 - 28*c_0101_4^20 + 254*c_0101_4^19 + 28*c_0101_4^18 + 748*c_0101_4^17 - 1072*c_0101_4^16 - 2182*c_0101_4^15 + 2374*c_0101_4^14 + 3679*c_0101_4^13 - 958*c_0101_4^12 - 6470*c_0101_4^11 + 285*c_0101_4^10 + 6866*c_0101_4^9 - 859*c_0101_4^8 - 2846*c_0101_4^7 + 216*c_0101_4^6 + 167*c_0101_4^5 + 57*c_0101_4^4 + 45*c_0101_4^3 + 15*c_0101_4^2 + 3*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB