Magma V2.19-8 Tue Aug 20 2013 16:19:00 on localhost [Seed = 324177531] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3149 geometric_solution 6.30456077 oriented_manifold CS_known -0.0000000000000002 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365903888093 0.188041495417 2 0 3 0 0132 2310 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 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.472121888446 0.923017663183 1 4 5 6 0132 0132 0132 0132 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 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.582231064055 1.117097594767 6 5 4 1 1023 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582231064055 1.117097594767 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.197414448758 1.411342457843 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.815861164647 0.553295041773 6 3 2 6 3201 1023 0132 2310 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 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.723987268595 0.756357276527 ==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' : negation(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' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['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_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], '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_3'], 'c_0011_4' : d['c_0011_1'], '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' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], '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' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : 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' : d['c_0101_3'], '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_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 4608409992310389187028678281240676910619933423232186529212271201197\ 8785/20876949857080305490644701333339809349827036364830666221981318\ 5739315740672*c_0101_4^33 + 284212803717729536732021407046967240489\ 54167753834437818420905968512341/2007399024719260143331221282051904\ 745175676573541410213652049862878035968*c_0101_4^31 - 2294505193235844965932935559197054069963012649767537871772897614296\ 8781097/20876949857080305490644701333339809349827036364830666221981\ 3185739315740672*c_0101_4^29 - 379042146554920485737550134324248082\ 47798683722881956783822894205128677797/5219237464270076372661175333\ 3349523374567590912076665554953296434828935168*c_0101_4^27 + 2398324457054065498308373140321651060210344157900662525093446451760\ 63430993/2087694985708030549064470133333980934982703636483066622198\ 13185739315740672*c_0101_4^25 + 73325209572130156966221930653898939\ 82890782449291013940729391852842513608425/2087694985708030549064470\ 13333398093498270363648306662219813185739315740672*c_0101_4^23 + 2150652536183506991820083498322995785171344784421762184956497253578\ 0094468175/20876949857080305490644701333339809349827036364830666221\ 9813185739315740672*c_0101_4^21 - 101531676943558669542179581134020\ 20554854611722852191211427653119715367583379/2609618732135038186330\ 5876666674761687283795456038332777476648217414467584*c_0101_4^19 - 7868106312264714113710195999908394934853295509813105700557126509827\ 8636581329/26096187321350381863305876666674761687283795456038332777\ 476648217414467584*c_0101_4^17 - 1765153573169733016894037506365418\ 1374091615476930371272895989148405063407867/16059192197754081146649\ 770256415237961405412588331281709216398903024287744*c_0101_4^15 + 3722277484568006543650201455033695357035600768941519265218366587944\ 288889361595/208769498570803054906447013333398093498270363648306662\ 219813185739315740672*c_0101_4^13 + 7855623423128247735738283216722383295605387365975542752910263376839\ 10120512217/5219237464270076372661175333334952337456759091207666555\ 4953296434828935168*c_0101_4^11 - 458060515275878327324444732376447\ 289387793413939016622626753837805884526874163/652404683033759546582\ 6469166668690421820948864009583194369162054353616896*c_0101_4^9 + 1054117742320559815713489714049683086003358285644812501478284837648\ 6939860205/25092487808990751791640266025648809314695957169267627670\ 6506232859754496*c_0101_4^7 + 3868080012239288538526901163348129127\ 036649623682131588534636926698837518143/815505853792199433228308645\ 833586302727618608001197899296145256794202112*c_0101_4^5 - 2479726417890990259329867094197655948559143325539105884541693294930\ 80272401/5096911586201246457676929036459914392047616300007486870600\ 9078549637632*c_0101_4^3 - 1021984879408244352950199702624798892076\ 7789649038847849123445163742286879/12742278965503116144192322591149\ 785980119040750018717176502269637409408*c_0101_4, c_0011_0 - 1, c_0011_1 + 143961798850483719707558909901325713544550688991353499127986\ 532723/100369951235963007166561064102595237258783828677070510682602\ 4931439017984*c_0101_4^32 - 114450764857307484566446907763483898384\ 7552303879188656687587537855/12546243904495375895820133012824404657\ 3479785846338138353253116429877248*c_0101_4^30 + 6672299550636953367657146434128636399521054148112311812797226471703\ 5/10036995123596300716656106410259523725878382867707051068260249314\ 39017984*c_0101_4^28 + 12773004036337460917772863614238320091820138\ 7874184694300747028136679/25092487808990751791640266025648809314695\ 9571692676276706506232859754496*c_0101_4^26 - 4846279010982076580826305828332436838077843473790292090227063821500\ 51/1003699512359630071665610641025952372587838286770705106826024931\ 439017984*c_0101_4^24 - 2323122938315996571638014260944212172098466\ 0308911547102051311253597803/10036995123596300716656106410259523725\ 87838286770705106826024931439017984*c_0101_4^22 - 7956700344958157404342135118007892842260205391343717704306164175182\ 8189/10036995123596300716656106410259523725878382867707051068260249\ 31439017984*c_0101_4^20 + 26764455851016307120069652943592355508492\ 968775177292522225776384801761/125462439044953758958201330128244046\ 573479785846338138353253116429877248*c_0101_4^18 + 2612616966429991266451550908143644780553556268423373786902709414499\ 93455/1254624390449537589582013301282440465734797858463381383532531\ 16429877248*c_0101_4^16 + 18020796857454884376274190769062376657379\ 42139341937346010262292643298733/1003699512359630071665610641025952\ 372587838286770705106826024931439017984*c_0101_4^14 - 1092996564979126088496504878261889807364805563503150039643242167159\ 6404737/10036995123596300716656106410259523725878382867707051068260\ 24931439017984*c_0101_4^12 - 39264852487809213258853412445158967458\ 71106740914888763160587710461922091/2509248780899075179164026602564\ 88093146959571692676276706506232859754496*c_0101_4^10 + 3056642682689635062486522534332658019299064839007253418610496939857\ 21769/7841402440309609934887583133015252910842486615396133647078319\ 776867328*c_0101_4^8 - 80539089841090942149431954700456521448786641\ 680524915995889827565505823/156828048806192198697751662660305058216\ 84973230792267294156639553734656*c_0101_4^6 - 4877531279334894198246604997854068405046647174622188068207958405206\ 5545/39207012201548049674437915665076264554212433076980668235391598\ 88433664*c_0101_4^4 + 386760467994986472627451215794661624693093882\ 196608087454122646370341/245043826259675310465236972906726653463827\ 706731129176471197493027104*c_0101_4^2 + 1397866875571985676273002277151907255814599127238937416432833513242\ 1/61260956564918827616309243226681663365956926682782294117799373256\ 776, c_0011_3 + 516541057831102170085113987689097128239430419877872381725452\ 2493823/40147980494385202866624425641038094903513531470828204273040\ 99725756071936*c_0101_4^33 - 41467886887232634967374929759061533305\ 354924882300009544636500584307/501849756179815035832805320512976186\ 293919143385352553413012465719508992*c_0101_4^31 + 2599270403689994593260094520337320976561917988909304289686323914136\ 919/401479804943852028666244256410380949035135314708282042730409972\ 5756071936*c_0101_4^29 + 420266143050317127438346559181108516994996\ 9935647711341263780388190163/10036995123596300716656106410259523725\ 87838286770705106826024931439017984*c_0101_4^27 - 2855530933509614920418843966333292668193085578234771985212245722085\ 2975/40147980494385202866624425641038094903513531470828204273040997\ 25756071936*c_0101_4^25 - 82151795290807749613994404435358894977436\ 5420719872930801058298979294871/40147980494385202866624425641038094\ 90351353147082820427304099725756071936*c_0101_4^23 - 2339881733434339432345122271258037226063340647237620745854881031178\ 007249/401479804943852028666244256410380949035135314708282042730409\ 9725756071936*c_0101_4^21 + 117408396692890254189058191869156216366\ 1810741660668879425917910835569821/50184975617981503583280532051297\ 6186293919143385352553413012465719508992*c_0101_4^19 + 8761602494996608419098412662408427713444305430791441967392977407323\ 782971/501849756179815035832805320512976186293919143385352553413012\ 465719508992*c_0101_4^17 + 1906595382284208080469842567969136608056\ 4506942631493475965272586193519649/40147980494385202866624425641038\ 09490351353147082820427304099725756071936*c_0101_4^15 - 4270910173185246858049188372907728255585667045097404198956608864257\ 28174853/4014798049438520286662442564103809490351353147082820427304\ 099725756071936*c_0101_4^13 - 8132211659639954757405366912732913497\ 7654158942305080554270659001805286759/10036995123596300716656106410\ 25952372587838286770705106826024931439017984*c_0101_4^11 + 1668598137906054382997757433186445516054809483083611500628097324400\ 232467/392070122015480496744379156650762645542124330769806682353915\ 9888433664*c_0101_4^9 - 1656600151579980941428326136119587583128140\ 9627019840854459817711764662539/62731219522476879479100665064122023\ 286739892923169069176626558214938624*c_0101_4^7 - 5793699751051883386574686450171966582591297752304070579200267400295\ 62557/1568280488061921986977516626603050582168497323079226729415663\ 9553734656*c_0101_4^5 + 3497476922130409450151758783139909878864539\ 6408914860847923362629844091/98017530503870124186094789162690661385\ 5310826924516705884789972108416*c_0101_4^3 + 1370006497994737662873105176294011422611957283651727851551262153396\ 317/245043826259675310465236972906726653463827706731129176471197493\ 027104*c_0101_4, c_0101_0 + 829230453683485909776634612334157479269141510758089175125410\ 7928407/40147980494385202866624425641038094903513531470828204273040\ 99725756071936*c_0101_4^33 - 66337589215418768100858968278916533242\ 218816678112868805339699973059/501849756179815035832805320512976186\ 293919143385352553413012465719508992*c_0101_4^31 + 4055023843538908075902824392596465395320521810839316312271513875320\ 303/401479804943852028666244256410380949035135314708282042730409972\ 5756071936*c_0101_4^29 + 694980341183558383311838814226805414008565\ 7038576934556539921872271259/10036995123596300716656106410259523725\ 87838286770705106826024931439017984*c_0101_4^27 - 3888616648023803064123279656188813416530840055822294864690067380676\ 5127/40147980494385202866624425641038094903513531470828204273040997\ 25756071936*c_0101_4^25 - 13219041297661280200568514011686405385871\ 88656839962111612963725775335279/4014798049438520286662442564103809\ 490351353147082820427304099725756071936*c_0101_4^23 - 4057410916214577750490812767503913265177630678027424137401442226390\ 671289/401479804943852028666244256410380949035135314708282042730409\ 9725756071936*c_0101_4^21 + 173936488623906803349762493418328694663\ 7465841025338738287836917820879917/50184975617981503583280532051297\ 6186293919143385352553413012465719508992*c_0101_4^19 + 1434201291017226154503731071683945865722452013900353012642739622750\ 6320723/50184975617981503583280532051297618629391914338535255341301\ 2465719508992*c_0101_4^17 + 584690642858726920908241215015879822737\ 82147270346548570661788016471357257/4014798049438520286662442564103\ 809490351353147082820427304099725756071936*c_0101_4^15 - 6496428988157907435336801892268528730917847463922816246422896653134\ 18965261/4014798049438520286662442564103809490351353147082820427304\ 099725756071936*c_0101_4^13 - 1608855059237056303186661882993162313\ 66893730027241680896084113484055719983/1003699512359630071665610641\ 025952372587838286770705106826024931439017984*c_0101_4^11 + 2433040447403691461967213463637632592819912051393609654860445247616\ 808671/392070122015480496744379156650762645542124330769806682353915\ 9888433664*c_0101_4^9 - 2071345185266478630576757106080054265398827\ 6830909910447973739050230455171/62731219522476879479100665064122023\ 286739892923169069176626558214938624*c_0101_4^7 - 7036501462831385041374854347297563744174530160199597817975205242963\ 40949/1568280488061921986977516626603050582168497323079226729415663\ 9553734656*c_0101_4^5 + 3366952029455415281498493584424486859657962\ 8472327102268843907388045315/98017530503870124186094789162690661385\ 5310826924516705884789972108416*c_0101_4^3 + 1345036261731608437980079468427000980108337670169644183538462544268\ 181/245043826259675310465236972906726653463827706731129176471197493\ 027104*c_0101_4, c_0101_1 + 189367605488351272485887263797346294093033688705434259384900\ 663795/100369951235963007166561064102595237258783828677070510682602\ 4931439017984*c_0101_4^32 - 149760454657086048307175184103729884304\ 2000943978951363937432706775/12546243904495375895820133012824404657\ 3479785846338138353253116429877248*c_0101_4^30 + 8372878360691043852959874028950292425421803715083307702142157342410\ 7/10036995123596300716656106410259523725878382867707051068260249314\ 39017984*c_0101_4^28 + 17576130880546650032144383558560683476358282\ 4662692951215124268976439/25092487808990751791640266025648809314695\ 9571692676276706506232859754496*c_0101_4^26 - 4251259470065703700900370030183046299861005785395149230875271965426\ 27/1003699512359630071665610641025952372587838286770705106826024931\ 439017984*c_0101_4^24 - 3087625492561506423435560284910216798768155\ 6910746384246849892047909419/10036995123596300716656106410259523725\ 87838286770705106826024931439017984*c_0101_4^22 - 1148649223559402410532768487056056858406972000162602885880263026296\ 32541/1003699512359630071665610641025952372587838286770705106826024\ 931439017984*c_0101_4^20 + 3138540231732674519040158534901280271610\ 3093102204627012659552681013817/12546243904495375895820133012824404\ 6573479785846338138353253116429877248*c_0101_4^18 + 3577922800566929728915653786617603294241204251173560365223719584585\ 96927/1254624390449537589582013301282440465734797858463381383532531\ 16429877248*c_0101_4^16 + 32702088688327558836364099782311484216019\ 69077678489099031856992427643181/1003699512359630071665610641025952\ 372587838286770705106826024931439017984*c_0101_4^14 - 1397140191115385617146028136092936448998781181546413439056609139291\ 9395521/10036995123596300716656106410259523725878382867707051068260\ 24931439017984*c_0101_4^12 - 65442795293262792761406540907216668861\ 87386210834089406013171770285492539/2509248780899075179164026602564\ 88093146959571692676276706506232859754496*c_0101_4^10 + 8848430311408563972613418463610378543257750893341704074020194730032\ 7977/19603506100774024837218957832538132277106216538490334117695799\ 44216832*c_0101_4^8 + 197963536473690667558320353446475352836787187\ 211151826219239037876263761/156828048806192198697751662660305058216\ 84973230792267294156639553734656*c_0101_4^6 - 8967699757010635433076910511553375235033619028710041717619096275186\ 4345/39207012201548049674437915665076264554212433076980668235391598\ 88433664*c_0101_4^4 - 795077274426042607796836033326719477721349882\ 8794313812946074114425/24504382625967531046523697290672665346382770\ 6731129176471197493027104*c_0101_4^2 + 7448493191833922500322837359338729667942532400792914598305658501932\ 9/61260956564918827616309243226681663365956926682782294117799373256\ 776, c_0101_3 - 173749884510562313642418282466797466885112063314395469005889\ 169953/100369951235963007166561064102595237258783828677070510682602\ 4931439017984*c_0101_4^32 + 135674250276116376620169295035923981589\ 0293478047916848617224447969/12546243904495375895820133012824404657\ 3479785846338138353253116429877248*c_0101_4^30 - 6806741715728255927574663867411013668516564993449073313813380685498\ 5/10036995123596300716656106410259523725878382867707051068260249314\ 39017984*c_0101_4^28 - 17622167078701658066218423661751792417673810\ 1274267458561244694868645/25092487808990751791640266025648809314695\ 9571692676276706506232859754496*c_0101_4^26 - 1321007089046079473553331804694426646697387181857150899755960684139\ 03/1003699512359630071665610641025952372587838286770705106826024931\ 439017984*c_0101_4^24 + 2851780944552236511790938204466216995016693\ 8810236458918525988893220969/10036995123596300716656106410259523725\ 87838286770705106826024931439017984*c_0101_4^22 + 1278009031722005913170034892438323292305587766819880369056040429094\ 86063/1003699512359630071665610641025952372587838286770705106826024\ 931439017984*c_0101_4^20 - 1775566613043911095976837798224901828941\ 0571565779641819981194914575023/12546243904495375895820133012824404\ 6573479785846338138353253116429877248*c_0101_4^18 - 3479224176338447785203866906879122228058049576391261547886378362316\ 34981/1254624390449537589582013301282440465734797858463381383532531\ 16429877248*c_0101_4^16 - 50823073333030782023976355487571899635187\ 67908989763820383818993738209599/1003699512359630071665610641025952\ 372587838286770705106826024931439017984*c_0101_4^14 + 9979523688191385592222955665186971886145308570121438027482999046341\ 126971/100369951235963007166561064102595237258783828677070510682602\ 4931439017984*c_0101_4^12 + 818449605042418294996353710164167536996\ 6428640835450806339819211396196737/25092487808990751791640266025648\ 8093146959571692676276706506232859754496*c_0101_4^10 - 1750179487581996934462649813483833653541496140129626933058155320979\ 92087/7841402440309609934887583133015252910842486615396133647078319\ 776867328*c_0101_4^8 - 59211452913528797064884691149765441631155971\ 8274548415088060052769407515/15682804880619219869775166266030505821\ 684973230792267294156639553734656*c_0101_4^6 + 6264616289115638829095203450370476982487413877769143002526493361585\ 6827/39207012201548049674437915665076264554212433076980668235391598\ 88433664*c_0101_4^4 + 129900272925790371818010677823157426955078592\ 9917767521809016522401649/24504382625967531046523697290672665346382\ 7706731129176471197493027104*c_0101_4^2 - 1588945054962427078972255686550000661289901772399807113550981527932\ 7/61260956564918827616309243226681663365956926682782294117799373256\ 776, c_0101_4^34 - 64*c_0101_4^32 + 489*c_0101_4^30 + 3356*c_0101_4^28 - 4721*c_0101_4^26 - 159633*c_0101_4^24 - 488983*c_0101_4^22 + 1688512*c_0101_4^20 + 13870568*c_0101_4^18 + 6952607*c_0101_4^16 - 79252643*c_0101_4^14 - 78424988*c_0101_4^12 + 304872544*c_0101_4^10 - 153341248*c_0101_4^8 - 36492544*c_0101_4^6 + 20961280*c_0101_4^4 + 3751936*c_0101_4^2 - 131072 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB