Magma V2.19-8 Tue Aug 20 2013 16:17:14 on localhost [Seed = 678016247] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1477 geometric_solution 5.29066561 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.098210196305 1.175003444986 0 1 3 1 0132 1302 1302 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558137124104 0.374000569166 2 0 2 5 2310 0132 3201 0132 0 0 0 0 0 1 -1 0 1 0 -1 0 1 0 0 -1 1 0 -1 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 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.726724482750 0.627949926788 1 4 5 0 2031 3012 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.222653705404 0.369516486129 3 6 0 5 1230 0132 0132 2031 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 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.789774391663 0.834078407516 6 4 2 3 0321 1302 0132 1302 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 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.510526476370 0.877094287457 5 4 6 6 0321 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.164951929376 0.196396315288 ==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' : 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_5']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_1010_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_1010_5']), 'c_1100_3' : negation(d['c_1010_5']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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_0011_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_1010_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_0011_5, c_0101_0, c_0101_2, c_1010_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 283293193398777927874686/5817455566080788269981*c_1010_5^18 - 3202814000363913609855997/5817455566080788269981*c_1010_5^17 - 17028609862617406729821479/5817455566080788269981*c_1010_5^16 - 5326223026482241423124746/528859596916435297271*c_1010_5^15 - 135424942617879323937848438/5817455566080788269981*c_1010_5^14 - 210221630065631211604956908/5817455566080788269981*c_1010_5^13 - 19381907758466839126590894/528859596916435297271*c_1010_5^12 - 113589980705242870319950464/5817455566080788269981*c_1010_5^11 + 58452328835698564184907792/5817455566080788269981*c_1010_5^10 + 217317281351493177887127492/5817455566080788269981*c_1010_5^9 + 255968922139104048975387743/5817455566080788269981*c_1010_5^8 + 160097414143740229631510953/5817455566080788269981*c_1010_5^7 - 11750235092650803605414181/5817455566080788269981*c_1010_5^6 - 74323378045521009702123766/5817455566080788269981*c_1010_5^5 - 46232848244978953078692942/5817455566080788269981*c_1010_5^4 - 13926303641462617155898110/5817455566080788269981*c_1010_5^3 + 47600308785216178168736/528859596916435297271*c_1010_5^2 + 1529389238783275618130904/5817455566080788269981*c_1010_5 + 395716396131097944148839/5817455566080788269981, c_0011_0 - 1, c_0011_3 - 1726968013256466492/2828126186718905333*c_1010_5^18 - 19481571636625068917/2828126186718905333*c_1010_5^17 - 103369913080451911870/2828126186718905333*c_1010_5^16 - 355082264517766566195/2828126186718905333*c_1010_5^15 - 819132672159652571131/2828126186718905333*c_1010_5^14 - 1268668333972201576815/2828126186718905333*c_1010_5^13 - 1283236435006711971278/2828126186718905333*c_1010_5^12 - 679172898281436031192/2828126186718905333*c_1010_5^11 + 360850896000923549762/2828126186718905333*c_1010_5^10 + 1316555322893609060229/2828126186718905333*c_1010_5^9 + 1543980695511032041476/2828126186718905333*c_1010_5^8 + 964387720318099922823/2828126186718905333*c_1010_5^7 - 74097642287524106049/2828126186718905333*c_1010_5^6 - 443218522352677848051/2828126186718905333*c_1010_5^5 - 278462915783872338407/2828126186718905333*c_1010_5^4 - 83365756828347492092/2828126186718905333*c_1010_5^3 + 2462499299900078002/2828126186718905333*c_1010_5^2 + 2091086455901060825/2828126186718905333*c_1010_5 + 1716699309609643349/2828126186718905333, c_0011_4 - 97304120114211078480/2828126186718905333*c_1010_5^18 - 1107079012042651973193/2828126186718905333*c_1010_5^17 - 5927604234972039613179/2828126186718905333*c_1010_5^16 - 20539802571025318575474/2828126186718905333*c_1010_5^15 - 47938054597312190658980/2828126186718905333*c_1010_5^14 - 75466681987771609864496/2828126186718905333*c_1010_5^13 - 78223902407187504900217/2828126186718905333*c_1010_5^12 - 43973019783511295196075/2828126186718905333*c_1010_5^11 + 17569666745152605985672/2828126186718905333*c_1010_5^10 + 76204498641197881066294/2828126186718905333*c_1010_5^9 + 93128927308930607998636/2828126186718905333*c_1010_5^8 + 60929354967349888205294/2828126186718905333*c_1010_5^7 - 478735886435736331566/2828126186718905333*c_1010_5^6 - 26002169154206806400667/2828126186718905333*c_1010_5^5 - 17608462166570495462713/2828126186718905333*c_1010_5^4 - 5714968640909293395159/2828126186718905333*c_1010_5^3 - 85388546640607754722/2828126186718905333*c_1010_5^2 + 526258353792566672231/2828126186718905333*c_1010_5 + 157382256200615064459/2828126186718905333, c_0011_5 - 139047606195185967475/2828126186718905333*c_1010_5^18 - 1582219576055572595772/2828126186718905333*c_1010_5^17 - 8472179546727309802454/2828126186718905333*c_1010_5^16 - 29356236404925803741708/2828126186718905333*c_1010_5^15 - 68507412743299683178110/2828126186718905333*c_1010_5^14 - 107811532938435154088863/2828126186718905333*c_1010_5^13 - 111649275741597286077665/2828126186718905333*c_1010_5^12 - 62575194600957385227295/2828126186718905333*c_1010_5^11 + 25409438159388655673871/2828126186718905333*c_1010_5^10 + 109097881776638004487259/2828126186718905333*c_1010_5^9 + 133062419699347200648676/2828126186718905333*c_1010_5^8 + 86805732282649898797201/2828126186718905333*c_1010_5^7 - 1025743494727307396606/2828126186718905333*c_1010_5^6 - 37396420928211592196056/2828126186718905333*c_1010_5^5 - 25120143791118137011891/2828126186718905333*c_1010_5^4 - 8066527116760670482989/2828126186718905333*c_1010_5^3 - 86560877245533195322/2828126186718905333*c_1010_5^2 + 757365992625001626660/2828126186718905333*c_1010_5 + 222516231086878048716/2828126186718905333, c_0101_0 - 16207958911056956368/2828126186718905333*c_1010_5^18 - 185190811477781704841/2828126186718905333*c_1010_5^17 - 996206122683469935861/2828126186718905333*c_1010_5^16 - 3467982990858243278765/2828126186718905333*c_1010_5^15 - 8143520007448464419697/2828126186718905333*c_1010_5^14 - 12928732674564913720900/2828126186718905333*c_1010_5^13 - 13561523954496195459582/2828126186718905333*c_1010_5^12 - 7812193969948644102825/2828126186718905333*c_1010_5^11 + 2751819454821057189213/2828126186718905333*c_1010_5^10 + 12974060693013066410032/2828126186718905333*c_1010_5^9 + 16151249642252892716722/2828126186718905333*c_1010_5^8 + 10784533533616521861273/2828126186718905333*c_1010_5^7 + 211985729030467349400/2828126186718905333*c_1010_5^6 - 4503630710630222196457/2828126186718905333*c_1010_5^5 - 3196241901568208464028/2828126186718905333*c_1010_5^4 - 1040760338393832711223/2828126186718905333*c_1010_5^3 - 13305914281256506753/2828126186718905333*c_1010_5^2 + 99945520675860968996/2828126186718905333*c_1010_5 + 30816856630199884718/2828126186718905333, c_0101_2 - 74893743602821389070/2828126186718905333*c_1010_5^18 - 852129072931237385381/2828126186718905333*c_1010_5^17 - 4562080246538595747781/2828126186718905333*c_1010_5^16 - 15804124794579197468757/2828126186718905333*c_1010_5^15 - 36868527177376859472454/2828126186718905333*c_1010_5^14 - 57984689074161318476441/2828126186718905333*c_1010_5^13 - 59976860332623213134297/2828126186718905333*c_1010_5^12 - 33501655877722485440447/2828126186718905333*c_1010_5^11 + 13844723446756655759278/2828126186718905333*c_1010_5^10 + 58793005171858232909077/2828126186718905333*c_1010_5^9 + 71543430326992056319366/2828126186718905333*c_1010_5^8 + 46532488330971620917115/2828126186718905333*c_1010_5^7 - 743007228945100031438/2828126186718905333*c_1010_5^6 - 20206154878465929676088/2828126186718905333*c_1010_5^5 - 13470021614460781219727/2828126186718905333*c_1010_5^4 - 4290642659458406816207/2828126186718905333*c_1010_5^3 - 31616858554021767582/2828126186718905333*c_1010_5^2 + 408320228692928303104/2828126186718905333*c_1010_5 + 118308847516511785443/2828126186718905333, c_1010_5^19 + 12*c_1010_5^18 + 68*c_1010_5^17 + 249*c_1010_5^16 + 624*c_1010_5^15 + 1082*c_1010_5^14 + 1286*c_1010_5^13 + 951*c_1010_5^12 + 99*c_1010_5^11 - 897*c_1010_5^10 - 1445*c_1010_5^9 - 1221*c_1010_5^8 - 383*c_1010_5^7 + 272*c_1010_5^6 + 348*c_1010_5^5 + 171*c_1010_5^4 + 37*c_1010_5^3 - 5*c_1010_5^2 - 5*c_1010_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB