Magma V2.19-8 Wed Aug 21 2013 01:02:30 on localhost [Seed = 324339942] Type ? for help. Type -D to quit. Loading file "L14n15055__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n15055 geometric_solution 12.24650737 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 0132 1 1 0 1 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 0 1 8 0 -8 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.707530592886 0.954392999378 0 4 0 5 0132 0132 3012 0132 1 1 1 0 0 1 0 -1 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 -7 -1 8 -8 0 1 7 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498726271189 0.676171662907 6 4 7 0 0132 1230 0132 0132 1 1 1 1 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 0 0 0 0 0 -8 8 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.791519775856 0.674449144250 4 4 0 5 0132 1302 0132 2103 1 1 1 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 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.707530592886 0.954392999378 3 1 2 3 0132 0132 3012 2031 1 1 0 1 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 0 7 -7 0 0 0 0 0 1 1 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.293524819231 0.957837044846 8 9 1 3 0132 0132 0132 2103 1 1 1 1 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 8 -8 0 7 0 -7 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.418344623437 1.353376198810 2 10 8 11 0132 0132 0132 0132 1 1 1 1 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 0 0 0 0 0 8 -8 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539324242696 0.371000532837 11 9 12 2 0132 3201 0132 0132 1 1 1 1 0 0 0 0 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 0 0 0 0 0 -8 8 0 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539324242696 0.371000532837 5 10 9 6 0132 3012 0132 0132 1 1 1 1 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 0 0 -8 8 -7 0 7 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.062948837461 1.171042118446 12 5 7 8 2103 0132 2310 0132 1 1 1 1 0 1 0 -1 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 -8 0 8 0 0 7 -7 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.062948837461 1.171042118446 8 6 12 12 1230 0132 1302 2031 1 1 1 1 0 1 -1 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 -8 8 0 0 0 0 0 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.835250434117 0.824615221548 7 11 6 11 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.679593789642 1.111298455271 10 10 9 7 2031 1302 2103 0132 1 1 1 1 0 0 0 0 1 0 0 -1 -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 -8 0 0 8 7 0 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.835250434117 0.824615221548 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_7'], 'c_1001_10' : d['c_0101_7'], 'c_1001_12' : negation(d['c_0011_5']), 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : negation(d['c_0011_10']), 'c_1001_7' : negation(d['c_0101_12']), 'c_1001_6' : d['c_0011_12'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_2']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : negation(d['c_0101_7']), 'c_1010_10' : d['c_0011_12'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_12']), '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' : negation(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' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_8']), 'c_1100_3' : negation(d['c_0101_8']), 'c_1100_2' : negation(d['c_0101_8']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_11']), 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : d['c_0101_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0101_7'], 'c_1010_5' : negation(d['c_1001_2']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_2'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0011_10']), 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0011_12'], 'c_1100_8' : negation(d['c_0011_11']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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_8']), 's_1_7' : 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' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_5']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_10'], 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : negation(d['c_0011_5']), 'c_0110_12' : d['c_0101_7'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_12'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_8'], 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_8'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_11'], '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_10, c_0011_11, c_0011_12, c_0011_5, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_4, c_0101_7, c_0101_8, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 966332076759409329143743/2965103875472364369920*c_0101_8^13 + 10123780437041702001782817/3706379844340455462400*c_0101_8^12 - 27895015216990633765959837/7412759688680910924800*c_0101_8^11 - 151247905067092664556383123/7412759688680910924800*c_0101_8^10 - 202141165082232064319091001/14825519377361821849600*c_0101_8^9 + 54123290159814765086701979/7412759688680910924800*c_0101_8^8 + 964512007819596661445357/741275968868091092480*c_0101_8^7 - 59271002900294805191525441/3706379844340455462400*c_0101_8^6 - 196955738817251476999905037/14825519377361821849600*c_0101_8^5 - 3810839881764825000601641/1853189922170227731200*c_0101_8^4 + 883769189552744470428991/1482551937736182184960*c_0101_8^3 - 345695544882049621995247/1482551937736182184960*c_0101_8^2 - 4271840955941467059393599/14825519377361821849600*c_0101_8 - 50010859268464292518629/1482551937736182184960, c_0011_0 - 1, c_0011_10 + c_0101_8, c_0011_11 + 36764606418058115/27073629250112896*c_0101_8^13 - 169751526506643899/13536814625056448*c_0101_8^12 + 709158557215691659/27073629250112896*c_0101_8^11 + 870238503931258569/13536814625056448*c_0101_8^10 - 11419067679203809/13536814625056448*c_0101_8^9 - 265073246789794049/6768407312528224*c_0101_8^8 + 277636461864025663/13536814625056448*c_0101_8^7 + 159177550262983795/3384203656264112*c_0101_8^6 + 429284518848005079/27073629250112896*c_0101_8^5 - 102433557760634625/13536814625056448*c_0101_8^4 - 106993390130653369/27073629250112896*c_0101_8^3 - 12440605860511373/13536814625056448*c_0101_8^2 + 5847253118892519/3384203656264112*c_0101_8 + 993288944319875/6768407312528224, c_0011_12 + 10840472721543635/13536814625056448*c_0101_8^13 - 106792071259107647/13536814625056448*c_0101_8^12 + 132542296331678465/6768407312528224*c_0101_8^11 + 441835708192899351/13536814625056448*c_0101_8^10 - 477748777648028587/13536814625056448*c_0101_8^9 - 236253348176798439/6768407312528224*c_0101_8^8 + 65736561866905153/1692101828132056*c_0101_8^7 + 149744354058378267/6768407312528224*c_0101_8^6 - 329838548810983015/13536814625056448*c_0101_8^5 - 168981388874556611/13536814625056448*c_0101_8^4 + 29462036949378123/6768407312528224*c_0101_8^3 - 17710305605651085/13536814625056448*c_0101_8^2 - 12844450668749665/13536814625056448*c_0101_8 + 399180152662173/846050914066028, c_0011_5 - 5368995180555/6377393380864*c_0101_8^13 + 52008548952541/6377393380864*c_0101_8^12 - 15383675632883/797174172608*c_0101_8^11 - 29383457885247/797174172608*c_0101_8^10 + 181779827177017/6377393380864*c_0101_8^9 + 276890914543457/6377393380864*c_0101_8^8 - 12074181587873/398587086304*c_0101_8^7 - 13849416884703/398587086304*c_0101_8^6 + 108093025865967/6377393380864*c_0101_8^5 + 127804930809863/6377393380864*c_0101_8^4 - 695240761891/797174172608*c_0101_8^3 + 149304804949/797174172608*c_0101_8^2 - 2415905823197/6377393380864*c_0101_8 - 5867423272069/6377393380864, c_0101_0 - 1, c_0101_1 + 323483426025/797174172608*c_0101_8^13 - 7318757816445/1594348345216*c_0101_8^12 + 796460074561/49823385788*c_0101_8^11 + 6588638483/797174172608*c_0101_8^10 - 30014075849467/797174172608*c_0101_8^9 + 26447447400541/1594348345216*c_0101_8^8 + 5275098964787/99646771576*c_0101_8^7 - 5800344007603/398587086304*c_0101_8^6 - 26882610214821/797174172608*c_0101_8^5 + 22844878434349/1594348345216*c_0101_8^4 + 2422625382385/99646771576*c_0101_8^3 - 61686771645/797174172608*c_0101_8^2 - 1618295691225/797174172608*c_0101_8 - 681704653613/1594348345216, c_0101_11 + 5368995180555/6377393380864*c_0101_8^13 - 52008548952541/6377393380864*c_0101_8^12 + 15383675632883/797174172608*c_0101_8^11 + 29383457885247/797174172608*c_0101_8^10 - 181779827177017/6377393380864*c_0101_8^9 - 276890914543457/6377393380864*c_0101_8^8 + 12074181587873/398587086304*c_0101_8^7 + 13849416884703/398587086304*c_0101_8^6 - 108093025865967/6377393380864*c_0101_8^5 - 127804930809863/6377393380864*c_0101_8^4 + 695240761891/797174172608*c_0101_8^3 - 149304804949/797174172608*c_0101_8^2 + 2415905823197/6377393380864*c_0101_8 + 5867423272069/6377393380864, c_0101_12 + 10840472721543635/13536814625056448*c_0101_8^13 - 106792071259107647/13536814625056448*c_0101_8^12 + 132542296331678465/6768407312528224*c_0101_8^11 + 441835708192899351/13536814625056448*c_0101_8^10 - 477748777648028587/13536814625056448*c_0101_8^9 - 236253348176798439/6768407312528224*c_0101_8^8 + 65736561866905153/1692101828132056*c_0101_8^7 + 149744354058378267/6768407312528224*c_0101_8^6 - 329838548810983015/13536814625056448*c_0101_8^5 - 168981388874556611/13536814625056448*c_0101_8^4 + 29462036949378123/6768407312528224*c_0101_8^3 - 17710305605651085/13536814625056448*c_0101_8^2 - 12844450668749665/13536814625056448*c_0101_8 + 399180152662173/846050914066028, c_0101_4 + 1671117766785/1594348345216*c_0101_8^13 - 8058560046661/797174172608*c_0101_8^12 + 18884843441377/797174172608*c_0101_8^11 + 9167555762713/199293543152*c_0101_8^10 - 49905704318401/1594348345216*c_0101_8^9 - 41687023924021/797174172608*c_0101_8^8 + 13518277983823/398587086304*c_0101_8^7 + 4360746342927/99646771576*c_0101_8^6 - 26939798039089/1594348345216*c_0101_8^5 - 21188704557455/797174172608*c_0101_8^4 - 166654470255/797174172608*c_0101_8^3 + 434067999885/199293543152*c_0101_8^2 + 757818400913/1594348345216*c_0101_8 - 778145735783/797174172608, c_0101_7 - 5682747064019405/13536814625056448*c_0101_8^13 + 245501311206985799/54147258500225792*c_0101_8^12 - 381506317600410691/27073629250112896*c_0101_8^11 - 110337373140791719/13536814625056448*c_0101_8^10 + 957666346070923319/27073629250112896*c_0101_8^9 + 466759428130221631/54147258500225792*c_0101_8^8 - 446910547437629947/13536814625056448*c_0101_8^7 + 175917124819223/846050914066028*c_0101_8^6 + 168737332670909843/6768407312528224*c_0101_8^5 + 216472601301491685/54147258500225792*c_0101_8^4 - 198136256143189015/27073629250112896*c_0101_8^3 + 20024828691797855/13536814625056448*c_0101_8^2 + 19674625580747207/27073629250112896*c_0101_8 - 7873842297996747/54147258500225792, c_0101_8^14 - 742/85*c_0101_8^13 + 1231/85*c_0101_8^12 + 292/5*c_0101_8^11 + 1749/85*c_0101_8^10 - 3082/85*c_0101_8^9 + 27/17*c_0101_8^8 + 4056/85*c_0101_8^7 + 2103/85*c_0101_8^6 - 538/85*c_0101_8^5 - 95/17*c_0101_8^4 - 12/17*c_0101_8^3 + 31/85*c_0101_8^2 + 2/17*c_0101_8 + 1/17, c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.380 Total time: 0.580 seconds, Total memory usage: 32.09MB