Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 2985307493] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1392 geometric_solution 5.24108057 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.175562483724 0.527977178856 0 2 2 0 0132 0132 3201 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 -1 0 1 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.066504910811 0.800052587565 1 1 3 4 2310 0132 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 1 0 -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.637283553882 0.272413305105 4 5 6 2 1230 0132 0132 0132 0 0 0 0 0 1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687645070531 1.297704508360 5 3 2 6 2310 3012 0132 0132 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 -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.687645070531 1.297704508360 5 3 4 5 3201 0132 3201 2310 0 0 0 0 0 -1 0 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 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.707619235032 0.656040624228 6 6 4 3 1230 3012 0132 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 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.127844253655 0.656625928651 ==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' : negation(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' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_1100_2'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_1100_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_1100_2'], 'c_1100_2' : d['c_1100_2'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_5, c_1100_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 35024772504927909203928059676/549668725990361100903943877*c_1100_2^\ 14 + 17668253662356482422699106297/28929932946861110573891783*c_110\ 0_2^13 + 45115827918029917135889624824/18954093999667624169101513*c\ _1100_2^12 + 417233276077399554936595361740/78524103712908728700563\ 411*c_1100_2^11 + 2861791571515113129813089696150/54966872599036110\ 0903943877*c_1100_2^10 - 3801950237356530372496965473317/5496687259\ 90361100903943877*c_1100_2^9 - 19202682947142896550140039752597/549\ 668725990361100903943877*c_1100_2^8 - 4807277875432808735391363181952/78524103712908728700563411*c_1100_2\ ^7 - 28704965717105377868303642059865/549668725990361100903943877*c\ _1100_2^6 + 1151577871478905807056720712978/54966872599036110090394\ 3877*c_1100_2^5 + 35028016775268715388317487296205/5496687259903611\ 00903943877*c_1100_2^4 + 46285078427118207365016744118845/549668725\ 990361100903943877*c_1100_2^3 + 32424067597639900382391239345448/54\ 9668725990361100903943877*c_1100_2^2 + 12820139905448288593172779562633/549668725990361100903943877*c_1100\ _2 + 2289415169265800348191144037530/549668725990361100903943877, c_0011_0 - 1, c_0011_3 + 14170226247268420144926/16353834339661453122607*c_1100_2^14 + 141619463673108264847560/16353834339661453122607*c_1100_2^13 + 578891216317468336487281/16353834339661453122607*c_1100_2^12 + 192220708009790299784264/2336262048523064731801*c_1100_2^11 + 1461545185527592215388043/16353834339661453122607*c_1100_2^10 - 1409394199425022984113319/16353834339661453122607*c_1100_2^9 - 8580865345170990092650735/16353834339661453122607*c_1100_2^8 - 2279201635159786955329692/2336262048523064731801*c_1100_2^7 - 14581865896548174305556415/16353834339661453122607*c_1100_2^6 - 794611954193266417639009/16353834339661453122607*c_1100_2^5 + 16098552245638424041490931/16353834339661453122607*c_1100_2^4 + 22570972422830340925297348/16353834339661453122607*c_1100_2^3 + 16327568689863087567834962/16353834339661453122607*c_1100_2^2 + 6608754085257960632630028/16353834339661453122607*c_1100_2 + 1199541219588168120241962/16353834339661453122607, c_0011_6 + 846770902023114550235820/997583894719348640479027*c_1100_2^1\ 4 + 7739614414391278109912789/997583894719348640479027*c_1100_2^13 + 28491610250745194325250266/997583894719348640479027*c_1100_2^12 + 8646434418088874220884693/142511984959906948639861*c_1100_2^11 + 50869657691493344661502858/997583894719348640479027*c_1100_2^10 - 98574663593560956662259296/997583894719348640479027*c_1100_2^9 - 413423591709926358640106429/997583894719348640479027*c_1100_2^8 - 96012306334174590194772300/142511984959906948639861*c_1100_2^7 - 517840846075210802945387789/997583894719348640479027*c_1100_2^6 + 101255829656445984168601719/997583894719348640479027*c_1100_2^5 + 734192739998766724608736518/997583894719348640479027*c_1100_2^4 + 892109632171550703475524018/997583894719348640479027*c_1100_2^3 + 589319228758756995253549976/997583894719348640479027*c_1100_2^2 + 218585288779765449158887927/997583894719348640479027*c_1100_2 + 35637104219092419144255348/997583894719348640479027, c_0101_0 + 16749322216564907669227/16353834339661453122607*c_1100_2^14 + 161657198212011792764503/16353834339661453122607*c_1100_2^13 + 630699374831952019366911/16353834339661453122607*c_1100_2^12 + 198916774175947548874085/2336262048523064731801*c_1100_2^11 + 1323117390182074014525618/16353834339661453122607*c_1100_2^10 - 1955736855517863156273390/16353834339661453122607*c_1100_2^9 - 9316498397124835865784104/16353834339661453122607*c_1100_2^8 - 2271343320047796495153771/2336262048523064731801*c_1100_2^7 - 12914535751820411595359514/16353834339661453122607*c_1100_2^6 + 1595172122843615911668210/16353834339661453122607*c_1100_2^5 + 17055040140234847750804043/16353834339661453122607*c_1100_2^4 + 21303373026966765169517393/16353834339661453122607*c_1100_2^3 + 14274569107925909734010751/16353834339661453122607*c_1100_2^2 + 5371897147615194754334979/16353834339661453122607*c_1100_2 + 904000094918328855496845/16353834339661453122607, c_0101_1 + 4638076882204908780/7369911824993895053*c_1100_2^14 + 44441614590053757121/7369911824993895053*c_1100_2^13 + 171819778007712324073/7369911824993895053*c_1100_2^12 + 375722142730452362663/7369911824993895053*c_1100_2^11 + 346187679771445382571/7369911824993895053*c_1100_2^10 - 557116449080036989763/7369911824993895053*c_1100_2^9 - 2544194414917564905619/7369911824993895053*c_1100_2^8 - 4264584801702476764119/7369911824993895053*c_1100_2^7 - 3354557034167157522407/7369911824993895053*c_1100_2^6 + 616545778026256967534/7369911824993895053*c_1100_2^5 + 4698254255891235592715/7369911824993895053*c_1100_2^4 + 5658054396940062639596/7369911824993895053*c_1100_2^3 + 3635951378166935475058/7369911824993895053*c_1100_2^2 + 1273635240879276218947/7369911824993895053*c_1100_2 + 180963387456695808704/7369911824993895053, c_0101_5 - 1864898203352967080995983/997583894719348640479027*c_1100_2^\ 14 - 17718643455819192415863252/997583894719348640479027*c_1100_2^1\ 3 - 68322887773317179018118483/997583894719348640479027*c_1100_2^12 - 21566731115725607860386111/142511984959906948639861*c_1100_2^11 - 143549016589061315462770900/997583894719348640479027*c_1100_2^10 + 207491954699570587258666766/997583894719348640479027*c_1100_2^9 + 1002311388323338336853196481/997583894719348640479027*c_1100_2^8 + 246661789823465841862550853/142511984959906948639861*c_1100_2^7 + 1437252434194192771490938440/997583894719348640479027*c_1100_2^6 - 113881360853777729299312457/997583894719348640479027*c_1100_2^5 - 1824785720816202870982147768/997583894719348640479027*c_1100_2^4 - 2351592528632632536410314483/997583894719348640479027*c_1100_2^3 - 1615318938687158527928518418/997583894719348640479027*c_1100_2^2 - 624232608630930187622314061/997583894719348640479027*c_1100_2 - 107888816434415521579085266/997583894719348640479027, c_1100_2^15 + 114/11*c_1100_2^14 + 493/11*c_1100_2^13 + 1237/11*c_1100_2^12 + 1612/11*c_1100_2^11 - 497/11*c_1100_2^10 - 6964/11*c_1100_2^9 - 15263/11*c_1100_2^8 - 17228/11*c_1100_2^7 - 6625/11*c_1100_2^6 + 11315/11*c_1100_2^5 + 23105/11*c_1100_2^4 + 21466/11*c_1100_2^3 + 11907/11*c_1100_2^2 + 3823/11*c_1100_2 + 551/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB