Magma V2.19-8 Tue Aug 20 2013 23:38:37 on localhost [Seed = 627261718] Type ? for help. Type -D to quit. Loading file "K10n11__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10n11 geometric_solution 11.44272678 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 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 -1 0 1 0 0 0 0 -9 0 0 9 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.210190373609 1.450203101869 0 4 5 5 0132 1023 1302 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 9 -10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.279080573085 1.253431027724 6 0 8 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 1 0 -1 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 0 0 0 0.169259888209 0.981246337134 5 9 8 0 3012 0132 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.733782743966 0.839276375052 1 6 0 10 1023 0132 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 10 -1 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.333954235571 0.571417371814 1 9 1 3 2031 1023 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 -1 1 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 0 0 0 0.830755153331 0.760127226889 2 4 11 11 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 0 0 0 -1 0 0 1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392305526757 0.704531571063 8 10 2 9 0132 2103 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 -1 1 0 0 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.207468293801 0.508512632786 7 11 3 2 0132 3120 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598588265790 1.128386549719 5 3 10 7 1023 0132 2103 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 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 1.011214485695 0.551583698442 9 7 4 11 2103 2103 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 -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.587501067115 1.072935513109 6 8 10 6 3120 3120 1230 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 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.702003515737 0.813868912111 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_7'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : negation(d['c_0011_11']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0011_10'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_11']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_1001_11']), 'c_1010_11' : d['c_0011_7'], 'c_1010_10' : negation(d['c_0101_11']), 's_3_11' : 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' : negation(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' : negation(d['1']), 's_0_7' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_0'], 'c_1100_4' : negation(d['c_1001_11']), 'c_1100_7' : d['c_1001_3'], 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_1001_11']), 'c_1100_3' : negation(d['c_1001_11']), 'c_1100_2' : d['c_1001_3'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0101_11'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : negation(d['c_1001_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0011_7'], 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0011_10'], 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : negation(d['c_0011_11']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0011_11']), 'c_1100_8' : d['c_1001_3'], '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'], 's_1_7' : d['1'], 's_1_6' : negation(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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_7']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_0']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_2'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0101_7' : d['c_0101_2'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0101_3']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_2'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_2']})} 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_11, c_0011_3, c_0011_7, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_1001_11, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 628949783116987/92867580444*c_1001_3^21 + 11841133805475313/92867580444*c_1001_3^20 + 25903482549997348/23216895111*c_1001_3^19 + 562593604552589137/92867580444*c_1001_3^18 + 534813089917146586/23216895111*c_1001_3^17 + 1017857678021865883/15477930074*c_1001_3^16 + 3430032054017080237/23216895111*c_1001_3^15 + 6277012693233790564/23216895111*c_1001_3^14 + 19211257235013076225/46433790222*c_1001_3^13 + 50170601494309946267/92867580444*c_1001_3^12 + 28381967832185240401/46433790222*c_1001_3^11 + 56254885296301858219/92867580444*c_1001_3^10 + 16388230478030806149/30955860148*c_1001_3^9 + 3168024798128218612/7738965037*c_1001_3^8 + 6498479677493652430/23216895111*c_1001_3^7 + 7825623209762147263/46433790222*c_1001_3^6 + 4115426633755110281/46433790222*c_1001_3^5 + 3720037051820243383/92867580444*c_1001_3^4 + 235513665814851141/15477930074*c_1001_3^3 + 432652540606503811/92867580444*c_1001_3^2 + 32642205696808695/30955860148*c_1001_3 + 7215716605935707/46433790222, c_0011_0 - 1, c_0011_10 - 3748727/8259301*c_1001_3^21 - 71133881/8259301*c_1001_3^20 - 628143172/8259301*c_1001_3^19 - 3440330011/8259301*c_1001_3^18 - 13163046236/8259301*c_1001_3^17 - 37638221082/8259301*c_1001_3^16 - 84157689744/8259301*c_1001_3^15 - 152165949148/8259301*c_1001_3^14 - 228362239086/8259301*c_1001_3^13 - 290394277321/8259301*c_1001_3^12 - 317983898740/8259301*c_1001_3^11 - 303257352327/8259301*c_1001_3^10 - 253491497737/8259301*c_1001_3^9 - 186062989591/8259301*c_1001_3^8 - 119590475479/8259301*c_1001_3^7 - 66772080060/8259301*c_1001_3^6 - 31963817773/8259301*c_1001_3^5 - 12779907500/8259301*c_1001_3^4 - 4075965769/8259301*c_1001_3^3 - 976627759/8259301*c_1001_3^2 - 134960220/8259301*c_1001_3 - 7640887/8259301, c_0011_11 - 1635475/8259301*c_1001_3^21 - 30937557/8259301*c_1001_3^20 - 272177164/8259301*c_1001_3^19 - 1488079433/8259301*c_1001_3^18 - 5706403904/8259301*c_1001_3^17 - 16435082318/8259301*c_1001_3^16 - 37178616706/8259301*c_1001_3^15 - 68196874050/8259301*c_1001_3^14 - 103931817364/8259301*c_1001_3^13 - 134226188021/8259301*c_1001_3^12 - 149321297437/8259301*c_1001_3^11 - 144909803373/8259301*c_1001_3^10 - 123716513740/8259301*c_1001_3^9 - 93261840563/8259301*c_1001_3^8 - 62035857956/8259301*c_1001_3^7 - 36271046384/8259301*c_1001_3^6 - 18469272170/8259301*c_1001_3^5 - 8080905562/8259301*c_1001_3^4 - 2970363288/8259301*c_1001_3^3 - 864180403/8259301*c_1001_3^2 - 198694773/8259301*c_1001_3 - 21076255/8259301, c_0011_3 - 3362167/16518602*c_1001_3^21 - 63577173/16518602*c_1001_3^20 - 286205764/8259301*c_1001_3^19 - 3279170733/16518602*c_1001_3^18 - 6725957454/8259301*c_1001_3^17 - 21041536195/8259301*c_1001_3^16 - 52154174886/8259301*c_1001_3^15 - 105118408900/8259301*c_1001_3^14 - 175768506842/8259301*c_1001_3^13 - 495904615887/16518602*c_1001_3^12 - 299363911127/8259301*c_1001_3^11 - 626085156925/16518602*c_1001_3^10 - 572000663659/16518602*c_1001_3^9 - 229321725517/8259301*c_1001_3^8 - 161414167078/8259301*c_1001_3^7 - 99319627927/8259301*c_1001_3^6 - 52874001518/8259301*c_1001_3^5 - 47930044115/16518602*c_1001_3^4 - 8974716937/8259301*c_1001_3^3 - 5230864315/16518602*c_1001_3^2 - 1106588511/16518602*c_1001_3 - 53493647/8259301, c_0011_7 + 6107757/16518602*c_1001_3^21 + 118047007/16518602*c_1001_3^20 + 532069712/8259301*c_1001_3^19 + 5974430767/16518602*c_1001_3^18 + 11781668364/8259301*c_1001_3^17 + 34944843031/8259301*c_1001_3^16 + 81536245990/8259301*c_1001_3^15 + 154612096700/8259301*c_1001_3^14 + 244270686269/8259301*c_1001_3^13 + 655871334921/16518602*c_1001_3^12 + 379958795481/8259301*c_1001_3^11 + 768647165337/16518602*c_1001_3^10 + 683733191199/16518602*c_1001_3^9 + 268301821678/8259301*c_1001_3^8 + 185654639018/8259301*c_1001_3^7 + 112740741086/8259301*c_1001_3^6 + 59496785536/8259301*c_1001_3^5 + 53679343767/16518602*c_1001_3^4 + 10046543065/8259301*c_1001_3^3 + 5908644123/16518602*c_1001_3^2 + 1261751077/16518602*c_1001_3 + 62031974/8259301, c_0101_0 - 456800/8259301*c_1001_3^21 - 8451200/8259301*c_1001_3^20 - 65899402/8259301*c_1001_3^19 - 272728110/8259301*c_1001_3^18 - 549443526/8259301*c_1001_3^17 + 256652810/8259301*c_1001_3^16 + 5427197500/8259301*c_1001_3^15 + 19583504712/8259301*c_1001_3^14 + 44956021602/8259301*c_1001_3^13 + 77478688922/8259301*c_1001_3^12 + 107189148106/8259301*c_1001_3^11 + 123625324602/8259301*c_1001_3^10 + 121640905450/8259301*c_1001_3^9 + 103337024234/8259301*c_1001_3^8 + 76134394816/8259301*c_1001_3^7 + 48545871175/8259301*c_1001_3^6 + 26507162135/8259301*c_1001_3^5 + 12222775171/8259301*c_1001_3^4 + 4588626930/8259301*c_1001_3^3 + 1298794821/8259301*c_1001_3^2 + 262351174/8259301*c_1001_3 + 14741491/8259301, c_0101_10 - 1205833/16518602*c_1001_3^21 - 20934827/16518602*c_1001_3^20 - 76328450/8259301*c_1001_3^19 - 571375303/16518602*c_1001_3^18 - 415208308/8259301*c_1001_3^17 + 1214026889/8259301*c_1001_3^16 + 8986992274/8259301*c_1001_3^15 + 28929867380/8259301*c_1001_3^14 + 64072951413/8259301*c_1001_3^13 + 218985152971/16518602*c_1001_3^12 + 152397607773/8259301*c_1001_3^11 + 356948646879/16518602*c_1001_3^10 + 358955975487/16518602*c_1001_3^9 + 156697461036/8259301*c_1001_3^8 + 119333819473/8259301*c_1001_3^7 + 79180210875/8259301*c_1001_3^6 + 45406400942/8259301*c_1001_3^5 + 44484271809/16518602*c_1001_3^4 + 9031328516/8259301*c_1001_3^3 + 5747268015/16518602*c_1001_3^2 + 1351421563/16518602*c_1001_3 + 69385995/8259301, c_0101_11 - 2600567/16518602*c_1001_3^21 - 59409639/16518602*c_1001_3^20 - 308482530/8259301*c_1001_3^19 - 3901847817/16518602*c_1001_3^18 - 8490851078/8259301*c_1001_3^17 - 27265207542/8259301*c_1001_3^16 - 67694479652/8259301*c_1001_3^15 - 134549704204/8259301*c_1001_3^14 - 219977756969/8259301*c_1001_3^13 - 604576606577/16518602*c_1001_3^12 - 355197343157/8259301*c_1001_3^11 - 723070445299/16518602*c_1001_3^10 - 642898739043/16518602*c_1001_3^9 - 250646502133/8259301*c_1001_3^8 - 171319356084/8259301*c_1001_3^7 - 102067522545/8259301*c_1001_3^6 - 52409392767/8259301*c_1001_3^5 - 45507680133/16518602*c_1001_3^4 - 8056643235/8259301*c_1001_3^3 - 4392440759/16518602*c_1001_3^2 - 819402685/16518602*c_1001_3 - 30300800/8259301, c_0101_2 + 609927/16518602*c_1001_3^21 + 13815493/16518602*c_1001_3^20 + 72412068/8259301*c_1001_3^19 + 937923581/16518602*c_1001_3^18 + 2114624366/8259301*c_1001_3^17 + 7101154217/8259301*c_1001_3^16 + 18572809038/8259301*c_1001_3^15 + 39108065634/8259301*c_1001_3^14 + 68039185673/8259301*c_1001_3^13 + 199683703615/16518602*c_1001_3^12 + 125589320975/8259301*c_1001_3^11 + 274149057897/16518602*c_1001_3^10 + 261770717529/16518602*c_1001_3^9 + 109812504431/8259301*c_1001_3^8 + 81013607298/8259301*c_1001_3^7 + 52370714961/8259301*c_1001_3^6 + 29401075152/8259301*c_1001_3^5 + 28240249507/16518602*c_1001_3^4 + 5635872213/8259301*c_1001_3^3 + 3537506507/16518602*c_1001_3^2 + 810506735/16518602*c_1001_3 + 42175573/8259301, c_0101_3 + 1, c_1001_11 - 12599433/16518602*c_1001_3^21 - 239479443/16518602*c_1001_3^20 - 1059244768/8259301*c_1001_3^19 - 11635933721/16518602*c_1001_3^18 - 22365739137/8259301*c_1001_3^17 - 64413427212/8259301*c_1001_3^16 - 145437398308/8259301*c_1001_3^15 - 266131588276/8259301*c_1001_3^14 - 404833556522/8259301*c_1001_3^13 - 1044465514685/16518602*c_1001_3^12 - 580180693487/8259301*c_1001_3^11 - 1122543110307/16518602*c_1001_3^10 - 951916221597/16518602*c_1001_3^9 - 354657983123/8259301*c_1001_3^8 - 231749200392/8259301*c_1001_3^7 - 131870186381/8259301*c_1001_3^6 - 64530814654/8259301*c_1001_3^5 - 53117112513/16518602*c_1001_3^4 - 8852458285/8259301*c_1001_3^3 - 4496687519/16518602*c_1001_3^2 - 749975935/16518602*c_1001_3 - 25099666/8259301, c_1001_3^22 + 19*c_1001_3^21 + 168*c_1001_3^20 + 923*c_1001_3^19 + 3556*c_1001_3^18 + 10298*c_1001_3^17 + 23492*c_1001_3^16 + 43688*c_1001_3^15 + 67982*c_1001_3^14 + 90313*c_1001_3^13 + 104018*c_1001_3^12 + 105017*c_1001_3^11 + 93605*c_1001_3^10 + 73936*c_1001_3^9 + 51764*c_1001_3^8 + 32022*c_1001_3^7 + 17386*c_1001_3^6 + 8177*c_1001_3^5 + 3270*c_1001_3^4 + 1077*c_1001_3^3 + 275*c_1001_3^2 + 50*c_1001_3 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.390 Total time: 0.600 seconds, Total memory usage: 32.09MB