Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 2362249295] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0454 geometric_solution 4.49420703 oriented_manifold CS_known -0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 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 -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 6.308458449301 1.252103817102 0 2 2 0 3201 0132 3201 0132 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 -1 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 0 0 0 -0.256916535809 0.090699860059 1 1 3 3 2310 0132 0132 2310 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 1 -1 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 1.855132107230 0.972446195947 2 4 5 2 3201 0132 0132 0132 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 -1 0 1 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.921267334858 0.348292275327 5 3 5 6 2103 0132 1302 0132 0 0 0 0 0 1 0 -1 -1 0 1 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 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.600639722310 0.635213030398 4 6 4 3 2031 1023 2103 0132 0 0 0 0 0 0 0 0 0 0 1 -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 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.600639722310 0.635213030398 5 6 4 6 1023 2310 0132 3201 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 -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.214093583296 0.831143825526 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0110_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_6']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_0']})} 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_1, c_0011_3, c_0011_5, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 3406435130184709898/123889502661485855*c_0110_6^14 + 26677055839318174394/123889502661485855*c_0110_6^13 - 3738046582432505904/123889502661485855*c_0110_6^12 - 65221239109722928522/123889502661485855*c_0110_6^11 + 48396951314803779582/24777900532297171*c_0110_6^10 + 138162109996706066841/123889502661485855*c_0110_6^9 - 210571897986754322752/123889502661485855*c_0110_6^8 - 363914411386900931813/123889502661485855*c_0110_6^7 - 255890943689605501306/123889502661485855*c_0110_6^6 + 524627931300718777414/123889502661485855*c_0110_6^5 - 66346980172434480116/123889502661485855*c_0110_6^4 - 39499888491390688183/24777900532297171*c_0110_6^3 + 17866718802258418653/7287617803616815*c_0110_6^2 - 18141868281096193107/24777900532297171*c_0110_6 - 289188619880740367/123889502661485855, c_0011_0 - 1, c_0011_1 - 133724103165/1457523560723363*c_0110_6^14 + 35720040057785/1457523560723363*c_0110_6^13 - 256463337491467/1457523560723363*c_0110_6^12 - 60789892216735/1457523560723363*c_0110_6^11 + 13305838178347/39392528668199*c_0110_6^10 - 1976176393999245/1457523560723363*c_0110_6^9 - 2272108719517685/1457523560723363*c_0110_6^8 - 202877850954832/1457523560723363*c_0110_6^7 + 5217582436420570/1457523560723363*c_0110_6^6 + 4669479882124044/1457523560723363*c_0110_6^5 - 1706688029604848/1457523560723363*c_0110_6^4 - 1060299294240052/1457523560723363*c_0110_6^3 - 158763435622985/1457523560723363*c_0110_6^2 - 252366114390576/1457523560723363*c_0110_6 - 1279917728043651/1457523560723363, c_0011_3 + 25146151309757/1457523560723363*c_0110_6^14 - 151866568748460/1457523560723363*c_0110_6^13 - 279453222936929/1457523560723363*c_0110_6^12 + 196375644450660/1457523560723363*c_0110_6^11 - 1048703090469085/1457523560723363*c_0110_6^10 - 3442032703959699/1457523560723363*c_0110_6^9 - 3073812577812509/1457523560723363*c_0110_6^8 + 2123577368339508/1457523560723363*c_0110_6^7 + 7330243202085469/1457523560723363*c_0110_6^6 + 5079520608229857/1457523560723363*c_0110_6^5 - 312901522983214/1457523560723363*c_0110_6^4 - 2560488445980452/1457523560723363*c_0110_6^3 - 865837858586865/1457523560723363*c_0110_6^2 - 1265953145832707/1457523560723363*c_0110_6 - 533534035866016/1457523560723363, c_0011_5 - 412036298163005/1457523560723363*c_0101_1*c_0110_6^14 + 2972160743203569/1457523560723363*c_0101_1*c_0110_6^13 + 1438468237656073/1457523560723363*c_0101_1*c_0110_6^12 - 7383558380115992/1457523560723363*c_0101_1*c_0110_6^11 + 24494527805145823/1457523560723363*c_0101_1*c_0110_6^10 + 32755557904626218/1457523560723363*c_0101_1*c_0110_6^9 - 8339847536299371/1457523560723363*c_0101_1*c_0110_6^8 - 53643447991113984/1457523560723363*c_0101_1*c_0110_6^7 - 63746079385360868/1457523560723363*c_0101_1*c_0110_6^6 + 30913819565998963/1457523560723363*c_0101_1*c_0110_6^5 + 19941125476468731/1457523560723363*c_0101_1*c_0110_6^4 - 406303434387379/39392528668199*c_0101_1*c_0110_6^3 + 24744417922451350/1457523560723363*c_0101_1*c_0110_6^2 + 6240252486717169/1457523560723363*c_0101_1*c_0110_6 + 592337401420265/1457523560723363*c_0101_1, c_0101_1^2 + 133724103165/1457523560723363*c_0110_6^14 - 35720040057785/1457523560723363*c_0110_6^13 + 256463337491467/1457523560723363*c_0110_6^12 + 60789892216735/1457523560723363*c_0110_6^11 - 13305838178347/39392528668199*c_0110_6^10 + 1976176393999245/1457523560723363*c_0110_6^9 + 2272108719517685/1457523560723363*c_0110_6^8 + 202877850954832/1457523560723363*c_0110_6^7 - 5217582436420570/1457523560723363*c_0110_6^6 - 4669479882124044/1457523560723363*c_0110_6^5 + 1706688029604848/1457523560723363*c_0110_6^4 + 1060299294240052/1457523560723363*c_0110_6^3 + 158763435622985/1457523560723363*c_0110_6^2 + 252366114390576/1457523560723363*c_0110_6 - 177605832679712/1457523560723363, c_0101_2 - 44865594838406/1457523560723363*c_0110_6^14 + 300172511562886/1457523560723363*c_0110_6^13 + 284196612574816/1457523560723363*c_0110_6^12 - 398118472160663/1457523560723363*c_0110_6^11 + 2194054738939384/1457523560723363*c_0110_6^10 + 4364739245812766/1457523560723363*c_0110_6^9 + 3716810251084906/1457523560723363*c_0110_6^8 - 4675358817196793/1457523560723363*c_0110_6^7 - 10712471044618269/1457523560723363*c_0110_6^6 - 4990957826991364/1457523560723363*c_0110_6^5 + 491597760046818/1457523560723363*c_0110_6^4 + 3333848768414909/1457523560723363*c_0110_6^3 + 1211793048188445/1457523560723363*c_0110_6^2 + 881322613526812/1457523560723363*c_0110_6 + 989285683179894/1457523560723363, c_0110_6^15 - 7*c_0110_6^14 - 5*c_0110_6^13 + 17*c_0110_6^12 - 56*c_0110_6^11 - 92*c_0110_6^10 + 2*c_0110_6^9 + 130*c_0110_6^8 + 178*c_0110_6^7 - 41*c_0110_6^6 - 56*c_0110_6^5 + 32*c_0110_6^4 - 52*c_0110_6^3 - 27*c_0110_6^2 - 6*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB