Magma V2.19-8 Tue Aug 20 2013 16:14:46 on localhost [Seed = 846442068] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s762 geometric_solution 5.30210028 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 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 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.440673292106 0.539465313524 3 2 4 0 0132 3012 0132 0132 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 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.671528718789 0.871217205931 1 3 0 4 1230 0132 0132 3201 0 0 0 0 0 0 -1 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 -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.671528718789 0.871217205931 1 2 5 5 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.390831846392 1.461405643243 4 2 4 1 2031 2310 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.418060377035 1.175247832939 3 5 5 3 3201 3201 2310 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 -1 0 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.644913004698 0.495104741754 ==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_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_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_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' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 432070103743772124844/1527255976552400639*c_0101_1^19 - 1566310935308224682705/1527255976552400639*c_0101_1^18 - 7234437251523821280782/1527255976552400639*c_0101_1^17 + 21384238291585914179673/1527255976552400639*c_0101_1^16 + 768946177869486691983/89838586856023567*c_0101_1^15 - 28175223127362393727247/1527255976552400639*c_0101_1^14 - 30193530070605372209842/1527255976552400639*c_0101_1^13 - 108108841187094796814954/1527255976552400639*c_0101_1^12 + 247685389624301047405793/1527255976552400639*c_0101_1^11 + 300466803703398709472/3097882305380123*c_0101_1^10 - 21495746269264364529861/89838586856023567*c_0101_1^9 - 101466396733785257015278/1527255976552400639*c_0101_1^8 + 8743114457190795425211/52663999191462091*c_0101_1^7 + 2819649163516903887446/89838586856023567*c_0101_1^6 - 101122337094492646736100/1527255976552400639*c_0101_1^5 - 6165353960232687338544/1527255976552400639*c_0101_1^4 + 1212248116527493645270/89838586856023567*c_0101_1^3 - 3119529928832024328555/1527255976552400639*c_0101_1^2 - 1200700786227963725835/1527255976552400639*c_0101_1 + 730495104545256753378/1527255976552400639, c_0011_0 - 1, c_0011_1 + 4568495798573858747/1527255976552400639*c_0101_1^19 - 16187445191065321713/1527255976552400639*c_0101_1^18 - 76897327902012660213/1527255976552400639*c_0101_1^17 + 216589309464169601813/1527255976552400639*c_0101_1^16 + 8269263594436879610/89838586856023567*c_0101_1^15 - 244407304932036707298/1527255976552400639*c_0101_1^14 - 313591394438011564072/1527255976552400639*c_0101_1^13 - 1204018953326907988184/1527255976552400639*c_0101_1^12 + 2461999908271148348880/1527255976552400639*c_0101_1^11 + 3066821033790921933/3097882305380123*c_0101_1^10 - 192374498900737420792/89838586856023567*c_0101_1^9 - 1090361911628125049236/1527255976552400639*c_0101_1^8 + 72000534757887439434/52663999191462091*c_0101_1^7 + 29043989287804260862/89838586856023567*c_0101_1^6 - 768828512896190069437/1527255976552400639*c_0101_1^5 - 48614337389582417062/1527255976552400639*c_0101_1^4 + 8381310149287274840/89838586856023567*c_0101_1^3 - 27625376834776949856/1527255976552400639*c_0101_1^2 - 8469066272317879812/1527255976552400639*c_0101_1 + 5490372165518950391/1527255976552400639, c_0011_4 + 6027321206854484418/1527255976552400639*c_0101_1^19 - 22042178876514140990/1527255976552400639*c_0101_1^18 - 100357086000992991152/1527255976552400639*c_0101_1^17 + 302054545609268921075/1527255976552400639*c_0101_1^16 + 10291049685313038579/89838586856023567*c_0101_1^15 - 405995598441989789125/1527255976552400639*c_0101_1^14 - 411155997139285372563/1527255976552400639*c_0101_1^13 - 1487557082876549672386/1527255976552400639*c_0101_1^12 + 3515296176360680776209/1527255976552400639*c_0101_1^11 + 4041495294024876976/3097882305380123*c_0101_1^10 - 308900032358103678745/89838586856023567*c_0101_1^9 - 1282519635836911017473/1527255976552400639*c_0101_1^8 + 126304277436986091789/52663999191462091*c_0101_1^7 + 35633257601468769109/89838586856023567*c_0101_1^6 - 1474427088490849015179/1527255976552400639*c_0101_1^5 - 72439053419286916619/1527255976552400639*c_0101_1^4 + 17400585482377046459/89838586856023567*c_0101_1^3 - 44489863701293727100/1527255976552400639*c_0101_1^2 - 15103874988554505898/1527255976552400639*c_0101_1 + 9323884388844965941/1527255976552400639, c_0011_5 + 14047285541943333796/1527255976552400639*c_0101_1^19 - 51470016167363046959/1527255976552400639*c_0101_1^18 - 233027423701844907057/1527255976552400639*c_0101_1^17 + 703301158064415463767/1527255976552400639*c_0101_1^16 + 23303751330272532651/89838586856023567*c_0101_1^15 - 916894011002943165658/1527255976552400639*c_0101_1^14 - 959752765073396781792/1527255976552400639*c_0101_1^13 - 3495324551227558633395/1527255976552400639*c_0101_1^12 + 8194100248846063143680/1527255976552400639*c_0101_1^11 + 9079662978063078278/3097882305380123*c_0101_1^10 - 697345800829099943472/89838586856023567*c_0101_1^9 - 2999792299784884789957/1527255976552400639*c_0101_1^8 + 281105527967892896211/52663999191462091*c_0101_1^7 + 84149385523263295234/89838586856023567*c_0101_1^6 - 3204800878402187142572/1527255976552400639*c_0101_1^5 - 174782721827409030332/1527255976552400639*c_0101_1^4 + 36833961858171272797/89838586856023567*c_0101_1^3 - 96189566888362587199/1527255976552400639*c_0101_1^2 - 33677934818360213865/1527255976552400639*c_0101_1 + 22051478427628008933/1527255976552400639, c_0101_0 - 6059233099413652337/1527255976552400639*c_0101_1^19 + 22255284502301688376/1527255976552400639*c_0101_1^18 + 100707440727171383608/1527255976552400639*c_0101_1^17 - 305519403353376419484/1527255976552400639*c_0101_1^16 - 10291588868486620633/89838586856023567*c_0101_1^15 + 412806596205270534037/1527255976552400639*c_0101_1^14 + 424276367086970144690/1527255976552400639*c_0101_1^13 + 1494491209563993070495/1527255976552400639*c_0101_1^12 - 3571460254001620396586/1527255976552400639*c_0101_1^11 - 4081416192265100299/3097882305380123*c_0101_1^10 + 311474342405529059462/89838586856023567*c_0101_1^9 + 1375792980904554937982/1527255976552400639*c_0101_1^8 - 127419556648635242499/52663999191462091*c_0101_1^7 - 39865324958212361958/89838586856023567*c_0101_1^6 + 1478509347824049981613/1527255976552400639*c_0101_1^5 + 91191524620373276287/1527255976552400639*c_0101_1^4 - 17626872768225721401/89838586856023567*c_0101_1^3 + 42369416224277568582/1527255976552400639*c_0101_1^2 + 18748659812352680015/1527255976552400639*c_0101_1 - 9884914804693940614/1527255976552400639, c_0101_1^20 - 3*c_0101_1^19 - 19*c_0101_1^18 + 39*c_0101_1^17 + 61*c_0101_1^16 - 46*c_0101_1^15 - 110*c_0101_1^14 - 294*c_0101_1^13 + 416*c_0101_1^12 + 698*c_0101_1^11 - 629*c_0101_1^10 - 757*c_0101_1^9 + 437*c_0101_1^8 + 472*c_0101_1^7 - 163*c_0101_1^6 - 158*c_0101_1^5 + 38*c_0101_1^4 + 22*c_0101_1^3 - 7*c_0101_1^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB