Magma V2.19-8 Tue Aug 20 2013 23:47:24 on localhost [Seed = 3835858604] Type ? for help. Type -D to quit. Loading file "L10a93__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L10a93 geometric_solution 11.03572684 oriented_manifold CS_known -0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 1 1 0 -1 0 1 0 0 1 -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 1 -2 -1 0 -1 2 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.191170877077 0.934621547204 0 5 7 6 0132 0132 0132 0132 0 0 1 1 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 1 0 0 -1 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.435714269109 0.925425042395 4 0 9 8 1023 0132 0132 0132 0 0 1 1 0 1 -1 0 -1 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 0 0 -1 1 0 2 0 -2 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.046762423656 0.640302831682 7 6 5 0 0132 0132 0132 0132 0 0 1 1 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 1 0 -1 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.435714269109 0.925425042395 5 2 0 9 0132 1023 0132 3120 0 0 1 1 0 1 -1 0 0 0 1 -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 -2 2 0 0 0 -2 2 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.018410979846 1.327666858005 4 1 8 3 0132 0132 0213 0132 0 0 1 1 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 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.191170877077 0.934621547204 10 3 1 11 0132 0132 0132 0132 0 0 1 1 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 -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.614116060474 1.137979465481 3 11 10 1 0132 0132 0132 0132 0 0 1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.614116060474 1.137979465481 9 5 2 9 1302 0213 0132 3012 0 0 0 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 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.656853733788 0.901734711857 4 8 8 2 3120 2031 1230 0132 0 0 1 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 1 0 -1 -2 0 0 2 -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.546667216848 0.462752606367 6 11 11 7 0132 1023 0132 0132 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 0 0 0 0 1 -1 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.053872507386 0.762735389430 10 7 6 10 1023 0132 0132 0132 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 0 0 0 0 0 -1 1 -1 0 1 0 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.053872507386 0.762735389430 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_0101_10'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0011_8'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_0011_8'], 'c_1001_9' : negation(d['c_0110_8']), 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_0101_10'], 's_0_10' : negation(d['1']), 's_3_10' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0110_8'], 'c_1100_8' : d['c_0110_8'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : negation(d['c_0101_9']), 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0101_9']), 'c_1100_3' : negation(d['c_0101_9']), 'c_1100_2' : d['c_0110_8'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : d['c_1100_1'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_9']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0011_8'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : negation(d['c_0101_9']), 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_10'], 'c_0110_10' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_8'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_9']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_8'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_9']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_8, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_9, c_0110_8, c_1001_0, c_1001_1, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 501588760596651943/5774569025291968*c_1100_1^14 - 1219930686061615169/11549138050583936*c_1100_1^13 - 80133117723713952529/23098276101167872*c_1100_1^12 - 707253450366410281141/46196552202335744*c_1100_1^11 - 1924367342207323480541/46196552202335744*c_1100_1^10 - 3687778051544915279933/46196552202335744*c_1100_1^9 - 5067869821293807588733/46196552202335744*c_1100_1^8 - 5055581252719927995529/46196552202335744*c_1100_1^7 - 326978514155613827803/4199686563848704*c_1100_1^6 - 1756346246018396923879/46196552202335744*c_1100_1^5 - 567759600824963596983/46196552202335744*c_1100_1^4 - 65623799933144487695/46196552202335744*c_1100_1^3 + 36344437809596375329/46196552202335744*c_1100_1^2 + 21208232148523736689/46196552202335744*c_1100_1 + 259100481180617655/46196552202335744, c_0011_0 - 1, c_0011_10 + 252713499857555/524960820481088*c_1100_1^14 + 698952501678505/524960820481088*c_1100_1^13 + 42481154917506851/2099843281924352*c_1100_1^12 + 240896901838932435/2099843281924352*c_1100_1^11 + 768939700426726275/2099843281924352*c_1100_1^10 + 1712722384705085915/2099843281924352*c_1100_1^9 + 2801071684058479535/2099843281924352*c_1100_1^8 + 3405997207667924547/2099843281924352*c_1100_1^7 + 3078703262730276921/2099843281924352*c_1100_1^6 + 2030385362188150313/2099843281924352*c_1100_1^5 + 946612855937222753/2099843281924352*c_1100_1^4 + 288691779739373825/2099843281924352*c_1100_1^3 + 30285154081361657/2099843281924352*c_1100_1^2 - 20371007114372811/2099843281924352*c_1100_1 - 1259202386133829/262480410240544, c_0011_8 - 195409789216619/524960820481088*c_1100_1^14 - 156653239220409/524960820481088*c_1100_1^13 - 30958801406760443/2099843281924352*c_1100_1^12 - 124864504477619507/2099843281924352*c_1100_1^11 - 323043984939122731/2099843281924352*c_1100_1^10 - 581632621050224619/2099843281924352*c_1100_1^9 - 734332271608485223/2099843281924352*c_1100_1^8 - 650654960818709635/2099843281924352*c_1100_1^7 - 378158913664910161/2099843281924352*c_1100_1^6 - 120758190730264729/2099843281924352*c_1100_1^5 - 7950938306848361/2099843281924352*c_1100_1^4 + 17186758807321279/2099843281924352*c_1100_1^3 + 3275862307801711/2099843281924352*c_1100_1^2 - 1774234844300421/2099843281924352*c_1100_1 - 379834317146323/262480410240544, c_0011_9 + 31154455478259/32810051280068*c_1100_1^14 + 147779191536443/131240205120272*c_1100_1^13 + 4981734704431103/131240205120272*c_1100_1^12 + 87268125445209603/524960820481088*c_1100_1^11 + 118911023278162277/262480410240544*c_1100_1^10 + 456040334390145449/524960820481088*c_1100_1^9 + 78479925622217437/65620102560136*c_1100_1^8 + 628256847788625707/524960820481088*c_1100_1^7 + 223764584251917641/262480410240544*c_1100_1^6 + 216456712771116343/524960820481088*c_1100_1^5 + 16215965848275519/131240205120272*c_1100_1^4 + 2664644981295057/524960820481088*c_1100_1^3 - 3654625868669865/262480410240544*c_1100_1^2 - 3837495965374573/524960820481088*c_1100_1 - 55174401606635/65620102560136, c_0101_0 - 1, c_0101_1 + 3549548749/2326252816*c_1100_1^14 + 5416971689/2326252816*c_1100_1^13 + 572133300189/9305011264*c_1100_1^12 + 2678235002015/9305011264*c_1100_1^11 + 7573140265505/9305011264*c_1100_1^10 + 15120172712755/9305011264*c_1100_1^9 + 21871841274129/9305011264*c_1100_1^8 + 23263151659383/9305011264*c_1100_1^7 + 18038615110475/9305011264*c_1100_1^6 + 9945376225841/9305011264*c_1100_1^5 + 3807599734511/9305011264*c_1100_1^4 + 808779040605/9305011264*c_1100_1^3 - 70610531717/9305011264*c_1100_1^2 - 121260819083/9305011264*c_1100_1 - 4026554869/1163126408, c_0101_10 - 28058091827873/262480410240544*c_1100_1^14 - 200681094311025/262480410240544*c_1100_1^13 - 5212231102788401/1049921640962176*c_1100_1^12 - 46335387219170207/1049921640962176*c_1100_1^11 - 168069052638899437/1049921640962176*c_1100_1^10 - 410126898372760659/1049921640962176*c_1100_1^9 - 722210971207032349/1049921640962176*c_1100_1^8 - 925448447422750287/1049921640962176*c_1100_1^7 - 867917734595726655/1049921640962176*c_1100_1^6 - 581024960826055113/1049921640962176*c_1100_1^5 - 266796104811584523/1049921640962176*c_1100_1^4 - 79732227456229813/1049921640962176*c_1100_1^3 - 5891681884653255/1049921640962176*c_1100_1^2 + 6384289411406123/1049921640962176*c_1100_1 + 455961072282173/131240205120272, c_0101_9 + 195409789216619/524960820481088*c_1100_1^14 + 156653239220409/524960820481088*c_1100_1^13 + 30958801406760443/2099843281924352*c_1100_1^12 + 124864504477619507/2099843281924352*c_1100_1^11 + 323043984939122731/2099843281924352*c_1100_1^10 + 581632621050224619/2099843281924352*c_1100_1^9 + 734332271608485223/2099843281924352*c_1100_1^8 + 650654960818709635/2099843281924352*c_1100_1^7 + 378158913664910161/2099843281924352*c_1100_1^6 + 120758190730264729/2099843281924352*c_1100_1^5 + 7950938306848361/2099843281924352*c_1100_1^4 - 17186758807321279/2099843281924352*c_1100_1^3 - 3275862307801711/2099843281924352*c_1100_1^2 - 325608437623931/2099843281924352*c_1100_1 + 117353906905779/262480410240544, c_0110_8 - 94883282221241/524960820481088*c_1100_1^14 - 8829080977391/524960820481088*c_1100_1^13 - 14857968866047401/2099843281924352*c_1100_1^12 - 49928878198340973/2099843281924352*c_1100_1^11 - 115368025752812593/2099843281924352*c_1100_1^10 - 174693434014163821/2099843281924352*c_1100_1^9 - 156777479247432765/2099843281924352*c_1100_1^8 - 50923709669675005/2099843281924352*c_1100_1^7 + 82971547930619117/2099843281924352*c_1100_1^6 + 142123544100455809/2099843281924352*c_1100_1^5 + 111832347928464637/2099843281924352*c_1100_1^4 + 58366587383792737/2099843281924352*c_1100_1^3 + 16003132233670717/2099843281924352*c_1100_1^2 + 2355699700053677/2099843281924352*c_1100_1 - 92856556714197/262480410240544, c_1001_0 - 3549548749/2326252816*c_1100_1^14 - 5416971689/2326252816*c_1100_1^13 - 572133300189/9305011264*c_1100_1^12 - 2678235002015/9305011264*c_1100_1^11 - 7573140265505/9305011264*c_1100_1^10 - 15120172712755/9305011264*c_1100_1^9 - 21871841274129/9305011264*c_1100_1^8 - 23263151659383/9305011264*c_1100_1^7 - 18038615110475/9305011264*c_1100_1^6 - 9945376225841/9305011264*c_1100_1^5 - 3807599734511/9305011264*c_1100_1^4 - 808779040605/9305011264*c_1100_1^3 + 70610531717/9305011264*c_1100_1^2 + 121260819083/9305011264*c_1100_1 + 4026554869/1163126408, c_1001_1 + 1, c_1100_1^15 + 2*c_1100_1^14 + 165/4*c_1100_1^13 + 208*c_1100_1^12 + 632*c_1100_1^11 + 1358*c_1100_1^10 + 2155*c_1100_1^9 + 2579*c_1100_1^8 + 4673/2*c_1100_1^7 + 1592*c_1100_1^6 + 806*c_1100_1^5 + 284*c_1100_1^4 + 54*c_1100_1^3 - 7*c_1100_1^2 - 31/4*c_1100_1 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB