Magma V2.19-8 Tue Aug 20 2013 16:17:23 on localhost [Seed = 3280101134] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1615 geometric_solution 5.37329766 oriented_manifold CS_known -0.0000000000000001 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.630142953996 0.126141854405 2 0 2 0 0132 2310 1023 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 -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.844057293309 0.179292347525 1 3 1 4 0132 0132 1023 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 -1 0 1 0 -1 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.950582101307 0.494132021200 4 2 6 5 3120 0132 0132 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 1 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.715414617060 0.623487751048 5 6 2 3 1023 1023 0132 3120 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715414617060 0.623487751048 5 4 3 5 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.205584803448 0.692337188094 4 6 6 3 1023 1230 3012 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 0 1 -1 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.557075212319 0.924206703284 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(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' : negation(d['1']), 's_1_2' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : 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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : d['c_0101_1'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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: 6 Groebner basis: [ t + 1/36*c_0101_6^5 + 5/18*c_0101_6^3 - 19/36*c_0101_6, c_0011_0 - 1, c_0011_1 - 1/4*c_0101_6^4 - 1/2*c_0101_6^2 - 1/4, c_0011_4 - 1/4*c_0101_6^4 + 1/4, c_0101_0 - 1/6*c_0101_6^5 - 1/6*c_0101_6^3 - 1/3*c_0101_6, c_0101_1 - 1/2*c_0101_6^2 - 1/2, c_0101_5 + 1/12*c_0101_6^5 + 1/3*c_0101_6^3 - 1/12*c_0101_6, c_0101_6^6 + c_0101_6^4 - c_0101_6^2 - 9 ], 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: 32 Groebner basis: [ t + 3902417974192657954647068594130632218681237309162932868563511/71653\ 7767436505164975723581927224834121080550308314703719936*c_0101_6^31 - 27232966157843274278087131025145051561419531774389341515930757/17\ 9134441859126291243930895481806208530270137577078675929984*c_0101_6\ ^29 - 1319809262953340220595731716504484656810286953551268367616913\ 743/358268883718252582487861790963612417060540275154157351859968*c_\ 0101_6^27 - 1754547949497080455829258150499221584724784741605795623\ 2093119757/35826888371825258248786179096361241706054027515415735185\ 9968*c_0101_6^25 - 372737318876623135874947469424985803794149535021\ 262141599711403329/716537767436505164975723581927224834121080550308\ 314703719936*c_0101_6^23 - 3021258327121244069847258973662015509903\ 82837595293691264075305635/1791344418591262912439308954818062085302\ 70137577078675929984*c_0101_6^21 + 2093578219800779311737523230244013006927298873930491987303685080681\ /179134441859126291243930895481806208530270137577078675929984*c_010\ 1_6^19 + 2900981808463128690175264537913230386983542437688276962099\ 463552693/447836104647815728109827238704515521325675343942696689824\ 96*c_0101_6^17 + 23833749579734693432609561375995064195442379339549\ 103939515786680649/179134441859126291243930895481806208530270137577\ 078675929984*c_0101_6^15 + 1055784094683892381541390317114819040809\ 08647566690106207885902496145/7165377674365051649757235819272248341\ 21080550308314703719936*c_0101_6^13 + 6844869389850973674384901669312010988725440476236676748132510867417\ 1/716537767436505164975723581927224834121080550308314703719936*c_01\ 01_6^11 + 320412238322002446421980376281331732277245836917407047897\ 6225918753/89567220929563145621965447740903104265135068788539337964\ 992*c_0101_6^9 + 44787544226437087689395054267047565015583066681761\ 8434837070315759/65139797039682287725065780175202257647370959118937\ 700338176*c_0101_6^7 + 71350968834567379583612624865094352411108120\ 764388543899583352407/179134441859126291243930895481806208530270137\ 577078675929984*c_0101_6^5 - 90685668650458853812967418777846157162\ 66514530285613110275413237/1791344418591262912439308954818062085302\ 70137577078675929984*c_0101_6^3 - 646666227945266827297646514240534\ 5503634432296781934402335718359/71653776743650516497572358192722483\ 4121080550308314703719936*c_0101_6, c_0011_0 - 1, c_0011_1 + 82643200410507801699317019068866798794555878152325989/973980\ 2188947710485207203973564930868326997475917718352*c_0101_6^30 - 2363912305270784395703390975269693472247580858814194751/97398021889\ 47710485207203973564930868326997475917718352*c_0101_6^28 - 54278615109129788855299218640004323367674595291254569921/9739802188\ 947710485207203973564930868326997475917718352*c_0101_6^26 - 705427355587362337477351191734502993986417979268178838327/973980218\ 8947710485207203973564930868326997475917718352*c_0101_6^24 - 3700514755295138087206993389513289288898337861609828329113/48699010\ 94473855242603601986782465434163498737958859176*c_0101_6^22 - 10205314362784142249623016077477196889852505039405885180467/4869901\ 094473855242603601986782465434163498737958859176*c_0101_6^20 + 96113522403918043632161611609770762868364797469131515794283/4869901\ 094473855242603601986782465434163498737958859176*c_0101_6^18 + 426214873195778528354632845185450143495768858495203480964803/486990\ 1094473855242603601986782465434163498737958859176*c_0101_6^16 + 704671302103962274986081935057405458308645922579229760260545/486990\ 1094473855242603601986782465434163498737958859176*c_0101_6^14 + 1174911523425775959220718485148100479751614459982024060055157/97398\ 02188947710485207203973564930868326997475917718352*c_0101_6^12 + 249835425466576935448471645456587822662937161589993395974095/486990\ 1094473855242603601986782465434163498737958859176*c_0101_6^10 + 42796098728814195420716031291411700784359485602034596133467/4869901\ 094473855242603601986782465434163498737958859176*c_0101_6^8 - 3314746273715006752678287387887279275887110111038015492507/97398021\ 88947710485207203973564930868326997475917718352*c_0101_6^6 - 1845435968891157417069425395849433720874319608328862593487/97398021\ 88947710485207203973564930868326997475917718352*c_0101_6^4 - 126062236835326991616951070186229959331802527424342566483/973980218\ 8947710485207203973564930868326997475917718352*c_0101_6^2 + 1411849951554768055184950593671945637614070611683738725/60873763680\ 9231905325450248347808179270437342244857397, c_0011_4 + 27698539854283795221690168286075493684256254739786311/973980\ 2188947710485207203973564930868326997475917718352*c_0101_6^30 - 804286118324918431451747964531380665658188764796926105/973980218894\ 7710485207203973564930868326997475917718352*c_0101_6^28 - 17837558111684514761122605297498917223389477616677868003/9739802188\ 947710485207203973564930868326997475917718352*c_0101_6^26 - 228872967051086189453750503810472082061945955965384056065/973980218\ 8947710485207203973564930868326997475917718352*c_0101_6^24 - 1192533063944758642232642794069576549173269611961485227799/48699010\ 94473855242603601986782465434163498737958859176*c_0101_6^22 - 2927297127355275619583031579330903030407600116635372702897/48699010\ 94473855242603601986782465434163498737958859176*c_0101_6^20 + 33236819054792982134624795074403816653495219248955181760677/4869901\ 094473855242603601986782465434163498737958859176*c_0101_6^18 + 127908205038443216795438779720841448448094179731384231813329/486990\ 1094473855242603601986782465434163498737958859176*c_0101_6^16 + 187970669936985118076230823431360978322874150443450100137367/486990\ 1094473855242603601986782465434163498737958859176*c_0101_6^14 + 280359976629175107068602232331902110017706693075750109895047/973980\ 2188947710485207203973564930868326997475917718352*c_0101_6^12 + 54666749020378248884502650190363803280692441502046959621051/4869901\ 094473855242603601986782465434163498737958859176*c_0101_6^10 + 9697922887226168531311404816305925869718122138542322991995/48699010\ 94473855242603601986782465434163498737958859176*c_0101_6^8 + 322878869035448901933326866955943590419437105912356268707/973980218\ 8947710485207203973564930868326997475917718352*c_0101_6^6 - 341787071628163070484355556494310756519648569852624753405/973980218\ 8947710485207203973564930868326997475917718352*c_0101_6^4 - 12354046481921696534568676286289711583141065487966743805/9739802188\ 947710485207203973564930868326997475917718352*c_0101_6^2 + 186995524383430895576480286706058594079656642901022619/608737636809\ 231905325450248347808179270437342244857397, c_0101_0 - 18150261843842685226519947429108061647064320659178909/973980\ 2188947710485207203973564930868326997475917718352*c_0101_6^31 + 556983426254940830588669674643153177578722391187732975/973980218894\ 7710485207203973564930868326997475917718352*c_0101_6^29 + 10830454043940443051469386716405039913546556992326815597/9739802188\ 947710485207203973564930868326997475917718352*c_0101_6^27 + 130347465255111403979348205072866271170627127555967868143/973980218\ 8947710485207203973564930868326997475917718352*c_0101_6^25 + 653997621626449839472231407853101628821633935928116792123/486990109\ 4473855242603601986782465434163498737958859176*c_0101_6^23 + 581531610056440520400829944132220799366988701926395839615/486990109\ 4473855242603601986782465434163498737958859176*c_0101_6^21 - 25433948707955632567794307111060899384724021270210087428819/4869901\ 094473855242603601986782465434163498737958859176*c_0101_6^19 - 48993916808077019819430922861585019696916801941272606923143/4869901\ 094473855242603601986782465434163498737958859176*c_0101_6^17 + 29294829887882530654396007099548914820954522740233036955287/4869901\ 094473855242603601986782465434163498737958859176*c_0101_6^15 + 323637635224599028556454172482740713425293120766700862441243/973980\ 2188947710485207203973564930868326997475917718352*c_0101_6^13 + 183732573218423687741468879576938051907140508951106603497197/486990\ 1094473855242603601986782465434163498737958859176*c_0101_6^11 + 97713404339416306020870374417684690269435176512432445100979/4869901\ 094473855242603601986782465434163498737958859176*c_0101_6^9 + 50140681224714556374281785513961712160605200016267431109495/9739802\ 188947710485207203973564930868326997475917718352*c_0101_6^7 + 4643792970538015508337109764419678875078873833851917483147/97398021\ 88947710485207203973564930868326997475917718352*c_0101_6^5 - 246029838061555746795912001762798578000581457268899130821/973980218\ 8947710485207203973564930868326997475917718352*c_0101_6^3 - 16327023151335151239321068149046542424934946237096443145/2434950547\ 236927621301800993391232717081749368979429588*c_0101_6, c_0101_1 - 66671807242225233368083872734796640326421168894537683/973980\ 2188947710485207203973564930868326997475917718352*c_0101_6^30 + 1901747152991959803120657117351164370344799727797094877/97398021889\ 47710485207203973564930868326997475917718352*c_0101_6^28 + 43946343230750694593610531008925961457293094630262375743/9739802188\ 947710485207203973564930868326997475917718352*c_0101_6^26 + 572440208574765079346055848227177489065714371910422284405/973980218\ 8947710485207203973564930868326997475917718352*c_0101_6^24 + 3006421361290472316529838541621296863525473078644157312339/48699010\ 94473855242603601986782465434163498737958859176*c_0101_6^22 + 8450358250976417624207139531287021038476190707332901676389/48699010\ 94473855242603601986782465434163498737958859176*c_0101_6^20 - 77099302352709976126946866462237476954262635027673260328121/4869901\ 094473855242603601986782465434163498737958859176*c_0101_6^18 - 350510051390960110795352273725951133766699020267101773150221/486990\ 1094473855242603601986782465434163498737958859176*c_0101_6^16 - 589486471558308382665916737938425844056464443145002157290403/486990\ 1094473855242603601986782465434163498737958859176*c_0101_6^14 - 994868597636816624281682623191368858759372602271027960946659/973980\ 2188947710485207203973564930868326997475917718352*c_0101_6^12 - 211858805681650715452997090905650017507841601781483657390999/486990\ 1094473855242603601986782465434163498737958859176*c_0101_6^10 - 34594740335015838037298053627006456449943029426612017938087/4869901\ 094473855242603601986782465434163498737958859176*c_0101_6^8 + 4741302126864682989577872623683707139340249908738954393089/97398021\ 88947710485207203973564930868326997475917718352*c_0101_6^6 + 1761391960336688858823237785812816202360238878525036455729/97398021\ 88947710485207203973564930868326997475917718352*c_0101_6^4 + 105842371035273841367088111573072244566936650191909020737/973980218\ 8947710485207203973564930868326997475917718352*c_0101_6^2 - 923506087894462353474527807471761292536276971077369925/608737636809\ 231905325450248347808179270437342244857397, c_0101_5 + 3667782670431772120294517125725338392764449832246051/1217475\ 273618463810650900496695616358540874684489714794*c_0101_6^31 - 421425690150268278759460380931589574134309705028796715/486990109447\ 3855242603601986782465434163498737958859176*c_0101_6^29 - 9582637450921905446270127724177383846973453196711076055/48699010944\ 73855242603601986782465434163498737958859176*c_0101_6^27 - 124133383864351982009166415006024430273288308243018831097/486990109\ 4473855242603601986782465434163498737958859176*c_0101_6^25 - 1300163628526038761427188155307713453797394006636388704179/48699010\ 94473855242603601986782465434163498737958859176*c_0101_6^23 - 1741371315496646366306237615112032496363251477873037644429/24349505\ 47236927621301800993391232717081749368979429588*c_0101_6^21 + 17187060986223725952012876938741337230369360493653540718649/2434950\ 547236927621301800993391232717081749368979429588*c_0101_6^19 + 73411930573287916714607403631430205615977691887284500104643/2434950\ 547236927621301800993391232717081749368979429588*c_0101_6^17 + 118853373396686544104287734157947685307783111399314081051211/243495\ 0547236927621301800993391232717081749368979429588*c_0101_6^15 + 98073306734355706168210083373772871629237362023562576326887/2434950\ 547236927621301800993391232717081749368979429588*c_0101_6^13 + 83975967038377479429550380133812650311998369498846364536457/4869901\ 094473855242603601986782465434163498737958859176*c_0101_6^11 + 7761849679737412130697052054324983943927735815064902235991/24349505\ 47236927621301800993391232717081749368979429588*c_0101_6^9 + 150225279082420076743685932052821392392362597809495236893/243495054\ 7236927621301800993391232717081749368979429588*c_0101_6^7 + 16285646717210075547836192765520488989623276283219939477/4869901094\ 473855242603601986782465434163498737958859176*c_0101_6^5 + 28239510010064407747071490134886341766860630566030612897/4869901094\ 473855242603601986782465434163498737958859176*c_0101_6^3 + 425527094200221167364330753528756238218366748838974905/486990109447\ 3855242603601986782465434163498737958859176*c_0101_6, c_0101_6^32 - 28*c_0101_6^30 - 674*c_0101_6^28 - 8934*c_0101_6^26 - 94743*c_0101_6^24 - 301492*c_0101_6^22 + 2172252*c_0101_6^20 + 11708496*c_0101_6^18 + 23414556*c_0101_6^16 + 24990167*c_0101_6^14 + 15276109*c_0101_6^12 + 5115352*c_0101_6^10 + 723971*c_0101_6^8 - 29068*c_0101_6^6 - 15004*c_0101_6^4 - 881*c_0101_6^2 + 128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB