Magma V2.19-8 Tue Aug 20 2013 16:16:59 on localhost [Seed = 2648441160] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1240 geometric_solution 5.13703167 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 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 0.294360671488 0.310118242514 0 1 0 1 0132 2310 2310 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 0 0 0 0 0 0 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.405144500896 0.603599668995 4 3 5 0 0132 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 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.483390003697 1.021561363933 2 4 0 5 1230 0132 0132 3201 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 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.483390003697 1.021561363933 2 3 4 4 0132 0132 1230 3012 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 -1 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 0 0 0 0.950973942469 1.352288607947 6 3 6 2 0132 2310 2310 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 0 0 0 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.311285694349 2.054075641565 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 1 0 -1 0 0 1 -1 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 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.395028689833 0.154708916847 ==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_0101_2'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], '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_2']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1701439674271572256748/8654109480049730983*c_0101_5^15 + 3718290474599379820448/8654109480049730983*c_0101_5^14 - 20988798556753062524969/8654109480049730983*c_0101_5^13 - 2323733342976442223505/786737225459066453*c_0101_5^12 + 123082850901299035171371/8654109480049730983*c_0101_5^11 + 75874574350547902406794/8654109480049730983*c_0101_5^10 - 244996427937621171088369/8654109480049730983*c_0101_5^9 + 34143888785378020701636/8654109480049730983*c_0101_5^8 + 145763948411036405524215/8654109480049730983*c_0101_5^7 - 257397087733100470967468/8654109480049730983*c_0101_5^6 + 69707914277035985674316/8654109480049730983*c_0101_5^5 + 170407167336441799483094/8654109480049730983*c_0101_5^4 - 113528002287960775280575/8654109480049730983*c_0101_5^3 - 134286326073038586042/665700729234594691*c_0101_5^2 + 17256797576268824601526/8654109480049730983*c_0101_5 - 2147002918851464397712/8654109480049730983, c_0011_0 - 1, c_0011_2 + 484124458823422432/665700729234594691*c_0101_5^15 + 1251361467067927288/665700729234594691*c_0101_5^14 - 5472531308365523496/665700729234594691*c_0101_5^13 - 860784644839505442/60518248112235881*c_0101_5^12 + 31228856235842983326/665700729234594691*c_0101_5^11 + 34175261161380963649/665700729234594691*c_0101_5^10 - 56024785622867639858/665700729234594691*c_0101_5^9 - 13186017444310282557/665700729234594691*c_0101_5^8 + 36142078344530877953/665700729234594691*c_0101_5^7 - 58379312132548097360/665700729234594691*c_0101_5^6 - 3362132159665900823/665700729234594691*c_0101_5^5 + 47687230701902728809/665700729234594691*c_0101_5^4 - 14067821422807172202/665700729234594691*c_0101_5^3 - 5489841969518508838/665700729234594691*c_0101_5^2 + 3237408984915438173/665700729234594691*c_0101_5 - 133685897002368256/665700729234594691, c_0011_5 + 13829006707734709956/8654109480049730983*c_0101_5^15 + 28495460622719322724/8654109480049730983*c_0101_5^14 - 175010952512402778067/8654109480049730983*c_0101_5^13 - 17080971792664338932/786737225459066453*c_0101_5^12 + 1034202547482632611350/8654109480049730983*c_0101_5^11 + 501765497464624205477/8654109480049730983*c_0101_5^10 - 2114042920146656164084/8654109480049730983*c_0101_5^9 + 494831955160443628192/8654109480049730983*c_0101_5^8 + 1239641254251137016988/8654109480049730983*c_0101_5^7 - 2242365017659152055925/8654109480049730983*c_0101_5^6 + 771096070047946428992/8654109480049730983*c_0101_5^5 + 1392527897726641803823/8654109480049730983*c_0101_5^4 - 1107869661214670808310/8654109480049730983*c_0101_5^3 + 3232990782314802228/665700729234594691*c_0101_5^2 + 175789855711521140156/8654109480049730983*c_0101_5 - 30948173183229741260/8654109480049730983, c_0101_0 + 21402424068314590676/8654109480049730983*c_0101_5^15 + 46154540543000275220/8654109480049730983*c_0101_5^14 - 265787562921233356703/8654109480049730983*c_0101_5^13 - 28645215574868455920/786737225459066453*c_0101_5^12 + 1561881353153524108234/8654109480049730983*c_0101_5^11 + 918621364024006432150/8654109480049730983*c_0101_5^10 - 3133141601949883203552/8654109480049730983*c_0101_5^9 + 486414771605899894561/8654109480049730983*c_0101_5^8 + 1855234601398718517415/8654109480049730983*c_0101_5^7 - 3285399105781277664726/8654109480049730983*c_0101_5^6 + 953983856724816372575/8654109480049730983*c_0101_5^5 + 2178223459697407296131/8654109480049730983*c_0101_5^4 - 1486220111701895533322/8654109480049730983*c_0101_5^3 - 710760965399576654/665700729234594691*c_0101_5^2 + 224479232854639337546/8654109480049730983*c_0101_5 - 34469755796887948591/8654109480049730983, c_0101_1 + 10013235093659480028/8654109480049730983*c_0101_5^15 + 22754838947206500096/8654109480049730983*c_0101_5^14 - 121998784184638093845/8654109480049730983*c_0101_5^13 - 14774311988754137497/786737225459066453*c_0101_5^12 + 714455447371881697641/8654109480049730983*c_0101_5^11 + 520294333484072353075/8654109480049730983*c_0101_5^10 - 1418291481136545650952/8654109480049730983*c_0101_5^9 + 31093293561977401386/8654109480049730983*c_0101_5^8 + 880957701031513538280/8654109480049730983*c_0101_5^7 - 1406058257588820132007/8654109480049730983*c_0101_5^6 + 280317285480539792018/8654109480049730983*c_0101_5^5 + 1058555585878746541888/8654109480049730983*c_0101_5^4 - 544879658572026316013/8654109480049730983*c_0101_5^3 - 5591224196402012387/665700729234594691*c_0101_5^2 + 83905503910950699756/8654109480049730983*c_0101_5 - 4258071720245982722/8654109480049730983, c_0101_2 + 19322876285173712348/8654109480049730983*c_0101_5^15 + 41875871594471352572/8654109480049730983*c_0101_5^14 - 239455417911115163777/8654109480049730983*c_0101_5^13 - 26041830527968899236/786737225459066453*c_0101_5^12 + 1407568558806964906559/8654109480049730983*c_0101_5^11 + 839118031604909585720/8654109480049730983*c_0101_5^10 - 2824549316544001599963/8654109480049730983*c_0101_5^9 + 434064124550598001271/8654109480049730983*c_0101_5^8 + 1705313285655598757241/8654109480049730983*c_0101_5^7 - 2970001797966074665778/8654109480049730983*c_0101_5^6 + 820757867787168399365/8654109480049730983*c_0101_5^5 + 1970626898844726030830/8654109480049730983*c_0101_5^4 - 1355573776258994623801/8654109480049730983*c_0101_5^3 - 1598941660403147848/665700729234594691*c_0101_5^2 + 217416883500678122660/8654109480049730983*c_0101_5 - 34700834361018455247/8654109480049730983, c_0101_5^16 + 2*c_0101_5^15 - 51/4*c_0101_5^14 - 51/4*c_0101_5^13 + 301/4*c_0101_5^12 + 125/4*c_0101_5^11 - 153*c_0101_5^10 + 187/4*c_0101_5^9 + 167/2*c_0101_5^8 - 168*c_0101_5^7 + 137/2*c_0101_5^6 + 377/4*c_0101_5^5 - 173/2*c_0101_5^4 + 43/4*c_0101_5^3 + 45/4*c_0101_5^2 - 7/2*c_0101_5 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB