Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 3734979097] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0252 geometric_solution 4.28772866 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.597063907834 0.026036179496 0 2 0 2 0132 0132 1023 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 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.554154925215 0.097927665688 3 1 4 1 0132 0132 0132 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 -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.227568574878 1.071710463309 2 4 5 4 0132 3201 0132 1230 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.765586458671 1.545293260165 3 5 3 2 3012 1023 2310 0132 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 0 0 1 -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.765586458671 1.545293260165 4 6 6 3 1023 0132 1023 0132 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730688869523 0.290903953625 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.401702712689 0.585400592965 ==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' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], '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' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_0011_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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 1044405730813773079661/5797188840163630083*c_0101_6^15 + 790014294383508923171/7729585120218173444*c_0101_6^14 + 151766560688222128745195/11594377680327260166*c_0101_6^13 - 698482605321089315381999/23188755360654520332*c_0101_6^12 - 581973379349208211793683/11594377680327260166*c_0101_6^11 + 930316095678583506478729/23188755360654520332*c_0101_6^10 - 233866287421210456760887/7729585120218173444*c_0101_6^9 - 1290860161024605057347815/11594377680327260166*c_0101_6^8 + 163083354603211824459888/1932396280054543361*c_0101_6^7 + 4356528383772744275825333/23188755360654520332*c_0101_6^6 + 487286651580550035673951/5797188840163630083*c_0101_6^5 + 362691208411542593043273/7729585120218173444*c_0101_6^4 + 450298638996080156806587/7729585120218173444*c_0101_6^3 + 258945826836407281463425/7729585120218173444*c_0101_6^2 + 188422078779415326736973/23188755360654520332*c_0101_6 + 3998096593280997325825/5797188840163630083, c_0011_0 - 1, c_0011_4 + 21336036348830696963/17391566520490890249*c_0101_6^15 - 11069774880485752465/17391566520490890249*c_0101_6^14 - 516690953167375409959/5797188840163630083*c_0101_6^13 + 1163719160360277398603/5797188840163630083*c_0101_6^12 + 673928542091834314722/1932396280054543361*c_0101_6^11 - 1433540935924509188797/5797188840163630083*c_0101_6^10 + 3448028100957969370765/17391566520490890249*c_0101_6^9 + 13052390669822684151118/17391566520490890249*c_0101_6^8 - 3001898297656357193656/5797188840163630083*c_0101_6^7 - 22466507368968391409279/17391566520490890249*c_0101_6^6 - 3907922662033239969085/5797188840163630083*c_0101_6^5 - 6303336742333389848819/17391566520490890249*c_0101_6^4 - 7072231241150350144801/17391566520490890249*c_0101_6^3 - 4470851261662119763523/17391566520490890249*c_0101_6^2 - 140370035417636135410/1932396280054543361*c_0101_6 - 129439931874900510077/17391566520490890249, c_0101_0 + 54141353396561196376/17391566520490890249*c_0101_6^15 - 37207602415187985554/17391566520490890249*c_0101_6^14 - 1309916333816194082989/5797188840163630083*c_0101_6^13 + 3174884956055518296758/5797188840163630083*c_0101_6^12 + 4658377885314358384765/5797188840163630083*c_0101_6^11 - 4625926494625369130542/5797188840163630083*c_0101_6^10 + 10838649150889229357507/17391566520490890249*c_0101_6^9 + 32349742427806969946516/17391566520490890249*c_0101_6^8 - 9867062655495668927483/5797188840163630083*c_0101_6^7 - 52828059043907098662409/17391566520490890249*c_0101_6^6 - 6142337928967194435544/5797188840163630083*c_0101_6^5 - 12075886608832018344922/17391566520490890249*c_0101_6^4 - 16299319870949191862795/17391566520490890249*c_0101_6^3 - 8021416420081937096077/17391566520490890249*c_0101_6^2 - 502926302841066943474/5797188840163630083*c_0101_6 - 74831828879637286687/17391566520490890249, c_0101_1 + 39570494655702635467/17391566520490890249*c_0101_6^15 - 13213024631166044945/17391566520490890249*c_0101_6^14 - 320515336344671378894/1932396280054543361*c_0101_6^13 + 661146006338316380173/1932396280054543361*c_0101_6^12 + 4293350733946284035249/5797188840163630083*c_0101_6^11 - 796627467994845106790/1932396280054543361*c_0101_6^10 + 4007607335953180885265/17391566520490890249*c_0101_6^9 + 27347912000365737177752/17391566520490890249*c_0101_6^8 - 4824902409463122464645/5797188840163630083*c_0101_6^7 - 47144983162031163260674/17391566520490890249*c_0101_6^6 - 2783155154450277831386/1932396280054543361*c_0101_6^5 - 12185691098457226017442/17391566520490890249*c_0101_6^4 - 14738259558311245272764/17391566520490890249*c_0101_6^3 - 9469924500523002567742/17391566520490890249*c_0101_6^2 - 892045759206944534915/5797188840163630083*c_0101_6 - 273261118828573433164/17391566520490890249, c_0101_3 + 61336002443471004368/17391566520490890249*c_0101_6^15 - 35755296544635052156/17391566520490890249*c_0101_6^14 - 495226447709010772651/1932396280054543361*c_0101_6^13 + 1147399172784473827608/1932396280054543361*c_0101_6^12 + 5669087340989368621531/5797188840163630083*c_0101_6^11 - 1577344480284400819087/1932396280054543361*c_0101_6^10 + 10461865286339643934273/17391566520490890249*c_0101_6^9 + 38183594911113034724080/17391566520490890249*c_0101_6^8 - 9982380522450633056593/5797188840163630083*c_0101_6^7 - 63710020719987807498887/17391566520490890249*c_0101_6^6 - 2956300983696722120480/1932396280054543361*c_0101_6^5 - 15351350952341546994137/17391566520490890249*c_0101_6^4 - 19726026984159257397310/17391566520490890249*c_0101_6^3 - 10856322011266555243112/17391566520490890249*c_0101_6^2 - 830536596421028618374/5797188840163630083*c_0101_6 - 202770239438061113630/17391566520490890249, c_0101_4 - 18546627511860650696/5797188840163630083*c_0101_6^15 + 9046567354940236022/5797188840163630083*c_0101_6^14 + 1348944573723289427855/5797188840163630083*c_0101_6^13 - 2994392747820050434729/5797188840163630083*c_0101_6^12 - 5454777722108693996587/5797188840163630083*c_0101_6^11 + 3837905225477261240318/5797188840163630083*c_0101_6^10 - 2703169038448510782158/5797188840163630083*c_0101_6^9 - 3956221344391340279335/1932396280054543361*c_0101_6^8 + 2656699794219834187394/1932396280054543361*c_0101_6^7 + 20246546351066078239208/5797188840163630083*c_0101_6^6 + 9832190703501662241356/5797188840163630083*c_0101_6^5 + 5152694412451549360891/5797188840163630083*c_0101_6^4 + 6284625886759371525146/5797188840163630083*c_0101_6^3 + 3809617826701106111038/5797188840163630083*c_0101_6^2 + 990204986355393391534/5797188840163630083*c_0101_6 + 30036355816554979959/1932396280054543361, c_0101_6^16 - 73*c_0101_6^14 + 126*c_0101_6^13 + 375*c_0101_6^12 - 69*c_0101_6^11 + 38*c_0101_6^10 + 720*c_0101_6^9 - 125*c_0101_6^8 - 1318*c_0101_6^7 - 1043*c_0101_6^6 - 511*c_0101_6^5 - 469*c_0101_6^4 - 365*c_0101_6^3 - 146*c_0101_6^2 - 28*c_0101_6 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB