Magma V2.19-8 Tue Aug 20 2013 16:18:10 on localhost [Seed = 3701293542] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2387 geometric_solution 5.75477266 oriented_manifold CS_known -0.0000000000000003 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 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.226662668747 0.197138627340 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 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.261550275244 1.987474547512 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 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 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.204904809794 0.886801250418 5 4 2 1 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 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.204904809794 0.886801250418 4 3 4 2 2031 0132 1302 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.553478416154 0.499772877631 6 6 2 3 0132 3201 0132 2310 0 0 0 0 0 0 -1 1 -1 0 0 1 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 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.409814476577 1.395855344894 5 6 5 6 0132 1302 2310 2031 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.738611441141 0.893366942255 ==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' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], '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_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), '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' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_3']), '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_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t + 7/3*c_0101_3^2 + 26/3*c_0101_3 + 7, c_0011_0 - 1, c_0011_1 + c_0101_3, c_0011_3 - 1, c_0011_5 + c_0101_3^2 + c_0101_3 - 2, c_0101_0 + c_0101_3^2 + c_0101_3 - 2, c_0101_1 - c_0101_3^2 - c_0101_3 + 1, c_0101_3^3 + 3*c_0101_3^2 - 3 ], 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_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t - 7/3*c_0101_3^2 + 26/3*c_0101_3 - 7, c_0011_0 - 1, c_0011_1 - c_0101_3, c_0011_3 + 1, c_0011_5 - c_0101_3^2 + c_0101_3 + 2, c_0101_0 + c_0101_3^2 - c_0101_3 - 2, c_0101_1 - c_0101_3^2 + c_0101_3 + 1, c_0101_3^3 - 3*c_0101_3^2 + 3 ], 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_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 3231229236253775686791870042222761668666981/12083149994534103953503\ 58288973471982552095*c_0101_3^37 + 8639319713751934110379813379487323654623991/12083149994534103953503\ 58288973471982552095*c_0101_3^35 + 187290515233448297363802186962756291102328169/120831499945341039535\ 0358288973471982552095*c_0101_3^33 + 590196674191431261478680403260459992361267757/120831499945341039535\ 0358288973471982552095*c_0101_3^31 + 217864958335729340323573360649172730655785192/120831499945341039535\ 0358288973471982552095*c_0101_3^29 - 536816825039151082426389427949502257648060497/402771666484470131783\ 452762991157327517365*c_0101_3^27 - 1629882937827261802802907675538374642306281501/12083149994534103953\ 50358288973471982552095*c_0101_3^25 - 2141287450264358892002084936235705920962498166/12083149994534103953\ 50358288973471982552095*c_0101_3^23 - 2050808748792260527650537092397736460286964436/13425722216149004392\ 7817587663719109172455*c_0101_3^21 - 9342355354035567803733839372707695608123859938/40277166648447013178\ 3452762991157327517365*c_0101_3^19 + 25505814605933845527584092843192729075696410752/1208314999453410395\ 350358288973471982552095*c_0101_3^17 + 86071714913482804796750536099934043080511632053/1208314999453410395\ 350358288973471982552095*c_0101_3^15 + 35669246696852816809854243690164220816400392487/1208314999453410395\ 350358288973471982552095*c_0101_3^13 - 13037118647694116872928654000334256331041067152/4027716664844701317\ 83452762991157327517365*c_0101_3^11 - 26951857390736685145192196934722411386867742519/1208314999453410395\ 350358288973471982552095*c_0101_3^9 - 379144617026045847292652744880693346828340069/134257222161490043927\ 817587663719109172455*c_0101_3^7 - 1910754839731181710001893084608780534994158242/12083149994534103953\ 50358288973471982552095*c_0101_3^5 + 24770441234781959761923952998266774737230545/8055433329689402635669\ 0552598231465503473*c_0101_3^3 + 2178645455377061062740311840880724\ 1560650971/402771666484470131783452762991157327517365*c_0101_3, c_0011_0 - 1, c_0011_1 + 242807546238561831005173044710376786335/80554333296894026356\ 690552598231465503473*c_0101_3^36 - 263817566796744349149828975595569657257/268514444322980087855635175\ 32743821834491*c_0101_3^34 - 44868384480659819449654725718817092872\ 15/26851444432298008785563517532743821834491*c_0101_3^32 - 36943055849964541233719416002737761638628/8055433329689402635669055\ 2598231465503473*c_0101_3^30 - 307983275489998086130046853466675454\ 5832/80554333296894026356690552598231465503473*c_0101_3^28 + 99789786636170275795703500077495663840839/8055433329689402635669055\ 2598231465503473*c_0101_3^26 + 209993886732269270065612214139665717\ 92038/26851444432298008785563517532743821834491*c_0101_3^24 + 189793515181194302878935894030124528990139/805543332968940263566905\ 52598231465503473*c_0101_3^22 + 43800677961207197173064362085968111\ 3770304/26851444432298008785563517532743821834491*c_0101_3^20 + 479468703038449395067396020098931602101903/268514444322980087855635\ 17532743821834491*c_0101_3^18 - 19421745680906275548704601241956341\ 70385504/80554333296894026356690552598231465503473*c_0101_3^16 - 4422956562970106254787625702723873615282253/80554333296894026356690\ 552598231465503473*c_0101_3^14 - 1431022918876495167139947994831311\ 431149502/80554333296894026356690552598231465503473*c_0101_3^12 + 902205955707247740021978507330417614382650/805543332968940263566905\ 52598231465503473*c_0101_3^10 + 32086594068949083945003222003221651\ 8535013/26851444432298008785563517532743821834491*c_0101_3^8 + 687440201969319728336501219058400376896261/805543332968940263566905\ 52598231465503473*c_0101_3^6 + 258160966664804889863309070806273224\ 17434/80554333296894026356690552598231465503473*c_0101_3^4 + 24660369350631083822407610843498627691875/2685144443229800878556351\ 7532743821834491*c_0101_3^2 + 1697674157249443667466951220876079074\ 5261/26851444432298008785563517532743821834491, c_0011_3 - 322919937295121551330904153541620807465/80554333296894026356\ 690552598231465503473*c_0101_3^37 + 627794908027033742031117015879529141114/805543332968940263566905525\ 98231465503473*c_0101_3^35 + 64032590984759947773888006009032419463\ 53/26851444432298008785563517532743821834491*c_0101_3^33 + 73151681008376427598753921163418917124682/8055433329689402635669055\ 2598231465503473*c_0101_3^31 + 240660364719541242189918489548142545\ 06198/26851444432298008785563517532743821834491*c_0101_3^29 - 42587338016821191964599931870692703001639/2685144443229800878556351\ 7532743821834491*c_0101_3^27 - 287844350023071775561975838758888921\ 209569/80554333296894026356690552598231465503473*c_0101_3^25 - 387519107582556908785111211915178344437961/805543332968940263566905\ 52598231465503473*c_0101_3^23 - 20070839376896726968752106587400802\ 51852048/80554333296894026356690552598231465503473*c_0101_3^21 - 1414144066495519967972571932926650825594221/26851444432298008785563\ 517532743821834491*c_0101_3^19 - 1962182593462393229721890388974942\ 08098698/80554333296894026356690552598231465503473*c_0101_3^17 + 9993353496268949018112226570800336529327280/80554333296894026356690\ 552598231465503473*c_0101_3^15 + 3751981633495775415465106901880777\ 315594776/26851444432298008785563517532743821834491*c_0101_3^13 + 172175326466694432822206668821625777805052/268514444322980087855635\ 17532743821834491*c_0101_3^11 - 59026293402664696410216848412917946\ 88255487/80554333296894026356690552598231465503473*c_0101_3^9 - 2839245648183359556191247512969207420274094/80554333296894026356690\ 552598231465503473*c_0101_3^7 - 16675825293789427081649097255858041\ 5708272/26851444432298008785563517532743821834491*c_0101_3^5 - 355922699128112462582655598653107294223566/805543332968940263566905\ 52598231465503473*c_0101_3^3 + 183790057606612319818948941187843583\ 77879/26851444432298008785563517532743821834491*c_0101_3, c_0011_5 + 914962035649762074440423186127148687063/80554333296894026356\ 690552598231465503473*c_0101_3^37 - 2744841332178875914963489436920982144425/80554333296894026356690552\ 598231465503473*c_0101_3^35 - 1733074807469346006621833755806428910\ 2881/26851444432298008785563517532743821834491*c_0101_3^33 - 150587769549386985170429335779107617753277/805543332968940263566905\ 52598231465503473*c_0101_3^31 - 20786039777026500896072345534800594\ 249271/80554333296894026356690552598231465503473*c_0101_3^29 + 437984363141271688997321104252791772948304/805543332968940263566905\ 52598231465503473*c_0101_3^27 + 30936033686957960943148623889799473\ 6656896/80554333296894026356690552598231465503473*c_0101_3^25 + 565207602014133320361129354153499029520174/805543332968940263566905\ 52598231465503473*c_0101_3^23 + 51028841537604051802458422358404499\ 11303189/80554333296894026356690552598231465503473*c_0101_3^21 + 2132961405873350494636485857910308097834473/26851444432298008785563\ 517532743821834491*c_0101_3^19 - 8494683776543680905630052168819739\ 357856230/80554333296894026356690552598231465503473*c_0101_3^17 - 6826331771373133162827013320329082973937652/26851444432298008785563\ 517532743821834491*c_0101_3^15 - 4289665630108901300799205256074929\ 162047465/80554333296894026356690552598231465503473*c_0101_3^13 + 9327823620167673093371987007123392730174254/80554333296894026356690\ 552598231465503473*c_0101_3^11 + 2720693884426273246809419145538999\ 498532255/80554333296894026356690552598231465503473*c_0101_3^9 + 512704893649072874811385335461284206368018/805543332968940263566905\ 52598231465503473*c_0101_3^7 + 145810166771852576237209535306620706\ 5154843/80554333296894026356690552598231465503473*c_0101_3^5 - 5893442713681959000500247734058207120115/80554333296894026356690552\ 598231465503473*c_0101_3^3 + 39143491557234217163805797822853639914\ 691/26851444432298008785563517532743821834491*c_0101_3, c_0101_0 - 365966301482433687889488633212422473502/80554333296894026356\ 690552598231465503473*c_0101_3^36 + 268259744395062292461068812586198679855/268514444322980087855635175\ 32743821834491*c_0101_3^34 + 72774584973883928529165985637371338567\ 19/26851444432298008785563517532743821834491*c_0101_3^32 + 76344300575329421468982419641178277979805/8055433329689402635669055\ 2598231465503473*c_0101_3^30 + 479447571517127328912912222935618690\ 37325/80554333296894026356690552598231465503473*c_0101_3^28 - 190759142034463232046022443288871102995544/805543332968940263566905\ 52598231465503473*c_0101_3^26 - 87305623287275642738888200342665133\ 099217/26851444432298008785563517532743821834491*c_0101_3^24 - 262603843813871672729599678588940612080357/805543332968940263566905\ 52598231465503473*c_0101_3^22 - 73233006785955102981505465411158751\ 4408616/26851444432298008785563517532743821834491*c_0101_3^20 - 1358332798320556748826195826962192789183634/26851444432298008785563\ 517532743821834491*c_0101_3^18 + 2186326754766031503124691482600405\ 220171783/80554333296894026356690552598231465503473*c_0101_3^16 + 11686182312683596721146707517944629152827122/8055433329689402635669\ 0552598231465503473*c_0101_3^14 + 689247699029440825767249325093248\ 2075049817/80554333296894026356690552598231465503473*c_0101_3^12 - 4811528153285188031123516725031519502472759/80554333296894026356690\ 552598231465503473*c_0101_3^10 - 1470588601716879152350980240111000\ 138242926/26851444432298008785563517532743821834491*c_0101_3^8 - 689007121925289145623453659928984073797398/805543332968940263566905\ 52598231465503473*c_0101_3^6 - 589254655720670544567335801849664456\ 545194/80554333296894026356690552598231465503473*c_0101_3^4 + 8288058855500750873364848039080659042042/26851444432298008785563517\ 532743821834491*c_0101_3^2 + 95452405931780284155900466358703324946\ 15/26851444432298008785563517532743821834491, c_0101_1 - 643346452936514485095232196268140061620/80554333296894026356\ 690552598231465503473*c_0101_3^36 + 700472532488215360228171439399650806173/268514444322980087855635175\ 32743821834491*c_0101_3^34 + 11914623934779261798355742191968471767\ 692/26851444432298008785563517532743821834491*c_0101_3^32 + 97341374227454893581746842416954866529481/8055433329689402635669055\ 2598231465503473*c_0101_3^30 + 234631541040809165456122895380263935\ 0069/80554333296894026356690552598231465503473*c_0101_3^28 - 278723166115216031711284871987620647708038/805543332968940263566905\ 52598231465503473*c_0101_3^26 - 55726783407131325192569821904540940\ 128641/26851444432298008785563517532743821834491*c_0101_3^24 - 466108694302971723085446585105260055930554/805543332968940263566905\ 52598231465503473*c_0101_3^22 - 11522662400774858002939574491357766\ 43164478/26851444432298008785563517532743821834491*c_0101_3^20 - 1237263097754977637215381082509120679436421/26851444432298008785563\ 517532743821834491*c_0101_3^18 + 5686869639037535138012779061799146\ 263831498/80554333296894026356690552598231465503473*c_0101_3^16 + 12260246046261840638284819452731079165519040/8055433329689402635669\ 0552598231465503473*c_0101_3^14 + 304916748274765814131716358911740\ 8873054175/80554333296894026356690552598231465503473*c_0101_3^12 - 3960887050274717800031622311016619650708746/80554333296894026356690\ 552598231465503473*c_0101_3^10 - 1014895831912312184159846651244820\ 612302801/26851444432298008785563517532743821834491*c_0101_3^8 - 1755263736308220438829547964161308882945936/80554333296894026356690\ 552598231465503473*c_0101_3^6 - 12844482118172191177194167820134152\ 9359053/80554333296894026356690552598231465503473*c_0101_3^4 - 54609208408874794501976831383984839545166/2685144443229800878556351\ 7532743821834491*c_0101_3^2 - 1388307502109156378338790622432732248\ 024/26851444432298008785563517532743821834491, c_0101_3^38 - 3*c_0101_3^36 - 57*c_0101_3^34 - 164*c_0101_3^32 - 13*c_0101_3^30 + 505*c_0101_3^28 + 339*c_0101_3^26 + 544*c_0101_3^24 + 5532*c_0101_3^22 + 6861*c_0101_3^20 - 10220*c_0101_3^18 - 23384*c_0101_3^16 - 3211*c_0101_3^14 + 13465*c_0101_3^12 + 3882*c_0101_3^10 - 412*c_0101_3^8 + 745*c_0101_3^6 - 354*c_0101_3^4 + 72*c_0101_3^2 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB