Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 3137021528] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0539 geometric_solution 4.55811835 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 2103 0132 0 0 0 0 0 -1 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 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.627318267187 0.594734388440 0 2 4 4 0132 1302 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -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 1 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 0 0 0 -0.885277244442 1.826842732634 0 0 3 1 2103 0132 1302 2031 0 0 0 0 0 1 -1 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 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.160483088596 0.795911107655 2 5 0 5 2031 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.763104083429 0.253601363061 6 1 1 6 0132 3201 0132 1023 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 -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.033271263478 0.294259714901 5 3 5 3 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634481569516 0.096662656738 4 6 6 4 0132 3201 2310 1023 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 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 2.137001499004 1.024880327193 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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_0_6' : 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_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0110_3'], 'c_1001_2' : d['c_0110_3'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0110_3'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0110_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_1, c_0101_6, c_0110_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t + 6*c_0110_3^2 - 3*c_0110_3 - 14, c_0011_0 - 1, c_0011_3 + c_0110_3^2 - 1, c_0011_4 + c_0110_3, c_0101_1 + c_0110_3, c_0101_6 - 1, c_0110_3^3 - c_0110_3^2 - 2*c_0110_3 + 1, c_0110_5 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_1, c_0101_6, c_0110_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 175176537490671158792744/7159045641856091172361*c_0110_5^15 - 19853699192544449082505876/21477136925568273517083*c_0110_5^14 + 172874062505316445335651959/21477136925568273517083*c_0110_5^13 - 226901586464569513481784487/7159045641856091172361*c_0110_5^12 + 1519148643030111921718674154/21477136925568273517083*c_0110_5^11 - 754641830425065911508181573/7159045641856091172361*c_0110_5^10 + 2509690542253846764492463070/21477136925568273517083*c_0110_5^9 - 1990585707945177566944631081/21477136925568273517083*c_0110_5^8 + 1080633213101612998035376123/21477136925568273517083*c_0110_5^7 - 393963519136062067654994044/21477136925568273517083*c_0110_5^6 - 3928899636233259988702025/7159045641856091172361*c_0110_5^5 - 43708892998628213695776632/21477136925568273517083*c_0110_5^4 + 8555331407135253872176629/7159045641856091172361*c_0110_5^3 - 60630003459502972745298755/21477136925568273517083*c_0110_5^2 + 20196704189478276282746098/21477136925568273517083*c_0110_5 - 1765482110042335252450915/21477136925568273517083, c_0011_0 - 1, c_0011_3 - 964675106653498731927/7159045641856091172361*c_0110_5^15 + 36687255550104059998364/7159045641856091172361*c_0110_5^14 - 326221183157870238295278/7159045641856091172361*c_0110_5^13 + 1318074684868806836127836/7159045641856091172361*c_0110_5^12 - 3002749271337405733796623/7159045641856091172361*c_0110_5^11 + 4461887338937913022748529/7159045641856091172361*c_0110_5^10 - 4802087107807304011220013/7159045641856091172361*c_0110_5^9 + 3677646286787263578523998/7159045641856091172361*c_0110_5^8 - 1854473363359556107358560/7159045641856091172361*c_0110_5^7 + 594636585364649876777634/7159045641856091172361*c_0110_5^6 - 15474599941768914773292/7159045641856091172361*c_0110_5^5 + 116766574616189348052762/7159045641856091172361*c_0110_5^4 - 116449190457596858553859/7159045641856091172361*c_0110_5^3 + 94353877036726160569027/7159045641856091172361*c_0110_5^2 - 25340223239952409792863/7159045641856091172361*c_0110_5 + 10576489992527919868821/7159045641856091172361, c_0011_4 - 1388711729957325162530/7159045641856091172361*c_0110_5^15 + 52665381866530430043441/7159045641856091172361*c_0110_5^14 - 463935970739756483210323/7159045641856091172361*c_0110_5^13 + 1845819634659606633697686/7159045641856091172361*c_0110_5^12 - 4109049939771277880178889/7159045641856091172361*c_0110_5^11 + 5930320829625829063373853/7159045641856091172361*c_0110_5^10 - 6192794547480342408590120/7159045641856091172361*c_0110_5^9 + 4558162780228908270056574/7159045641856091172361*c_0110_5^8 - 2149363406429517545872852/7159045641856091172361*c_0110_5^7 + 640289406182920410340234/7159045641856091172361*c_0110_5^6 + 26739374198737308979606/7159045641856091172361*c_0110_5^5 + 153555313356736189194805/7159045641856091172361*c_0110_5^4 - 121554125646962876400056/7159045641856091172361*c_0110_5^3 + 87638662667656485463518/7159045641856091172361*c_0110_5^2 - 20079229104237783721282/7159045641856091172361*c_0110_5 + 11464405497569860644829/7159045641856091172361, c_0101_1 - 630493034108579273522/7159045641856091172361*c_0110_5^15 + 23729278848183666431147/7159045641856091172361*c_0110_5^14 - 203780622829258716315137/7159045641856091172361*c_0110_5^13 + 778565644094537205188664/7159045641856091172361*c_0110_5^12 - 1635176445679293151430127/7159045641856091172361*c_0110_5^11 + 2200086364759317428134333/7159045641856091172361*c_0110_5^10 - 2133273051366505358427099/7159045641856091172361*c_0110_5^9 + 1381607490045213975703540/7159045641856091172361*c_0110_5^8 - 487896249696667843790348/7159045641856091172361*c_0110_5^7 + 93334809227427520351577/7159045641856091172361*c_0110_5^6 + 53760963841253977564806/7159045641856091172361*c_0110_5^5 + 89317773893957639080631/7159045641856091172361*c_0110_5^4 - 44707919540085633650091/7159045641856091172361*c_0110_5^3 + 11314722350800347468978/7159045641856091172361*c_0110_5^2 + 3140175913245360174739/7159045641856091172361*c_0110_5 + 1259350593937065901703/7159045641856091172361, c_0101_6 - 1985046125450807820592/7159045641856091172361*c_0110_5^15 + 75331878929979879624665/7159045641856091172361*c_0110_5^14 - 665249530085018445357542/7159045641856091172361*c_0110_5^13 + 2661210622213938397699296/7159045641856091172361*c_0110_5^12 - 5988963382384766262900251/7159045641856091172361*c_0110_5^11 + 8799331941949878181955644/7159045641856091172361*c_0110_5^10 - 9388914928074616398960736/7159045641856091172361*c_0110_5^9 + 7082962912733824919578067/7159045641856091172361*c_0110_5^8 - 3472697306527461144380115/7159045641856091172361*c_0110_5^7 + 1077062316009473297359503/7159045641856091172361*c_0110_5^6 + 36111689446000061600142/7159045641856091172361*c_0110_5^5 + 212321988423009706438900/7159045641856091172361*c_0110_5^4 - 196642350065045298198638/7159045641856091172361*c_0110_5^3 + 155249618078960142685802/7159045641856091172361*c_0110_5^2 - 37585051321867715027203/7159045641856091172361*c_0110_5 + 17962547463200238124617/7159045641856091172361, c_0110_3 + 1624769638033186190587/7159045641856091172361*c_0110_5^15 - 61542206613928892065390/7159045641856091172361*c_0110_5^14 + 539977046233791510245239/7159045641856091172361*c_0110_5^13 - 2135907672661201670633379/7159045641856091172361*c_0110_5^12 + 4721152746854381163758626/7159045641856091172361*c_0110_5^11 - 6770916417635263131278020/7159045641856091172361*c_0110_5^10 + 7038885175809860146381575/7159045641856091172361*c_0110_5^9 - 5128113517776407508789221/7159045641856091172361*c_0110_5^8 + 2360130484642081586234196/7159045641856091172361*c_0110_5^7 - 688975867934043830923598/7159045641856091172361*c_0110_5^6 - 34386776761755066374211/7159045641856091172361*c_0110_5^5 - 214489927022551987711428/7159045641856091172361*c_0110_5^4 + 176407628288821756754963/7159045641856091172361*c_0110_5^3 - 115015665709651039436981/7159045641856091172361*c_0110_5^2 + 30288831894556073340036/7159045641856091172361*c_0110_5 - 10871165479811487038597/7159045641856091172361, c_0110_5^16 - 38*c_0110_5^15 + 337*c_0110_5^14 - 1356*c_0110_5^13 + 3072*c_0110_5^12 - 4539*c_0110_5^11 + 4865*c_0110_5^10 - 3705*c_0110_5^9 + 1851*c_0110_5^8 - 598*c_0110_5^7 + 15*c_0110_5^6 - 117*c_0110_5^5 + 112*c_0110_5^4 - 82*c_0110_5^3 + 24*c_0110_5^2 - 10*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB