Magma V2.19-8 Tue Aug 20 2013 23:49:34 on localhost [Seed = 3566386727] Type ? for help. Type -D to quit. Loading file "K11n69__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n69 geometric_solution 11.95604922 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 -1 1 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.952304596721 1.371762895476 0 4 6 5 0132 1023 0132 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 -1 1 0 0 0 0 0 0 0 0 8 -9 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.196249964791 0.794021000367 7 0 9 8 0132 0132 0132 0132 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 0 -1 0 0 0 0 1 0 0 -1 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.108531403062 1.037013831865 5 7 6 0 0132 1230 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.418395103484 0.319235170559 1 10 0 9 1023 0132 0132 1302 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 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521260073119 0.709213281019 3 11 1 9 0132 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.512108826449 0.921637738569 12 12 3 1 0132 1230 1023 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 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.943660968683 0.873057013925 2 10 3 12 0132 1023 3012 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.172540713604 0.582108753019 11 11 2 10 3201 2031 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 0 1 -1 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.448310632982 1.086036046932 5 10 4 2 3120 0321 2031 0132 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 0 0 -1 9 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280558561852 0.991888485532 7 4 8 9 1023 0132 1230 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 0 0 0 0 0 0 0 9 0 -9 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.728704073014 0.560970423756 8 5 12 8 1302 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371799558997 0.731911375212 6 11 6 7 0132 3201 3012 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.429027084196 0.528253181436 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_9']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : d['c_0110_4'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_4']), 'c_1001_8' : d['c_0101_7'], 'c_1010_12' : d['c_0011_9'], 'c_1010_11' : d['c_0110_4'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : negation(d['1']), 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_1'], 'c_0101_11' : negation(d['c_0011_12']), 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : d['1'], 's_2_1' : 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' : d['1'], 's_2_7' : d['1'], 's_2_12' : 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' : negation(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_9' : negation(d['c_1001_10']), 'c_1100_8' : negation(d['c_1001_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : d['c_0101_9'], 'c_1100_3' : d['c_0101_9'], 'c_1100_2' : negation(d['c_1001_10']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : negation(d['c_0110_4']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_11'], 's_3_1' : 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' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_2']), 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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_12'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_7']), 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_12' : d['c_0101_6'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0110_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0101_7, c_0101_9, c_0110_4, c_1001_10, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 11663932604993064600/6017108234501*c_1001_2^19 + 47162378937833973754/6017108234501*c_1001_2^18 + 3004995353532118605/462854479577*c_1001_2^17 - 370099929057616214168/6017108234501*c_1001_2^16 - 72996579025555065588/6017108234501*c_1001_2^15 + 2737496480204670810025/12034216469002*c_1001_2^14 - 194633290581397295828/6017108234501*c_1001_2^13 - 10735134183248034740419/24068432938004*c_1001_2^12 + 337954612900004016215/1851417918308*c_1001_2^11 + 3182591211601259851116/6017108234501*c_1001_2^10 - 40904612899748586987637/96273731752016*c_1001_2^9 - 26985855014190451388629/96273731752016*c_1001_2^8 + 6375497012975011255365/13753390250288*c_1001_2^7 - 5744097120899443265073/96273731752016*c_1001_2^6 - 24468911130369995124449/96273731752016*c_1001_2^5 + 1775411844683565762257/7405671673232*c_1001_2^4 - 10520859970779156147167/96273731752016*c_1001_2^3 + 395182435668746082683/13753390250288*c_1001_2^2 - 404620869436837048803/96273731752016*c_1001_2 + 25707741271009389749/96273731752016, c_0011_0 - 1, c_0011_11 + 971433312/20137*c_1001_2^19 - 3900475667/20137*c_1001_2^18 - 515518931/3098*c_1001_2^17 + 30685153610/20137*c_1001_2^16 + 27504302497/80548*c_1001_2^15 - 226877221773/40274*c_1001_2^14 + 106503490251/161096*c_1001_2^13 + 445170921993/40274*c_1001_2^12 - 105592187673/24784*c_1001_2^11 - 4238966611843/322192*c_1001_2^10 + 205826129857/20137*c_1001_2^9 + 143082610118/20137*c_1001_2^8 - 454925475445/40274*c_1001_2^7 + 206022453829/161096*c_1001_2^6 + 1011871063219/161096*c_1001_2^5 - 36037825387/6196*c_1001_2^4 + 421970955047/161096*c_1001_2^3 - 27411380781/40274*c_1001_2^2 + 31655497891/322192*c_1001_2 - 1980962999/322192, c_0011_12 + 275449827/20137*c_1001_2^19 - 2192418175/40274*c_1001_2^18 - 151304795/3098*c_1001_2^17 + 34585514271/80548*c_1001_2^16 + 8909980581/80548*c_1001_2^15 - 255402345883/161096*c_1001_2^14 + 22098339701/161096*c_1001_2^13 + 1001926022745/322192*c_1001_2^12 - 1717405036/1549*c_1001_2^11 - 1195835147009/322192*c_1001_2^10 + 892982276971/322192*c_1001_2^9 + 656978977255/322192*c_1001_2^8 - 1001799381807/322192*c_1001_2^7 + 98325799935/322192*c_1001_2^6 + 564947438849/322192*c_1001_2^5 - 39657051385/24784*c_1001_2^4 + 230676148423/322192*c_1001_2^3 - 29872632867/161096*c_1001_2^2 + 8620964877/322192*c_1001_2 - 135246149/80548, c_0011_9 + 810882773/20137*c_1001_2^19 - 6582962733/40274*c_1001_2^18 - 410478697/3098*c_1001_2^17 + 103152306007/80548*c_1001_2^16 + 18730068389/80548*c_1001_2^15 - 762906505579/161096*c_1001_2^14 + 120093338921/161096*c_1001_2^13 + 2989778503405/322192*c_1001_2^12 - 48845996647/12392*c_1001_2^11 - 1768704345387/161096*c_1001_2^10 + 181586356300/20137*c_1001_2^9 + 115768451400/20137*c_1001_2^8 - 1572945371393/161096*c_1001_2^7 + 108690124217/80548*c_1001_2^6 + 427682718503/80548*c_1001_2^5 - 62703809203/12392*c_1001_2^4 + 373416787145/161096*c_1001_2^3 - 196926361663/322192*c_1001_2^2 + 14414755053/161096*c_1001_2 - 914559625/161096, c_0101_0 - 776928195/20137*c_1001_2^19 + 6094296497/40274*c_1001_2^18 + 226192842/1549*c_1001_2^17 - 96733781663/80548*c_1001_2^16 - 7637543843/20137*c_1001_2^15 + 714603936695/161096*c_1001_2^14 - 11081609857/80548*c_1001_2^13 - 2811757677137/322192*c_1001_2^12 + 65179492727/24784*c_1001_2^11 + 1694076727817/161096*c_1001_2^10 - 2318284725781/322192*c_1001_2^9 - 1944761365317/322192*c_1001_2^8 + 2692215443701/322192*c_1001_2^7 - 149477554879/322192*c_1001_2^6 - 1573919857481/322192*c_1001_2^5 + 105119974559/24784*c_1001_2^4 - 590522237131/322192*c_1001_2^3 + 18461806211/40274*c_1001_2^2 - 2560408919/40274*c_1001_2 + 1225420871/322192, c_0101_1 - 627625820/20137*c_1001_2^19 + 2582994277/20137*c_1001_2^18 + 298224347/3098*c_1001_2^17 - 20137220323/20137*c_1001_2^16 - 10334552509/80548*c_1001_2^15 + 74514919862/20137*c_1001_2^14 - 123567917495/161096*c_1001_2^13 - 583254587987/80548*c_1001_2^12 + 84963030777/24784*c_1001_2^11 + 2740967495379/322192*c_1001_2^10 - 1200967933447/161096*c_1001_2^9 - 690272310697/161096*c_1001_2^8 + 1270754629477/161096*c_1001_2^7 - 26410545828/20137*c_1001_2^6 - 336657156521/80548*c_1001_2^5 + 50989632449/12392*c_1001_2^4 - 154615265761/80548*c_1001_2^3 + 82779579817/161096*c_1001_2^2 - 24585095189/322192*c_1001_2 + 1582168181/322192, c_0101_2 - 16*c_1001_2^19 + 72*c_1001_2^18 + 24*c_1001_2^17 - 532*c_1001_2^16 + 132*c_1001_2^15 + 1922*c_1001_2^14 - 1126*c_1001_2^13 - 3555*c_1001_2^12 + 3192*c_1001_2^11 + 3669*c_1001_2^10 - 5506*c_1001_2^9 - 701*c_1001_2^8 + 4885*c_1001_2^7 - 2249*c_1001_2^6 - 1871*c_1001_2^5 + 2941*c_1001_2^4 - 1809*c_1001_2^3 + 650*c_1001_2^2 - 144*c_1001_2 + 17, c_0101_6 + 207868614/20137*c_1001_2^19 - 841230738/20137*c_1001_2^18 - 106529551/3098*c_1001_2^17 + 6596186409/20137*c_1001_2^16 + 5083973345/80548*c_1001_2^15 - 48760331185/40274*c_1001_2^14 + 28750500391/161096*c_1001_2^13 + 191049085263/80548*c_1001_2^12 - 24431365431/24784*c_1001_2^11 - 226234388023/80548*c_1001_2^10 + 45917419649/20137*c_1001_2^9 + 119130862563/80548*c_1001_2^8 - 49933619950/20137*c_1001_2^7 + 53484762887/161096*c_1001_2^6 + 109074946859/80548*c_1001_2^5 - 1990386717/1549*c_1001_2^4 + 94652063277/161096*c_1001_2^3 - 3116950261/20137*c_1001_2^2 + 7299473393/322192*c_1001_2 - 28936133/20137, c_0101_7 - 1011110912/20137*c_1001_2^19 + 4024110050/20137*c_1001_2^18 + 278477015/1549*c_1001_2^17 - 31774797247/20137*c_1001_2^16 - 16472100341/40274*c_1001_2^15 + 234978790915/40274*c_1001_2^14 - 39410395319/80548*c_1001_2^13 - 923744601493/80548*c_1001_2^12 + 50029643133/12392*c_1001_2^11 + 276442348643/20137*c_1001_2^10 - 408405803973/40274*c_1001_2^9 - 153396959484/20137*c_1001_2^8 + 460056713887/40274*c_1001_2^7 - 82005241337/80548*c_1001_2^6 - 130594103398/20137*c_1001_2^5 + 9042512920/1549*c_1001_2^4 - 207821544531/80548*c_1001_2^3 + 53032994533/80548*c_1001_2^2 - 15010719963/161096*c_1001_2 + 114708964/20137, c_0101_9 + 7819213/20137*c_1001_2^19 + 28296285/40274*c_1001_2^18 - 15060099/1549*c_1001_2^17 + 148127717/80548*c_1001_2^16 + 1431574646/20137*c_1001_2^15 - 1289523089/161096*c_1001_2^14 - 19998459307/80548*c_1001_2^13 + 13061154319/322192*c_1001_2^12 + 11713568455/24784*c_1001_2^11 - 11796339187/80548*c_1001_2^10 - 89273081979/161096*c_1001_2^9 + 54266477947/161096*c_1001_2^8 + 27196418025/80548*c_1001_2^7 - 31155541327/80548*c_1001_2^6 - 3100869861/161096*c_1001_2^5 + 1418318845/6196*c_1001_2^4 - 26376243453/161096*c_1001_2^3 + 18404620437/322192*c_1001_2^2 - 3364659603/322192*c_1001_2 + 129785469/161096, c_0110_4 - 1236968081/20137*c_1001_2^19 + 9926494869/40274*c_1001_2^18 + 657704287/3098*c_1001_2^17 - 156172126767/80548*c_1001_2^16 - 35327344519/80548*c_1001_2^15 + 1154172776803/161096*c_1001_2^14 - 133577132215/161096*c_1001_2^13 - 4526838271381/322192*c_1001_2^12 + 33468749999/6196*c_1001_2^11 + 2692612097523/161096*c_1001_2^10 - 1045765459827/80548*c_1001_2^9 - 363069407925/40274*c_1001_2^8 + 2311667597979/161096*c_1001_2^7 - 33037130145/20137*c_1001_2^6 - 160581416665/20137*c_1001_2^5 + 91712058081/12392*c_1001_2^4 - 538182613915/161096*c_1001_2^3 + 280509619491/322192*c_1001_2^2 - 10162516127/80548*c_1001_2 + 1278368127/161096, c_1001_10 - 824232512/20137*c_1001_2^19 + 3223824446/20137*c_1001_2^18 + 242840307/1549*c_1001_2^17 - 25630170406/20137*c_1001_2^16 - 16794327657/40274*c_1001_2^15 + 94745183180/20137*c_1001_2^14 - 7281196707/80548*c_1001_2^13 - 373413630953/40274*c_1001_2^12 + 33179503153/12392*c_1001_2^11 + 1805784082913/161096*c_1001_2^10 - 301884610309/40274*c_1001_2^9 - 262433852533/40274*c_1001_2^8 + 353855945425/40274*c_1001_2^7 - 29803171033/80548*c_1001_2^6 - 418110714321/80548*c_1001_2^5 + 6862483982/1549*c_1001_2^4 - 152001847133/80548*c_1001_2^3 + 9347191834/20137*c_1001_2^2 - 10150345787/161096*c_1001_2 + 589699141/161096, c_1001_2^20 - 9/2*c_1001_2^19 - 3/2*c_1001_2^18 + 133/4*c_1001_2^17 - 33/4*c_1001_2^16 - 961/8*c_1001_2^15 + 563/8*c_1001_2^14 + 3555/16*c_1001_2^13 - 399/2*c_1001_2^12 - 3669/16*c_1001_2^11 + 2753/8*c_1001_2^10 + 701/16*c_1001_2^9 - 4885/16*c_1001_2^8 + 2249/16*c_1001_2^7 + 1871/16*c_1001_2^6 - 2941/16*c_1001_2^5 + 1809/16*c_1001_2^4 - 325/8*c_1001_2^3 + 143/16*c_1001_2^2 - 9/8*c_1001_2 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.180 Total time: 3.390 seconds, Total memory usage: 83.62MB