Magma V2.19-8 Tue Aug 20 2013 16:17:53 on localhost [Seed = 4021187347] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2115 geometric_solution 5.61283582 oriented_manifold CS_known 0.0000000000000001 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.521170394368 0.466500456681 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.836161565757 0.429792656213 3 1 4 5 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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.951281935933 0.808275131436 4 5 2 1 1023 0132 2103 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 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.951281935933 0.808275131436 4 3 4 2 2031 1023 1302 0132 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 1 -1 -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.598201550007 0.461049974273 6 3 2 6 0132 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383257146733 0.382603656937 5 6 6 5 0132 3201 2310 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 0 0 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.290255995849 0.825432025084 ==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' : 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' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), '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_0101_6'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], '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_1001_1'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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' : negation(d['c_0011_1']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_2, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 177582088185199085491741/622716782369270338129*c_1001_1^20 - 488141065600296773275421/622716782369270338129*c_1001_1^19 + 4070655161980028335089386/622716782369270338129*c_1001_1^18 + 14047545314855999690257788/622716782369270338129*c_1001_1^17 - 35579621662628616155734205/622716782369270338129*c_1001_1^16 - 131472068405402711151807812/622716782369270338129*c_1001_1^15 + 152815790791911518641089170/622716782369270338129*c_1001_1^14 + 521885116420512696169150513/622716782369270338129*c_1001_1^13 - 337717437231024715331985763/622716782369270338129*c_1001_1^12 - 1062911714903051444734659629/622716782369270338129*c_1001_1^11 + 395960629478509842339505373/622716782369270338129*c_1001_1^10 + 1218744425068863377197358866/622716782369270338129*c_1001_1^9 - 236555229338747357731712376/622716782369270338129*c_1001_1^8 - 801438134893135428646814565/622716782369270338129*c_1001_1^7 + 62612245749087391719271775/622716782369270338129*c_1001_1^6 + 291102163159700028256889975/622716782369270338129*c_1001_1^5 - 5396103648190993430143574/622716782369270338129*c_1001_1^4 - 168105095444750913007012/1989510486802780633*c_1001_1^3 + 634560385482772579015620/622716782369270338129*c_1001_1^2 + 3510906528926988182299456/622716782369270338129*c_1001_1 - 225475635835669076580221/622716782369270338129, c_0011_0 - 1, c_0011_1 + 927798222331105739080/622716782369270338129*c_1001_1^20 + 2137082077528765487772/622716782369270338129*c_1001_1^19 - 22341257843481814075777/622716782369270338129*c_1001_1^18 - 63878693157304873178447/622716782369270338129*c_1001_1^17 + 216842614208561328792784/622716782369270338129*c_1001_1^16 + 602220165666512931677016/622716782369270338129*c_1001_1^15 - 1082809926201512101469749/622716782369270338129*c_1001_1^14 - 2353418971567014778282267/622716782369270338129*c_1001_1^13 + 2842374363099083510793167/622716782369270338129*c_1001_1^12 + 4718730418853141380904846/622716782369270338129*c_1001_1^11 - 4117126835224025740088697/622716782369270338129*c_1001_1^10 - 5395761958335125303473041/622716782369270338129*c_1001_1^9 + 3370885344066435858722496/622716782369270338129*c_1001_1^8 + 3616424964331718807700272/622716782369270338129*c_1001_1^7 - 1546602044432133304228308/622716782369270338129*c_1001_1^6 - 1364059223147882722081296/622716782369270338129*c_1001_1^5 + 376833361665145452483376/622716782369270338129*c_1001_1^4 + 806963662090612443395/1989510486802780633*c_1001_1^3 - 42949615106671827211281/622716782369270338129*c_1001_1^2 - 15491198893532387733861/622716782369270338129*c_1001_1 + 2007356749888451741711/622716782369270338129, c_0011_3 + 1217846156596359334744/622716782369270338129*c_1001_1^20 + 3392064003819233158744/622716782369270338129*c_1001_1^19 - 27974102717209274244071/622716782369270338129*c_1001_1^18 - 97932541013138500247511/622716782369270338129*c_1001_1^17 + 244373079594536434349822/622716782369270338129*c_1001_1^16 + 926535190287105614048653/622716782369270338129*c_1001_1^15 - 1044512323653652154195059/622716782369270338129*c_1001_1^14 - 3764088256506600110357780/622716782369270338129*c_1001_1^13 + 2281874854428056591294885/622716782369270338129*c_1001_1^12 + 7946087087786686039283950/622716782369270338129*c_1001_1^11 - 2585392679546370612432053/622716782369270338129*c_1001_1^10 - 9568220549286213366247824/622716782369270338129*c_1001_1^9 + 1367396052822830487094343/622716782369270338129*c_1001_1^8 + 6700472326856592390577371/622716782369270338129*c_1001_1^7 - 160985225414923602377662/622716782369270338129*c_1001_1^6 - 2619396221551203371114235/622716782369270338129*c_1001_1^5 - 97122485743027396340579/622716782369270338129*c_1001_1^4 + 1616507547087664960454/1989510486802780633*c_1001_1^3 + 15012643353535803852273/622716782369270338129*c_1001_1^2 - 34456355716230813082224/622716782369270338129*c_1001_1 + 3104937371899757615139/622716782369270338129, c_0101_0 + 1450094022893938388567/622716782369270338129*c_1001_1^20 + 3676797111916864245811/622716782369270338129*c_1001_1^19 - 34168182501107501225529/622716782369270338129*c_1001_1^18 - 108011328787475201752222/622716782369270338129*c_1001_1^17 + 316272606739091451971949/622716782369270338129*c_1001_1^16 + 1021673664818575463487170/622716782369270338129*c_1001_1^15 - 1478018939070565567170026/622716782369270338129*c_1001_1^14 - 4084544319955109320460615/622716782369270338129*c_1001_1^13 + 3603175167022531652661503/622716782369270338129*c_1001_1^12 + 8436138812097247562898535/622716782369270338129*c_1001_1^11 - 4743857437496440442089287/622716782369270338129*c_1001_1^10 - 9920723128543950528067932/622716782369270338129*c_1001_1^9 + 3322916986451101204156728/622716782369270338129*c_1001_1^8 + 6776059835850051765929342/622716782369270338129*c_1001_1^7 - 1118128150665990559817254/622716782369270338129*c_1001_1^6 - 2561108853663050432152826/622716782369270338129*c_1001_1^5 + 121908924208399586465869/622716782369270338129*c_1001_1^4 + 1476727193386827254362/1989510486802780633*c_1001_1^3 + 5193038445386518153833/622716782369270338129*c_1001_1^2 - 26804695073565356256997/622716782369270338129*c_1001_1 + 1058296801354189640018/622716782369270338129, c_0101_2 - 1359615626383220114627/622716782369270338129*c_1001_1^20 - 3178562792279525912642/622716782369270338129*c_1001_1^19 + 32563074795315123692382/622716782369270338129*c_1001_1^18 + 94692777186361008319861/622716782369270338129*c_1001_1^17 - 312624928113401616875809/622716782369270338129*c_1001_1^16 - 891348734530499240639674/622716782369270338129*c_1001_1^15 + 1532653657853422531255916/622716782369270338129*c_1001_1^14 + 3482564054304904697134447/622716782369270338129*c_1001_1^13 - 3898761355670416423024742/622716782369270338129*c_1001_1^12 - 6991067006545685288924696/622716782369270338129*c_1001_1^11 + 5356078995057980305401071/622716782369270338129*c_1001_1^10 + 8004178766269425631242421/622716782369270338129*c_1001_1^9 - 4001940131837238802581009/622716782369270338129*c_1001_1^8 - 5346763307615816559381358/622716782369270338129*c_1001_1^7 + 1553245335781536908541248/622716782369270338129*c_1001_1^6 + 1982254601862304919526822/622716782369270338129*c_1001_1^5 - 275024656018530051342215/622716782369270338129*c_1001_1^4 - 1128113458260079027212/1989510486802780633*c_1001_1^3 + 18890587998088245892380/622716782369270338129*c_1001_1^2 + 21123515752004606018438/622716782369270338129*c_1001_1 - 1728390575377968825906/622716782369270338129, c_0101_6 - 1201983928837755587915/622716782369270338129*c_1001_1^20 - 3400911615233747450053/622716782369270338129*c_1001_1^19 + 27532272839898001446840/622716782369270338129*c_1001_1^18 + 97951703076070946670779/622716782369270338129*c_1001_1^17 - 238721923249664386835043/622716782369270338129*c_1001_1^16 - 927778083178592433862815/622716782369270338129*c_1001_1^15 + 1010516051031091982765687/622716782369270338129*c_1001_1^14 + 3782359554258890644617908/622716782369270338129*c_1001_1^13 - 2199947317375451674296083/622716782369270338129*c_1001_1^12 - 7987782207217785864386339/622716782369270338129*c_1001_1^11 + 2493938384823364036965968/622716782369270338129*c_1001_1^10 + 9567127738381404740040787/622716782369270338129*c_1001_1^9 - 1296790216252687443495527/622716782369270338129*c_1001_1^8 - 6628950740760280554483268/622716782369270338129*c_1001_1^7 + 102544524659931645777245/622716782369270338129*c_1001_1^6 + 2556593262928125460767721/622716782369270338129*c_1001_1^5 + 133988911608108922886770/622716782369270338129*c_1001_1^4 - 1556584837046801721268/1989510486802780633*c_1001_1^3 - 28423963468554032724020/622716782369270338129*c_1001_1^2 + 33582008610045901301323/622716782369270338129*c_1001_1 - 1339749871849474074076/622716782369270338129, c_1001_1^21 + 2*c_1001_1^20 - 25*c_1001_1^19 - 62*c_1001_1^18 + 260*c_1001_1^17 + 592*c_1001_1^16 - 1418*c_1001_1^15 - 2310*c_1001_1^14 + 4112*c_1001_1^13 + 4623*c_1001_1^12 - 6721*c_1001_1^11 - 5319*c_1001_1^10 + 6461*c_1001_1^9 + 3658*c_1001_1^8 - 3703*c_1001_1^7 - 1463*c_1001_1^6 + 1234*c_1001_1^5 + 300*c_1001_1^4 - 217*c_1001_1^3 - 20*c_1001_1^2 + 15*c_1001_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB