Magma V2.19-8 Tue Aug 20 2013 20:33:26 on localhost [Seed = 3835870317] Type ? for help. Type -D to quit. Loading file "11_423__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_423 geometric_solution 14.30176711 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 15 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 0 -1 1 1 0 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.942634426448 0.728505908194 0 5 3 6 0132 0132 3120 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 -1 0 0 1 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.417579192810 0.853041381592 6 0 5 7 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 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.558349492609 1.087621484971 8 4 1 0 0132 3120 3120 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 -1 1 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 1.226296409187 0.702909344415 7 3 0 9 1230 3120 0132 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 1 -1 0 4 0 1 -5 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.403911319323 0.703367838315 10 1 11 2 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 0 0 0 0 0 1 -1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481540909590 0.671791575858 2 12 1 13 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 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.428992605276 0.481132788305 8 4 2 9 2103 3012 0132 0213 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 -4 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.121896173154 0.597184262269 3 14 7 13 0132 0132 2103 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 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.371874283942 0.701320058094 14 11 4 7 3012 0213 0132 0213 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 5 -5 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.977460936715 0.708299494818 5 12 13 14 0132 1023 2103 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 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.724291924344 0.829098375869 13 12 9 5 1302 0321 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 1 0 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.275103747553 1.117220926765 10 6 14 11 1023 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.885733578877 0.856929864437 10 11 6 8 2103 2031 0132 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 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.344906629967 0.956692383939 12 8 10 9 2310 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.309124567388 0.931233686510 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : negation(d['c_0011_11']), 'c_1001_11' : negation(d['c_0011_14']), 'c_1001_10' : d['c_0011_13'], 'c_1001_13' : negation(d['c_0101_14']), 'c_1001_12' : negation(d['c_0101_14']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0011_14']), 'c_1001_8' : d['c_0011_7'], 'c_1010_13' : d['c_0011_11'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : negation(d['c_0011_11']), 'c_1010_14' : d['c_0011_7'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_3_13' : d['1'], 's_0_13' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 'c_0101_13' : d['c_0101_10'], 'c_0101_12' : d['c_0011_13'], 'c_0101_11' : negation(d['c_0011_13']), 'c_0101_10' : d['c_0101_10'], 'c_0101_14' : d['c_0101_14'], '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_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : 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_0011_14' : d['c_0011_14'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0110_13']), 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_1010_9'], 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_7' : d['c_1010_9'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : d['c_1010_9'], 'c_1100_14' : negation(d['c_0110_13']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1010_9'], 'c_1100_10' : negation(d['c_0110_13']), 'c_1100_13' : negation(d['c_0101_3']), 's_3_10' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0101_14']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_14']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1010_9'], 'c_1010_8' : negation(d['c_0011_11']), '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'], 'c_1100_12' : negation(d['c_0011_14']), '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_13']), 'c_0011_8' : negation(d['c_0011_14']), 'c_0011_5' : d['c_0011_0'], '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_14'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_14'], 'c_0110_10' : d['c_0101_14'], 'c_0110_13' : d['c_0110_13'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0110_14' : negation(d['c_0011_13']), 'c_0110_0' : d['c_0101_1'], 's_3_12' : d['1'], 's_0_8' : d['1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_14'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_7'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : negation(d['c_0011_0']), 's_2_8' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_13']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_7'], 'c_0110_7' : d['c_0110_13'], 'c_0110_6' : d['c_0101_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_13, c_0011_14, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_14, c_0101_3, c_0110_13, c_1001_1, c_1001_5, c_1010_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t + 1342982607264479052/23487113929258595*c_1010_9^8 + 12313202226246749924/23487113929258595*c_1010_9^7 + 48268477552700918526/23487113929258595*c_1010_9^6 + 29331310637407893546/23487113929258595*c_1010_9^5 - 346904970340871145207/23487113929258595*c_1010_9^4 - 173837128273810329645/4697422785851719*c_1010_9^3 - 752397179051310844881/23487113929258595*c_1010_9^2 - 4436287174059871686/3355301989894085*c_1010_9 + 170952387012620190723/23487113929258595, c_0011_0 - 1, c_0011_11 + 78565544032/1648797046631*c_1010_9^8 + 597875499916/1648797046631*c_1010_9^7 + 2118368419728/1648797046631*c_1010_9^6 - 294159720482/1648797046631*c_1010_9^5 - 16230426496028/1648797046631*c_1010_9^4 - 33480213183659/1648797046631*c_1010_9^3 - 24249673618250/1648797046631*c_1010_9^2 + 191640200426/235542435233*c_1010_9 + 5364138433580/1648797046631, c_0011_13 - 198262630844/1648797046631*c_1010_9^8 - 1107220664992/1648797046631*c_1010_9^7 - 3050140894994/1648797046631*c_1010_9^6 + 7168040790420/1648797046631*c_1010_9^5 + 26982555386365/1648797046631*c_1010_9^4 + 27204625819520/1648797046631*c_1010_9^3 + 375057094564/1648797046631*c_1010_9^2 - 844546483821/235542435233*c_1010_9 + 1183662643081/1648797046631, c_0011_14 - 177044728512/1648797046631*c_1010_9^8 - 1063236519852/1648797046631*c_1010_9^7 - 3160792747180/1648797046631*c_1010_9^6 + 5175729745470/1648797046631*c_1010_9^5 + 26639276915098/1648797046631*c_1010_9^4 + 35615882985899/1648797046631*c_1010_9^3 + 11503638359501/1648797046631*c_1010_9^2 - 833521487695/235542435233*c_1010_9 - 2297583995043/1648797046631, c_0011_4 - 85419359772/1648797046631*c_1010_9^8 - 575407905108/1648797046631*c_1010_9^7 - 1861238291770/1648797046631*c_1010_9^6 + 1591015421302/1648797046631*c_1010_9^5 + 15192770090573/1648797046631*c_1010_9^4 + 24944770083361/1648797046631*c_1010_9^3 + 12813473307066/1648797046631*c_1010_9^2 - 164905461873/235542435233*c_1010_9 - 749558765758/1648797046631, c_0011_7 - 137979408136/1648797046631*c_1010_9^8 - 1093818419472/1648797046631*c_1010_9^7 - 3923740643544/1648797046631*c_1010_9^6 + 3718105452/1648797046631*c_1010_9^5 + 30383624356704/1648797046631*c_1010_9^4 + 62478628296606/1648797046631*c_1010_9^3 + 45742272520843/1648797046631*c_1010_9^2 - 277618399166/235542435233*c_1010_9 - 9573897793645/1648797046631, c_0101_0 + 198262630844/1648797046631*c_1010_9^8 + 1107220664992/1648797046631*c_1010_9^7 + 3050140894994/1648797046631*c_1010_9^6 - 7168040790420/1648797046631*c_1010_9^5 - 26982555386365/1648797046631*c_1010_9^4 - 27204625819520/1648797046631*c_1010_9^3 - 375057094564/1648797046631*c_1010_9^2 + 844546483821/235542435233*c_1010_9 + 465134403550/1648797046631, c_0101_1 + 159927881488/1648797046631*c_1010_9^8 + 981121304364/1648797046631*c_1010_9^7 + 2956710698080/1648797046631*c_1010_9^6 - 4415780776626/1648797046631*c_1010_9^5 - 24904446267796/1648797046631*c_1010_9^4 - 34074614408593/1648797046631*c_1010_9^3 - 11779678549160/1648797046631*c_1010_9^2 + 606066746163/235542435233*c_1010_9 + 1408464539451/1648797046631, c_0101_10 + 19725585192/1648797046631*c_1010_9^8 + 245946249592/1648797046631*c_1010_9^7 + 1004849551808/1648797046631*c_1010_9^6 + 1118323374736/1648797046631*c_1010_9^5 - 8159031589756/1648797046631*c_1010_9^4 - 18365328158466/1648797046631*c_1010_9^3 - 13499507010435/1648797046631*c_1010_9^2 + 296455645631/235542435233*c_1010_9 + 2533075715063/1648797046631, c_0101_14 + 74508521716/1648797046631*c_1010_9^8 + 405713399256/1648797046631*c_1010_9^7 + 1095472406310/1648797046631*c_1010_9^6 - 2824765355324/1648797046631*c_1010_9^5 - 9711676177223/1648797046631*c_1010_9^4 - 9129844325232/1648797046631*c_1010_9^3 + 1033794757906/1648797046631*c_1010_9^2 + 441161284290/235542435233*c_1010_9 - 989891272938/1648797046631, c_0101_3 + 71805028956/1648797046631*c_1010_9^8 + 337448607932/1648797046631*c_1010_9^7 + 779668867986/1648797046631*c_1010_9^6 - 3430992736078/1648797046631*c_1010_9^5 - 7108983010769/1648797046631*c_1010_9^4 - 2282551010359/1648797046631*c_1010_9^3 + 6919549787308/1648797046631*c_1010_9^2 + 477267618838/235542435233*c_1010_9 - 1426313105291/1648797046631, c_0110_13 + 289887999584/1648797046631*c_1010_9^8 + 1595049279736/1648797046631*c_1010_9^7 + 4349695350404/1648797046631*c_1010_9^6 - 10752755114588/1648797046631*c_1010_9^5 - 38429062210890/1648797046631*c_1010_9^4 - 37875738722058/1648797046631*c_1010_9^3 + 934777853001/1648797046631*c_1010_9^2 + 1277620074410/235542435233*c_1010_9 - 1284434460427/1648797046631, c_1001_1 - 133922385820/1648797046631*c_1010_9^8 - 901656318812/1648797046631*c_1010_9^7 - 2900844630126/1648797046631*c_1010_9^6 + 2534323740294/1648797046631*c_1010_9^5 + 23864874037899/1648797046631*c_1010_9^4 + 38128259438179/1648797046631*c_1010_9^3 + 20458804144687/1648797046631*c_1010_9^2 - 527139483030/235542435233*c_1010_9 - 4868665133758/1648797046631, c_1001_5 + 33586437580/235542435233*c_1010_9^8 + 205040304296/235542435233*c_1010_9^7 + 608438927986/235542435233*c_1010_9^6 - 972809483504/235542435233*c_1010_9^5 - 5268059660489/235542435233*c_1010_9^4 - 6730174650756/235542435233*c_1010_9^3 - 1942646273620/235542435233*c_1010_9^2 + 161844919393/33648919319*c_1010_9 + 319790361082/235542435233, c_1010_9^9 + 6*c_1010_9^8 + 35/2*c_1010_9^7 - 31*c_1010_9^6 - 619/4*c_1010_9^5 - 375/2*c_1010_9^4 - 26*c_1010_9^3 + 275/4*c_1010_9^2 + 15*c_1010_9 - 37/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 104.480 Total time: 104.700 seconds, Total memory usage: 1139.38MB