Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 3052677465] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1929 geometric_solution 5.52465150 oriented_manifold CS_known -0.0000000000000002 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 0 0 0 0 0 0 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.679116735307 0.185512921001 0 2 2 0 3201 0132 1023 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 -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 1.462042676764 0.642673975266 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 1 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 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.153500540871 0.413615951108 2 5 6 4 0132 0132 0132 0321 0 0 0 0 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 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.619901762951 1.058315285985 6 3 2 5 2310 0321 0132 2310 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 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.619901762951 1.058315285985 4 3 6 6 3201 0132 3012 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.533678298824 0.586049345998 5 5 4 3 3012 1230 3201 0132 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 1 0 -1 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.753720126260 1.199151083899 ==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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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_0101_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], '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_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_4']), '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_4, c_0011_6, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 2435140860708708351377/3267160558038506953849344*c_0101_0*c_0101_5^\ 14 + 331203701188233991055/3267160558038506953849344*c_0101_0*c_010\ 1_5^13 - 21091951418809937635195/1089053519346168984616448*c_0101_0\ *c_0101_5^12 - 7568842753699311111385/204197534877406684615584*c_01\ 01_0*c_0101_5^11 - 77353425463287143484033/272263379836542246154112\ *c_0101_0*c_0101_5^10 - 3404618264312167227391183/32671605580385069\ 53849344*c_0101_0*c_0101_5^9 - 2675925819784821547789097/3267160558\ 038506953849344*c_0101_0*c_0101_5^8 + 217857243744325169499245/408395069754813369231168*c_0101_0*c_0101_5\ ^7 + 12891805751155204614817/12375608174388283916096*c_0101_0*c_010\ 1_5^6 + 678944962072120924013419/408395069754813369231168*c_0101_0*\ c_0101_5^5 - 245394470273153054306279/68065844959135561538528*c_010\ 1_0*c_0101_5^4 - 155956541040399028835791/51049383719351671153896*c\ _0101_0*c_0101_5^3 + 234369285650904862771883/170164612397838903846\ 32*c_0101_0*c_0101_5^2 - 48285309828419178132840/212705765497298629\ 8079*c_0101_0*c_0101_5 + 124189187914793532891823/12762345929837917\ 788474*c_0101_0, c_0011_0 - 1, c_0011_1 - 90231475971793223/426745109461664962624*c_0101_5^14 + 126385648138014103/106686277365416240656*c_0101_5^13 - 310290394109709147/213372554730832481312*c_0101_5^12 + 5644100772286158771/426745109461664962624*c_0101_5^11 + 4129672242097297377/106686277365416240656*c_0101_5^10 + 29790465746420586645/426745109461664962624*c_0101_5^9 + 15777006190870438195/106686277365416240656*c_0101_5^8 + 96794762115501404931/426745109461664962624*c_0101_5^7 - 9226241032011640875/53343138682708120328*c_0101_5^6 + 2030790001849654507/53343138682708120328*c_0101_5^5 - 29568753076740158705/26671569341354060164*c_0101_5^4 + 7024374370086301447/13335784670677030082*c_0101_5^3 + 8531395796241175419/13335784670677030082*c_0101_5^2 - 2951702045585172591/13335784670677030082*c_0101_5 + 2663173156642135766/6667892335338515041, c_0011_4 + 90231475971793223/426745109461664962624*c_0101_0*c_0101_5^14 - 126385648138014103/106686277365416240656*c_0101_0*c_0101_5^13 + 310290394109709147/213372554730832481312*c_0101_0*c_0101_5^12 - 5644100772286158771/426745109461664962624*c_0101_0*c_0101_5^11 - 4129672242097297377/106686277365416240656*c_0101_0*c_0101_5^10 - 29790465746420586645/426745109461664962624*c_0101_0*c_0101_5^9 - 15777006190870438195/106686277365416240656*c_0101_0*c_0101_5^8 - 96794762115501404931/426745109461664962624*c_0101_0*c_0101_5^7 + 9226241032011640875/53343138682708120328*c_0101_0*c_0101_5^6 - 2030790001849654507/53343138682708120328*c_0101_0*c_0101_5^5 + 29568753076740158705/26671569341354060164*c_0101_0*c_0101_5^4 - 7024374370086301447/13335784670677030082*c_0101_0*c_0101_5^3 - 8531395796241175419/13335784670677030082*c_0101_0*c_0101_5^2 + 2951702045585172591/13335784670677030082*c_0101_0*c_0101_5 + 4004719178696379275/6667892335338515041*c_0101_0, c_0011_6 + 715068095760728643/853490218923329925248*c_0101_0*c_0101_5^1\ 4 - 1150024570353384657/213372554730832481312*c_0101_0*c_0101_5^13 + 2735712858733625801/426745109461664962624*c_0101_0*c_0101_5^12 - 33085321652709743403/853490218923329925248*c_0101_0*c_0101_5^11 - 12538622264508655531/106686277365416240656*c_0101_0*c_0101_5^10 - 18160487088575599889/853490218923329925248*c_0101_0*c_0101_5^9 + 43021011591050040823/213372554730832481312*c_0101_0*c_0101_5^8 - 37088359303158028411/853490218923329925248*c_0101_0*c_0101_5^7 + 61959257183760887445/213372554730832481312*c_0101_0*c_0101_5^6 - 113380716651815761183/53343138682708120328*c_0101_0*c_0101_5^5 + 107076643406644436625/53343138682708120328*c_0101_0*c_0101_5^4 + 30278341033814372623/53343138682708120328*c_0101_0*c_0101_5^3 + 4600389149350333643/26671569341354060164*c_0101_0*c_0101_5^2 - 3724123085116512408/6667892335338515041*c_0101_0*c_0101_5 + 450852870642669616/6667892335338515041*c_0101_0, c_0101_0^2 + 90231475971793223/426745109461664962624*c_0101_5^14 - 126385648138014103/106686277365416240656*c_0101_5^13 + 310290394109709147/213372554730832481312*c_0101_5^12 - 5644100772286158771/426745109461664962624*c_0101_5^11 - 4129672242097297377/106686277365416240656*c_0101_5^10 - 29790465746420586645/426745109461664962624*c_0101_5^9 - 15777006190870438195/106686277365416240656*c_0101_5^8 - 96794762115501404931/426745109461664962624*c_0101_5^7 + 9226241032011640875/53343138682708120328*c_0101_5^6 - 2030790001849654507/53343138682708120328*c_0101_5^5 + 29568753076740158705/26671569341354060164*c_0101_5^4 - 7024374370086301447/13335784670677030082*c_0101_5^3 - 8531395796241175419/13335784670677030082*c_0101_5^2 + 2951702045585172591/13335784670677030082*c_0101_5 - 9331065491980650807/6667892335338515041, c_0101_3 + 60035125924616553/106686277365416240656*c_0101_5^14 - 573823566514689171/213372554730832481312*c_0101_5^13 - 74943252522856431/106686277365416240656*c_0101_5^12 - 1297862323098629259/53343138682708120328*c_0101_5^11 - 25813449553065220509/213372554730832481312*c_0101_5^10 - 2417226786817427829/13335784670677030082*c_0101_5^9 - 12463351355291576791/213372554730832481312*c_0101_5^8 + 2173675686986110571/26671569341354060164*c_0101_5^7 + 127937854695341501939/213372554730832481312*c_0101_5^6 - 37949777418271857545/106686277365416240656*c_0101_5^5 - 2119569981961724657/26671569341354060164*c_0101_5^4 + 34357848631853027407/53343138682708120328*c_0101_5^3 - 9724092279573566455/13335784670677030082*c_0101_5^2 - 1597337770430993557/13335784670677030082*c_0101_5 - 2104276540936235183/6667892335338515041, c_0101_5^15 - 5*c_0101_5^14 - c_0101_5^13 - 40*c_0101_5^12 - 200*c_0101_5^11 - 239*c_0101_5^10 + 179*c_0101_5^9 + 616*c_0101_5^8 + 1356*c_0101_5^7 - 1000*c_0101_5^6 - 1232*c_0101_5^5 - 32*c_0101_5^4 - 960*c_0101_5^3 + 512*c_0101_5^2 + 1024*c_0101_5 + 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB