Magma V2.19-8 Tue Aug 20 2013 16:14:44 on localhost [Seed = 1730607998] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s716 geometric_solution 5.22600590 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 1 0 -1 0 0 1 -1 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 -1 1 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.381223683872 0.215523785414 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 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 -1 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630979310079 0.908271911189 1 4 5 3 0132 0132 0132 2310 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 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.040608969903 0.999560110908 2 5 4 1 3201 0132 3201 0132 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 0 0 0 0 -1 0 0 1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.040608969903 0.999560110908 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.324940680365 1.313293780935 5 3 5 2 2031 0132 1302 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 -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.474477176382 0.906646083375 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : 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_0101_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 6356992613749055672225728221649/61451890775118833600725236494838*c_\ 0101_4^21 + 127681333069223055984201340015910/307259453875594168003\ 62618247419*c_0101_4^19 - 99432393056244113012122539294551/10241981\ 795853138933454206082473*c_0101_4^17 - 546098238361029584982670519224505/30725945387559416800362618247419*\ c_0101_4^15 - 29190935502081071503115422882560553/61451890775118833\ 600725236494838*c_0101_4^13 - 4220804142607122668539893105432824/34\ 13993931951046311151402027491*c_0101_4^11 - 25516792782414452392383688047541622/3072594538755941680036261824741\ 9*c_0101_4^9 - 1942831503075028963689720610933735/10241981795853138\ 933454206082473*c_0101_4^7 - 83409011760814157166488156835185/66941\ 057489236202179439255441*c_0101_4^5 + 718477675738245880803178330090855/3614817104418754917689719793814*c\ _0101_4^3 + 374105884635870199432466666380490/102419817958531389334\ 54206082473*c_0101_4, c_0011_0 - 1, c_0011_1 - 418851491651032434644170/3937709264072717775261132673*c_0101\ _4^20 + 17043227496665545878033262/3937709264072717775261132673*c_0\ 101_4^18 - 48282651322331850774279169/3937709264072717775261132673*\ c_0101_4^16 - 42312907749558701874085089/39377092640727177752611326\ 73*c_0101_4^14 - 1914636977004866555132419591/393770926407271777526\ 1132673*c_0101_4^12 - 4031631403098990212545997778/3937709264072717\ 775261132673*c_0101_4^10 - 1715350400632270710804380393/39377092640\ 72717775261132673*c_0101_4^8 - 868534139004882507112187888/39377092\ 64072717775261132673*c_0101_4^6 - 3717799575444777593223016463/3937\ 709264072717775261132673*c_0101_4^4 + 3060440139646300625731994002/3937709264072717775261132673*c_0101_4^\ 2 - 2269728972638675049233395847/3937709264072717775261132673, c_0011_3 + 162646133967170831715256295/212636300259926759864101164342*c\ _0101_4^21 - 6601815576093474785523741371/2126363002599267598641011\ 64342*c_0101_4^19 + 2997270595378456797763704007/354393833766544599\ 77350194057*c_0101_4^17 + 11219961342949946915974769300/10631815012\ 9963379932050582171*c_0101_4^15 + 733223154123721069179512789195/21\ 2636300259926759864101164342*c_0101_4^13 + 60246560169558528060500757453/7875418528145435550522265346*c_0101_4\ ^11 + 190927924964078134403531163544/106318150129963379932050582171\ *c_0101_4^9 - 90200417682228874179021104530/35439383376654459977350\ 194057*c_0101_4^7 + 27880302178600354175446956884/39377092640727177\ 75261132673*c_0101_4^5 - 1235732724766403531040603637201/2126363002\ 59926759864101164342*c_0101_4^3 - 59484465721489180497519748115/708\ 78766753308919954700388114*c_0101_4, c_0101_0 + 174422576008969482580737247/106318150129963379932050582171*c\ _0101_4^21 - 7004009655860033734460723467/1063181501299633799320505\ 82171*c_0101_4^19 + 5423925539428073402898752485/354393833766544599\ 77350194057*c_0101_4^17 + 29932269139261175311216179215/10631815012\ 9963379932050582171*c_0101_4^15 + 801647174029887881334554411251/10\ 6318150129963379932050582171*c_0101_4^13 + 77746800321856188560085222419/3937709264072717775261132673*c_0101_4\ ^11 + 1464787721352190901048788242019/10631815012996337993205058217\ 1*c_0101_4^9 + 158032700702949039278911858358/354393833766544599773\ 50194057*c_0101_4^7 + 82912832083319171989749472038/393770926407271\ 7775261132673*c_0101_4^5 - 250494202791788640604592970785/106318150\ 129963379932050582171*c_0101_4^3 - 285288016876577171271611359/35439383376654459977350194057*c_0101_4, c_0101_1 - 925229221373094427248353/3937709264072717775261132673*c_0101\ _4^20 + 37465776673507319273803774/3937709264072717775261132673*c_0\ 101_4^18 - 99093797545097548721128964/3937709264072717775261132673*\ c_0101_4^16 - 120549015359571675831265506/3937709264072717775261132\ 673*c_0101_4^14 - 4230489837082112342196323983/39377092640727177752\ 61132673*c_0101_4^12 - 9697350973665337618840295675/393770926407271\ 7775261132673*c_0101_4^10 - 5022739615687151984401942246/3937709264\ 072717775261132673*c_0101_4^8 - 1162417467831059476951889498/393770\ 9264072717775261132673*c_0101_4^6 - 10568570155731827637546411505/3937709264072717775261132673*c_0101_4\ ^4 + 6864478441333107915722527688/3937709264072717775261132673*c_01\ 01_4^2 + 421921326853102364175348349/3937709264072717775261132673, c_0101_4^22 - 40*c_0101_4^20 + 87*c_0101_4^18 + 188*c_0101_4^16 + 4621*c_0101_4^14 + 12732*c_0101_4^12 + 10039*c_0101_4^10 + 3108*c_0101_4^8 + 12240*c_0101_4^6 + 85*c_0101_4^4 - 744*c_0101_4^2 - 153 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB