Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 1309659819] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2024 geometric_solution 5.56671464 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 -2 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.519597993231 0.638398665695 3 2 4 0 0132 3012 0132 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 0 1 -1 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.823932745378 0.862848142818 1 3 0 4 1230 3201 0132 3201 0 0 0 0 0 0 -1 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 2 -1 -1 0 0 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.823932745378 0.862848142818 1 5 2 5 0132 0132 2310 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 -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.686118352508 0.507685663565 4 2 4 1 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 1 0 -1 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.139952838340 1.074889189697 6 3 6 3 0132 0132 2310 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.844281837841 0.463150074832 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.597447796901 0.155493261387 ==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_0101_6'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], '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' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 9882/35*c_0101_6^3 + 59807/35*c_0101_6^2 - 27049/7*c_0101_6 - 194874/35, c_0011_0 - 1, c_0011_1 - 2/35*c_0101_6^3 - 3/7*c_0101_6^2 + 16/35*c_0101_6 + 6/35, c_0011_4 + 2/35*c_0101_6^3 + 8/35*c_0101_6^2 - 37/35*c_0101_6 - 13/35, c_0101_0 + 2/35*c_0101_6^3 + 3/7*c_0101_6^2 - 16/35*c_0101_6 - 41/35, c_0101_1 + 1/35*c_0101_6^3 + 4/35*c_0101_6^2 - 1/35*c_0101_6 + 11/35, c_0101_5 + 3/35*c_0101_6^3 + 12/35*c_0101_6^2 - 38/35*c_0101_6 - 2/35, c_0101_6^4 + 6*c_0101_6^3 - 14*c_0101_6^2 - 19*c_0101_6 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 505974895095434901769120380843699897039061265979/763560050177706121\ 1151277357802257910118230113*c_0101_6^21 - 3616259344888253599291956833471285495195022565161/76356005017770612\ 11151277357802257910118230113*c_0101_6^20 - 1996495633036278948703609110585273416671655958246/76356005017770612\ 11151277357802257910118230113*c_0101_6^19 + 21028687196600133999568061074321373136510569978674/7635600501777061\ 211151277357802257910118230113*c_0101_6^18 - 75958223849058371812179107763145844239736526542218/7635600501777061\ 211151277357802257910118230113*c_0101_6^17 + 143288693709709619472034636420908793923356554030815/763560050177706\ 1211151277357802257910118230113*c_0101_6^16 + 412833302587168035896395457079126631433453954317282/763560050177706\ 1211151277357802257910118230113*c_0101_6^15 - 496457524116075099845525924442971050347293102641679/763560050177706\ 1211151277357802257910118230113*c_0101_6^14 - 155643742088041496769823888401727288579816245206916/763560050177706\ 1211151277357802257910118230113*c_0101_6^13 - 1404769903707770294542894851081407709460462704773012/76356005017770\ 61211151277357802257910118230113*c_0101_6^12 - 1243949696657399050362823686554857483645707568563725/76356005017770\ 61211151277357802257910118230113*c_0101_6^11 + 4209863609441438099537389457443975086214956211038187/76356005017770\ 61211151277357802257910118230113*c_0101_6^10 + 287676599120271240343208745845819014556836982581348/763560050177706\ 1211151277357802257910118230113*c_0101_6^9 + 1011636344433813735243057616997067632489210703075947/76356005017770\ 61211151277357802257910118230113*c_0101_6^8 + 1065498585179665555843715684777013042492466166907347/76356005017770\ 61211151277357802257910118230113*c_0101_6^7 - 4687025062967724705487887466546495242453771825858170/76356005017770\ 61211151277357802257910118230113*c_0101_6^6 + 1038061469599567591643320417371133363927588168683397/76356005017770\ 61211151277357802257910118230113*c_0101_6^5 - 889873172034202747927610094609594957793007882504316/763560050177706\ 1211151277357802257910118230113*c_0101_6^4 - 23473951817105685450855489777452472630507652680656/7635600501777061\ 211151277357802257910118230113*c_0101_6^3 - 20187557735586542110543822086558335929265442525275/7635600501777061\ 211151277357802257910118230113*c_0101_6^2 - 10812408413477706071690135781077743644422988657157/7635600501777061\ 211151277357802257910118230113*c_0101_6 - 4214172055543872055895571679798643961952516848185/76356005017770612\ 11151277357802257910118230113, c_0011_0 - 1, c_0011_1 + 8601364969426129920516714517007473685394906/1862341585799283\ 22223201886775664827076054393*c_0101_6^21 - 60436550723396308409711938813429641183019808/1862341585799283222232\ 01886775664827076054393*c_0101_6^20 - 41405189167576351813286408641997981455099575/1862341585799283222232\ 01886775664827076054393*c_0101_6^19 + 353386603099297375672759627281386928763498206/186234158579928322223\ 201886775664827076054393*c_0101_6^18 - 1245624326393903757591355146041750175515664044/18623415857992832222\ 3201886775664827076054393*c_0101_6^17 + 2278951596612964158112544755521115695566870142/18623415857992832222\ 3201886775664827076054393*c_0101_6^16 + 7304549067261615502007830055991015828416408738/18623415857992832222\ 3201886775664827076054393*c_0101_6^15 - 7556886564666393432065606677776205248429529908/18623415857992832222\ 3201886775664827076054393*c_0101_6^14 - 3796943609820081525635643664646661377327892175/18623415857992832222\ 3201886775664827076054393*c_0101_6^13 - 24406129794124850455143871000386648890428814341/1862341585799283222\ 23201886775664827076054393*c_0101_6^12 - 23629554495935033391874388061008564436854160408/1862341585799283222\ 23201886775664827076054393*c_0101_6^11 + 69316566638907645775516792573103865440515897365/1862341585799283222\ 23201886775664827076054393*c_0101_6^10 + 14550904602972992000717807577441204598734674845/1862341585799283222\ 23201886775664827076054393*c_0101_6^9 + 17999966355376324483340705577379552621256473171/1862341585799283222\ 23201886775664827076054393*c_0101_6^8 + 17016792016446801259826719747887529291035283454/1862341585799283222\ 23201886775664827076054393*c_0101_6^7 - 78096290835171741784509203174229695467941235334/1862341585799283222\ 23201886775664827076054393*c_0101_6^6 + 7422758877842630908407131940751550000530133446/18623415857992832222\ 3201886775664827076054393*c_0101_6^5 - 12858236701246774514010483450001557463429113384/1862341585799283222\ 23201886775664827076054393*c_0101_6^4 + 1202090611628914379550554929847482271626198791/18623415857992832222\ 3201886775664827076054393*c_0101_6^3 - 477968634240200283694949323836544123337604685/186234158579928322223\ 201886775664827076054393*c_0101_6^2 + 195487370730711892867802689882725715970638693/186234158579928322223\ 201886775664827076054393*c_0101_6 - 26854164502161522482052178388285109311143607/1862341585799283222232\ 01886775664827076054393, c_0011_4 - 25765093053193662254036681346346663420772912/186234158579928\ 322223201886775664827076054393*c_0101_6^21 + 181850428373732270909343308743369298996190875/186234158579928322223\ 201886775664827076054393*c_0101_6^20 + 117911309448888570044620139637516413544364372/186234158579928322223\ 201886775664827076054393*c_0101_6^19 - 1060704845031967435949341496278213506344537480/18623415857992832222\ 3201886775664827076054393*c_0101_6^18 + 3773800403394986272494094440786554269992765651/18623415857992832222\ 3201886775664827076054393*c_0101_6^17 - 6958118482690478134173361163066711400495824828/18623415857992832222\ 3201886775664827076054393*c_0101_6^16 - 21651933132824672841291219245856828497262021530/1862341585799283222\ 23201886775664827076054393*c_0101_6^15 + 23376240488848458877796908625145168573582149024/1862341585799283222\ 23201886775664827076054393*c_0101_6^14 + 10022126782281075817846322623594424068557715593/1862341585799283222\ 23201886775664827076054393*c_0101_6^13 + 72318100629051018379655391684592897592735544494/1862341585799283222\ 23201886775664827076054393*c_0101_6^12 + 69854973596554294443335285573045183705356810952/1862341585799283222\ 23201886775664827076054393*c_0101_6^11 - 208289242905076773255613698617261255855075038137/186234158579928322\ 223201886775664827076054393*c_0101_6^10 - 33133424889963112108838054388860072182049600391/1862341585799283222\ 23201886775664827076054393*c_0101_6^9 - 53868586180253836827860128965826889501028792428/1862341585799283222\ 23201886775664827076054393*c_0101_6^8 - 59630221167825150728151943412196013061173960244/1862341585799283222\ 23201886775664827076054393*c_0101_6^7 + 233752305070212580886758241962338745937971955950/186234158579928322\ 223201886775664827076054393*c_0101_6^6 - 32102023259776674721729251168447830874856450852/1862341585799283222\ 23201886775664827076054393*c_0101_6^5 + 41627172831472648834998617080940759132850321822/1862341585799283222\ 23201886775664827076054393*c_0101_6^4 + 5533023695698054753828010766166677422872025827/18623415857992832222\ 3201886775664827076054393*c_0101_6^3 + 765360596718200788239659536024181679511949952/186234158579928322223\ 201886775664827076054393*c_0101_6^2 + 990978417025321883664976464864934732170672702/186234158579928322223\ 201886775664827076054393*c_0101_6 + 241916255655121314315359660464548272953232533/186234158579928322223\ 201886775664827076054393, c_0101_0 - 52393322425602770946484333984620797314043058/186234158579928\ 322223201886775664827076054393*c_0101_6^21 + 377874296180776381653318029554187110199346653/186234158579928322223\ 201886775664827076054393*c_0101_6^20 + 184038986164167620155595896011994142016540974/186234158579928322223\ 201886775664827076054393*c_0101_6^19 - 2202980078429140106129899507565711187309438032/18623415857992832222\ 3201886775664827076054393*c_0101_6^18 + 7999633031716145156861557552150239859416851073/18623415857992832222\ 3201886775664827076054393*c_0101_6^17 - 15279788078964290262938655595492084250320604194/1862341585799283222\ 23201886775664827076054393*c_0101_6^16 - 42032518165335283344230289103869686431878016045/1862341585799283222\ 23201886775664827076054393*c_0101_6^15 + 54652639396567872444361786469091866758717676742/1862341585799283222\ 23201886775664827076054393*c_0101_6^14 + 14191230791183325054684190308295413951391622660/1862341585799283222\ 23201886775664827076054393*c_0101_6^13 + 142842317742279146909513202342316313720703029206/186234158579928322\ 223201886775664827076054393*c_0101_6^12 + 118727059031954349550634964633421981817458571537/186234158579928322\ 223201886775664827076054393*c_0101_6^11 - 448954204968483432436791970098690423684171640271/186234158579928322\ 223201886775664827076054393*c_0101_6^10 - 5801765725213786075457444813334357995182723875/18623415857992832222\ 3201886775664827076054393*c_0101_6^9 - 88924257559234623585877589999557425211143787688/1862341585799283222\ 23201886775664827076054393*c_0101_6^8 - 102012825069050292692475225723376458437671000449/186234158579928322\ 223201886775664827076054393*c_0101_6^7 + 495306169293587303678504397799881310329819130441/186234158579928322\ 223201886775664827076054393*c_0101_6^6 - 135838650915951329138411019670302613446167645839/186234158579928322\ 223201886775664827076054393*c_0101_6^5 + 83735956069792728543218210018425008863527610627/1862341585799283222\ 23201886775664827076054393*c_0101_6^4 - 200741423225555839036545062259991558991860766/186234158579928322223\ 201886775664827076054393*c_0101_6^3 - 352029161293214751521421032475468871051858802/186234158579928322223\ 201886775664827076054393*c_0101_6^2 + 1514106170833055616896580465897062368091820269/18623415857992832222\ 3201886775664827076054393*c_0101_6 + 277701005425208581055577106425188767195239783/186234158579928322223\ 201886775664827076054393, c_0101_1 - 26851898760291487509029564819236429325429923/186234158579928\ 322223201886775664827076054393*c_0101_6^21 + 190453497367324362528809988935367445841127377/186234158579928322223\ 201886775664827076054393*c_0101_6^20 + 117632821742074795606969578744040586843090238/186234158579928322223\ 201886775664827076054393*c_0101_6^19 - 1119051882109880797801885373554413138578536490/18623415857992832222\ 3201886775664827076054393*c_0101_6^18 + 3965188210050027559374589803788439710499835345/18623415857992832222\ 3201886775664827076054393*c_0101_6^17 - 7334843710087924218808370723421628733535940391/18623415857992832222\ 3201886775664827076054393*c_0101_6^16 - 22507289169539151737759118941526022953327775829/1862341585799283222\ 23201886775664827076054393*c_0101_6^15 + 25503186863894054815724622795883585909502201212/1862341585799283222\ 23201886775664827076054393*c_0101_6^14 + 10701272343359027469820921942422765100413544140/1862341585799283222\ 23201886775664827076054393*c_0101_6^13 + 73882082016624939689182680357008176359932480575/1862341585799283222\ 23201886775664827076054393*c_0101_6^12 + 69740211757108325606200818469536482512012059458/1862341585799283222\ 23201886775664827076054393*c_0101_6^11 - 223342339827811619339274467878295292081246484272/186234158579928322\ 223201886775664827076054393*c_0101_6^10 - 30590760197539183154626751337056681061017811257/1862341585799283222\ 23201886775664827076054393*c_0101_6^9 - 44897522826289674961887816728541115278796964850/1862341585799283222\ 23201886775664827076054393*c_0101_6^8 - 58596792778096956191184269637872925523160143288/1862341585799283222\ 23201886775664827076054393*c_0101_6^7 + 248611401040081037105332515740056778233274923819/186234158579928322\ 223201886775664827076054393*c_0101_6^6 - 38820583159748109293908091447338137723948139761/1862341585799283222\ 23201886775664827076054393*c_0101_6^5 + 33668102828950814152515227907747792437797078388/1862341585799283222\ 23201886775664827076054393*c_0101_6^4 + 5740145303339929236177964772700523687631274834/18623415857992832222\ 3201886775664827076054393*c_0101_6^3 - 1020898627804865766987702615727499542517886930/18623415857992832222\ 3201886775664827076054393*c_0101_6^2 + 509544322320508613887994825675634904936997170/186234158579928322223\ 201886775664827076054393*c_0101_6 + 171086641898965640341533479605192605055157983/186234158579928322223\ 201886775664827076054393, c_0101_5 + 23409052524806726287251193742794967589080919/186234158579928\ 322223201886775664827076054393*c_0101_6^21 - 165770952635074437989405502675100105097813852/186234158579928322223\ 201886775664827076054393*c_0101_6^20 - 103577250956528650627697836167833148561344815/186234158579928322223\ 201886775664827076054393*c_0101_6^19 + 968380896991526937185385628460209576777783867/186234158579928322223\ 201886775664827076054393*c_0101_6^18 - 3448764070177465973579724917518890928028211040/18623415857992832222\ 3201886775664827076054393*c_0101_6^17 + 6389467924836240371537781000592243621064601860/18623415857992832222\ 3201886775664827076054393*c_0101_6^16 + 19564806984422829038099582138814768266364021792/1862341585799283222\ 23201886775664827076054393*c_0101_6^15 - 21767372300321423572905305631982878464291859219/1862341585799283222\ 23201886775664827076054393*c_0101_6^14 - 8924023311841623906479347054017153356044929451/18623415857992832222\ 3201886775664827076054393*c_0101_6^13 - 65320761878346931910427276297198121722807934560/1862341585799283222\ 23201886775664827076054393*c_0101_6^12 - 61645582405734423160091501380119235783253290765/1862341585799283222\ 23201886775664827076054393*c_0101_6^11 + 191790437708054428551648060497178407539097590715/186234158579928322\ 223201886775664827076054393*c_0101_6^10 + 27047539747474629551416922298736774808559981885/1862341585799283222\ 23201886775664827076054393*c_0101_6^9 + 45965747676185573159940690823220996222205175927/1862341585799283222\ 23201886775664827076054393*c_0101_6^8 + 51290385795893432603355037681496741989435652040/1862341585799283222\ 23201886775664827076054393*c_0101_6^7 - 214994028678436199250190921308128328292837220844/186234158579928322\ 223201886775664827076054393*c_0101_6^6 + 32947546062319944052708655264831359464616290270/1862341585799283222\ 23201886775664827076054393*c_0101_6^5 - 35817046507551096273999584450937279846203111506/1862341585799283222\ 23201886775664827076054393*c_0101_6^4 - 3448816364462268653834920917335050617314438562/18623415857992832222\ 3201886775664827076054393*c_0101_6^3 + 238581298797240487079257515591209123865796838/186234158579928322223\ 201886775664827076054393*c_0101_6^2 - 566982604673665525269551926865593035739607565/186234158579928322223\ 201886775664827076054393*c_0101_6 - 121819678514822167978542552337189949769768623/186234158579928322223\ 201886775664827076054393, c_0101_6^22 - 7*c_0101_6^21 - 5*c_0101_6^20 + 41*c_0101_6^19 - 144*c_0101_6^18 + 261*c_0101_6^17 + 858*c_0101_6^16 - 862*c_0101_6^15 - 454*c_0101_6^14 - 2819*c_0101_6^13 - 2867*c_0101_6^12 + 7967*c_0101_6^11 + 1799*c_0101_6^10 + 2062*c_0101_6^9 + 2402*c_0101_6^8 - 8966*c_0101_6^7 + 683*c_0101_6^6 - 1432*c_0101_6^5 - 314*c_0101_6^4 - 34*c_0101_6^3 - 29*c_0101_6^2 - 11*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB