Magma V2.19-8 Tue Aug 20 2013 16:17:13 on localhost [Seed = 88381912] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1449 geometric_solution 5.27004786 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.550367723580 0.119099121059 2 0 2 0 0132 2310 1023 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 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.713945067921 0.256502158065 1 3 1 4 0132 0132 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 0 0 0 0 0 -1 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.074790277491 1.183214734316 4 2 6 5 3201 0132 0132 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 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.309969989811 1.054302404093 5 6 2 3 3201 3201 0132 2310 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 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.309969989811 1.054302404093 5 5 3 4 1302 2031 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 0 0 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.309896094562 0.542175286540 6 6 4 3 1302 2031 2310 0132 0 0 0 0 0 0 0 0 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.069761614584 1.324146113761 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(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' : negation(d['1']), 's_2_5' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(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' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_6'], '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_0011_5, c_0011_6, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 266467563907587879392925251649808292852723/141606931577370695544594\ 2805050943270454*c_0101_1^24 - 250017365172264588271656650622402821\ 4298279/1416069315773706955445942805050943270454*c_0101_1^23 + 4878079579257286971349990953769152551783889/70803465788685347772297\ 1402525471635227*c_0101_1^22 - 251752006915811262784433946606205260\ 93196483/2832138631547413910891885610101886540908*c_0101_1^21 - 107070847495935696421171556820871076774783069/283213863154741391089\ 1885610101886540908*c_0101_1^20 + 118026681392279774221115335152879\ 740067036689/708034657886853477722971402525471635227*c_0101_1^19 - 68845979890269267272729046708770929633511811/2832138631547413910891\ 885610101886540908*c_0101_1^18 - 1318049440567751045110226891562795\ 438362912609/1416069315773706955445942805050943270454*c_0101_1^17 + 606200691997438815772118205423216832004224752/708034657886853477722\ 971402525471635227*c_0101_1^16 + 4439712647699477660837151018508439\ 683473615803/1416069315773706955445942805050943270454*c_0101_1^15 - 4676405379023103639204669573604168008643496207/14160693157737069554\ 45942805050943270454*c_0101_1^14 - 10553835585005934509872768387577872327392167739/1416069315773706955\ 445942805050943270454*c_0101_1^13 + 15724051343154279285218505068442285321845499927/2832138631547413910\ 891885610101886540908*c_0101_1^12 + 18014164803985136834285477005604311716074898603/1416069315773706955\ 445942805050943270454*c_0101_1^11 - 1307936253880960065863891145841679556069085603/70803465788685347772\ 2971402525471635227*c_0101_1^10 - 322709315240231639785141284079495\ 80214393337013/2832138631547413910891885610101886540908*c_0101_1^9 - 9665588779496488809196478879328845160943465647/28321386315474139108\ 91885610101886540908*c_0101_1^8 + 109616243590666061520522685560904\ 67550371276359/2832138631547413910891885610101886540908*c_0101_1^7 + 7764258323007004928330714057497545705321340759/28321386315474139108\ 91885610101886540908*c_0101_1^6 + 409224174092176951761303883756530\ 205349845343/2832138631547413910891885610101886540908*c_0101_1^5 - 1289760312148583446946179425565306851608685833/28321386315474139108\ 91885610101886540908*c_0101_1^4 - 603544924041240346746172592827709\ 132132368315/2832138631547413910891885610101886540908*c_0101_1^3 - 126172141822481562750817974835345336221072821/283213863154741391089\ 1885610101886540908*c_0101_1^2 - 9925503964477699403731224291566134\ 934021355/2832138631547413910891885610101886540908*c_0101_1 + 761704895734353233382736578345334311138163/283213863154741391089188\ 5610101886540908, c_0011_0 - 1, c_0011_1 + 27147518676374131200075102426827347/510001194184868888369207\ 95399083169*c_0101_1^24 - 249363547935856085172758139439555486/5100\ 0119418486888836920795399083169*c_0101_1^23 + 930710751171916417382655299858323067/510001194184868888369207953990\ 83169*c_0101_1^22 - 945939000013987442339659464675702315/5100011941\ 8486888836920795399083169*c_0101_1^21 - 6378716536262393934191304244478280481/51000119418486888836920795399\ 083169*c_0101_1^20 + 24501417357504987981133719719421627237/5100011\ 9418486888836920795399083169*c_0101_1^19 + 1869456507908942539081159917491883835/51000119418486888836920795399\ 083169*c_0101_1^18 - 147841106887547770454005719119684700977/510001\ 19418486888836920795399083169*c_0101_1^17 + 116923908419244542661079332454710923981/510001194184868888369207953\ 99083169*c_0101_1^16 + 516048190329094412284032810984440741996/5100\ 0119418486888836920795399083169*c_0101_1^15 - 508203010543273713898190373544112030248/510001194184868888369207953\ 99083169*c_0101_1^14 - 1221835349341643345031820658522662218313/510\ 00119418486888836920795399083169*c_0101_1^13 + 924109670823551752974505191998164505369/510001194184868888369207953\ 99083169*c_0101_1^12 + 2032437151309694550958941212638516647799/510\ 00119418486888836920795399083169*c_0101_1^11 - 425591493967732057087812859449338919705/510001194184868888369207953\ 99083169*c_0101_1^10 - 1808183246215363822334636774006072152174/510\ 00119418486888836920795399083169*c_0101_1^9 - 411724808410111047653706099071678297832/510001194184868888369207953\ 99083169*c_0101_1^8 + 640405341488095741725205489644825093204/51000\ 119418486888836920795399083169*c_0101_1^7 + 389030140358254263193505635348260607577/510001194184868888369207953\ 99083169*c_0101_1^6 + 704882638434801365289742013291353068/51000119\ 418486888836920795399083169*c_0101_1^5 - 70969942558728948994022058045657767246/5100011941848688883692079539\ 9083169*c_0101_1^4 - 29887069538987068555591246531149860655/5100011\ 9418486888836920795399083169*c_0101_1^3 - 5558934386758411479160312463992457196/51000119418486888836920795399\ 083169*c_0101_1^2 - 308622700264747927074110986475289591/5100011941\ 8486888836920795399083169*c_0101_1 + 27941799872844029734547204389848334/5100011941848688883692079539908\ 3169, c_0011_4 + 2613735138682498133930735917355047890267/7080346578868534777\ 22971402525471635227*c_0101_1^24 - 25297288324718738243525005590746220438993/7080346578868534777229714\ 02525471635227*c_0101_1^23 + 10356285325012548470035913194750387252\ 5170/708034657886853477722971402525471635227*c_0101_1^22 - 158119468083585067494268001348973896389507/708034657886853477722971\ 402525471635227*c_0101_1^21 - 4599180331833010025522389508481076621\ 56252/708034657886853477722971402525471635227*c_0101_1^20 + 2413402968153406321928820902479582744263966/70803465788685347772297\ 1402525471635227*c_0101_1^19 - 108850626572660614398080904803081301\ 5836953/708034657886853477722971402525471635227*c_0101_1^18 - 12221132581412591096548982830606248081989008/7080346578868534777229\ 71402525471635227*c_0101_1^17 + 15033818425606913940000376221508494\ 369950094/708034657886853477722971402525471635227*c_0101_1^16 + 37673004409665321096140791322370764636319854/7080346578868534777229\ 71402525471635227*c_0101_1^15 - 53603998665145966735950161940542172\ 242411021/708034657886853477722971402525471635227*c_0101_1^14 - 84797218710396944945520928368994533785184190/7080346578868534777229\ 71402525471635227*c_0101_1^13 + 91692823551791703333523037747502922\ 454302956/708034657886853477722971402525471635227*c_0101_1^12 + 145239429206244696119290854676108771654320412/708034657886853477722\ 971402525471635227*c_0101_1^11 - 5060089562920870461158017965596914\ 9268001658/708034657886853477722971402525471635227*c_0101_1^10 - 135350980179544443797188322795475400096151381/708034657886853477722\ 971402525471635227*c_0101_1^9 - 23002390281347577039470874081506637\ 346237043/708034657886853477722971402525471635227*c_0101_1^8 + 50681544837622090943576626450865822337336012/7080346578868534777229\ 71402525471635227*c_0101_1^7 + 282250844475939953983985604266345189\ 53265614/708034657886853477722971402525471635227*c_0101_1^6 - 853319195203752668001266414766621964258123/708034657886853477722971\ 402525471635227*c_0101_1^5 - 55509951733709887506857704311563689297\ 63004/708034657886853477722971402525471635227*c_0101_1^4 - 2224560903289707099992245454255698130767460/70803465788685347772297\ 1402525471635227*c_0101_1^3 - 3929307929187124565584862206589063623\ 87047/708034657886853477722971402525471635227*c_0101_1^2 - 16894911251953026110806313214893467646288/7080346578868534777229714\ 02525471635227*c_0101_1 + 4325466616303209139235511101540669897005/\ 708034657886853477722971402525471635227, c_0011_5 + 726667811505292043207008986554612027518/70803465788685347772\ 2971402525471635227*c_0101_1^24 - 706574621949586917583927834060208\ 9417103/708034657886853477722971402525471635227*c_0101_1^23 + 29124167225940319905611031164843434535672/7080346578868534777229714\ 02525471635227*c_0101_1^22 - 45433153575954462358076080146464154498\ 068/708034657886853477722971402525471635227*c_0101_1^21 - 124984452219759631302248912637797328913897/708034657886853477722971\ 402525471635227*c_0101_1^20 + 6744379428655887622706368607524480180\ 46976/708034657886853477722971402525471635227*c_0101_1^19 - 332589991606289312299786369885973221584992/708034657886853477722971\ 402525471635227*c_0101_1^18 - 3368186388456047749211403185684447485\ 589497/708034657886853477722971402525471635227*c_0101_1^17 + 4301011650265772563475470165623502213673980/70803465788685347772297\ 1402525471635227*c_0101_1^16 + 102489651186678342957888857318913017\ 73628048/708034657886853477722971402525471635227*c_0101_1^15 - 15206191533463007700665786064026357366316677/7080346578868534777229\ 71402525471635227*c_0101_1^14 - 22900279416863913872802952256850461\ 615745740/708034657886853477722971402525471635227*c_0101_1^13 + 26116698187934965479987062350859863261744690/7080346578868534777229\ 71402525471635227*c_0101_1^12 + 39324635783042004892950727757945493\ 056275744/708034657886853477722971402525471635227*c_0101_1^11 - 15209188294862604898177887108230088804746407/7080346578868534777229\ 71402525471635227*c_0101_1^10 - 37025411278200703042470982773441206\ 896696092/708034657886853477722971402525471635227*c_0101_1^9 - 5312963303064222415389579234873680278730452/70803465788685347772297\ 1402525471635227*c_0101_1^8 + 1420455575312657995120815377795912863\ 6514101/708034657886853477722971402525471635227*c_0101_1^7 + 7477684307873946346686740347723179471242855/70803465788685347772297\ 1402525471635227*c_0101_1^6 - 4257438168989231965202713120525752215\ 07603/708034657886853477722971402525471635227*c_0101_1^5 - 1551415120826026094822234119783586116002351/70803465788685347772297\ 1402525471635227*c_0101_1^4 - 5846133410313562696476596476222118555\ 59125/708034657886853477722971402525471635227*c_0101_1^3 - 92286411579728927129864366318191192814186/7080346578868534777229714\ 02525471635227*c_0101_1^2 - 196371924580828973153129452375947005894\ 9/708034657886853477722971402525471635227*c_0101_1 + 1142807200859152567553445670710007066365/70803465788685347772297140\ 2525471635227, c_0011_6 + 620979216454409784859764678032937009397/70803465788685347772\ 2971402525471635227*c_0101_1^24 - 619615518940326763528576607844768\ 9838735/708034657886853477722971402525471635227*c_0101_1^23 + 26715182972562483713314823986717799022448/7080346578868534777229714\ 02525471635227*c_0101_1^22 - 48192902267367651539552614397836295477\ 497/708034657886853477722971402525471635227*c_0101_1^21 - 82988499414108075230059652142412011029577/7080346578868534777229714\ 02525471635227*c_0101_1^20 + 57433445782164836241058843674807326133\ 0781/708034657886853477722971402525471635227*c_0101_1^19 - 455865906191557852061795796588703945243608/708034657886853477722971\ 402525471635227*c_0101_1^18 - 2524369981523775833081102730345688763\ 736856/708034657886853477722971402525471635227*c_0101_1^17 + 4056023842495504587215361163775968490564913/70803465788685347772297\ 1402525471635227*c_0101_1^16 + 681283994279457068052288594465186297\ 8073832/708034657886853477722971402525471635227*c_0101_1^15 - 12812799551581206814477054417884837807960054/7080346578868534777229\ 71402525471635227*c_0101_1^14 - 14290718690056731023453389117659368\ 816199026/708034657886853477722971402525471635227*c_0101_1^13 + 20261643034104745712271601820798648959634045/7080346578868534777229\ 71402525471635227*c_0101_1^12 + 24935500033491580516114737646951996\ 687536238/708034657886853477722971402525471635227*c_0101_1^11 - 10438707436275885315576924018586132458399881/7080346578868534777229\ 71402525471635227*c_0101_1^10 - 22862290428784222478362200743597313\ 244776412/708034657886853477722971402525471635227*c_0101_1^9 - 4376269366640400384032804740409232622750884/70803465788685347772297\ 1402525471635227*c_0101_1^8 + 7646715549960241740406931330938103684\ 637815/708034657886853477722971402525471635227*c_0101_1^7 + 4762278720282965021874315044856469487972579/70803465788685347772297\ 1402525471635227*c_0101_1^6 + 2027607146361665718804127459444208942\ 73887/708034657886853477722971402525471635227*c_0101_1^5 - 774959800924961144316030358109674660127944/708034657886853477722971\ 402525471635227*c_0101_1^4 - 34294377800737418262702648215090706786\ 1934/708034657886853477722971402525471635227*c_0101_1^3 - 65996736891970123712957565367475431214835/7080346578868534777229714\ 02525471635227*c_0101_1^2 - 470537324953320298591867427993643391333\ 3/708034657886853477722971402525471635227*c_0101_1 + 294203156969215299781664668792078927518/708034657886853477722971402\ 525471635227, c_0101_0 - 2109721517179409638873354469291944478778/7080346578868534777\ 22971402525471635227*c_0101_1^24 + 20934656116586044375562886305091762089930/7080346578868534777229714\ 02525471635227*c_0101_1^23 - 88949088596205344807887579917223304033\ 316/708034657886853477722971402525471635227*c_0101_1^22 + 151894562278906019876044867279092829544175/708034657886853477722971\ 402525471635227*c_0101_1^21 + 3224819627966601207392441424825301645\ 24124/708034657886853477722971402525471635227*c_0101_1^20 - 2002608577374841975477643295128891030527361/70803465788685347772297\ 1402525471635227*c_0101_1^19 + 139003031833728895401146264726227130\ 1347683/708034657886853477722971402525471635227*c_0101_1^18 + 9285463952908238494565972091561367422184906/70803465788685347772297\ 1402525471635227*c_0101_1^17 - 141073739810454901960519608100028891\ 27542357/708034657886853477722971402525471635227*c_0101_1^16 - 26086258949785734311174378168664679430544952/7080346578868534777229\ 71402525471635227*c_0101_1^15 + 47556604303638502272682100759992648\ 847357117/708034657886853477722971402525471635227*c_0101_1^14 + 55082602789778899341790240398782351259556346/7080346578868534777229\ 71402525471635227*c_0101_1^13 - 81199149622484646976093860756695743\ 675739402/708034657886853477722971402525471635227*c_0101_1^12 - 94726789518300799503060928652015390743584977/7080346578868534777229\ 71402525471635227*c_0101_1^11 + 53610419234953549163305542700543608\ 252971228/708034657886853477722971402525471635227*c_0101_1^10 + 91252734055435697076796104772795211274310289/7080346578868534777229\ 71402525471635227*c_0101_1^9 + 456051105245344750762791229223922607\ 9007851/708034657886853477722971402525471635227*c_0101_1^8 - 36397776444354613129046152893465340961973654/7080346578868534777229\ 71402525471635227*c_0101_1^7 - 160931828164842316711765805355562588\ 62155318/708034657886853477722971402525471635227*c_0101_1^6 + 1886456349203991945477016034929174041057684/70803465788685347772297\ 1402525471635227*c_0101_1^5 + 3587923587663451073462679447193260238\ 659438/708034657886853477722971402525471635227*c_0101_1^4 + 1282006128071035165947945315882954523635520/70803465788685347772297\ 1402525471635227*c_0101_1^3 + 2116577381024461539658159421679561305\ 37239/708034657886853477722971402525471635227*c_0101_1^2 + 6495284980958836122523256844037242627480/70803465788685347772297140\ 2525471635227*c_0101_1 - 2449045425312827519579899694302621528465/7\ 08034657886853477722971402525471635227, c_0101_1^25 - 9*c_0101_1^24 + 33*c_0101_1^23 - 33*c_0101_1^22 - 220*c_0101_1^21 + 811*c_0101_1^20 + 212*c_0101_1^19 - 5016*c_0101_1^18 + 2678*c_0101_1^17 + 18480*c_0101_1^16 - 11322*c_0101_1^15 - 46502*c_0101_1^14 + 14756*c_0101_1^13 + 79239*c_0101_1^12 + 15523*c_0101_1^11 - 64914*c_0101_1^10 - 41237*c_0101_1^9 + 14064*c_0101_1^8 + 22740*c_0101_1^7 + 6339*c_0101_1^6 - 2255*c_0101_1^5 - 2124*c_0101_1^4 - 673*c_0101_1^3 - 102*c_0101_1^2 - 3*c_0101_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB