Magma V2.19-8 Tue Aug 20 2013 23:44:02 on localhost [Seed = 1495219379] Type ? for help. Type -D to quit. Loading file "L14n15788__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n15788 geometric_solution 10.17500443 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 2 3 0132 0132 2031 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 1 -1 0 1 0 -1 0 0 -9 0 9 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636879742852 0.567373502253 0 2 5 4 0132 0213 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 -1 0 -9 10 1 0 0 -1 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.129198806007 0.925845882030 6 0 1 0 0132 0132 0213 1302 1 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 -1 0 1 0 0 0 0 0 -1 0 1 1 9 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572215124294 0.262889415711 7 5 0 6 0132 0132 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.707125472081 0.445730874108 6 6 1 8 3012 0132 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 0 0 0 0 -10 10 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.721391293670 0.854585973759 9 3 10 1 0132 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 1 -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 0 -9 9 -10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.175552993044 0.612173961500 2 4 3 4 0132 0132 2031 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423220382963 0.683273800218 3 9 8 9 0132 0321 2310 0132 0 1 1 1 0 -1 -1 2 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 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.856222980737 0.888977879296 10 7 4 10 1230 3201 0132 0132 1 1 0 1 0 0 0 0 -1 0 1 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 10 0 -10 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.274493541079 1.194406990781 5 10 7 7 0132 3012 0132 0321 0 1 1 1 0 1 -2 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 0 -1 1 0 0 0 0 0 0 9 0 -9 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.177293789422 1.096213134341 9 8 8 5 1230 3012 0132 0132 1 1 1 0 0 0 0 0 1 0 0 -1 -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 0 0 0 -9 0 0 9 10 -10 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.274493541079 1.194406990781 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_0011_8'], 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_10' : negation(d['c_0101_8']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_10'], '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_10' : 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' : 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_1100_9' : d['c_0011_8'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : d['c_0101_8'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_0101_0'], 'c_1100_10' : d['c_1100_1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : negation(d['c_0101_8']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : negation(d['c_0011_8']), 'c_1100_8' : d['c_1100_1'], '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'], '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' : d['c_0011_3'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_3']), '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_10' : d['c_0011_3'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], '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' : d['c_0101_1'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_3'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_6, c_0101_7, c_0101_8, c_1001_1, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 934370473658405085623/4961030531881597152*c_1100_1^10 - 1878837815537205556879/4961030531881597152*c_1100_1^9 - 2823691852756111619077/4961030531881597152*c_1100_1^8 - 15538414656799342715/2480515265940798576*c_1100_1^7 + 82223422999251460114501/4961030531881597152*c_1100_1^6 + 217662453593148269872489/4961030531881597152*c_1100_1^5 - 3547416584537525602725/118119774568609456*c_1100_1^4 - 730569744649595598762075/1653676843960532384*c_1100_1^3 - 2511021583054172251560487/4961030531881597152*c_1100_1^2 - 51289823445390314527619/236239549137218912*c_1100_1 - 14311743781062817868263/1240257632970399288, c_0011_0 - 1, c_0011_10 + 1176005216387533/354359323705828368*c_1100_1^10 + 631353968429963/118119774568609456*c_1100_1^9 + 515633160300383/59059887284304728*c_1100_1^8 - 82617759344723/59059887284304728*c_1100_1^7 - 51164260541230655/177179661852914184*c_1100_1^6 - 116255475834712129/177179661852914184*c_1100_1^5 + 63722712356723269/88589830926457092*c_1100_1^4 + 647429526362164037/88589830926457092*c_1100_1^3 + 359884811198031647/59059887284304728*c_1100_1^2 + 1249696513394400949/354359323705828368*c_1100_1 + 311519426706895423/354359323705828368, c_0011_3 + 462449581788641/59059887284304728*c_1100_1^10 + 1027925768164737/59059887284304728*c_1100_1^9 + 762571495709029/29529943642152364*c_1100_1^8 + 110284242643983/29529943642152364*c_1100_1^7 - 20405948376562487/29529943642152364*c_1100_1^6 - 58038199582544005/29529943642152364*c_1100_1^5 + 14562754035361833/14764971821076182*c_1100_1^4 + 278117191806803311/14764971821076182*c_1100_1^3 + 726974074419303157/29529943642152364*c_1100_1^2 + 638965179623551481/59059887284304728*c_1100_1 + 16358516408231623/59059887284304728, c_0011_8 - 1, c_0101_0 + 248449620346093/118119774568609456*c_1100_1^10 + 336896447518353/118119774568609456*c_1100_1^9 + 285414100390061/59059887284304728*c_1100_1^8 - 105387557937097/59059887284304728*c_1100_1^7 - 10713790291810191/59059887284304728*c_1100_1^6 - 21667407722746785/59059887284304728*c_1100_1^5 + 16362874150399881/29529943642152364*c_1100_1^4 + 131088473045787589/29529943642152364*c_1100_1^3 + 164509077327998549/59059887284304728*c_1100_1^2 + 158454271836972949/118119774568609456*c_1100_1 + 34236833073687583/118119774568609456, c_0101_1 + 1119033465875349/59059887284304728*c_1100_1^10 + 2341137862734495/59059887284304728*c_1100_1^9 + 1757363797187345/29529943642152364*c_1100_1^8 + 93944024359645/29529943642152364*c_1100_1^7 - 49270417569684943/29529943642152364*c_1100_1^6 - 134325710573167479/29529943642152364*c_1100_1^5 + 40603686865193931/14764971821076182*c_1100_1^4 + 663276948789702049/14764971821076182*c_1100_1^3 + 1606376671494324349/29529943642152364*c_1100_1^2 + 1434316177143773897/59059887284304728*c_1100_1 + 32125905702412441/59059887284304728, c_0101_6 - 1596899727564937/59059887284304728*c_1100_1^10 - 3041481597463979/59059887284304728*c_1100_1^9 - 2236698728681317/29529943642152364*c_1100_1^8 + 216360213051107/29529943642152364*c_1100_1^7 + 70244760121545959/29529943642152364*c_1100_1^6 + 178376082196028247/29529943642152364*c_1100_1^5 - 73654973723210499/14764971821076182*c_1100_1^4 - 929730760685059789/14764971821076182*c_1100_1^3 - 1940791564454486801/29529943642152364*c_1100_1^2 - 1363769833976404549/59059887284304728*c_1100_1 + 12368398690260883/59059887284304728, c_0101_7 + 2206858353974733/118119774568609456*c_1100_1^10 + 4105862672345257/118119774568609456*c_1100_1^9 + 3112057585553821/59059887284304728*c_1100_1^8 - 313363648855433/59059887284304728*c_1100_1^7 - 96988354235110887/59059887284304728*c_1100_1^6 - 242719372222097249/59059887284304728*c_1100_1^5 + 101890925919415465/29529943642152364*c_1100_1^4 + 1271096890055068361/29529943642152364*c_1100_1^3 + 2613974404631540325/59059887284304728*c_1100_1^2 + 2075716789694187109/118119774568609456*c_1100_1 + 27734584730863687/118119774568609456, c_0101_8 - 164145971021677/14764971821076182*c_1100_1^10 - 656606047284879/29529943642152364*c_1100_1^9 - 248698075369579/7382485910538091*c_1100_1^8 + 8170109142169/14764971821076182*c_1100_1^7 + 7216117298280614/7382485910538091*c_1100_1^6 + 38143755495311737/14764971821076182*c_1100_1^5 - 13020466414916049/7382485910538091*c_1100_1^4 - 192579878491449369/7382485910538091*c_1100_1^3 - 219850649268755298/7382485910538091*c_1100_1^2 - 92036388779489711/7382485910538091*c_1100_1 - 7883694647090409/29529943642152364, c_1001_1 + 3131757517552015/118119774568609456*c_1100_1^10 + 6161714208674731/118119774568609456*c_1100_1^9 + 4637200576971879/59059887284304728*c_1100_1^8 - 92795163567467/59059887284304728*c_1100_1^7 - 137800250988235861/59059887284304728*c_1100_1^6 - 358795771387185259/59059887284304728*c_1100_1^5 + 131016433990139131/29529943642152364*c_1100_1^4 + 1827331273668674983/29529943642152364*c_1100_1^3 + 4067922553470146639/59059887284304728*c_1100_1^2 + 3471766923509899527/118119774568609456*c_1100_1 + 60451617547326933/118119774568609456, c_1100_1^11 + 2*c_1100_1^10 + 3*c_1100_1^9 - 88*c_1100_1^7 - 232*c_1100_1^6 + 162*c_1100_1^5 + 2344*c_1100_1^4 + 2662*c_1100_1^3 + 1123*c_1100_1^2 + 48*c_1100_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB