Magma V2.19-8 Tue Aug 20 2013 23:38:19 on localhost [Seed = 4055340510] Type ? for help. Type -D to quit. Loading file "K13n2182__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2182 geometric_solution 9.12264475 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 2 0132 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735961719959 0.910722021696 0 4 6 5 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.700235084295 0.834449130891 7 0 0 5 0132 0132 1230 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 -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.538460727065 1.140866360968 6 8 7 0 2310 0132 1230 0132 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 1 -1 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.141032913070 0.660033872248 7 1 8 9 1023 0132 3120 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 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.023742398553 1.149010262686 6 2 1 9 0321 2310 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.319410262359 1.341878874930 5 8 3 1 0321 2310 3201 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 1 -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 1.139723523505 0.904946336418 2 4 9 3 0132 1023 1302 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 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.311227845730 0.442201086155 9 3 4 6 1302 0132 3120 3201 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 2 -2 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.237906397417 0.536912759066 7 8 4 5 2031 2031 0132 0213 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 -2 2 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.453384048735 0.672629351073 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : negation(d['c_1001_0']), 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0110_8']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_3'], 'c_1001_2' : negation(d['c_0101_2']), 'c_1001_9' : negation(d['c_0110_8']), 'c_1001_8' : d['c_1001_0'], 's_2_8' : d['1'], 's_2_9' : 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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : 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' : d['1'], 's_0_5' : negation(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_9'], 'c_1100_8' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_9'], 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_5']), 'c_1010_7' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0110_8']), 'c_1010_5' : d['c_0011_9'], 'c_1010_4' : negation(d['c_0110_8']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_0101_2']), 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_0101_3'], 's_3_1' : negation(d['1']), 's_3_0' : 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' : d['1'], 's_3_6' : negation(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' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_3']), 'c_0101_8' : negation(d['c_0011_9']), 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_9']), 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_5'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0011_9, c_0101_0, c_0101_2, c_0101_3, c_0110_8, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 6018638778928648/83221050870639*c_1001_0^12 + 28328346751154537/83221050870639*c_1001_0^11 - 155349885584853095/915431559577029*c_1001_0^10 - 1132082778278463788/915431559577029*c_1001_0^9 + 2268197554442264501/1830863119154058*c_1001_0^8 + 1335725938781524142/915431559577029*c_1001_0^7 - 179998028416211029/107697830538474*c_1001_0^6 - 581378900295154517/915431559577029*c_1001_0^5 + 1815370642380220859/1830863119154058*c_1001_0^4 - 20737796117378606/915431559577029*c_1001_0^3 - 236225225713812559/915431559577029*c_1001_0^2 + 3377998452436990/33904872576927*c_1001_0 - 23458035384968477/1830863119154058, c_0011_0 - 1, c_0011_3 + 106703854/46099537*c_1001_0^12 - 457790838/46099537*c_1001_0^11 + 1596803300/507094907*c_1001_0^10 + 16191250962/507094907*c_1001_0^9 - 9770701925/507094907*c_1001_0^8 - 16394514472/507094907*c_1001_0^7 + 7955081349/507094907*c_1001_0^6 + 2288729086/507094907*c_1001_0^5 - 3199723158/507094907*c_1001_0^4 + 2729000353/507094907*c_1001_0^3 - 1021397461/507094907*c_1001_0^2 - 1718983845/507094907*c_1001_0 + 478566042/507094907, c_0011_5 + 540098237/46099537*c_1001_0^12 - 3167945713/46099537*c_1001_0^11 + 54364894977/507094907*c_1001_0^10 + 36298958325/507094907*c_1001_0^9 - 130481346854/507094907*c_1001_0^8 + 7300251089/507094907*c_1001_0^7 + 123958171580/507094907*c_1001_0^6 - 41703921115/507094907*c_1001_0^5 - 53396454693/507094907*c_1001_0^4 + 29123880614/507094907*c_1001_0^3 + 7702577957/507094907*c_1001_0^2 - 7725742720/507094907*c_1001_0 + 1903895451/507094907, c_0011_6 + 656859308/46099537*c_1001_0^12 - 3810383559/46099537*c_1001_0^11 + 63926363232/507094907*c_1001_0^10 + 44925384795/507094907*c_1001_0^9 - 148787752540/507094907*c_1001_0^8 - 3520043987/507094907*c_1001_0^7 + 145146141248/507094907*c_1001_0^6 - 39284800469/507094907*c_1001_0^5 - 65193729592/507094907*c_1001_0^4 + 31706803098/507094907*c_1001_0^3 + 11278220487/507094907*c_1001_0^2 - 9824325813/507094907*c_1001_0 + 2252899393/507094907, c_0011_9 + 796359562/46099537*c_1001_0^12 - 4506828354/46099537*c_1001_0^11 + 70790931814/507094907*c_1001_0^10 + 64012536502/507094907*c_1001_0^9 - 175357506893/507094907*c_1001_0^8 - 19178602902/507094907*c_1001_0^7 + 175937299370/507094907*c_1001_0^6 - 37552470178/507094907*c_1001_0^5 - 84615785510/507094907*c_1001_0^4 + 33911926278/507094907*c_1001_0^3 + 16018312044/507094907*c_1001_0^2 - 11010419015/507094907*c_1001_0 + 2040697110/507094907, c_0101_0 - 271329018/46099537*c_1001_0^12 + 1600452688/46099537*c_1001_0^11 - 28176356212/507094907*c_1001_0^10 - 15768787987/507094907*c_1001_0^9 + 63774738374/507094907*c_1001_0^8 - 6312712664/507094907*c_1001_0^7 - 59603396386/507094907*c_1001_0^6 + 22499739674/507094907*c_1001_0^5 + 25815040872/507094907*c_1001_0^4 - 14425592920/507094907*c_1001_0^3 - 4627507570/507094907*c_1001_0^2 + 3533819824/507094907*c_1001_0 - 289264655/507094907, c_0101_2 - 567987698/46099537*c_1001_0^12 + 3366575555/46099537*c_1001_0^11 - 60682329249/507094907*c_1001_0^10 - 28328964540/507094907*c_1001_0^9 + 132655255490/507094907*c_1001_0^8 - 25493802225/507094907*c_1001_0^7 - 117751682520/507094907*c_1001_0^6 + 60654094095/507094907*c_1001_0^5 + 48037625692/507094907*c_1001_0^4 - 38039635850/507094907*c_1001_0^3 - 5753571409/507094907*c_1001_0^2 + 10203204195/507094907*c_1001_0 - 1719850059/507094907, c_0101_3 - 54087993/46099537*c_1001_0^12 + 196086002/46099537*c_1001_0^11 - 103376991/507094907*c_1001_0^10 - 3384215106/507094907*c_1001_0^9 - 7544576326/507094907*c_1001_0^8 + 4518574103/507094907*c_1001_0^7 + 17324592451/507094907*c_1001_0^6 - 664033853/507094907*c_1001_0^5 - 12872242690/507094907*c_1001_0^4 + 1473651282/507094907*c_1001_0^3 + 5656116694/507094907*c_1001_0^2 - 86066742/507094907*c_1001_0 - 624774286/507094907, c_0110_8 + 656859308/46099537*c_1001_0^12 - 3810383559/46099537*c_1001_0^11 + 63926363232/507094907*c_1001_0^10 + 44925384795/507094907*c_1001_0^9 - 148787752540/507094907*c_1001_0^8 - 3520043987/507094907*c_1001_0^7 + 145146141248/507094907*c_1001_0^6 - 39284800469/507094907*c_1001_0^5 - 65193729592/507094907*c_1001_0^4 + 31706803098/507094907*c_1001_0^3 + 11278220487/507094907*c_1001_0^2 - 9824325813/507094907*c_1001_0 + 2252899393/507094907, c_1001_0^13 - 6*c_1001_0^12 + 111/11*c_1001_0^11 + 45/11*c_1001_0^10 - 240/11*c_1001_0^9 + 56/11*c_1001_0^8 + 213/11*c_1001_0^7 - 122/11*c_1001_0^6 - 78/11*c_1001_0^5 + 75/11*c_1001_0^4 + 2/11*c_1001_0^3 - 19/11*c_1001_0^2 + 7/11*c_1001_0 - 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.300 seconds, Total memory usage: 32.09MB