Magma V2.19-8 Tue Aug 20 2013 23:39:11 on localhost [Seed = 2295262438] Type ? for help. Type -D to quit. Loading file "K13a4843__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a4843 geometric_solution 9.08936704 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 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 -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.026726592383 1.420588578359 0 3 4 5 0132 0213 0213 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391741910444 0.531505923349 6 0 8 7 0132 0132 0132 0132 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 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.313424308546 1.287102635750 7 9 1 0 3201 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378502969083 1.235190426688 9 1 0 5 2031 0213 0132 0321 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 -1 1 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.255418682320 0.570709425804 7 4 1 8 1230 0321 0132 3120 0 0 0 0 0 0 0 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 -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.665805148229 0.462395142869 2 7 10 10 0132 3012 0132 2310 0 0 0 0 0 1 -1 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 1 -1 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 1.022505876140 1.361577736447 6 5 2 3 1230 3012 0132 2310 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.692068658377 1.139035196428 5 9 9 2 3120 0321 3201 0132 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 0 0 0 0 0 -1 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.015058023388 0.535018936728 8 3 4 8 2310 0132 1302 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.015058023388 0.535018936728 6 10 10 6 3201 3201 2310 0132 0 0 0 0 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 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.685543380873 0.342505493861 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_7'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_7']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_5']), 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0011_5']), 'c_1001_8' : d['c_0011_4'], 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_7']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : d['c_0011_4'], 'c_1100_8' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_8']), 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : negation(d['c_0011_8']), 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : d['c_0011_3'], 'c_1100_10' : d['c_0011_10'], 'c_1010_7' : negation(d['c_0101_0']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : negation(d['c_0011_8']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_1001_1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : negation(d['1']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_6'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_7'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_4']), 'c_0101_8' : d['c_0011_8'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : d['c_0011_7'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0011_7'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : d['c_0011_0'], 'c_0110_6' : d['c_0011_7']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_5, c_0011_7, c_0011_8, c_0101_0, c_0101_6, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 131122615592696786438487123/34652099121900068128*c_1001_5^14 - 55685747381463097427378150641/9425370961156818530816*c_1001_5^13 + 4761943008135062274510847533/294542842536150579088*c_1001_5^12 - 6867995352865896514100766081/229887096613580939776*c_1001_5^11 + 143994000857967557634202901671/4712685480578409265408*c_1001_5^10 - 151982109755835685509031995729/2356342740289204632704*c_1001_5^9 + 169258736969051281990478228103/4712685480578409265408*c_1001_5^8 - 717312753309608796888406726521/9425370961156818530816*c_1001_5^7 + 4668889273141376183061408165/138608396487600272512*c_1001_5^6 - 30177409501422371980804485421/589085685072301158176*c_1001_5^5 + 7649614667333829208907553423/294542842536150579088*c_1001_5^4 - 10837936293911902613349456897/589085685072301158176*c_1001_5^3 + 1879492121531240420878434463/147271421268075289544*c_1001_5^2 - 399645693126557145410846971/147271421268075289544*c_1001_5 + 198170893072091597034476653/73635710634037644772, c_0011_0 - 1, c_0011_10 + 2340704542438749/1436675397112*c_1001_5^14 - 14260489429133183/22986806353792*c_1001_5^13 + 176368192712685535/22986806353792*c_1001_5^12 - 81894717933409229/22986806353792*c_1001_5^11 + 355814985645417765/22986806353792*c_1001_5^10 - 51297981033893343/5746701588448*c_1001_5^9 + 199805008814495727/11493403176896*c_1001_5^8 - 290414677343343617/22986806353792*c_1001_5^7 + 281012322725723495/22986806353792*c_1001_5^6 - 120173502880343269/11493403176896*c_1001_5^5 + 33904626769681769/5746701588448*c_1001_5^4 - 13460901234537861/2873350794224*c_1001_5^3 + 1416339288143665/718337698556*c_1001_5^2 - 313598342267389/359168849278*c_1001_5 + 123065961905283/359168849278, c_0011_3 + 7846655495967/1436675397112*c_1001_5^14 + 439140719849835/22986806353792*c_1001_5^13 + 755455962041497/22986806353792*c_1001_5^12 + 2195122330411493/22986806353792*c_1001_5^11 + 1708676915586243/22986806353792*c_1001_5^10 + 604362233312259/2873350794224*c_1001_5^9 + 836607005596245/11493403176896*c_1001_5^8 + 5904361664898285/22986806353792*c_1001_5^7 + 68994493254809/22986806353792*c_1001_5^6 + 2075694757692003/11493403176896*c_1001_5^5 - 362668239429303/5746701588448*c_1001_5^4 + 196925798794939/2873350794224*c_1001_5^3 - 22093760296743/359168849278*c_1001_5^2 + 1955341018042/179584424639*c_1001_5 - 7320798744439/359168849278, c_0011_4 - 171984386115/1436675397112*c_1001_5^14 + 319814219700273/22986806353792*c_1001_5^13 + 6434983046303/1436675397112*c_1001_5^12 + 1325980566348961/22986806353792*c_1001_5^11 + 173638422847249/11493403176896*c_1001_5^10 + 581751517601431/5746701588448*c_1001_5^9 + 153655519573537/11493403176896*c_1001_5^8 + 2202223670396665/22986806353792*c_1001_5^7 - 50954645948709/5746701588448*c_1001_5^6 + 147022012646345/2873350794224*c_1001_5^5 - 16128409864047/718337698556*c_1001_5^4 + 20758182770177/1436675397112*c_1001_5^3 - 2613032661558/179584424639*c_1001_5^2 + 593900819007/359168849278*c_1001_5 - 715283888872/179584424639, c_0011_5 - 45638283989061/2873350794224*c_1001_5^14 - 176423348236281/45973612707584*c_1001_5^13 - 1707957378715653/22986806353792*c_1001_5^12 - 419593493662493/45973612707584*c_1001_5^11 - 1769709227105173/11493403176896*c_1001_5^10 + 50146595582731/11493403176896*c_1001_5^9 - 4158104597608493/22986806353792*c_1001_5^8 + 1861173639014971/45973612707584*c_1001_5^7 - 2930740975902431/22986806353792*c_1001_5^6 + 691838902186839/11493403176896*c_1001_5^5 - 301043403192125/5746701588448*c_1001_5^4 + 30404742438525/718337698556*c_1001_5^3 - 7965709041887/718337698556*c_1001_5^2 + 9411502865965/718337698556*c_1001_5 - 150483747252/179584424639, c_0011_7 + 103540381892265/1436675397112*c_1001_5^14 + 1202812579935901/22986806353792*c_1001_5^13 + 5323875737320353/22986806353792*c_1001_5^12 + 4108607761311067/22986806353792*c_1001_5^11 + 5671127828306343/22986806353792*c_1001_5^10 + 1379170502536181/5746701588448*c_1001_5^9 + 82041154509799/11493403176896*c_1001_5^8 + 3677795791764719/22986806353792*c_1001_5^7 - 4409151613443999/22986806353792*c_1001_5^6 + 1109449634243861/11493403176896*c_1001_5^5 - 878650112451773/5746701588448*c_1001_5^4 + 204106260020273/2873350794224*c_1001_5^3 - 15648583062155/359168849278*c_1001_5^2 + 8484447428923/359168849278*c_1001_5 - 1037296548017/359168849278, c_0011_8 + 45638283989061/2873350794224*c_1001_5^14 + 176423348236281/45973612707584*c_1001_5^13 + 1707957378715653/22986806353792*c_1001_5^12 + 419593493662493/45973612707584*c_1001_5^11 + 1769709227105173/11493403176896*c_1001_5^10 - 50146595582731/11493403176896*c_1001_5^9 + 4158104597608493/22986806353792*c_1001_5^8 - 1861173639014971/45973612707584*c_1001_5^7 + 2930740975902431/22986806353792*c_1001_5^6 - 691838902186839/11493403176896*c_1001_5^5 + 301043403192125/5746701588448*c_1001_5^4 - 30404742438525/718337698556*c_1001_5^3 + 7965709041887/718337698556*c_1001_5^2 - 8693165167409/718337698556*c_1001_5 + 150483747252/179584424639, c_0101_0 + 416205975107853/2873350794224*c_1001_5^14 + 2664619625584737/45973612707584*c_1001_5^13 + 15016571350120793/22986806353792*c_1001_5^12 + 8885315047814357/45973612707584*c_1001_5^11 + 14439596578840651/11493403176896*c_1001_5^10 + 2310085999749989/11493403176896*c_1001_5^9 + 29518593337256581/22986806353792*c_1001_5^8 - 2590764763228419/45973612707584*c_1001_5^7 + 16111455270710419/22986806353792*c_1001_5^6 - 3004320505890571/11493403176896*c_1001_5^5 + 948659966909529/5746701588448*c_1001_5^4 - 68022860128395/359168849278*c_1001_5^3 - 4183566018129/718337698556*c_1001_5^2 - 32930969448257/718337698556*c_1001_5 - 1191281502242/179584424639, c_0101_6 - 85333806588441/2873350794224*c_1001_5^14 + 7475664747663107/45973612707584*c_1001_5^13 - 202247256278765/1436675397112*c_1001_5^12 + 41396079935402107/45973612707584*c_1001_5^11 - 7312960577121605/22986806353792*c_1001_5^10 + 24095478730742063/11493403176896*c_1001_5^9 - 12293446925057109/22986806353792*c_1001_5^8 + 120696618979389883/45973612707584*c_1001_5^7 - 9171627492845943/11493403176896*c_1001_5^6 + 1337651726569049/718337698556*c_1001_5^5 - 1258196482748203/1436675397112*c_1001_5^4 + 2034748800132561/2873350794224*c_1001_5^3 - 97222851056625/179584424639*c_1001_5^2 + 80910369552977/718337698556*c_1001_5 - 48934373049919/359168849278, c_1001_1 + 171984386115/1436675397112*c_1001_5^14 - 319814219700273/22986806353792*c_1001_5^13 - 6434983046303/1436675397112*c_1001_5^12 - 1325980566348961/22986806353792*c_1001_5^11 - 173638422847249/11493403176896*c_1001_5^10 - 581751517601431/5746701588448*c_1001_5^9 - 153655519573537/11493403176896*c_1001_5^8 - 2202223670396665/22986806353792*c_1001_5^7 + 50954645948709/5746701588448*c_1001_5^6 - 147022012646345/2873350794224*c_1001_5^5 + 16128409864047/718337698556*c_1001_5^4 - 20758182770177/1436675397112*c_1001_5^3 + 2613032661558/179584424639*c_1001_5^2 - 593900819007/359168849278*c_1001_5 + 715283888872/179584424639, c_1001_5^15 + 191/816*c_1001_5^14 + 1133/204*c_1001_5^13 + 233/272*c_1001_5^12 + 5437/408*c_1001_5^11 + 23/34*c_1001_5^10 + 7247/408*c_1001_5^9 - 1393/816*c_1001_5^8 + 239/17*c_1001_5^7 - 887/204*c_1001_5^6 + 665/102*c_1001_5^5 - 208/51*c_1001_5^4 + 82/51*c_1001_5^3 - 92/51*c_1001_5^2 + 8/51*c_1001_5 - 16/51 ], Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_5, c_0011_7, c_0011_8, c_0101_0, c_0101_6, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 675056/5982431*c_1001_1*c_1001_5^7 + 8927946/5982431*c_1001_1*c_1001_5^6 - 8490451/5982431*c_1001_1*c_1001_5^5 + 22653395/5982431*c_1001_1*c_1001_5^4 + 3193254/5982431*c_1001_1*c_1001_5^3 + 6328509/5982431*c_1001_1*c_1001_5^2 - 595797/5982431*c_1001_1*c_1001_5 + 6500573/5982431*c_1001_1 + 85105/65741*c_1001_5^7 - 51424/65741*c_1001_5^6 + 148974/65741*c_1001_5^5 + 160763/65741*c_1001_5^4 - 2435/65741*c_1001_5^3 + 22328/65741*c_1001_5^2 + 93221/65741*c_1001_5 + 81644/65741, c_0011_0 - 1, c_0011_10 + 2*c_1001_5^6 - 2*c_1001_5^5 + 5*c_1001_5^4 + 3*c_1001_5^2 - 3*c_1001_5 + 3, c_0011_3 + c_1001_1*c_1001_5^7 - c_1001_1*c_1001_5^6 + 2*c_1001_1*c_1001_5^5 + c_1001_1*c_1001_5^3 - 3*c_1001_1*c_1001_5^2 + c_1001_1*c_1001_5 + c_1001_1 - c_1001_5^7 + c_1001_5^6 - 2*c_1001_5^5 - c_1001_5^3 + 3*c_1001_5^2 - c_1001_5, c_0011_4 - c_1001_1 + 1, c_0011_5 + c_1001_1*c_1001_5^7 + 2*c_1001_1*c_1001_5^5 + 2*c_1001_1*c_1001_5^4 + 3*c_1001_1*c_1001_5^3 + c_1001_1*c_1001_5 + c_1001_1 - c_1001_5, c_0011_7 - c_1001_5^6 + c_1001_5^5 - 2*c_1001_5^4 - c_1001_5^2 + 3*c_1001_5 - 1, c_0011_8 + c_1001_5^7 + 2*c_1001_5^5 + 2*c_1001_5^4 + 3*c_1001_5^3 + c_1001_5 + 1, c_0101_0 + c_1001_1*c_1001_5^7 + 2*c_1001_1*c_1001_5^5 + 2*c_1001_1*c_1001_5^4 + 3*c_1001_1*c_1001_5^3 + c_1001_1*c_1001_5 + c_1001_1 - c_1001_5^7 - 2*c_1001_5^5 - 2*c_1001_5^4 - 3*c_1001_5^3 - 2*c_1001_5 - 1, c_0101_6 + c_1001_5^6 - c_1001_5^5 + 3*c_1001_5^4 + 3*c_1001_5^2 - c_1001_5 + 3, c_1001_1^2 - c_1001_1 + c_1001_5^2 + 1, c_1001_5^8 + 2*c_1001_5^6 + 2*c_1001_5^5 + 3*c_1001_5^4 + c_1001_5^2 + c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.300 Total time: 0.510 seconds, Total memory usage: 32.09MB