Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 559988163] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0579 geometric_solution 4.59796784 oriented_manifold CS_known -0.0000000000000002 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.530487062722 0.187942003339 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -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 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 1.239701656708 0.327890485523 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642359000457 0.624023495511 2 4 4 5 0132 0321 1302 0132 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 -1 0 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.676051779363 0.621924819145 3 5 2 3 2031 1023 0132 0321 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.676051779363 0.621924819145 4 6 3 6 1023 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.774568153879 0.276556404796 6 5 6 5 2031 0132 1302 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 0.632026373831 0.105211693670 ==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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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' : d['c_0011_4'], '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' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_2'], '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' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_2, c_0110_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 7096867532288628049537521304997250914054345/24993381105999630005335\ 273134707325937252*c_0110_6^23 - 2123801984642324653535090155859195\ 1351950763/49986762211999260010670546269414651874504*c_0110_6^22 + 13132197944175766526878849101775788104658013/2499338110599963000533\ 5273134707325937252*c_0110_6^21 - 549947945808717457137178869032906\ 920504791999/49986762211999260010670546269414651874504*c_0110_6^20 - 182003282803888446441001052812667348235622557/624834527649990750133\ 3818283676831484313*c_0110_6^19 + 900492971046908904199054129022376\ 09146209511/12496690552999815002667636567353662968626*c_0110_6^18 + 147118280171529211271037128328242899299394541/249933811059996300053\ 35273134707325937252*c_0110_6^17 - 5224183058363215696627770613401806090675603/62483452764999075013338\ 18283676831484313*c_0110_6^16 + 19581410977705486797002113673675344\ 803893533689/49986762211999260010670546269414651874504*c_0110_6^15 + 15911113890753216381341161836697269114664456915/4998676221199926001\ 0670546269414651874504*c_0110_6^14 - 5308691980001204182811334038421053178267764774/62483452764999075013\ 33818283676831484313*c_0110_6^13 - 4262658332005707591037334980467557489703061063/62483452764999075013\ 33818283676831484313*c_0110_6^12 + 7005208114063046532522548637295799087407098723/24993381105999630005\ 335273134707325937252*c_0110_6^11 + 15887655616040221117262411656183721822690111567/4998676221199926001\ 0670546269414651874504*c_0110_6^10 + 51396623660081000380079605096859849238378260491/4998676221199926001\ 0670546269414651874504*c_0110_6^9 - 4319154655549430746476012365497789186421759036/62483452764999075013\ 33818283676831484313*c_0110_6^8 - 139447149585053149319107836898752\ 85928424552729/24993381105999630005335273134707325937252*c_0110_6^7 + 36743098104199622025200575709215169817612900031/49986762211999260\ 010670546269414651874504*c_0110_6^6 + 153576694767367276374043100169001723021853183/249933811059996300053\ 35273134707325937252*c_0110_6^5 - 121903317528824515851058288625078\ 89509276314233/49986762211999260010670546269414651874504*c_0110_6^4 + 238535852970053117069341229346702256793864829/2499338110599963000\ 5335273134707325937252*c_0110_6^3 + 404750118961528418541079948215914339223676383/124966905529998150026\ 67636567353662968626*c_0110_6^2 + 180940630103123593606210348349635\ 31762062475/12496690552999815002667636567353662968626*c_0110_6 - 101831920091387019946759216159332841911714451/499867622119992600106\ 70546269414651874504, c_0011_0 - 1, c_0011_1 - 123725969841685286424725904809805112940/62483452764999075013\ 33818283676831484313*c_0110_6^23 - 1385695562060344235785795961944835936351/62483452764999075013338182\ 83676831484313*c_0110_6^22 - 20860957316581552979670368980282302228\ 19/6248345276499907501333818283676831484313*c_0110_6^21 - 3512402343092825649876922894829870989256/62483452764999075013338182\ 83676831484313*c_0110_6^20 - 58580159915720650867653237196445455226\ 409/6248345276499907501333818283676831484313*c_0110_6^19 - 139966541663001363306239268016339735270024/624834527649990750133381\ 8283676831484313*c_0110_6^18 - 264360500494448534451878918264063542\ 59775/6248345276499907501333818283676831484313*c_0110_6^17 + 17555406846330987731966361195592114263311/6248345276499907501333818\ 283676831484313*c_0110_6^16 + 1721340868028900740706855790313068554\ 94315/6248345276499907501333818283676831484313*c_0110_6^15 + 1795078091157405652428925337896095060373397/62483452764999075013338\ 18283676831484313*c_0110_6^14 + 16903855210439358335884612720916368\ 05865074/6248345276499907501333818283676831484313*c_0110_6^13 - 3083251240318425070284257572983073178259885/62483452764999075013338\ 18283676831484313*c_0110_6^12 - 40144659075163266480970357246514477\ 60567537/6248345276499907501333818283676831484313*c_0110_6^11 - 278709486690895797937520056201753336656387/624834527649990750133381\ 8283676831484313*c_0110_6^10 + 171332720559842059063029472070262997\ 7190587/6248345276499907501333818283676831484313*c_0110_6^9 + 4533615081458943209703576346118786517337954/62483452764999075013338\ 18283676831484313*c_0110_6^8 - 111835557408010877410015847195169482\ 3500716/6248345276499907501333818283676831484313*c_0110_6^7 - 2635731248117506398099874669353855594970705/62483452764999075013338\ 18283676831484313*c_0110_6^6 + 201983523409829516097874693280868470\ 3865131/6248345276499907501333818283676831484313*c_0110_6^5 + 843475760017225771284674654828815785456105/624834527649990750133381\ 8283676831484313*c_0110_6^4 - 7674703153257248462377615193346941991\ 29108/6248345276499907501333818283676831484313*c_0110_6^3 - 235488464183176686911390423933770439140938/624834527649990750133381\ 8283676831484313*c_0110_6^2 + 5286095776264155383948828673010717228\ 0822/6248345276499907501333818283676831484313*c_0110_6 + 19739013143463163076643965948464555156257/6248345276499907501333818\ 283676831484313, c_0011_4 - 3256466917129506793137525082829985511986/6248345276499907501\ 333818283676831484313*c_0110_6^23 - 7862923322803512091855467653361276212161/62483452764999075013338182\ 83676831484313*c_0110_6^22 + 22341954651622688154420641280497531700\ 5/6248345276499907501333818283676831484313*c_0110_6^21 - 123201859353977232058503263536935958507117/624834527649990750133381\ 8283676831484313*c_0110_6^20 - 448556513629019827964369272877157763\ 648029/6248345276499907501333818283676831484313*c_0110_6^19 - 274968174580554018312618577210470826804573/624834527649990750133381\ 8283676831484313*c_0110_6^18 - 148211430923160006055316981253327879\ 73304/6248345276499907501333818283676831484313*c_0110_6^17 + 18134693947531801579409950212865870132886/6248345276499907501333818\ 283676831484313*c_0110_6^16 + 4497350436698632751013169886952423387\ 394089/6248345276499907501333818283676831484313*c_0110_6^15 + 7777536740789745798525568474976862864767455/62483452764999075013338\ 18283676831484313*c_0110_6^14 - 45585002399300261313378431056418993\ 16814218/6248345276499907501333818283676831484313*c_0110_6^13 - 14490187740121129619747124329104923454236223/6248345276499907501333\ 818283676831484313*c_0110_6^12 - 6970259362980236762877163941908886\ 695095554/6248345276499907501333818283676831484313*c_0110_6^11 + 2102921444253594639441593218360982715619628/62483452764999075013338\ 18283676831484313*c_0110_6^10 + 14534559692003054220291746830010932\ 450810071/6248345276499907501333818283676831484313*c_0110_6^9 + 4135131979886041178910957499231531814665810/62483452764999075013338\ 18283676831484313*c_0110_6^8 - 835175642058308574363254596820648383\ 7313220/6248345276499907501333818283676831484313*c_0110_6^7 + 1618314330223776461065329602144425510748293/62483452764999075013338\ 18283676831484313*c_0110_6^6 + 477457761240250340447674974949106922\ 7874734/6248345276499907501333818283676831484313*c_0110_6^5 - 573561533540902860098082472937939661826966/624834527649990750133381\ 8283676831484313*c_0110_6^4 - 1485055946440905974396390222503656913\ 631289/6248345276499907501333818283676831484313*c_0110_6^3 - 279938331320063580152895977677766890393196/624834527649990750133381\ 8283676831484313*c_0110_6^2 + 8994772961226403197836884139691555767\ 2078/6248345276499907501333818283676831484313*c_0110_6 + 31564364801988654712458705717768384464373/6248345276499907501333818\ 283676831484313, c_0101_0 - 3958049815149960692486561130635409429759/6248345276499907501\ 333818283676831484313*c_0110_6^23 - 6750578621585775100519700347159837044061/62483452764999075013338182\ 83676831484313*c_0110_6^22 + 56487314377230126491198795416605499927\ 56/6248345276499907501333818283676831484313*c_0110_6^21 - 152572544595285648093239407223595431181821/624834527649990750133381\ 8283676831484313*c_0110_6^20 - 437517926356852371563741547469168764\ 735638/6248345276499907501333818283676831484313*c_0110_6^19 - 1346188862697038874434635710297875520387/62483452764999075013338182\ 83676831484313*c_0110_6^18 + 54772748581278170831273950170445989050\ 860/6248345276499907501333818283676831484313*c_0110_6^17 + 4192420100279307113096412135021821866799/62483452764999075013338182\ 83676831484313*c_0110_6^16 + 54620709053755933541929656680962854839\ 84926/6248345276499907501333818283676831484313*c_0110_6^15 + 5580817079843070168364836676145095545079285/62483452764999075013338\ 18283676831484313*c_0110_6^14 - 10312415765189351202147866226385077\ 238609079/6248345276499907501333818283676831484313*c_0110_6^13 - 11367313114191161423763579637324517681446889/6248345276499907501333\ 818283676831484313*c_0110_6^12 + 8147910360250470116924027211980791\ 95630481/6248345276499907501333818283676831484313*c_0110_6^11 + 4006010124848026165148833514964234029548784/62483452764999075013338\ 18283676831484313*c_0110_6^10 + 15277671567031664137523564496178402\ 020783002/6248345276499907501333818283676831484313*c_0110_6^9 - 6237180474609013385411082613175077823258757/62483452764999075013338\ 18283676831484313*c_0110_6^8 - 809241778757557971490898593568871978\ 8929482/6248345276499907501333818283676831484313*c_0110_6^7 + 7963893880218018184500623659113879253251749/62483452764999075013338\ 18283676831484313*c_0110_6^6 + 141097500024675373235929225320609157\ 1231507/6248345276499907501333818283676831484313*c_0110_6^5 - 2570938958891144897776476844965370771975669/62483452764999075013338\ 18283676831484313*c_0110_6^4 - 437066915304531404585579259668351233\ 874992/6248345276499907501333818283676831484313*c_0110_6^3 + 238023559896261315020579441301428679382962/624834527649990750133381\ 8283676831484313*c_0110_6^2 + 6152272179095082461896606988383705770\ 1023/6248345276499907501333818283676831484313*c_0110_6 - 6806901455102755252044440316058855583694/62483452764999075013338182\ 83676831484313, c_0101_2 + 1095477626914995645589994232791933232293/6248345276499907501\ 333818283676831484313*c_0110_6^23 + 3129092871646134439205812913798542130961/62483452764999075013338182\ 83676831484313*c_0110_6^22 + 74057026024722023875773725928598092569\ 5/6248345276499907501333818283676831484313*c_0110_6^21 + 40796413570901148012425700707482602876586/6248345276499907501333818\ 283676831484313*c_0110_6^20 + 1696647121933119057534861900832232522\ 69892/6248345276499907501333818283676831484313*c_0110_6^19 + 145544080992726406817217680974550269688582/624834527649990750133381\ 8283676831484313*c_0110_6^18 + 633485215797995735842282846767825611\ 1835/6248345276499907501333818283676831484313*c_0110_6^17 - 6381466817309989383749118739009267943981/62483452764999075013338182\ 83676831484313*c_0110_6^16 - 15132016486155133401420176535389877500\ 42674/6248345276499907501333818283676831484313*c_0110_6^15 - 3284828538659908802221747581581290374105764/62483452764999075013338\ 18283676831484313*c_0110_6^14 + 86340309656173882445093411648855216\ 5372594/6248345276499907501333818283676831484313*c_0110_6^13 + 6066738998980070754453922848384187465257848/62483452764999075013338\ 18283676831484313*c_0110_6^12 + 36254583268127962899350872131170834\ 78007988/6248345276499907501333818283676831484313*c_0110_6^11 - 691072396500368196654020095448730169248018/624834527649990750133381\ 8283676831484313*c_0110_6^10 - 521369203517646888023828155383393890\ 9940140/6248345276499907501333818283676831484313*c_0110_6^9 - 3236503750733165100612951103677554004753959/62483452764999075013338\ 18283676831484313*c_0110_6^8 + 357499206565794169197492230640777258\ 7417294/6248345276499907501333818283676831484313*c_0110_6^7 + 205314819054661577466844602522162170247204/624834527649990750133381\ 8283676831484313*c_0110_6^6 - 2517371908786042276179385332221566141\ 978681/6248345276499907501333818283676831484313*c_0110_6^5 + 122952691969269413776584994892086285722933/624834527649990750133381\ 8283676831484313*c_0110_6^4 + 7080733055162447902045459997180663420\ 93251/6248345276499907501333818283676831484313*c_0110_6^3 + 122450997851346960627766046639339852636521/624834527649990750133381\ 8283676831484313*c_0110_6^2 - 3294111251439259742078737146940817867\ 5044/6248345276499907501333818283676831484313*c_0110_6 - 12298107278331016790209893816524224053658/6248345276499907501333818\ 283676831484313, c_0110_5 + 6622640823413212960296165711106416660771/6248345276499907501\ 333818283676831484313*c_0110_6^23 + 14501267598622252099278495160479389635781/6248345276499907501333818\ 283676831484313*c_0110_6^22 - 3324123987975318858968859026969565868\ 530/6248345276499907501333818283676831484313*c_0110_6^21 + 252021085020916843425625521322607416210878/624834527649990750133381\ 8283676831484313*c_0110_6^20 + 855072020125674451701141383443087897\ 625922/6248345276499907501333818283676831484313*c_0110_6^19 + 381902278991784753097186286981524861886725/624834527649990750133381\ 8283676831484313*c_0110_6^18 - 105153864780363482370121741877044862\ 73485/6248345276499907501333818283676831484313*c_0110_6^17 - 28722510975246680824621643956928516125422/6248345276499907501333818\ 283676831484313*c_0110_6^16 - 9145574827410970830335287008391819925\ 309958/6248345276499907501333818283676831484313*c_0110_6^15 - 13763113545258371419498639417971884518016658/6248345276499907501333\ 818283676831484313*c_0110_6^14 + 1182369031828537326385914786811624\ 0625907974/6248345276499907501333818283676831484313*c_0110_6^13 + 26185275483159573925069158111289212483816895/6248345276499907501333\ 818283676831484313*c_0110_6^12 + 9232594324123368473976731360540257\ 260998019/6248345276499907501333818283676831484313*c_0110_6^11 - 5080826056175095278388687963160326021759551/62483452764999075013338\ 18283676831484313*c_0110_6^10 - 28316913561572510480926897544081809\ 890586522/6248345276499907501333818283676831484313*c_0110_6^9 - 2451304200736679120125602568969009303626469/62483452764999075013338\ 18283676831484313*c_0110_6^8 + 159274365274044462753678588158376953\ 29037479/6248345276499907501333818283676831484313*c_0110_6^7 - 6485618128299484879768066119118219149206860/62483452764999075013338\ 18283676831484313*c_0110_6^6 - 737724154513385182404703683684018473\ 3081176/6248345276499907501333818283676831484313*c_0110_6^5 + 2184450547211130275039874679125448056145287/62483452764999075013338\ 18283676831484313*c_0110_6^4 + 230448110521486797445563433521383669\ 8040658/6248345276499907501333818283676831484313*c_0110_6^3 + 253871923857326589733930834268181459816150/624834527649990750133381\ 8283676831484313*c_0110_6^2 - 1539906471386145389418653685554299103\ 74474/6248345276499907501333818283676831484313*c_0110_6 - 38339486209158704859918089818754093542979/6248345276499907501333818\ 283676831484313, c_0110_6^24 + 2*c_0110_6^23 - c_0110_6^22 + 38*c_0110_6^21 + 122*c_0110_6^20 + 30*c_0110_6^19 - 22*c_0110_6^18 - 5*c_0110_6^17 - 1379*c_0110_6^16 - 1816*c_0110_6^15 + 2294*c_0110_6^14 + 3744*c_0110_6^13 + 441*c_0110_6^12 - 1291*c_0110_6^11 - 4140*c_0110_6^10 + 522*c_0110_6^9 + 2803*c_0110_6^8 - 1530*c_0110_6^7 - 1107*c_0110_6^6 + 692*c_0110_6^5 + 330*c_0110_6^4 - 78*c_0110_6^3 - 43*c_0110_6^2 + 2*c_0110_6 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB