Magma V2.19-8 Tue Aug 20 2013 16:17:32 on localhost [Seed = 2783197561] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1772 geometric_solution 5.45539411 oriented_manifold CS_known 0.0000000000000000 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.321784912520 0.364632157891 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.307073337847 0.589779863159 4 3 5 0 0132 3012 0132 0132 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 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.643443787455 0.962136729850 2 4 0 5 1230 0132 0132 3201 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 -1 0 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.643443787455 0.962136729850 2 3 6 6 0132 0132 0132 2310 0 0 0 0 0 -1 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.111195397101 1.625693792225 5 3 5 2 2310 2310 3201 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 -1 0 1 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.204205297967 1.221945562444 4 6 6 4 3201 1230 3012 0132 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 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.153753137773 0.468263612306 ==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_0011_6'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_6'], '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' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0101_2']), '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' : d['c_0011_6'], '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_0011_6']), '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_0'], '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_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 406897036779109/17531950101251*c_0101_2^21 - 223841985677076/17531950101251*c_0101_2^20 + 3480856646768231/17531950101251*c_0101_2^19 + 3341958934839351/17531950101251*c_0101_2^18 - 10961439894277153/17531950101251*c_0101_2^17 - 16485852792871467/17531950101251*c_0101_2^16 + 9887692895177846/17531950101251*c_0101_2^15 + 39682158688312346/17531950101251*c_0101_2^14 + 28555561032138069/17531950101251*c_0101_2^13 - 36263059191832653/17531950101251*c_0101_2^12 - 95597197625484811/17531950101251*c_0101_2^11 - 1704113105504511/473836489223*c_0101_2^10 + 90350318033622195/17531950101251*c_0101_2^9 + 189572225278773147/17531950101251*c_0101_2^8 + 40815274114483927/17531950101251*c_0101_2^7 - 143021058991607874/17531950101251*c_0101_2^6 - 119894908570497407/17531950101251*c_0101_2^5 + 22929371698189500/17531950101251*c_0101_2^4 + 53124237577468712/17531950101251*c_0101_2^3 + 3092603468137632/17531950101251*c_0101_2^2 + 1664059567468398/17531950101251*c_0101_2 - 2077328230588387/17531950101251, c_0011_0 - 1, c_0011_2 + 11904642572654/17531950101251*c_0101_2^21 - 1955433990603/17531950101251*c_0101_2^20 - 114107516445632/17531950101251*c_0101_2^19 - 10304591267386/17531950101251*c_0101_2^18 + 447543562212425/17531950101251*c_0101_2^17 + 141962552965240/17531950101251*c_0101_2^16 - 811122412223980/17531950101251*c_0101_2^15 - 606765463586699/17531950101251*c_0101_2^14 + 229050911317105/17531950101251*c_0101_2^13 + 1269673717621403/17531950101251*c_0101_2^12 + 1968049001862325/17531950101251*c_0101_2^11 - 15537302904015/473836489223*c_0101_2^10 - 4054663567438450/17531950101251*c_0101_2^9 - 2181801517180038/17531950101251*c_0101_2^8 + 3306015068469251/17531950101251*c_0101_2^7 + 3276277985197400/17531950101251*c_0101_2^6 - 807071303988204/17531950101251*c_0101_2^5 - 1430763806687853/17531950101251*c_0101_2^4 - 244894491322990/17531950101251*c_0101_2^3 + 155288301250262/17531950101251*c_0101_2^2 + 67074280776429/17531950101251*c_0101_2 + 13933062546912/17531950101251, c_0011_5 + 10868390079177/17531950101251*c_0101_2^21 - 8637576802577/17531950101251*c_0101_2^20 - 98447437705076/17531950101251*c_0101_2^19 + 53453513782582/17531950101251*c_0101_2^18 + 373783606042782/17531950101251*c_0101_2^17 - 114388596142013/17531950101251*c_0101_2^16 - 672046725946118/17531950101251*c_0101_2^15 - 100649120363623/17531950101251*c_0101_2^14 + 303188149102206/17531950101251*c_0101_2^13 + 928545192380359/17531950101251*c_0101_2^12 + 1138997074662234/17531950101251*c_0101_2^11 - 34604475537883/473836489223*c_0101_2^10 - 2834044997435480/17531950101251*c_0101_2^9 - 7187997108071/17531950101251*c_0101_2^8 + 3129641692649154/17531950101251*c_0101_2^7 + 847111029283536/17531950101251*c_0101_2^6 - 1554411926579128/17531950101251*c_0101_2^5 - 360196207823642/17531950101251*c_0101_2^4 + 132808378823794/17531950101251*c_0101_2^3 + 62890935644233/17531950101251*c_0101_2^2 + 22455535432432/17531950101251*c_0101_2 + 3273651641525/17531950101251, c_0011_6 - 11102924455134/17531950101251*c_0101_2^21 + 6014570868775/17531950101251*c_0101_2^20 + 100372911353937/17531950101251*c_0101_2^19 - 32052521451832/17531950101251*c_0101_2^18 - 371914147572455/17531950101251*c_0101_2^17 + 49253940443251/17531950101251*c_0101_2^16 + 630269684502090/17531950101251*c_0101_2^15 + 161546587434073/17531950101251*c_0101_2^14 - 162521445512621/17531950101251*c_0101_2^13 - 803145442217978/17531950101251*c_0101_2^12 - 1307377508606739/17531950101251*c_0101_2^11 + 23168323571057/473836489223*c_0101_2^10 + 2632144956319252/17531950101251*c_0101_2^9 + 376831000745495/17531950101251*c_0101_2^8 - 2518691029266843/17531950101251*c_0101_2^7 - 681985716454533/17531950101251*c_0101_2^6 + 1295540745447681/17531950101251*c_0101_2^5 + 32695593879764/17531950101251*c_0101_2^4 - 229292257777355/17531950101251*c_0101_2^3 + 5664223107536/17531950101251*c_0101_2^2 - 6053576153230/17531950101251*c_0101_2 + 8588440801648/17531950101251, c_0101_0 - 1040422792356/17531950101251*c_0101_2^21 - 12786536979222/17531950101251*c_0101_2^20 + 16632525550555/17531950101251*c_0101_2^19 + 116185852565845/17531950101251*c_0101_2^18 - 69780194658793/17531950101251*c_0101_2^17 - 430515862300196/17531950101251*c_0101_2^16 + 90941461255886/17531950101251*c_0101_2^15 + 728113641120072/17531950101251*c_0101_2^14 + 262820531258500/17531950101251*c_0101_2^13 - 182831093988139/17531950101251*c_0101_2^12 - 1172800738624146/17531950101251*c_0101_2^11 - 42845821408944/473836489223*c_0101_2^10 + 1138875380487562/17531950101251*c_0101_2^9 + 3208930275136396/17531950101251*c_0101_2^8 + 664344045313886/17531950101251*c_0101_2^7 - 2796874900096753/17531950101251*c_0101_2^6 - 1151544752449292/17531950101251*c_0101_2^5 + 954832430122296/17531950101251*c_0101_2^4 + 218263398011672/17531950101251*c_0101_2^3 + 81421621434594/17531950101251*c_0101_2^2 - 28930591223110/17531950101251*c_0101_2 - 21802274745179/17531950101251, c_0101_1 - 5313286428748/17531950101251*c_0101_2^21 - 3965083449043/17531950101251*c_0101_2^20 + 55823765803274/17531950101251*c_0101_2^19 + 47394140098988/17531950101251*c_0101_2^18 - 232678801589959/17531950101251*c_0101_2^17 - 220772707883624/17531950101251*c_0101_2^16 + 444013048221585/17531950101251*c_0101_2^15 + 536898069173642/17531950101251*c_0101_2^14 - 103047649971553/17531950101251*c_0101_2^13 - 652516547659744/17531950101251*c_0101_2^12 - 1287164106609861/17531950101251*c_0101_2^11 - 6022805995354/473836489223*c_0101_2^10 + 2439709021789386/17531950101251*c_0101_2^9 + 2077553494716738/17531950101251*c_0101_2^8 - 1560887764983950/17531950101251*c_0101_2^7 - 2646835388783413/17531950101251*c_0101_2^6 + 170756825029461/17531950101251*c_0101_2^5 + 1076489906791728/17531950101251*c_0101_2^4 + 68907157505592/17531950101251*c_0101_2^3 + 30858248963936/17531950101251*c_0101_2^2 - 41823230977666/17531950101251*c_0101_2 - 20920380338611/17531950101251, c_0101_2^22 - 10*c_0101_2^20 - 2*c_0101_2^19 + 41*c_0101_2^18 + 15*c_0101_2^17 - 80*c_0101_2^16 - 54*c_0101_2^15 + 37*c_0101_2^14 + 108*c_0101_2^13 + 167*c_0101_2^12 - 58*c_0101_2^11 - 383*c_0101_2^10 - 172*c_0101_2^9 + 354*c_0101_2^8 + 298*c_0101_2^7 - 156*c_0101_2^6 - 154*c_0101_2^5 + 25*c_0101_2^4 + 19*c_0101_2^3 + 6*c_0101_2^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB