Magma V2.19-8 Wed Aug 21 2013 00:50:46 on localhost [Seed = 2134469223] Type ? for help. Type -D to quit. Loading file "L10a19__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L10a19 geometric_solution 12.29267017 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 1 1 0 1 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 -1 0 1 0 0 1 -1 2 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472198385693 0.942627450396 0 0 5 4 0132 1302 0132 0132 1 1 1 0 0 0 0 0 -1 0 0 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 1 0 -1 0 0 0 0 0 -1 0 1 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575176956429 0.848054280920 5 0 5 4 0132 0132 3012 2031 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 1 0 -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.452225253208 0.807651825763 6 7 5 0 0132 0132 3120 0132 1 1 1 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 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.538721445038 0.720546001467 6 2 1 8 2103 1302 0132 0132 1 1 1 1 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 1 -1 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630192569870 0.984400275039 2 2 3 1 0132 1230 3120 0132 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 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.575176956429 0.848054280920 3 9 4 8 0132 0132 2103 2103 1 1 1 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 0 0 0 0 0 1 -1 -1 0 0 1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.130155617143 0.763820973264 10 3 9 8 0132 0132 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.503404616395 0.840103972989 11 7 4 6 0132 2310 0132 2103 1 1 1 1 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 1 -1 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.058470919063 1.225815849436 12 6 10 7 0132 0132 1023 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 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.268672715359 0.352758110144 7 12 9 11 0132 0132 1023 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 -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.081138458214 1.073417106641 8 10 12 12 0132 2310 2031 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 1 -1 -1 0 0 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.691317108223 1.600076180909 9 10 11 11 0132 0132 1230 1302 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 1 -1 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.691317108223 1.600076180909 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : d['c_0101_9'], 'c_1001_12' : d['c_0101_9'], 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : d['c_0101_5'], 'c_1001_7' : d['c_0011_4'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : negation(d['c_1001_3']), 'c_1010_12' : d['c_0101_9'], 'c_1010_11' : negation(d['c_0101_12']), 'c_1010_10' : d['c_0101_9'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : 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' : negation(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' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_3']), 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : d['c_1001_3'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_11'], 'c_1100_11' : negation(d['c_0101_9']), 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_1001_3']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : negation(d['c_0101_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : 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' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_11'], 's_1_7' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), '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' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_11'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_12'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], '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_11'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_11'], '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_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_3']})} 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_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_3, c_0101_5, c_0101_9, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 261799551626183936653/154409613709520000*c_0101_9^15 + 813497909246167053/160508953960000*c_0101_9^14 + 4736670849355241279961/154409613709520000*c_0101_9^13 - 5519789129259283775119/77204806854760000*c_0101_9^12 + 14627995551872674556773/154409613709520000*c_0101_9^11 - 2970723664424570967079/38602403427380000*c_0101_9^10 + 1449498673103265269673/30881922741904000*c_0101_9^9 - 867555806589444367241/38602403427380000*c_0101_9^8 + 247123072255007148743/30881922741904000*c_0101_9^7 + 29694744502749092237/77204806854760000*c_0101_9^6 - 508166017917718860369/154409613709520000*c_0101_9^5 + 192179596075638660881/77204806854760000*c_0101_9^4 - 212309569480270266293/154409613709520000*c_0101_9^3 + 8788007063442817581/9650600856845000*c_0101_9^2 - 83171319600515836837/154409613709520000*c_0101_9 + 3609651003251487633/19301201713690000, c_0011_0 - 1, c_0011_10 + 55587481061/20063619245*c_0101_9^15 + 13409258831673/1284071631680*c_0101_9^14 + 72826418136013/1284071631680*c_0101_9^13 - 100933212083809/1284071631680*c_0101_9^12 + 39607794284837/642035815840*c_0101_9^11 - 44688413278283/1284071631680*c_0101_9^10 + 7424795550805/256814326336*c_0101_9^9 - 34420727762097/1284071631680*c_0101_9^8 + 879063852873/64203581584*c_0101_9^7 - 10974087468153/1284071631680*c_0101_9^6 + 7006504028523/1284071631680*c_0101_9^5 - 9450741160119/1284071631680*c_0101_9^4 + 519213088933/642035815840*c_0101_9^3 + 214674285963/1284071631680*c_0101_9^2 + 258708631759/1284071631680*c_0101_9 - 133163572743/1284071631680, c_0011_11 - 1483078906209/642035815840*c_0101_9^15 - 4676249977521/1284071631680*c_0101_9^14 - 32290639439031/1284071631680*c_0101_9^13 + 117441634511089/642035815840*c_0101_9^12 - 78088003432799/642035815840*c_0101_9^11 + 142903133957721/1284071631680*c_0101_9^10 - 6351907084185/256814326336*c_0101_9^9 + 9023854585337/642035815840*c_0101_9^8 - 310981635043/128407163168*c_0101_9^7 + 1312325038061/1284071631680*c_0101_9^6 - 2974252491261/1284071631680*c_0101_9^5 + 1827505593459/642035815840*c_0101_9^4 - 300545689361/642035815840*c_0101_9^3 - 1801527358941/1284071631680*c_0101_9^2 + 34076377097/1284071631680*c_0101_9 + 107249711243/642035815840, c_0011_4 - 3407584956241/642035815840*c_0101_9^15 - 3698229963251/321017907920*c_0101_9^14 - 50226551528837/642035815840*c_0101_9^13 + 103032451142523/321017907920*c_0101_9^12 - 243728857341221/642035815840*c_0101_9^11 + 28695603975339/80254476980*c_0101_9^10 - 31051768210045/128407163168*c_0101_9^9 + 24916016192867/160508953960*c_0101_9^8 - 10920276818347/128407163168*c_0101_9^7 + 11504649909721/321017907920*c_0101_9^6 - 9802312950547/642035815840*c_0101_9^5 + 1904569498683/321017907920*c_0101_9^4 - 2059206995619/642035815840*c_0101_9^3 - 227896575163/160508953960*c_0101_9^2 + 312687781209/642035815840*c_0101_9 + 2196814796/20063619245, c_0101_0 - 1, c_0101_1 - 145257034377/32101790792*c_0101_9^15 - 1480837201619/64203581584*c_0101_9^14 - 7419476115857/64203581584*c_0101_9^13 + 30459602003/32101790792*c_0101_9^12 + 806668020967/16050895396*c_0101_9^11 - 9094699394367/64203581584*c_0101_9^10 + 5967250896437/64203581584*c_0101_9^9 - 260515389054/4012723849*c_0101_9^8 + 1289609823339/32101790792*c_0101_9^7 - 2008377258285/64203581584*c_0101_9^6 + 801202205557/64203581584*c_0101_9^5 - 144637725217/32101790792*c_0101_9^4 + 33273024851/8025447698*c_0101_9^3 - 248127834609/64203581584*c_0101_9^2 + 8850054815/64203581584*c_0101_9 - 572501559/16050895396, c_0101_10 + 364676320933/1284071631680*c_0101_9^15 - 919827465499/1284071631680*c_0101_9^14 + 22761099331/1284071631680*c_0101_9^13 - 51188283406333/1284071631680*c_0101_9^12 + 104657008330423/1284071631680*c_0101_9^11 - 53041977975361/1284071631680*c_0101_9^10 + 7473309920913/256814326336*c_0101_9^9 + 2580284614601/1284071631680*c_0101_9^8 + 2957798312739/256814326336*c_0101_9^7 - 5990424101761/1284071631680*c_0101_9^6 + 3746360547681/1284071631680*c_0101_9^5 + 2806301062057/1284071631680*c_0101_9^4 + 300532794397/1284071631680*c_0101_9^3 + 322281498501/1284071631680*c_0101_9^2 - 427869614577/1284071631680*c_0101_9 + 573236654979/1284071631680, c_0101_11 + 55587481061/20063619245*c_0101_9^15 + 13409258831673/1284071631680*c_0101_9^14 + 72826418136013/1284071631680*c_0101_9^13 - 100933212083809/1284071631680*c_0101_9^12 + 39607794284837/642035815840*c_0101_9^11 - 44688413278283/1284071631680*c_0101_9^10 + 7424795550805/256814326336*c_0101_9^9 - 34420727762097/1284071631680*c_0101_9^8 + 879063852873/64203581584*c_0101_9^7 - 10974087468153/1284071631680*c_0101_9^6 + 7006504028523/1284071631680*c_0101_9^5 - 9450741160119/1284071631680*c_0101_9^4 + 519213088933/642035815840*c_0101_9^3 + 214674285963/1284071631680*c_0101_9^2 + 258708631759/1284071631680*c_0101_9 - 133163572743/1284071631680, c_0101_12 + 10724429785421/1284071631680*c_0101_9^15 + 37223409895757/1284071631680*c_0101_9^14 + 209700273677637/1284071631680*c_0101_9^13 - 360243890313021/1284071631680*c_0101_9^12 + 379329881448151/1284071631680*c_0101_9^11 - 244184856933857/1284071631680*c_0101_9^10 + 35285362141907/256814326336*c_0101_9^9 - 105927930711323/1284071631680*c_0101_9^8 + 14210660414427/256814326336*c_0101_9^7 - 19171876336057/1284071631680*c_0101_9^6 + 7488929250207/1284071631680*c_0101_9^5 - 4951850437311/1284071631680*c_0101_9^4 + 1411207398109/1284071631680*c_0101_9^3 + 654534986997/1284071631680*c_0101_9^2 - 1053390382619/1284071631680*c_0101_9 - 144441254817/1284071631680, c_0101_3 + 3407584956241/642035815840*c_0101_9^15 + 3698229963251/321017907920*c_0101_9^14 + 50226551528837/642035815840*c_0101_9^13 - 103032451142523/321017907920*c_0101_9^12 + 243728857341221/642035815840*c_0101_9^11 - 28695603975339/80254476980*c_0101_9^10 + 31051768210045/128407163168*c_0101_9^9 - 24916016192867/160508953960*c_0101_9^8 + 10920276818347/128407163168*c_0101_9^7 - 11504649909721/321017907920*c_0101_9^6 + 9802312950547/642035815840*c_0101_9^5 - 1904569498683/321017907920*c_0101_9^4 + 2059206995619/642035815840*c_0101_9^3 + 227896575163/160508953960*c_0101_9^2 - 312687781209/642035815840*c_0101_9 - 2196814796/20063619245, c_0101_5 - 1530107874291/321017907920*c_0101_9^15 - 12748440369469/642035815840*c_0101_9^14 - 2109907220027/20063619245*c_0101_9^13 + 61779210610947/642035815840*c_0101_9^12 - 9027005278733/160508953960*c_0101_9^11 + 40172857043619/642035815840*c_0101_9^10 - 4296251466001/64203581584*c_0101_9^9 + 51475831121271/642035815840*c_0101_9^8 - 2891717017823/64203581584*c_0101_9^7 + 19136308964829/642035815840*c_0101_9^6 - 2690553425441/160508953960*c_0101_9^5 + 7437909395797/642035815840*c_0101_9^4 - 258033702281/80254476980*c_0101_9^3 + 319903187421/642035815840*c_0101_9^2 - 326448808381/321017907920*c_0101_9 + 683965348449/642035815840, c_0101_9^16 + 144/41*c_0101_9^15 + 816/41*c_0101_9^14 - 32*c_0101_9^13 + 1564/41*c_0101_9^12 - 1120/41*c_0101_9^11 + 736/41*c_0101_9^10 - 448/41*c_0101_9^9 + 254/41*c_0101_9^8 - 112/41*c_0101_9^7 + 48/41*c_0101_9^6 - 32/41*c_0101_9^5 + 12/41*c_0101_9^4 + 1/41, c_1001_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.380 seconds, Total memory usage: 32.09MB