Magma V2.19-8 Tue Aug 20 2013 16:17:28 on localhost [Seed = 1326371733] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1704 geometric_solution 5.41577735 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 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 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.520010629543 0.466803228043 3 2 4 0 0132 3012 0132 0132 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 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.935094690799 0.955944374313 1 3 0 4 1230 3201 0132 3201 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 0 1 -1 -1 0 0 1 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.935094690799 0.955944374313 1 5 2 5 0132 0132 2310 1023 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 -1 1 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.547575229517 0.583576177857 6 2 6 1 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.021109954137 1.591954136240 5 3 5 3 2310 0132 3201 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 1 -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.694945504371 0.519757626837 4 6 4 6 0132 1302 1023 2031 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.415991256492 0.124343949713 ==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' : negation(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_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), '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_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 540796223997934941117200273/4701572447376031351515000*c_0101_4*c_01\ 01_5^14 + 2034221896655294794601746619/4701572447376031351515000*c_\ 0101_4*c_0101_5^13 + 36230344785946674288585414737/4701572447376031\ 351515000*c_0101_4*c_0101_5^12 + 15424732704593965173290502049/1567\ 190815792010450505000*c_0101_4*c_0101_5^11 - 145729335011173539118521183011/2350786223688015675757500*c_0101_4*c\ _0101_5^10 - 220111823629095261773964077759/94031448947520627030300\ 0*c_0101_4*c_0101_5^9 - 526795674776816209157756386537/156719081579\ 2010450505000*c_0101_4*c_0101_5^8 + 90478699640923525427214254359/4701572447376031351515000*c_0101_4*c_\ 0101_5^7 + 55324086799537523698763980333/94031448947520627030300*c_\ 0101_4*c_0101_5^6 + 1203932062837539703412559752147/156719081579201\ 0450505000*c_0101_4*c_0101_5^5 + 381274763190276015330811154821/587\ 696555922003918939375*c_0101_4*c_0101_5^4 + 208259809412548263743386403824/587696555922003918939375*c_0101_4*c_\ 0101_5^3 + 304964281263352938141167521259/4701572447376031351515000\ *c_0101_4*c_0101_5^2 - 4558274138733042517747488757/470157244737603\ 135151500*c_0101_4*c_0101_5 - 1294223189895756949506585397/52239693\ 8597336816835000*c_0101_4, c_0011_0 - 1, c_0011_1 - 3381646317861381326/940314489475206270303*c_0101_4*c_0101_5^\ 14 + 8640176926641648298/313438163158402090101*c_0101_4*c_0101_5^13 + 157147745436782899603/940314489475206270303*c_0101_4*c_0101_5^12 - 503141774064040325758/940314489475206270303*c_0101_4*c_0101_5^11 - 1710858649848740837509/940314489475206270303*c_0101_4*c_0101_5^10 + 820207590891970145467/940314489475206270303*c_0101_4*c_0101_5^9 + 5833389034597473594068/940314489475206270303*c_0101_4*c_0101_5^8 + 8866492819851977783221/940314489475206270303*c_0101_4*c_0101_5^7 - 5292234433393071003655/313438163158402090101*c_0101_4*c_0101_5^6 - 14536664192591392963087/940314489475206270303*c_0101_4*c_0101_5^5 + 4493126540822206019171/940314489475206270303*c_0101_4*c_0101_5^4 + 2991300123639533112283/940314489475206270303*c_0101_4*c_0101_5^3 + 13598423584584209091256/940314489475206270303*c_0101_4*c_0101_5^2 + 6813611118996514317727/940314489475206270303*c_0101_4*c_0101_5 - 810452136426065896726/940314489475206270303*c_0101_4, c_0011_4 + 41460806979040097272/940314489475206270303*c_0101_5^14 - 56177976195608012969/313438163158402090101*c_0101_5^13 - 2729226617114193947822/940314489475206270303*c_0101_5^12 - 2705271518251456240663/940314489475206270303*c_0101_5^11 + 23325671690922983054936/940314489475206270303*c_0101_5^10 + 77274501858004264778818/940314489475206270303*c_0101_5^9 + 96243301862269846153637/940314489475206270303*c_0101_5^8 - 39272823009896637640049/940314489475206270303*c_0101_5^7 - 67534815998097658253471/313438163158402090101*c_0101_5^6 - 210456574500334738614997/940314489475206270303*c_0101_5^5 - 164166452029628482057261/940314489475206270303*c_0101_5^4 - 71983318839777134749910/940314489475206270303*c_0101_5^3 + 2994671515368780407281/940314489475206270303*c_0101_5^2 + 2231689927919323402294/940314489475206270303*c_0101_5 + 266823332851234314137/940314489475206270303, c_0101_1 - 87318185937901/3149573072369751*c_0101_5^14 + 371132767920631/3149573072369751*c_0101_5^13 + 5670744747618976/3149573072369751*c_0101_5^12 + 1562830650026563/1049857690789917*c_0101_5^11 - 49499245062330395/3149573072369751*c_0101_5^10 - 153540571365188477/3149573072369751*c_0101_5^9 - 19848010338431816/349952563596639*c_0101_5^8 + 105314814637978148/3149573072369751*c_0101_5^7 + 396811236857020120/3149573072369751*c_0101_5^6 + 127303026113191973/1049857690789917*c_0101_5^5 + 295602895274787070/3149573072369751*c_0101_5^4 + 124715427788137411/3149573072369751*c_0101_5^3 - 7852145426856467/3149573072369751*c_0101_5^2 + 1618672106186326/3149573072369751*c_0101_5 + 283937766879556/1049857690789917, c_0101_2 - 325735477503691883525/626876326316804180202*c_0101_4*c_0101_\ 5^14 + 4007216471326961817683/1880628978950412540606*c_0101_4*c_010\ 1_5^13 + 64093572001844514752809/1880628978950412540606*c_0101_4*c_\ 0101_5^12 + 61931370605426150883565/1880628978950412540606*c_0101_4\ *c_0101_5^11 - 91109481575847480538561/313438163158402090101*c_0101\ _4*c_0101_5^10 - 1801849879808573190105215/1880628978950412540606*c\ _0101_4*c_0101_5^9 - 2252688574910525368780811/18806289789504125406\ 06*c_0101_4*c_0101_5^8 + 99527915322748068092135/208958775438934726\ 734*c_0101_4*c_0101_5^7 + 2324393503525137893616559/940314489475206\ 270303*c_0101_4*c_0101_5^6 + 4951828613246231596676863/188062897895\ 0412540606*c_0101_4*c_0101_5^5 + 217554068947268066165543/104479387\ 719467363367*c_0101_4*c_0101_5^4 + 893016661869722846048099/940314489475206270303*c_0101_4*c_0101_5^3 + 29243788235442767133601/1880628978950412540606*c_0101_4*c_0101_5^2 - 23035929640915766831419/940314489475206270303*c_0101_4*c_0101_5 - 126578646202674501947/1880628978950412540606*c_0101_4, c_0101_4^2 - 32653285890418579612/940314489475206270303*c_0101_5^14 + 151280115215833121672/940314489475206270303*c_0101_5^13 + 683607189320729481037/313438163158402090101*c_0101_5^12 + 1030298751898617265208/940314489475206270303*c_0101_5^11 - 18187814196924562958213/940314489475206270303*c_0101_5^10 - 16823991396877816445753/313438163158402090101*c_0101_5^9 - 54199371277215999821158/940314489475206270303*c_0101_5^8 + 45245425522326347398760/940314489475206270303*c_0101_5^7 + 119917665551955569041733/940314489475206270303*c_0101_5^6 + 121263594881604247337387/940314489475206270303*c_0101_5^5 + 96692277842736214144672/940314489475206270303*c_0101_5^4 + 11313455741628338667884/313438163158402090101*c_0101_5^3 + 108970173331532104139/313438163158402090101*c_0101_5^2 - 501024930648470025239/313438163158402090101*c_0101_5 - 214601535792086290678/940314489475206270303, c_0101_5^15 - 4*c_0101_5^14 - 66*c_0101_5^13 - 70*c_0101_5^12 + 553*c_0101_5^11 + 1901*c_0101_5^10 + 2492*c_0101_5^9 - 690*c_0101_5^8 - 4867*c_0101_5^7 - 5567*c_0101_5^6 - 4499*c_0101_5^5 - 2188*c_0101_5^4 - 179*c_0101_5^3 + 73*c_0101_5^2 + 11*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB