Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 240095956] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1725 geometric_solution 5.43313052 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 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 1.759241341405 0.590073167742 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 0 1 -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 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.551862762730 0.640731968153 4 1 3 5 0132 0132 1302 0132 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 -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.454132062224 0.445061221133 2 5 4 1 2031 1023 1023 0132 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 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.454132062224 0.445061221133 2 6 3 6 0132 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.866602355080 1.827329337118 3 5 2 5 1023 2310 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 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.899889201046 0.662104975931 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.413581810808 0.191411063875 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), '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_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_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_0101_0, c_0101_4, c_0110_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 2759024037653849207/1251322974952601135*c_0110_6^15 - 2687913950213981616/250264594990520227*c_0110_6^14 - 3228657958852333703/1251322974952601135*c_0110_6^13 + 5248082629301454479/1251322974952601135*c_0110_6^12 - 51353053222270589981/1251322974952601135*c_0110_6^11 - 11039393779687216884/1251322974952601135*c_0110_6^10 + 2552173270528073953/1251322974952601135*c_0110_6^9 - 15608804427004036179/1251322974952601135*c_0110_6^8 - 20315420320884735438/1251322974952601135*c_0110_6^7 + 21567933681208720296/1251322974952601135*c_0110_6^6 - 5810842850361418094/250264594990520227*c_0110_6^5 - 10817150212217053384/250264594990520227*c_0110_6^4 - 3620904503521882366/250264594990520227*c_0110_6^3 - 29250214417987796111/1251322974952601135*c_0110_6^2 - 52902812602751966893/1251322974952601135*c_0110_6 + 30227174817566728847/1251322974952601135, c_0011_0 - 1, c_0011_1 + 2825820115759/15266552491339*c_0110_6^15 - 11068932096732/15266552491339*c_0110_6^14 - 15475651546012/15266552491339*c_0110_6^13 - 1752630377696/15266552491339*c_0110_6^12 - 51412009008577/15266552491339*c_0110_6^11 - 63859689382081/15266552491339*c_0110_6^10 - 25524661014060/15266552491339*c_0110_6^9 - 30844025076436/15266552491339*c_0110_6^8 - 51640200482426/15266552491339*c_0110_6^7 - 5070838997194/15266552491339*c_0110_6^6 - 24340822363688/15266552491339*c_0110_6^5 - 89766890770327/15266552491339*c_0110_6^4 - 82175415490593/15266552491339*c_0110_6^3 - 75864137161368/15266552491339*c_0110_6^2 - 108969434177371/15266552491339*c_0110_6 - 51820130923874/15266552491339, c_0011_3 - 1623267595848/15266552491339*c_0110_6^15 + 5609513826306/15266552491339*c_0110_6^14 + 12255303422242/15266552491339*c_0110_6^13 + 3190462036718/15266552491339*c_0110_6^12 + 29147675472219/15266552491339*c_0110_6^11 + 48394551638125/15266552491339*c_0110_6^10 + 22414568753077/15266552491339*c_0110_6^9 + 20153625564353/15266552491339*c_0110_6^8 + 23082286400736/15266552491339*c_0110_6^7 + 8825824430244/15266552491339*c_0110_6^6 + 10826313236574/15266552491339*c_0110_6^5 + 45637399584233/15266552491339*c_0110_6^4 + 61240371481486/15266552491339*c_0110_6^3 + 55941910879973/15266552491339*c_0110_6^2 + 77268187664791/15266552491339*c_0110_6 + 36561190756349/15266552491339, c_0101_0 + 2836572765900/15266552491339*c_0110_6^15 - 10155864751951/15266552491339*c_0110_6^14 - 19119325711070/15266552491339*c_0110_6^13 - 8572038372236/15266552491339*c_0110_6^12 - 49240053884795/15266552491339*c_0110_6^11 - 76492113146063/15266552491339*c_0110_6^10 - 49321607244468/15266552491339*c_0110_6^9 - 23890025771820/15266552491339*c_0110_6^8 - 44234603422261/15266552491339*c_0110_6^7 - 16725110019966/15266552491339*c_0110_6^6 - 16530932603667/15266552491339*c_0110_6^5 - 87926970229580/15266552491339*c_0110_6^4 - 112841690879696/15266552491339*c_0110_6^3 - 105457487374819/15266552491339*c_0110_6^2 - 115483775448352/15266552491339*c_0110_6 - 61660065579519/15266552491339, c_0101_4 + 612701575264/15266552491339*c_0110_6^15 - 3878780319447/15266552491339*c_0110_6^14 + 3207932881271/15266552491339*c_0110_6^13 + 4384124082926/15266552491339*c_0110_6^12 - 12571038799215/15266552491339*c_0110_6^11 + 11970202789349/15266552491339*c_0110_6^10 + 8842624591858/15266552491339*c_0110_6^9 - 2420300825407/15266552491339*c_0110_6^8 - 5406209862469/15266552491339*c_0110_6^7 + 1162880341657/15266552491339*c_0110_6^6 - 8666142425787/15266552491339*c_0110_6^5 - 3551041739201/15266552491339*c_0110_6^4 + 10207932961163/15266552491339*c_0110_6^3 + 14988114665404/15266552491339*c_0110_6^2 + 19218410546121/15266552491339*c_0110_6 + 12981425183467/15266552491339, c_0110_5 + 1804074701255/15266552491339*c_0110_6^15 - 6764341329649/15266552491339*c_0110_6^14 - 11125050534204/15266552491339*c_0110_6^13 - 2775822930239/15266552491339*c_0110_6^12 - 31696081248265/15266552491339*c_0110_6^11 - 45671406010475/15266552491339*c_0110_6^10 - 20099500800178/15266552491339*c_0110_6^9 - 12279525096202/15266552491339*c_0110_6^8 - 32401876751475/15266552491339*c_0110_6^7 + 2758587876431/15266552491339*c_0110_6^6 - 888709159476/15266552491339*c_0110_6^5 - 58400595541583/15266552491339*c_0110_6^4 - 57851470803491/15266552491339*c_0110_6^3 - 57943611401468/15266552491339*c_0110_6^2 - 79540235848176/15266552491339*c_0110_6 - 39123358929329/15266552491339, c_0110_6^16 - 3*c_0110_6^15 - 9*c_0110_6^14 - 6*c_0110_6^13 - 19*c_0110_6^12 - 38*c_0110_6^11 - 30*c_0110_6^10 - 19*c_0110_6^9 - 23*c_0110_6^8 - 15*c_0110_6^7 - 9*c_0110_6^6 - 35*c_0110_6^5 - 55*c_0110_6^4 - 53*c_0110_6^3 - 60*c_0110_6^2 - 47*c_0110_6 - 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB