Magma V2.19-8 Wed Aug 21 2013 00:50:52 on localhost [Seed = 2664991628] Type ? for help. Type -D to quit. Loading file "L10a41__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L10a41 geometric_solution 11.36375264 oriented_manifold CS_known 0.0000000000000008 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 0132 1 1 1 1 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 -1 0 1 0 0 0 0 1 0 0 -1 -5 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.684775933477 1.245427813427 0 4 0 4 0132 0132 3012 3012 1 1 1 1 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 -1 0 0 0 1 -1 5 0 0 -5 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.661003442542 0.616545822763 4 5 6 0 3012 0132 0132 0132 1 1 1 1 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291089064103 0.186511003713 7 8 0 9 0132 0132 0132 0132 1 1 1 1 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 4 -4 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.166064168686 1.126833951784 10 1 1 2 0132 0132 1230 1230 1 1 1 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 1 0 -5 0 5 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.190992030244 0.754595895018 11 2 10 9 0132 0132 2031 2031 1 1 1 1 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 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363266787162 1.013276224686 10 9 9 2 1230 2031 1230 0132 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 1.695502139995 1.695770231747 3 12 12 8 0132 0132 0321 1023 0 1 1 1 0 1 -1 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 -4 5 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.848701659205 1.146785890013 11 3 11 7 3012 0132 1023 1023 1 0 1 1 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 -1 1 0 0 0 1 -1 -1 1 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.435997816820 0.434288947259 6 5 3 6 1302 1302 0132 3012 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.559868641842 0.869869806976 4 6 12 5 0132 3012 3201 1302 1 1 1 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 0 0 0 5 0 -5 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 1.247532624176 0.549223728552 5 12 8 8 0132 0321 1023 1230 0 1 1 1 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 -1 0 0 0 -1 1 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.113077216516 0.857083796827 10 7 7 11 2310 0132 0321 0321 0 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 0 1 -1 -1 0 1 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.848701659205 1.146785890013 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_0']), 'c_1001_11' : d['c_0101_8'], 'c_1001_10' : negation(d['c_0011_6']), 'c_1001_12' : d['c_0110_8'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : negation(d['c_0110_9']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0101_4']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_9'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : d['c_0101_11'], 'c_1010_12' : d['c_0101_8'], 'c_1010_11' : d['c_0101_8'], 'c_1010_10' : negation(d['c_0101_6']), 's_0_10' : d['1'], 's_0_11' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : negation(d['1']), 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_6'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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_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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0110_9'], 'c_0011_10' : negation(d['c_0011_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_0'], 'c_1100_7' : d['c_0110_8'], 'c_1100_6' : d['c_0110_9'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0110_9'], 'c_1100_3' : d['c_0110_9'], 'c_1100_2' : d['c_0110_9'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_8'], 'c_1100_10' : negation(d['c_0011_12']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0110_8'], 'c_1010_6' : d['c_0011_9'], 'c_1010_5' : d['c_0011_9'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0101_11'], 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0101_6']), 'c_1010_8' : d['c_0101_1'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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' : d['c_0101_8'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : d['c_0011_11'], 'c_0110_11' : negation(d['c_0011_12']), 'c_0110_10' : d['c_0101_4'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_6']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_12']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : negation(d['1']), 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0110_8']), '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_6, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_4, c_0101_6, c_0101_8, c_0110_8, c_0110_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 11819785468284856183734503779861/673679416256526709879965373000000*\ c_0110_9^13 - 2201931787769871273304038769109/842099270320658387349\ 95671625000*c_0110_9^12 - 401038771945619643978740317571/2105248175\ 8016459683748917906250*c_0110_9^11 + 37818553082206524919720252022383/168419854064131677469991343250000*\ c_0110_9^10 + 646106397916404658370101733950571/6736794162565267098\ 79965373000000*c_0110_9^9 + 17858741098927683968087445834509/421049\ 63516032919367497835812500*c_0110_9^8 - 138116043182636911455575470150661/42104963516032919367497835812500*\ c_0110_9^7 - 27954009769131526258515929541831/842099270320658387349\ 9567162500*c_0110_9^6 + 1443769561818059285055541221480917/67367941\ 6256526709879965373000000*c_0110_9^5 + 48617449621750875868269268062751/21052481758016459683748917906250*c\ _0110_9^4 - 314544080683658849862248126163807/421049635160329193674\ 97835812500*c_0110_9^3 - 1988727580959945538577959448929787/1684198\ 54064131677469991343250000*c_0110_9^2 - 5030957648657330776422753344617163/67367941625652670987996537300000\ 0*c_0110_9 + 70803784359119008954119914842149/842099270320658387349\ 95671625000, c_0011_0 - 1, c_0011_11 - 24081086853/93273240262096*c_0110_9^13 - 41161238275/11659155032762*c_0110_9^12 - 297157246957/93273240262096*c_0110_9^11 - 45810737533/46636620131048*c_0110_9^10 + 1258494108439/23318310065524*c_0110_9^9 + 922250766187/5829577516381*c_0110_9^8 - 1283288270653/46636620131048*c_0110_9^7 - 11739027182093/23318310065524*c_0110_9^6 - 31067782275605/93273240262096*c_0110_9^5 + 651518726641/5829577516381*c_0110_9^4 + 7316250202355/93273240262096*c_0110_9^3 - 59584779853965/46636620131048*c_0110_9^2 - 113833404372859/46636620131048*c_0110_9 - 9149231037515/11659155032762, c_0011_12 + 107264638130/5829577516381*c_0110_9^13 + 395646377021/11659155032762*c_0110_9^12 + 1608879495545/46636620131048*c_0110_9^11 - 1305731048399/5829577516381*c_0110_9^10 - 25429117088717/23318310065524*c_0110_9^9 - 9908358328523/11659155032762*c_0110_9^8 + 71137610192805/23318310065524*c_0110_9^7 + 27933462967322/5829577516381*c_0110_9^6 - 1817080317001/11659155032762*c_0110_9^5 - 39337685108815/11659155032762*c_0110_9^4 + 278000885181809/46636620131048*c_0110_9^3 + 97981345120997/5829577516381*c_0110_9^2 + 318990744929475/23318310065524*c_0110_9 + 37210769937337/11659155032762, c_0011_6 - 1358309602145/93273240262096*c_0110_9^13 - 310268198809/11659155032762*c_0110_9^12 - 2694248196411/93273240262096*c_0110_9^11 + 4117239306135/23318310065524*c_0110_9^10 + 10004526778257/11659155032762*c_0110_9^9 + 15953962914175/23318310065524*c_0110_9^8 - 108856930375457/46636620131048*c_0110_9^7 - 22033589049115/5829577516381*c_0110_9^6 - 10359570177653/93273240262096*c_0110_9^5 + 14651423458368/5829577516381*c_0110_9^4 - 447555970080391/93273240262096*c_0110_9^3 - 303606796876211/23318310065524*c_0110_9^2 - 518067985784015/46636620131048*c_0110_9 - 72238436121609/23318310065524, c_0011_9 - 435055804905/93273240262096*c_0110_9^13 - 470114997121/46636620131048*c_0110_9^12 - 1133203870175/93273240262096*c_0110_9^11 + 5081672641415/93273240262096*c_0110_9^10 + 13760909189115/46636620131048*c_0110_9^9 + 14664746248259/46636620131048*c_0110_9^8 - 31740477836931/46636620131048*c_0110_9^7 - 69446357304773/46636620131048*c_0110_9^6 - 43534987521557/93273240262096*c_0110_9^5 + 45193012613617/46636620131048*c_0110_9^4 - 132187819500295/93273240262096*c_0110_9^3 - 449208687788241/93273240262096*c_0110_9^2 - 111802230981013/23318310065524*c_0110_9 - 99557806865883/46636620131048, c_0101_0 + 348657864699/23318310065524*c_0110_9^13 + 2022195026513/93273240262096*c_0110_9^12 + 521431489547/46636620131048*c_0110_9^11 - 17761850915441/93273240262096*c_0110_9^10 - 37972731457841/46636620131048*c_0110_9^9 - 6265625165913/23318310065524*c_0110_9^8 + 68405375934163/23318310065524*c_0110_9^7 + 119330406256853/46636620131048*c_0110_9^6 - 14258236513562/5829577516381*c_0110_9^5 - 149629320366403/93273240262096*c_0110_9^4 + 306911835018083/46636620131048*c_0110_9^3 + 867004240566171/93273240262096*c_0110_9^2 + 229420882397455/46636620131048*c_0110_9 + 1408442565657/46636620131048, c_0101_1 - 24081086853/93273240262096*c_0110_9^13 - 41161238275/11659155032762*c_0110_9^12 - 297157246957/93273240262096*c_0110_9^11 - 45810737533/46636620131048*c_0110_9^10 + 1258494108439/23318310065524*c_0110_9^9 + 922250766187/5829577516381*c_0110_9^8 - 1283288270653/46636620131048*c_0110_9^7 - 11739027182093/23318310065524*c_0110_9^6 - 31067782275605/93273240262096*c_0110_9^5 + 651518726641/5829577516381*c_0110_9^4 + 7316250202355/93273240262096*c_0110_9^3 - 59584779853965/46636620131048*c_0110_9^2 - 113833404372859/46636620131048*c_0110_9 - 9149231037515/11659155032762, c_0101_11 - 2074158818015/93273240262096*c_0110_9^13 - 481024555233/11659155032762*c_0110_9^12 - 3741269785769/93273240262096*c_0110_9^11 + 6328609081057/23318310065524*c_0110_9^10 + 7712295155230/5829577516381*c_0110_9^9 + 23679470399917/23318310065524*c_0110_9^8 - 175693510395763/46636620131048*c_0110_9^7 - 33833336885529/5829577516381*c_0110_9^6 + 39432855249669/93273240262096*c_0110_9^5 + 24686261650447/5829577516381*c_0110_9^4 - 664447570646845/93273240262096*c_0110_9^3 - 480243964091765/23318310065524*c_0110_9^2 - 757894993933885/46636620131048*c_0110_9 - 76604643627739/23318310065524, c_0101_4 - 67159162781/11659155032762*c_0110_9^13 - 446913662789/93273240262096*c_0110_9^12 + 99496165747/93273240262096*c_0110_9^11 + 7174336559951/93273240262096*c_0110_9^10 + 6264334357709/23318310065524*c_0110_9^9 - 537958091817/5829577516381*c_0110_9^8 - 56411071146629/46636620131048*c_0110_9^7 - 14571275976629/46636620131048*c_0110_9^6 + 18990252146665/11659155032762*c_0110_9^5 + 10532584552171/93273240262096*c_0110_9^4 - 279002687372493/93273240262096*c_0110_9^3 - 202995127976985/93273240262096*c_0110_9^2 + 3815686312907/23318310065524*c_0110_9 + 56971207021003/46636620131048, c_0101_6 + 81223113171/93273240262096*c_0110_9^13 + 528208950439/93273240262096*c_0110_9^12 + 11546169113/5829577516381*c_0110_9^11 - 665521653663/93273240262096*c_0110_9^10 - 1282175591511/11659155032762*c_0110_9^9 - 4276726088205/23318310065524*c_0110_9^8 + 2775423324737/11659155032762*c_0110_9^7 + 39194294618563/46636620131048*c_0110_9^6 - 6421318552857/93273240262096*c_0110_9^5 - 48707632310485/93273240262096*c_0110_9^4 + 10246748422183/11659155032762*c_0110_9^3 + 259513848374981/93273240262096*c_0110_9^2 - 19464093921023/46636620131048*c_0110_9 + 15690823542675/46636620131048, c_0101_8 - 1, c_0110_8 + 29927235/2751585352*c_0110_9^13 + 24039389/1375792676*c_0110_9^12 + 47412515/2751585352*c_0110_9^11 - 375301449/2751585352*c_0110_9^10 - 838026851/1375792676*c_0110_9^9 - 526757121/1375792676*c_0110_9^8 + 2552648823/1375792676*c_0110_9^7 + 3265176385/1375792676*c_0110_9^6 - 1289892449/2751585352*c_0110_9^5 - 1923585301/1375792676*c_0110_9^4 + 10530941163/2751585352*c_0110_9^3 + 20518562259/2751585352*c_0110_9^2 + 2406206661/343948169*c_0110_9 + 1989120993/1375792676, c_0110_9^14 + 2*c_0110_9^13 + 2*c_0110_9^12 - 12*c_0110_9^11 - 61*c_0110_9^10 - 54*c_0110_9^9 + 166*c_0110_9^8 + 280*c_0110_9^7 + 3*c_0110_9^6 - 162*c_0110_9^5 + 342*c_0110_9^4 + 868*c_0110_9^3 + 833*c_0110_9^2 + 278*c_0110_9 + 50 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.330 seconds, Total memory usage: 32.09MB