Magma V2.19-8 Tue Aug 20 2013 16:19:01 on localhost [Seed = 3153733330] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3164 geometric_solution 6.31525306 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 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.500423120019 0.234427930674 2 0 3 0 0132 2310 0132 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 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.860885663857 0.533232426017 1 4 5 6 0132 0132 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 0 0 0 0 0 -1 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.514169021827 0.799312637468 6 5 4 1 3201 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514169021827 0.799312637468 4 2 4 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.934827488486 0.682998865793 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 0 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.666156683671 1.140321633631 6 6 2 3 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.128836417464 0.693661918521 ==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_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], '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_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_6, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 896588399710781551682956536698385716830994496646128029/331160564460\ 088138505300334788102258832456023353065586*c_0101_5^20 + 13760131699051374813917847387624461682520614429804955953/3311605644\ 60088138505300334788102258832456023353065586*c_0101_5^19 - 85470653099299909281265433159861512155450452947173918047/3311605644\ 60088138505300334788102258832456023353065586*c_0101_5^18 + 109877943692080506369959590972514905289345788116197308474/165580282\ 230044069252650167394051129416228011676532793*c_0101_5^17 + 88697309588481409987586322723898784425891590388945176631/1655802822\ 30044069252650167394051129416228011676532793*c_0101_5^16 - 1038003497078028634086405785946427767642747220160070755545/16558028\ 2230044069252650167394051129416228011676532793*c_0101_5^15 + 1546962633047863910317092661979973742635427540591723827785/33116056\ 4460088138505300334788102258832456023353065586*c_0101_5^14 + 9098749116160167345158861567403343006128620827299167259577/33116056\ 4460088138505300334788102258832456023353065586*c_0101_5^13 - 14037874497036048703144843928177007870471170062572467208159/3311605\ 64460088138505300334788102258832456023353065586*c_0101_5^12 - 8076525540355534274431564548137445374059086944907925485507/16558028\ 2230044069252650167394051129416228011676532793*c_0101_5^11 + 19605808716718412247138227852642515116253930126278952971578/1655802\ 82230044069252650167394051129416228011676532793*c_0101_5^10 + 44772009664825895079139602626163353082273873043456389667/1421289976\ 223554242512018604240782226748738297652642*c_0101_5^9 - 26937613275119696886770396018337394595879093349540979850016/1655802\ 82230044069252650167394051129416228011676532793*c_0101_5^8 - 4712880584258590962106065813082337014543199232504181449851/16558028\ 2230044069252650167394051129416228011676532793*c_0101_5^7 + 39706978225039871961934870592884830617828049941765945975339/3311605\ 64460088138505300334788102258832456023353065586*c_0101_5^6 + 10104508848202067989692215724046199640418734602692553932458/1655802\ 82230044069252650167394051129416228011676532793*c_0101_5^5 - 11164716622861335718795393933342321811723190045606696611895/3311605\ 64460088138505300334788102258832456023353065586*c_0101_5^4 - 15640359812121670321660175799838882151266213672141862236831/3311605\ 64460088138505300334788102258832456023353065586*c_0101_5^3 - 896510716958262682550412096753384937346326140224926808188/165580282\ 230044069252650167394051129416228011676532793*c_0101_5^2 + 3232598085795502016046763252898933982974978115424463792505/33116056\ 4460088138505300334788102258832456023353065586*c_0101_5 + 683340788680798658638422899307853589464348059997916414491/331160564\ 460088138505300334788102258832456023353065586, c_0011_0 - 1, c_0011_1 + 5907014601303031443465249794165801572041885145333/1421289976\ 223554242512018604240782226748738297652642*c_0101_5^20 - 46931056386743822500919494201310364080389922209151/7106449881117771\ 21256009302120391113374369148826321*c_0101_5^19 + 614942560567591326754444996931196952038211427687735/142128997622355\ 4242512018604240782226748738297652642*c_0101_5^18 - 1795861186262794654747361839210325541538872957189969/14212899762235\ 54242512018604240782226748738297652642*c_0101_5^17 - 99358620680325746788089315088739090228338679725025/1421289976223554\ 242512018604240782226748738297652642*c_0101_5^16 + 13447541110693146918086753151201108366377290653989623/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^15 - 8732079796587401655642475312356030273278104786398478/71064498811177\ 7121256009302120391113374369148826321*c_0101_5^14 - 48460207870414201043139203918852749210406412221459597/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^13 + 57955076718118196352495628332195924642040464356014990/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^12 + 18356797744055272818072565612531948364558616209792579/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^11 - 130127663124111499261969440091416517427266357370129497/710644988111\ 777121256009302120391113374369148826321*c_0101_5^10 + 75292240755292358315626968408743944482510101003920999/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^9 + 276459082940753632530284299935521943545747338508172597/142128997622\ 3554242512018604240782226748738297652642*c_0101_5^8 - 71637948791704634560290730828844463487099007691757201/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^7 - 94075462546260020020308408138870767965931217781632423/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^6 - 22069172771904821011484081389507490470441052551126450/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^5 + 76666723919233939776813089946182819580201816152159215/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^4 + 27484902417961569650718011815949639331756854889678631/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^3 - 5558157386821641380400119530141914020969452750397465/71064498811177\ 7121256009302120391113374369148826321*c_0101_5^2 - 10433585521712169876661281988278347144227913744108827/1421289976223\ 554242512018604240782226748738297652642*c_0101_5 + 25903560225572812517992817674969061013028094001738/7106449881117771\ 21256009302120391113374369148826321, c_0011_3 - 828489284460594698573656218121461342947774105989/14212899762\ 23554242512018604240782226748738297652642*c_0101_5^20 + 12692444906635967998833402050845324509117931737165/1421289976223554\ 242512018604240782226748738297652642*c_0101_5^19 - 78152708634332939638440134757254403771207703795119/1421289976223554\ 242512018604240782226748738297652642*c_0101_5^18 + 96741677479779235843876494843027535711838271620367/7106449881117771\ 21256009302120391113374369148826321*c_0101_5^17 + 108262496306502254740290341079633892819138650996537/710644988111777\ 121256009302120391113374369148826321*c_0101_5^16 - 1021309313857302671086086321909962498598250234372473/71064498811177\ 7121256009302120391113374369148826321*c_0101_5^15 + 1328374094690612165571061824691283082033725903415769/14212899762235\ 54242512018604240782226748738297652642*c_0101_5^14 + 9494694066412934409553463635959388529920413969970081/14212899762235\ 54242512018604240782226748738297652642*c_0101_5^13 - 13787057565399886282192548699636404270680715220741079/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^12 - 9664277188501679642378477076467764008273023750445183/71064498811177\ 7121256009302120391113374369148826321*c_0101_5^11 + 21765614133309776982863641191478916992575078877056758/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^10 + 15217897991591117164385920683481921051383729252563631/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^9 - 33676824528330726727906419035099890383878643052151038/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^8 - 3866839758608688043873972271057461325205427237724539/71064498811177\ 7121256009302120391113374369148826321*c_0101_5^7 + 54876391018694395226895388695274710010036412060706107/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^6 + 9046064260013642271110417425926865539823781438381560/71064498811177\ 7121256009302120391113374369148826321*c_0101_5^5 - 19178596123915327770772651346876704797909761344704613/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^4 - 18653117792585390278232195307854322795103106200566111/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^3 - 135751905911924369568292774847098391124995918021301/710644988111777\ 121256009302120391113374369148826321*c_0101_5^2 + 4435156567198290473612723776451232602435145639619621/14212899762235\ 54242512018604240782226748738297652642*c_0101_5 + 833584254581337182675759409418140926231440354957059/142128997622355\ 4242512018604240782226748738297652642, c_0011_6 + 2089478947055685344569795153728817002624147163272/7106449881\ 11777121256009302120391113374369148826321*c_0101_5^20 - 33670311357036277384304884805075575979870446868558/7106449881117771\ 21256009302120391113374369148826321*c_0101_5^19 + 225075686280200699594285526787828852313947467977516/710644988111777\ 121256009302120391113374369148826321*c_0101_5^18 - 685612593119670885128901898211948950899907147660272/710644988111777\ 121256009302120391113374369148826321*c_0101_5^17 + 116802226570888424396356094809295027646457756732743/710644988111777\ 121256009302120391113374369148826321*c_0101_5^16 + 4741199788956084899095197762767022156486143313400774/71064498811177\ 7121256009302120391113374369148826321*c_0101_5^15 - 7262659696161774331040257134683032723984797196322629/71064498811177\ 7121256009302120391113374369148826321*c_0101_5^14 - 15564132396921399311966813949532217825327487323034564/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^13 + 44769643359470984651456670762883431516894528446245234/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^12 + 2946386322527824360061623056598704261908363940361003/71064498811177\ 7121256009302120391113374369148826321*c_0101_5^11 - 94067979116029394410396352271456734191188853427793257/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^10 + 48669131540500560167321522473741500973522849835516955/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^9 + 89941726263438553999025911237024637250326840764201629/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^8 - 48887686266651191530044453439677555158208739305384520/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^7 - 58505621909474948984930144589924701510837120868507339/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^6 + 1502022735082624125903868231013876240156880917429993/71064498811177\ 7121256009302120391113374369148826321*c_0101_5^5 + 30450192936553165533840133144420364928475209933356663/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^4 + 12121930358164986519006948304842742745443107587902272/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^3 - 8811420216675483735648386331865569084740778909457571/71064498811177\ 7121256009302120391113374369148826321*c_0101_5^2 - 2595055730221464011077917787070288805828774506093699/71064498811177\ 7121256009302120391113374369148826321*c_0101_5 + 419372565618971547368772199628718785672673843601609/710644988111777\ 121256009302120391113374369148826321, c_0101_0 + 7605877893167553275845634565540578981791040649077/1421289976\ 223554242512018604240782226748738297652642*c_0101_5^20 - 59736140992294216397595735622202355381980562270364/7106449881117771\ 21256009302120391113374369148826321*c_0101_5^19 + 768183395501040017178676652436679326652571738262395/142128997622355\ 4242512018604240782226748738297652642*c_0101_5^18 - 2143260043267365979492904917578077834349550045237571/14212899762235\ 54242512018604240782226748738297652642*c_0101_5^17 - 706440095567830589106024584423021489837240951535437/142128997622355\ 4242512018604240782226748738297652642*c_0101_5^16 + 17720459465464814798392249724990797472088758067514023/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^15 - 9582597583236182763606102071975455459886354403946979/71064498811177\ 7121256009302120391113374369148826321*c_0101_5^14 - 69965601762315791370871361129881366928489831945335197/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^13 + 70600179194696928807600661240379893731040112972978655/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^12 + 44008172875733495735319997948971013148696689367316590/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^11 - 175563201119327660966876930602990114244121086488539109/710644988111\ 777121256009302120391113374369148826321*c_0101_5^10 + 19470443895856326713095039044857344134067598920692745/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^9 + 429420091346241537083556873227057538921942861866674105/142128997622\ 3554242512018604240782226748738297652642*c_0101_5^8 - 29069558168428691307228923137288112210745756523794455/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^7 - 157628703662265797748225716897929059510364774600757699/710644988111\ 777121256009302120391113374369148826321*c_0101_5^6 - 54687569082199935523654798896229383560192549513598444/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^5 + 116935002418398258828096803341180087491112428488630019/142128997622\ 3554242512018604240782226748738297652642*c_0101_5^4 + 57335911850589792429474039409088236897602042900780464/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^3 - 1498748450145850277488433420541305168279823540908937/71064498811177\ 7121256009302120391113374369148826321*c_0101_5^2 - 24545894042204365104398252617453608966930702631182187/1421289976223\ 554242512018604240782226748738297652642*c_0101_5 - 2053419914301175121137183471264181295664836448148265/71064498811177\ 7121256009302120391113374369148826321, c_0101_3 + 6096146750725786370695984961876482550497940358367/1421289976\ 223554242512018604240782226748738297652642*c_0101_5^20 - 96903736061610062729841495096880903093332960241611/1421289976223554\ 242512018604240782226748738297652642*c_0101_5^19 + 635009288807641948542042497704631120130724678516409/142128997622355\ 4242512018604240782226748738297652642*c_0101_5^18 - 926903833423204459047026099240517844077224541709119/710644988111777\ 121256009302120391113374369148826321*c_0101_5^17 - 57491968111207746973735118917032795330810511722244/7106449881117771\ 21256009302120391113374369148826321*c_0101_5^16 + 6979243231114523097287760233568617777843285447297180/71064498811177\ 7121256009302120391113374369148826321*c_0101_5^15 - 18167764696292260082119257308971032501196185791351043/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^14 - 50307422945710484421270221724836464988194683715587777/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^13 + 120840102556863573973326371599666184908594412406454839/142128997622\ 3554242512018604240782226748738297652642*c_0101_5^12 + 19019165935102679002442242489213749773290677884347463/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^11 - 136710493626268999009098812060342778746622952256893031/710644988111\ 777121256009302120391113374369148826321*c_0101_5^10 + 81989880310243181418641150210545932397841762714233975/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^9 + 145638457109806296692189409838321377382388917334312982/710644988111\ 777121256009302120391113374369148826321*c_0101_5^8 - 42046765253752133783064531721434369068744094981279168/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^7 - 195272269017976448465567583019611681957648558892170283/142128997622\ 3554242512018604240782226748738297652642*c_0101_5^6 - 19679446307769119087280064637161352187149474889319560/7106449881117\ 77121256009302120391113374369148826321*c_0101_5^5 + 79582153908820763495448085100135703012532539271709017/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^4 + 55796229667041672771609867040837995286129953755389433/1421289976223\ 554242512018604240782226748738297652642*c_0101_5^3 - 6038519937345510966061308682351234430376451751577271/71064498811177\ 7121256009302120391113374369148826321*c_0101_5^2 - 10003292245462884003682522625881300601842105749356453/1421289976223\ 554242512018604240782226748738297652642*c_0101_5 + 28325424938510497886605733103750514059484607708791/1421289976223554\ 242512018604240782226748738297652642, c_0101_5^21 - 15*c_0101_5^20 + 90*c_0101_5^19 - 212*c_0101_5^18 - 283*c_0101_5^17 + 2247*c_0101_5^16 - 922*c_0101_5^15 - 10748*c_0101_5^14 + 12139*c_0101_5^13 + 23451*c_0101_5^12 - 37506*c_0101_5^11 - 26795*c_0101_5^10 + 56110*c_0101_5^9 + 31305*c_0101_5^8 - 40726*c_0101_5^7 - 37805*c_0101_5^6 + 4749*c_0101_5^5 + 21681*c_0101_5^4 + 7951*c_0101_5^3 - 2925*c_0101_5^2 - 1975*c_0101_5 - 233 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB