Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 2850567502] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0811 geometric_solution 4.74518313 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.427266151188 0.354907350901 0 2 3 0 3201 0132 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 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.960707513859 0.308842796344 3 1 3 4 2103 0132 1302 0132 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 -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.806631579293 0.699557058864 2 4 2 1 2031 0132 2103 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 0 0 0 -1 0 1 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.806631579293 0.699557058864 5 3 2 5 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344960236534 0.207110031510 4 4 6 6 0132 2310 0132 2310 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 0 0 0 0 0 0 0 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.111740187961 2.628738848302 5 6 6 5 3201 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.167065716983 0.241875531094 ==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_6'], 'c_1100_5' : d['c_0011_6'], '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_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_1'], 'c_1001_4' : d['c_1001_1'], 'c_1001_6' : negation(d['c_0011_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' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), '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_0011_6, c_0101_0, c_0101_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 847222656855510260345134124437792308197/521501394951718572967350847\ 764617481937*c_1001_1^20 + 1168402352938061889749525589403120181609\ 5/521501394951718572967350847764617481937*c_1001_1^19 - 44961962501953610534892805583726634831553/5215013949517185729673508\ 47764617481937*c_1001_1^18 - 82430244670926209294791274023179776245\ 512/521501394951718572967350847764617481937*c_1001_1^17 + 944933601504678526672174784130263623658453/521501394951718572967350\ 847764617481937*c_1001_1^16 - 1004848279592934571846557796455550744\ 730777/521501394951718572967350847764617481937*c_1001_1^15 - 6522718005694972119203817071847146914733399/52150139495171857296735\ 0847764617481937*c_1001_1^14 + 122295043215004724480666702710507303\ 84452285/521501394951718572967350847764617481937*c_1001_1^13 + 25772134793090883738827444302246785561138498/5215013949517185729673\ 50847764617481937*c_1001_1^12 - 51260929407122161333687072820099633\ 766499524/521501394951718572967350847764617481937*c_1001_1^11 - 69946268501263766187666680980085628360840398/5215013949517185729673\ 50847764617481937*c_1001_1^10 + 10049770853117033275727336366656947\ 3551197586/521501394951718572967350847764617481937*c_1001_1^9 + 106996302159468190168931211547420928788465321/521501394951718572967\ 350847764617481937*c_1001_1^8 - 11466546093490034271103185882205654\ 0050651153/521501394951718572967350847764617481937*c_1001_1^7 - 89199598944158231731519166364757926187873218/5215013949517185729673\ 50847764617481937*c_1001_1^6 + 801294057495375356197553404275488863\ 07019165/521501394951718572967350847764617481937*c_1001_1^5 + 36815248273349954155684866257688296845598964/5215013949517185729673\ 50847764617481937*c_1001_1^4 - 439907298578752856265384008939146788\ 195685/7345090069742515112216209123445316647*c_1001_1^3 - 4944917477368955058512859750333744027583849/52150139495171857296735\ 0847764617481937*c_1001_1^2 + 4865150137134165246824637897759707875\ 577092/521501394951718572967350847764617481937*c_1001_1 - 308943530085461336664801570384012402767577/521501394951718572967350\ 847764617481937, c_0011_0 - 1, c_0011_1 - 9264288397283093698952490961015562175/7345090069742515112216\ 209123445316647*c_1001_1^20 + 1049634165203181215462062299985626821\ 19/7345090069742515112216209123445316647*c_1001_1^19 - 253933638443703929366508399305049920545/734509006974251511221620912\ 3445316647*c_1001_1^18 - 1309450146356298373602086331203739672480/7\ 345090069742515112216209123445316647*c_1001_1^17 + 6718782973497775596386594648222559114133/73450900697425151122162091\ 23445316647*c_1001_1^16 + 2331408562206774694907907541659645993639/\ 7345090069742515112216209123445316647*c_1001_1^15 - 53259507025176096403434578400559183343068/7345090069742515112216209\ 123445316647*c_1001_1^14 + 1763667888344571010947457113128958204216\ 3/7345090069742515112216209123445316647*c_1001_1^13 + 219493694557125143795973146661058351215761/734509006974251511221620\ 9123445316647*c_1001_1^12 - 661892102922296313438356862094013359336\ 45/7345090069742515112216209123445316647*c_1001_1^11 - 481211078656502837517227487004606058555770/734509006974251511221620\ 9123445316647*c_1001_1^10 + 129797951824860809329786995396193403060\ 815/7345090069742515112216209123445316647*c_1001_1^9 + 609731888797130896563069315359685753011384/734509006974251511221620\ 9123445316647*c_1001_1^8 - 1828082815019588120698664574302527932866\ 88/7345090069742515112216209123445316647*c_1001_1^7 - 449042737149512497749574952417122443867306/734509006974251511221620\ 9123445316647*c_1001_1^6 + 1676273798928116309405765702877949068872\ 56/7345090069742515112216209123445316647*c_1001_1^5 + 172166886326104763406819742422550826293841/734509006974251511221620\ 9123445316647*c_1001_1^4 - 8118247073176414400228356259208918411475\ 7/7345090069742515112216209123445316647*c_1001_1^3 - 22739211266732622982666248516438815521939/7345090069742515112216209\ 123445316647*c_1001_1^2 + 14269364526665651024363770859745977108058\ /7345090069742515112216209123445316647*c_1001_1 - 993373728929200185204491593474845590908/734509006974251511221620912\ 3445316647, c_0011_3 + 9972148837555996353429411404407767880/7345090069742515112216\ 209123445316647*c_1001_1^20 - 1124116685376391308805027470074899358\ 47/7345090069742515112216209123445316647*c_1001_1^19 + 267189088107186754763869550831453408202/734509006974251511221620912\ 3445316647*c_1001_1^18 + 1421634999218935608974355268833252982780/7\ 345090069742515112216209123445316647*c_1001_1^17 - 7144515993458157967563292625498057536980/73450900697425151122162091\ 23445316647*c_1001_1^16 - 2873033823513048395560670223496986400810/\ 7345090069742515112216209123445316647*c_1001_1^15 + 56977322238951848413543326417551274121568/7345090069742515112216209\ 123445316647*c_1001_1^14 - 1591339019789322885666848687127559773380\ 5/7345090069742515112216209123445316647*c_1001_1^13 - 235581852895121482486468635407259125804601/734509006974251511221620\ 9123445316647*c_1001_1^12 + 581964401651092733713433746741170822891\ 71/7345090069742515112216209123445316647*c_1001_1^11 + 514483371828702836455739537360267297384733/734509006974251511221620\ 9123445316647*c_1001_1^10 - 112446826169358012077789884013879805328\ 125/7345090069742515112216209123445316647*c_1001_1^9 - 648431647999964622133091937940250752126138/734509006974251511221620\ 9123445316647*c_1001_1^8 + 1645452389555224249260402459232931657685\ 20/7345090069742515112216209123445316647*c_1001_1^7 + 475736052370985497134472880192713864154749/734509006974251511221620\ 9123445316647*c_1001_1^6 - 1580708228863199187630578069793335321202\ 26/7345090069742515112216209123445316647*c_1001_1^5 - 182383476863086346376329547893912016378221/734509006974251511221620\ 9123445316647*c_1001_1^4 + 7900639695217527797620802092806711278824\ 8/7345090069742515112216209123445316647*c_1001_1^3 + 24381327218482077798224213882178722852766/7345090069742515112216209\ 123445316647*c_1001_1^2 - 14119957287989167258730925570362908909179\ /7345090069742515112216209123445316647*c_1001_1 + 970946260855638564082732356208427391360/734509006974251511221620912\ 3445316647, c_0011_6 - 6057063126328707231910598666172733669/7345090069742515112216\ 209123445316647*c_1001_1^20 + 6784798492759084250760728509450748194\ 5/7345090069742515112216209123445316647*c_1001_1^19 - 157769530856297697191033810528645747160/734509006974251511221620912\ 3445316647*c_1001_1^18 - 871533394951025253567329353893317689099/73\ 45090069742515112216209123445316647*c_1001_1^17 + 4271969745872253851858463275640103154845/73450900697425151122162091\ 23445316647*c_1001_1^16 + 2000995958553672877460847517826315348854/\ 7345090069742515112216209123445316647*c_1001_1^15 - 34284966053150137718708587029790226415004/7345090069742515112216209\ 123445316647*c_1001_1^14 + 7457581372596207465969286529656992386250\ /7345090069742515112216209123445316647*c_1001_1^13 + 142055606731845072850056395387390306108936/734509006974251511221620\ 9123445316647*c_1001_1^12 - 259731943186472645221609536182779832047\ 00/7345090069742515112216209123445316647*c_1001_1^11 - 307672084909519593615654245685718095440047/734509006974251511221620\ 9123445316647*c_1001_1^10 + 497442429593057397630415248702036878982\ 51/7345090069742515112216209123445316647*c_1001_1^9 + 384123907895325008445991771645882893375806/734509006974251511221620\ 9123445316647*c_1001_1^8 - 7926424171139773370431589076366054409884\ 6/7345090069742515112216209123445316647*c_1001_1^7 - 279733266147003150972783260593426488330694/734509006974251511221620\ 9123445316647*c_1001_1^6 + 8229018891962247753159342502493569435682\ 4/7345090069742515112216209123445316647*c_1001_1^5 + 106745264958173669319729939375815832050087/734509006974251511221620\ 9123445316647*c_1001_1^4 - 4296863564127915844230779481828799229735\ 4/7345090069742515112216209123445316647*c_1001_1^3 - 14270456385376392483457217439569828708219/7345090069742515112216209\ 123445316647*c_1001_1^2 + 7840612795840637041692607974086035481760/\ 7345090069742515112216209123445316647*c_1001_1 - 547238870935905303727865615089105676681/734509006974251511221620912\ 3445316647, c_0101_0 + 3449367781156402309939467876150010871/7345090069742515112216\ 209123445316647*c_1001_1^20 - 3875341008543774905448573262694158980\ 1/7345090069742515112216209123445316647*c_1001_1^19 + 91014364076739609938073744281121803552/7345090069742515112216209123\ 445316647*c_1001_1^18 + 494599152283192702077599598786637177146/734\ 5090069742515112216209123445316647*c_1001_1^17 - 2451457145559181317920060005654446722314/73450900697425151122162091\ 23445316647*c_1001_1^16 - 1078296149766959926748876098587477602408/\ 7345090069742515112216209123445316647*c_1001_1^15 + 19633212057438969831983471178082236847147/7345090069742515112216209\ 123445316647*c_1001_1^14 - 4790993855392282146688806164701654094634\ /7345090069742515112216209123445316647*c_1001_1^13 - 81382148098559940946471940345817465367520/7345090069742515112216209\ 123445316647*c_1001_1^12 + 1707622284908322534862948453205883027779\ 5/7345090069742515112216209123445316647*c_1001_1^11 + 177395548269812699110933543306134597221308/734509006974251511221620\ 9123445316647*c_1001_1^10 - 323221253862385687730847304990326553558\ 09/7345090069742515112216209123445316647*c_1001_1^9 - 222913749901307193427558185193149239767163/734509006974251511221620\ 9123445316647*c_1001_1^8 + 4885834198698657762683583890534474492853\ 3/7345090069742515112216209123445316647*c_1001_1^7 + 163214679217035202389919448632726078819963/734509006974251511221620\ 9123445316647*c_1001_1^6 - 4886670588700371493681926154287002532191\ 9/7345090069742515112216209123445316647*c_1001_1^5 - 62637498665670660427311349342654992690834/7345090069742515112216209\ 123445316647*c_1001_1^4 + 25064637880709868281572338174848949354582\ /7345090069742515112216209123445316647*c_1001_1^3 + 8484132853392187287023461311093705427648/73450900697425151122162091\ 23445316647*c_1001_1^2 - 4544275738439722242767993057796292626356/7\ 345090069742515112216209123445316647*c_1001_1 + 306026372972764491277818348411699538805/734509006974251511221620912\ 3445316647, c_0101_5 - 15364801098309155578224285878701307654/734509006974251511221\ 6209123445316647*c_1001_1^20 + 173574663502292546400862019294880859\ 651/7345090069742515112216209123445316647*c_1001_1^19 - 415804433729032654530729144151009290925/734509006974251511221620912\ 3445316647*c_1001_1^18 - 2181353418396137530739998490292890214405/7\ 345090069742515112216209123445316647*c_1001_1^17 + 11063256940646592212884510687661305293084/7345090069742515112216209\ 123445316647*c_1001_1^16 + 4173000236760371679315891614751927697373\ /7345090069742515112216209123445316647*c_1001_1^15 - 87955814954450246078124151113869521014626/7345090069742515112216209\ 123445316647*c_1001_1^14 + 2659463905634351605308192242094416548697\ 1/7345090069742515112216209123445316647*c_1001_1^13 + 362908302407090573411910481967099176661255/734509006974251511221620\ 9123445316647*c_1001_1^12 - 983978508420063701058013822784321113286\ 93/7345090069742515112216209123445316647*c_1001_1^11 - 792923166409285368647434813638344723090343/734509006974251511221620\ 9123445316647*c_1001_1^10 + 192134541176130192382429990076970009145\ 817/7345090069742515112216209123445316647*c_1001_1^9 + 1000607172127804891865471030282601261745132/73450900697425151122162\ 09123445316647*c_1001_1^8 - 276684521637982197227728786828437320842\ 751/7345090069742515112216209123445316647*c_1001_1^7 - 734622155716059662721236343815433272183199/734509006974251511221620\ 9123445316647*c_1001_1^6 + 2600315443566738911263178106609159058890\ 55/7345090069742515112216209123445316647*c_1001_1^5 + 281286806754717831705619411965629462941083/734509006974251511221620\ 9123445316647*c_1001_1^4 - 1279809084424311166399041521735192571221\ 41/7345090069742515112216209123445316647*c_1001_1^3 - 37279011586748559279885631276129518204135/7345090069742515112216209\ 123445316647*c_1001_1^2 + 22691578770420356465497606871572872254675\ /7345090069742515112216209123445316647*c_1001_1 - 1574122028846298760280298845897326749429/73450900697425151122162091\ 23445316647, c_1001_1^21 - 12*c_1001_1^20 + 35*c_1001_1^19 + 123*c_1001_1^18 - 820*c_1001_1^17 + 234*c_1001_1^16 + 5919*c_1001_1^15 - 5755*c_1001_1^14 - 22429*c_1001_1^13 + 23021*c_1001_1^12 + 47207*c_1001_1^11 - 48817*c_1001_1^10 - 56539*c_1001_1^9 + 63834*c_1001_1^8 + 35385*c_1001_1^7 - 50580*c_1001_1^6 - 6556*c_1001_1^5 + 21229*c_1001_1^4 - 3383*c_1001_1^3 - 3192*c_1001_1^2 + 1135*c_1001_1 - 71 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB