Magma V2.19-8 Tue Aug 20 2013 23:55:53 on localhost [Seed = 2134447937] Type ? for help. Type -D to quit. Loading file "L14n13363__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13363 geometric_solution 10.36296668 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 0 1 1 0 0 0 0 2 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 1 0 -1 1 0 0 -1 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.319977196719 1.075277250169 0 3 6 5 0132 1230 0132 0132 0 0 1 1 0 0 0 0 -2 0 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 -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.710142175895 0.260916130996 4 0 3 7 1230 0132 0213 0132 1 1 1 1 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 -2 0 0 2 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.912119549521 0.574754847273 5 2 1 0 0132 0213 3012 0132 1 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.033732451511 0.651368837254 8 2 0 6 0132 3012 0132 2031 1 0 1 1 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 2 1 -3 -1 0 1 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.924494912367 1.224777452829 3 6 1 8 0132 1023 0132 1023 0 0 1 1 0 0 0 0 1 0 0 -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 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.862003532148 0.849611542748 5 4 9 1 1023 1302 0132 0132 0 0 1 1 0 0 0 0 0 0 2 -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 0 0 0 0 0 1 -1 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522636042326 0.737359920603 10 11 2 11 0132 0132 0132 0213 1 1 0 1 0 0 0 0 0 0 0 0 1 -2 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 0 -1 0 1 3 -1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.259950490123 1.700125607401 4 9 10 5 0132 1023 3012 1023 0 0 1 1 0 0 -1 1 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 0 0 0 1 0 -1 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.026159727108 0.861295577138 8 10 11 6 1023 0321 1302 0132 0 0 1 1 0 0 0 0 0 0 2 -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 0 0 0 0 0 1 -1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.500315338680 1.349051395847 7 8 11 9 0132 1230 1023 0321 0 1 1 0 0 1 -1 0 0 0 0 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 1 -1 0 1 0 -1 0 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.589499388634 0.473735417486 9 7 10 7 2031 0132 1023 0213 1 0 1 0 0 0 0 0 0 0 1 -1 0 0 0 0 -2 2 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 -1 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.259950490123 1.700125607401 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_0101_11'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : d['c_0101_8'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_2_6' : d['1'], 's_2_7' : 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' : 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_0101_11'], 'c_1100_8' : negation(d['c_0101_11']), 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : d['c_1001_0'], 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_1001_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_0101_10']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : d['c_0101_3'], 's_3_1' : 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' : 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' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_1'], '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_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_10'], 'c_0011_10' : d['c_0011_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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0101_8, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 6006357174373153/1708702518020*c_1001_1^12 + 13610173010025476/427175629505*c_1001_1^11 + 73142663042250169/854351259010*c_1001_1^10 - 6344449131748291/341740503604*c_1001_1^9 - 183218466439293471/341740503604*c_1001_1^8 - 2214306015536762207/1708702518020*c_1001_1^7 - 286056663238100587/170870251802*c_1001_1^6 - 2321961318072393043/1708702518020*c_1001_1^5 - 1246188571241803631/1708702518020*c_1001_1^4 - 460736842031921147/1708702518020*c_1001_1^3 - 64018713630809933/854351259010*c_1001_1^2 - 7249102256012154/427175629505*c_1001_1 - 1026402360782114/427175629505, c_0011_0 - 1, c_0011_10 + 8684800387393/170870251802*c_1001_1^12 + 40677566882996/85435125901*c_1001_1^11 + 234221776910757/170870251802*c_1001_1^10 + 7920579541901/170870251802*c_1001_1^9 - 1363870156891133/170870251802*c_1001_1^8 - 1793968237177498/85435125901*c_1001_1^7 - 4930643301387713/170870251802*c_1001_1^6 - 2118604823786395/85435125901*c_1001_1^5 - 2393949287643699/170870251802*c_1001_1^4 - 458801528563314/85435125901*c_1001_1^3 - 258417937113425/170870251802*c_1001_1^2 - 60152379719465/170870251802*c_1001_1 - 4707983488088/85435125901, c_0011_3 - 19879115487647/341740503604*c_1001_1^12 - 90800737401429/170870251802*c_1001_1^11 - 248921528999541/170870251802*c_1001_1^10 + 64798325931729/341740503604*c_1001_1^9 + 3033588355553867/341740503604*c_1001_1^8 + 7575829154862943/341740503604*c_1001_1^7 + 2518153532370653/85435125901*c_1001_1^6 + 8438196090925697/341740503604*c_1001_1^5 + 4680393740969835/341740503604*c_1001_1^4 + 1776006572608811/341740503604*c_1001_1^3 + 123976623729281/85435125901*c_1001_1^2 + 28337569058813/85435125901*c_1001_1 + 4403878100977/85435125901, c_0011_4 + 4800323214661/170870251802*c_1001_1^12 + 39513486346095/170870251802*c_1001_1^11 + 41468556357119/85435125901*c_1001_1^10 - 103818938424603/170870251802*c_1001_1^9 - 334273746035350/85435125901*c_1001_1^8 - 598974718196486/85435125901*c_1001_1^7 - 1126843034572097/170870251802*c_1001_1^6 - 580762970164747/170870251802*c_1001_1^5 - 69318572782087/85435125901*c_1001_1^4 - 1768349901705/85435125901*c_1001_1^3 + 3070421434805/170870251802*c_1001_1^2 + 739560117093/85435125901*c_1001_1 + 535526334246/85435125901, c_0101_0 - 1, c_0101_1 + 3759480740067/341740503604*c_1001_1^12 + 16919045853267/170870251802*c_1001_1^11 + 22291877871831/85435125901*c_1001_1^10 - 27587092478005/341740503604*c_1001_1^9 - 575806772581127/341740503604*c_1001_1^8 - 1343046482689013/341740503604*c_1001_1^7 - 835081493671463/170870251802*c_1001_1^6 - 1290380779117523/341740503604*c_1001_1^5 - 649935575279967/341740503604*c_1001_1^4 - 225956185573737/341740503604*c_1001_1^3 - 30723318550073/170870251802*c_1001_1^2 - 6845929868033/170870251802*c_1001_1 - 401864339749/85435125901, c_0101_10 - 2717854644739/170870251802*c_1001_1^12 - 23153582437885/170870251802*c_1001_1^11 - 53986455866315/170870251802*c_1001_1^10 + 40547242132045/170870251802*c_1001_1^9 + 193145953751148/85435125901*c_1001_1^8 + 801165978925277/170870251802*c_1001_1^7 + 454771046495975/85435125901*c_1001_1^6 + 322009402602571/85435125901*c_1001_1^5 + 149003444298399/85435125901*c_1001_1^4 + 96307483563929/170870251802*c_1001_1^3 + 12359492474867/85435125901*c_1001_1^2 + 4923162691069/170870251802*c_1001_1 + 161338189715/85435125901, c_0101_11 + 1589167020909/341740503604*c_1001_1^12 + 14700363618933/341740503604*c_1001_1^11 + 10280519827757/85435125901*c_1001_1^10 - 3456371064629/341740503604*c_1001_1^9 - 124557876866335/170870251802*c_1001_1^8 - 156549937727491/85435125901*c_1001_1^7 - 827224701829787/341740503604*c_1001_1^6 - 680693310327939/341740503604*c_1001_1^5 - 183177850785837/170870251802*c_1001_1^4 - 33601160796679/85435125901*c_1001_1^3 - 37111075708135/341740503604*c_1001_1^2 - 2155312002348/85435125901*c_1001_1 - 289190826159/85435125901, c_0101_3 + 6918838063631/341740503604*c_1001_1^12 + 33272132674677/170870251802*c_1001_1^11 + 50464105334815/85435125901*c_1001_1^10 + 44244806152975/341740503604*c_1001_1^9 - 1108335849178295/341740503604*c_1001_1^8 - 3122369457942845/341740503604*c_1001_1^7 - 2244468389688653/170870251802*c_1001_1^6 - 4010192181056231/341740503604*c_1001_1^5 - 2341672663073231/341740503604*c_1001_1^4 - 918435162329273/341740503604*c_1001_1^3 - 130776912298293/170870251802*c_1001_1^2 - 30955821765015/170870251802*c_1001_1 - 2530737590097/85435125901, c_0101_8 - 22421307137073/341740503604*c_1001_1^12 - 101729829038209/170870251802*c_1001_1^11 - 137268231761383/85435125901*c_1001_1^10 + 106760406250535/341740503604*c_1001_1^9 + 3414538192968749/341740503604*c_1001_1^8 + 8332078220700815/341740503604*c_1001_1^7 + 5423835519131057/170870251802*c_1001_1^6 + 8869263729615153/341740503604*c_1001_1^5 + 4782764102943521/341740503604*c_1001_1^4 + 1767955868451631/341740503604*c_1001_1^3 + 244509744629167/170870251802*c_1001_1^2 + 55488364623113/170870251802*c_1001_1 + 3922324991784/85435125901, c_1001_0 - 19061912543999/341740503604*c_1001_1^12 - 88504102353223/170870251802*c_1001_1^11 - 250400519281271/170870251802*c_1001_1^10 + 13893050456137/341740503604*c_1001_1^9 + 2971254157994815/341740503604*c_1001_1^8 + 7651795621905319/341740503604*c_1001_1^7 + 2588255402719995/85435125901*c_1001_1^6 + 8772242959090677/341740503604*c_1001_1^5 + 4897550250865711/341740503604*c_1001_1^4 + 1869179460366547/341740503604*c_1001_1^3 + 132531088509764/85435125901*c_1001_1^2 + 30688757909965/85435125901*c_1001_1 + 4559939622244/85435125901, c_1001_1^13 + 128/13*c_1001_1^12 + 410/13*c_1001_1^11 + 189/13*c_1001_1^10 - 155*c_1001_1^9 - 6367/13*c_1001_1^8 - 10106/13*c_1001_1^7 - 10183/13*c_1001_1^6 - 535*c_1001_1^5 - 255*c_1001_1^4 - 1142/13*c_1001_1^3 - 304/13*c_1001_1^2 - 64/13*c_1001_1 - 8/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.330 seconds, Total memory usage: 32.09MB