Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 3903419603] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0107 geometric_solution 3.63455540 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 1.467229572826 0.036101209124 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 0 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 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 1.274773174591 0.054922882030 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -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 1 0 -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 1.880336779996 0.523473548600 2 4 4 2 0132 0132 3201 1023 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 1 0 -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.105373225448 0.210689293225 3 3 5 6 2310 0132 0132 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 -1 1 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.020722266460 1.979445880386 6 6 6 4 1302 2031 1230 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 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.494800861142 0.499938032742 5 5 4 5 1302 2031 0132 3012 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 -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.494800861142 0.499938032742 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : d['c_0110_6'], 'c_1100_4' : d['c_0110_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], '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_0110_6']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0101_0, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 11075958477965813985771890206396271563444082674940351/1014046122927\ 21519647758114835935470955060826947920*c_0110_6^20 + 10546893642054645361080374276747900721948343813036447/6337788268295\ 094977984882177245966934691301684245*c_0110_6^19 + 585684200514307828190314787162872365347996307592880743/338015374309\ 07173215919371611978490318353608982640*c_0110_6^18 + 12228756185989371232091036573283909488471126216437483/6993421537429\ 07032053504240247830834172833289296*c_0110_6^17 - 2460043870833756653615984678115108509717865777126302961/11267179143\ 635724405306457203992830106117869660880*c_0110_6^16 - 17062052915066481929266511003301703671349742381401121411/1014046122\ 92721519647758114835935470955060826947920*c_0110_6^15 + 82726603845711791178865000823515193615721123934979523053/1014046122\ 92721519647758114835935470955060826947920*c_0110_6^14 - 1873826254642354097171987236374105566596229486953886573/16623706933\ 23303600782919915343204441886243064720*c_0110_6^13 + 25721887344363858993767115075991413826204538697507491197/5070230614\ 6360759823879057417967735477530413473960*c_0110_6^12 + 12564122067133649600104538247134058966954944311402351039/1126717914\ 3635724405306457203992830106117869660880*c_0110_6^11 - 16255275920999166710036994010306465307678825729249807489/5070230614\ 6360759823879057417967735477530413473960*c_0110_6^10 + 8797740629471223971556526177316536087579801042398743033/67603074861\ 81434643183874322395698063670721796528*c_0110_6^9 - 153305572290693009439566003659472380604219704029414834211/507023061\ 46360759823879057417967735477530413473960*c_0110_6^8 - 24959457188809766788043428618031763103273375486679906609/3380153743\ 0907173215919371611978490318353608982640*c_0110_6^7 + 80062095346196237051237471571255345643002592946141233267/3380153743\ 0907173215919371611978490318353608982640*c_0110_6^6 - 44327660764962325277166994172995264148464501462961173927/1014046122\ 92721519647758114835935470955060826947920*c_0110_6^5 - 13660160006029761113488915178580672254750397668170599227/5070230614\ 6360759823879057417967735477530413473960*c_0110_6^4 + 6852957240414509569968487367014559140277069975994794023/10140461229\ 2721519647758114835935470955060826947920*c_0110_6^3 - 568136701554153345352634401544662532303446155275813/140839739295446\ 5550663307150499103763264733707610*c_0110_6^2 - 59192605833442562759763737722938610250310034526104241/3380153743090\ 7173215919371611978490318353608982640*c_0110_6 + 73913713361406675917061400856193454613774285099380063/1014046122927\ 21519647758114835935470955060826947920, c_0011_0 - 1, c_0011_1 - 642829692070162833400666532714028856804025978113/42251921788\ 6339665198992145149731128979420112283*c_0110_6^20 - 9970863141944984410494025674082017164976351815447/42251921788633966\ 5198992145149731128979420112283*c_0110_6^19 - 34911469613117987805344205183107399218440519607080/1408397392954465\ 55066330715049910376326473370761*c_0110_6^18 - 4550376756408849420426848867716128060229351736998/14569628202977229\ 834448005005163142378600693527*c_0110_6^17 + 415411697195889092046463375415267745118533140598671/140839739295446\ 555066330715049910376326473370761*c_0110_6^16 + 1329251528277209132299771700963316961696501817012779/42251921788633\ 9665198992145149731128979420112283*c_0110_6^15 - 4408755715380898055721660161646863556121505795911336/42251921788633\ 9665198992145149731128979420112283*c_0110_6^14 + 89540406418233110845414288069150574637910757560003/6926544555513765\ 003262166313930018507859346103*c_0110_6^13 - 1569883324840963573145522966476923203612102420663032/42251921788633\ 9665198992145149731128979420112283*c_0110_6^12 - 2303673637570549386289080365925346947250779416541104/14083973929544\ 6555066330715049910376326473370761*c_0110_6^11 + 1377433458313734426736582405155377232409054654397/42251921788633966\ 5198992145149731128979420112283*c_0110_6^10 - 2610771203255610986509112177265403884143621159914006/14083973929544\ 6555066330715049910376326473370761*c_0110_6^9 + 15582157510203116024588400632296552222682689975545344/4225192178863\ 39665198992145149731128979420112283*c_0110_6^8 + 2818755922296473858922583241571210767082088827745265/14083973929544\ 6555066330715049910376326473370761*c_0110_6^7 - 3780278222169214600371697267847046863624843335630291/14083973929544\ 6555066330715049910376326473370761*c_0110_6^6 - 217418925583682102812027375787886387989357937337357/422519217886339\ 665198992145149731128979420112283*c_0110_6^5 + 1338144604554409356314141393231757558779435616658277/42251921788633\ 9665198992145149731128979420112283*c_0110_6^4 - 124060410352955438918460323865649379684407153730012/422519217886339\ 665198992145149731128979420112283*c_0110_6^3 + 1935672877022039460756357029818217369783890212703/14083973929544655\ 5066330715049910376326473370761*c_0110_6^2 + 4804351337840743581074049212445374131776261426589/14083973929544655\ 5066330715049910376326473370761*c_0110_6 - 1407524697434047927064119054893644848506070366871/42251921788633966\ 5198992145149731128979420112283, c_0011_5 + 88107224980739092266566860407558358286036853809/422519217886\ 339665198992145149731128979420112283*c_0110_6^20 + 1378240949288407522199562464667399306330390386812/42251921788633966\ 5198992145149731128979420112283*c_0110_6^19 + 4843867380987868937286278007539555550456742727567/14083973929544655\ 5066330715049910376326473370761*c_0110_6^18 + 687019531469178161330116968618785617240034038523/145696282029772298\ 34448005005163142378600693527*c_0110_6^17 - 56337768352495085263652048244456103519582572055400/1408397392954465\ 55066330715049910376326473370761*c_0110_6^16 - 205347532064611322151074887013794796511936469322891/422519217886339\ 665198992145149731128979420112283*c_0110_6^15 + 587454150232705472971371775725336742808581889477558/422519217886339\ 665198992145149731128979420112283*c_0110_6^14 - 10869164270516352790224781866958355209953273026543/6926544555513765\ 003262166313930018507859346103*c_0110_6^13 + 90552059825662816227175711224146759880122594811155/4225192178863396\ 65198992145149731128979420112283*c_0110_6^12 + 337886412094973591986806080122807407363696073658615/140839739295446\ 555066330715049910376326473370761*c_0110_6^11 + 105588816396003137933161518927294591296224199201261/422519217886339\ 665198992145149731128979420112283*c_0110_6^10 + 346783378528909225734406740626169736707093777924780/140839739295446\ 555066330715049910376326473370761*c_0110_6^9 - 1986703356046796861964480640267443187894905544674088/42251921788633\ 9665198992145149731128979420112283*c_0110_6^8 - 496935815032432548085276637166983961750893943368375/140839739295446\ 555066330715049910376326473370761*c_0110_6^7 + 499933982116737004261949593713684045820291141530270/140839739295446\ 555066330715049910376326473370761*c_0110_6^6 + 255657239993436383627061549570398528270808591508241/422519217886339\ 665198992145149731128979420112283*c_0110_6^5 - 243831489202972573646986923958571850032026688117356/422519217886339\ 665198992145149731128979420112283*c_0110_6^4 + 12769422687249061482509686287294824732663821290019/4225192178863396\ 65198992145149731128979420112283*c_0110_6^3 + 879305168647473974782903092071131610434902267052/140839739295446555\ 066330715049910376326473370761*c_0110_6^2 - 1075180535364360819050215371897428516381377426047/14083973929544655\ 5066330715049910376326473370761*c_0110_6 + 333065037596085143925118968624962342120168505199/422519217886339665\ 198992145149731128979420112283, c_0101_0 + 352514127776830940902012806562220392296113635151/42251921788\ 6339665198992145149731128979420112283*c_0110_6^20 + 5505438808980033707582831742626570097044249538328/42251921788633966\ 5198992145149731128979420112283*c_0110_6^19 + 19339307481361410614256700828181899353832601188666/1408397392954465\ 55066330715049910376326473370761*c_0110_6^18 + 2706779841585370148069712502148479684781113350146/14569628202977229\ 834448005005163142378600693527*c_0110_6^17 - 225225683237468557329278796460553181823350078899982/140839739295446\ 555066330715049910376326473370761*c_0110_6^16 - 802013324853237097650307742646027043249934886626750/422519217886339\ 665198992145149731128979420112283*c_0110_6^15 + 2339289244314531978302228573012221579498310711825879/42251921788633\ 9665198992145149731128979420112283*c_0110_6^14 - 44851101064396429436391353483739040699895755354067/6926544555513765\ 003262166313930018507859346103*c_0110_6^13 + 545306435546381799787377188294562619734886206415319/422519217886339\ 665198992145149731128979420112283*c_0110_6^12 + 1292217008219829557164366918525559563165439369036372/14083973929544\ 6555066330715049910376326473370761*c_0110_6^11 + 407204654718376673705905944155094712988593798336808/422519217886339\ 665198992145149731128979420112283*c_0110_6^10 + 1433146378849031200572516271050249231394884740322598/14083973929544\ 6555066330715049910376326473370761*c_0110_6^9 - 8096755272955051749546813264079635940330532699388748/42251921788633\ 9665198992145149731128979420112283*c_0110_6^8 - 1851748428809554201074445065195919689841286578949453/14083973929544\ 6555066330715049910376326473370761*c_0110_6^7 + 1902121073646879184572302301881729755893573898867909/14083973929544\ 6555066330715049910376326473370761*c_0110_6^6 + 791843695267344601211381607581200965354839900494133/422519217886339\ 665198992145149731128979420112283*c_0110_6^5 - 692729383450161191922956584506966166525311256442377/422519217886339\ 665198992145149731128979420112283*c_0110_6^4 - 11391083059147066936810225902458491806942705005474/4225192178863396\ 65198992145149731128979420112283*c_0110_6^3 - 804233831065694454560147741387650914499214812219/140839739295446555\ 066330715049910376326473370761*c_0110_6^2 - 2806614528213376745954901112934024072179258495359/14083973929544655\ 5066330715049910376326473370761*c_0110_6 + 228561402092281154273040859324404355760124669790/422519217886339665\ 198992145149731128979420112283, c_0101_2 - 522912085110551538498537109968483568851361200350/42251921788\ 6339665198992145149731128979420112283*c_0110_6^20 - 8096718356770500120215861886698656439907832028269/42251921788633966\ 5198992145149731128979420112283*c_0110_6^19 - 28327795197742517807617006381379141000144729821009/1408397392954465\ 55066330715049910376326473370761*c_0110_6^18 - 3625367332989125908716979051155527917583707874369/14569628202977229\ 834448005005163142378600693527*c_0110_6^17 + 338559995587946634051074887465220506783583501612377/140839739295446\ 555066330715049910376326473370761*c_0110_6^16 + 1052367209837611457349123589720450638675788685008750/42251921788633\ 9665198992145149731128979420112283*c_0110_6^15 - 3605066868900326351017360591551830742992103184192103/42251921788633\ 9665198992145149731128979420112283*c_0110_6^14 + 74678619986372223573657512361514403871762570779006/6926544555513765\ 003262166313930018507859346103*c_0110_6^13 - 1429016396484044053010080816672206700327237422776963/42251921788633\ 9665198992145149731128979420112283*c_0110_6^12 - 1849419426978936612393961518906649890062507795971842/14083973929544\ 6555066330715049910376326473370761*c_0110_6^11 + 147287232021660850834793360601095830482029413769341/422519217886339\ 665198992145149731128979420112283*c_0110_6^10 - 2142468098223381801214469034773692966839085367895461/14083973929544\ 6555066330715049910376326473370761*c_0110_6^9 + 12824239814836875608471299467453254397464252281792060/4225192178863\ 39665198992145149731128979420112283*c_0110_6^8 + 2149641475072732962541936833945755853968403962939130/14083973929544\ 6555066330715049910376326473370761*c_0110_6^7 - 3101237433500628713518840630929448168396800049958488/14083973929544\ 6555066330715049910376326473370761*c_0110_6^6 + 174434553103428101483308636673457414814977121782382/422519217886339\ 665198992145149731128979420112283*c_0110_6^5 + 1050313353496162680268004939097641922822225500986228/42251921788633\ 9665198992145149731128979420112283*c_0110_6^4 - 137541305076546772490875480939631090725590608456614/422519217886339\ 665198992145149731128979420112283*c_0110_6^3 + 1315971816061471859420634148336212730311261483583/14083973929544655\ 5066330715049910376326473370761*c_0110_6^2 + 3668833390002323984842392288319092730289946995947/14083973929544655\ 5066330715049910376326473370761*c_0110_6 - 1172012717122132630393400812271804434598494578610/42251921788633966\ 5198992145149731128979420112283, c_0101_4 - 96078961269261884645825184036577713412730147506/140839739295\ 446555066330715049910376326473370761*c_0110_6^20 - 1488413358289441046393847286936087357964066208166/14083973929544655\ 5066330715049910376326473370761*c_0110_6^19 - 15624304573734850855537359673530997889008052246352/1408397392954465\ 55066330715049910376326473370761*c_0110_6^18 - 669268897755465502593206296378606778129419200727/485654273432574327\ 8149335001721047459533564509*c_0110_6^17 + 186771307066599332900234985372943066198505583378254/140839739295446\ 555066330715049910376326473370761*c_0110_6^16 + 195238180145610963151283448219269793042521267830491/140839739295446\ 555066330715049910376326473370761*c_0110_6^15 - 664225174917596411401176012805992269757053216534585/140839739295446\ 555066330715049910376326473370761*c_0110_6^14 + 13565188636020020242030427194555592585607921539574/2308848185171255\ 001087388771310006169286448701*c_0110_6^13 - 245534929875761761605069809984374732749109517893029/140839739295446\ 555066330715049910376326473370761*c_0110_6^12 - 1034933221936484804634787740253085896262945302244745/14083973929544\ 6555066330715049910376326473370761*c_0110_6^11 + 22324492485184655102189538257162299963599535952266/1408397392954465\ 55066330715049910376326473370761*c_0110_6^10 - 1163144998444374758618722229992945164112319385381070/14083973929544\ 6555066330715049910376326473370761*c_0110_6^9 + 2352023527454741587760155345160295793274453117743380/14083973929544\ 6555066330715049910376326473370761*c_0110_6^8 + 1229489613543694902985749864521029701715330600365604/14083973929544\ 6555066330715049910376326473370761*c_0110_6^7 - 1736674585028701442287495616129802816597839774176022/14083973929544\ 6555066330715049910376326473370761*c_0110_6^6 - 8728103578018626532775256531012153057226960780473/14083973929544655\ 5066330715049910376326473370761*c_0110_6^5 + 211323200463507491500357134409687109832596055275233/140839739295446\ 555066330715049910376326473370761*c_0110_6^4 - 24150142383611920447846046944364304082638437972397/1408397392954465\ 55066330715049910376326473370761*c_0110_6^3 + 499386827487118091281598022150380028689423413631/140839739295446555\ 066330715049910376326473370761*c_0110_6^2 + 2352613904007970092549906061202867473639250551633/14083973929544655\ 5066330715049910376326473370761*c_0110_6 - 231325706267315602919708291840805749027456917072/140839739295446555\ 066330715049910376326473370761, c_0110_6^21 + 15*c_0110_6^20 + 155*c_0110_6^19 + 122*c_0110_6^18 - 2044*c_0110_6^17 - 1078*c_0110_6^16 + 7920*c_0110_6^15 - 11994*c_0110_6^14 + 6765*c_0110_6^13 + 9523*c_0110_6^12 - 5495*c_0110_6^11 + 12151*c_0110_6^10 - 30467*c_0110_6^9 - 803*c_0110_6^8 + 24420*c_0110_6^7 - 8624*c_0110_6^6 - 2305*c_0110_6^5 + 1251*c_0110_6^4 - 97*c_0110_6^3 - 21*c_0110_6^2 + 14*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB