Magma V2.19-8 Tue Aug 20 2013 16:16:32 on localhost [Seed = 745386229] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0824 geometric_solution 4.75147353 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 2310 0132 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 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.092734662701 2.641328900437 0 0 1 1 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.177649077500 0.171412064249 3 0 4 3 3201 0132 0132 3120 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 -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.309725924924 0.695690068375 2 4 0 2 3120 3201 0132 2310 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.309725924924 0.695690068375 5 5 3 2 0132 3201 2310 0132 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 -1 0 1 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.290903319188 0.955845289110 4 6 4 6 0132 0132 2310 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.217389489227 1.034352140227 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.388726924574 0.052093808191 ==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' : negation(d['c_0101_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_3']), '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' : negation(d['c_0011_3']), 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_4'])})} 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_3, c_0011_4, c_0101_0, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 3539610791803705139559968288783321883696/42093628994805251449837033\ 6935137896711*c_0110_6^25 + 119645849035954396067584147810367546825\ 35/60133755706864644928338619562162556673*c_0110_6^24 - 534166386158400352151749242969750155826767/420936289948052514498370\ 336935137896711*c_0110_6^23 + 2794874946166122586397822900254134351\ 22574/420936289948052514498370336935137896711*c_0110_6^22 + 2776033396736504592408457853094193498317854/42093628994805251449837\ 0336935137896711*c_0110_6^21 - 552422653246078900614361064599172970\ 8583660/420936289948052514498370336935137896711*c_0110_6^20 + 1326007898571544026983609205876286085457945/42093628994805251449837\ 0336935137896711*c_0110_6^19 + 108245093719488719413620271950580437\ 95704818/420936289948052514498370336935137896711*c_0110_6^18 - 19150603477070329809121339521243494030919344/4209362899480525144983\ 70336935137896711*c_0110_6^17 + 10897904235390796092385864963885954\ 952062208/420936289948052514498370336935137896711*c_0110_6^16 + 8309204183192830408025035184463261477171334/42093628994805251449837\ 0336935137896711*c_0110_6^15 - 235837939321738727253703823459441379\ 24222714/420936289948052514498370336935137896711*c_0110_6^14 + 22447656137746192139708692899757385132719489/4209362899480525144983\ 70336935137896711*c_0110_6^13 - 88921008007019999437044475119725526\ 9862309/38266935449822955863488212448648899701*c_0110_6^12 - 2823430158693093250507831477396977654688505/42093628994805251449837\ 0336935137896711*c_0110_6^11 + 891567609488111309940003699350794874\ 3210171/420936289948052514498370336935137896711*c_0110_6^10 - 7417190836075301848326197930245729761512796/42093628994805251449837\ 0336935137896711*c_0110_6^9 + 4154830341837178812745186254552910203\ 829611/420936289948052514498370336935137896711*c_0110_6^8 - 827343896838404987995123811684164665231837/420936289948052514498370\ 336935137896711*c_0110_6^7 - 36986667134866691896251428287042733986\ 1340/420936289948052514498370336935137896711*c_0110_6^6 + 733151980069995035456981816437992076703610/420936289948052514498370\ 336935137896711*c_0110_6^5 - 50188910277456374270822590490060777938\ 4926/420936289948052514498370336935137896711*c_0110_6^4 + 249401951573090051881141693847080046498478/420936289948052514498370\ 336935137896711*c_0110_6^3 - 11178351493682106424844773664533245227\ 6535/420936289948052514498370336935137896711*c_0110_6^2 + 21679705834794788505547071739607525699012/4209362899480525144983703\ 36935137896711*c_0110_6 - 9003511059711157863739919522574118841708/\ 420936289948052514498370336935137896711, c_0011_0 - 1, c_0011_3 - 27225208668780167938786973318871301254/601337557068646449283\ 38619562162556673*c_0110_6^25 + 66194715378567079859764038163631978\ 6855/60133755706864644928338619562162556673*c_0110_6^24 - 4524716417998183781803163881928016591359/60133755706864644928338619\ 562162556673*c_0110_6^23 + 4727107764775646691019361408904670951725\ /60133755706864644928338619562162556673*c_0110_6^22 + 20694152351743398694580695054223485581444/6013375570686464492833861\ 9562162556673*c_0110_6^21 - 574121956505347248746154489948318114081\ 77/60133755706864644928338619562162556673*c_0110_6^20 + 34076635936186546718624182453950519352693/6013375570686464492833861\ 9562162556673*c_0110_6^19 + 880825738259690044249722643042336345221\ 70/60133755706864644928338619562162556673*c_0110_6^18 - 206405526889542363764954000437407885883849/601337557068646449283386\ 19562162556673*c_0110_6^17 + 15761122417823856947843905387985353774\ 6921/60133755706864644928338619562162556673*c_0110_6^16 + 52043443939427865924325201076722451370812/6013375570686464492833861\ 9562162556673*c_0110_6^15 - 243760280574695702949471864668505934418\ 903/60133755706864644928338619562162556673*c_0110_6^14 + 258284486343174942811719525607477042858040/601337557068646449283386\ 19562162556673*c_0110_6^13 - 11284957485380756763860913112038924414\ 253/5466705064260422266212601778378414243*c_0110_6^12 - 19042852724393433436769104466943305133782/6013375570686464492833861\ 9562162556673*c_0110_6^11 + 829096202244458013356577250065058344110\ 78/60133755706864644928338619562162556673*c_0110_6^10 - 69892892846624426326461009860771263108892/6013375570686464492833861\ 9562162556673*c_0110_6^9 + 3473847623206192157249945706930433762340\ 9/60133755706864644928338619562162556673*c_0110_6^8 - 7716030665890203069809979253513068990673/60133755706864644928338619\ 562162556673*c_0110_6^7 - 1571676340927388176598965438179290476582/\ 60133755706864644928338619562162556673*c_0110_6^6 + 3481958096481657796571257239853330660322/60133755706864644928338619\ 562162556673*c_0110_6^5 - 2005543030681520697415493914900645987546/\ 60133755706864644928338619562162556673*c_0110_6^4 + 1020375132457833867422666340037400351075/60133755706864644928338619\ 562162556673*c_0110_6^3 - 285499256101416482289199755868389506106/6\ 0133755706864644928338619562162556673*c_0110_6^2 + 37078480380843066934005776255696404614/6013375570686464492833861956\ 2162556673*c_0110_6 - 28229122391336701977373833955919050380/601337\ 55706864644928338619562162556673, c_0011_4 + 4096542786090787571129309462691715417/5466705064260422266212\ 601778378414243*c_0110_6^25 - 9680257791492313480278881576696632002\ 5/5466705064260422266212601778378414243*c_0110_6^24 + 614165056275967859153629974896751131949/546670506426042226621260177\ 8378414243*c_0110_6^23 - 280318150077495396996177034533257622737/54\ 66705064260422266212601778378414243*c_0110_6^22 - 3364853332398679570867788240747445175991/54667050642604222662126017\ 78378414243*c_0110_6^21 + 6275681912214681611645211060869669982264/\ 5466705064260422266212601778378414243*c_0110_6^20 - 415545855637894983619394164273518567414/546670506426042226621260177\ 8378414243*c_0110_6^19 - 13708401117825189612860083820905298870917/\ 5466705064260422266212601778378414243*c_0110_6^18 + 20882039259193776074583692681832248974148/5466705064260422266212601\ 778378414243*c_0110_6^17 - 8176605569906799474539321978411510710295\ /5466705064260422266212601778378414243*c_0110_6^16 - 13537746099638192974418770080099014308248/5466705064260422266212601\ 778378414243*c_0110_6^15 + 2592030782838518121089852127252141388832\ 2/5466705064260422266212601778378414243*c_0110_6^14 - 19799913102202084075280312202909488845590/5466705064260422266212601\ 778378414243*c_0110_6^13 + 4884398676379576052427248680756312131823\ /5466705064260422266212601778378414243*c_0110_6^12 + 5544908537481737035987412426679831508214/54667050642604222662126017\ 78378414243*c_0110_6^11 - 8066069697707938138019701975383604956364/\ 5466705064260422266212601778378414243*c_0110_6^10 + 4789194981757267277827442888907575154113/54667050642604222662126017\ 78378414243*c_0110_6^9 - 1891972202454291256041276002587416522073/5\ 466705064260422266212601778378414243*c_0110_6^8 + 14538302651780813975693475502463758429/5466705064260422266212601778\ 378414243*c_0110_6^7 + 217016146867952841679347159144285679315/5466\ 705064260422266212601778378414243*c_0110_6^6 - 272075944354406829949419688097628416214/546670506426042226621260177\ 8378414243*c_0110_6^5 + 122655387926584488121268638461121950645/546\ 6705064260422266212601778378414243*c_0110_6^4 - 53551198896577774203760927606980851285/5466705064260422266212601778\ 378414243*c_0110_6^3 + 18148359299883574030982922024679468194/54667\ 05064260422266212601778378414243*c_0110_6^2 - 1013257103809960942007891764535438213/54667050642604222662126017783\ 78414243*c_0110_6 + 3498539967685597693377165017197112246/546670506\ 4260422266212601778378414243, c_0101_0 + 35822522958110896549998676414549202753/601337557068646449283\ 38619562162556673*c_0110_6^25 - 85116974470559049868268249280312735\ 3540/60133755706864644928338619562162556673*c_0110_6^24 + 5485443366968371285714452032922584889461/60133755706864644928338619\ 562162556673*c_0110_6^23 - 3247183862107666125121957479564411791529\ /60133755706864644928338619562162556673*c_0110_6^22 - 28652452533005401645776286258844690686774/6013375570686464492833861\ 9562162556673*c_0110_6^21 + 596953582660850814065888600317699747503\ 26/60133755706864644928338619562162556673*c_0110_6^20 - 14524258644964805767569351946787578121710/6013375570686464492833861\ 9562162556673*c_0110_6^19 - 120578270944539867746626851024909824185\ 528/60133755706864644928338619562162556673*c_0110_6^18 + 208660712770411381596789219947115125233047/601337557068646449283386\ 19562162556673*c_0110_6^17 - 10400842919462984187834619345113609974\ 2356/60133755706864644928338619562162556673*c_0110_6^16 - 117152697941688091387970162620557681061673/601337557068646449283386\ 19562162556673*c_0110_6^15 + 26363657886044963606945020088780382688\ 2273/60133755706864644928338619562162556673*c_0110_6^14 - 213751143450372814242957179730065789272974/601337557068646449283386\ 19562162556673*c_0110_6^13 + 54547136125984060351507836813442415698\ 82/5466705064260422266212601778378414243*c_0110_6^12 + 57446105576927189113501666324752763055608/6013375570686464492833861\ 9562162556673*c_0110_6^11 - 897784369781849436950289487554019392357\ 80/60133755706864644928338619562162556673*c_0110_6^10 + 55963490134462715396130045498112833329494/6013375570686464492833861\ 9562162556673*c_0110_6^9 - 2210861591159386404612105804395459630400\ 7/60133755706864644928338619562162556673*c_0110_6^8 - 1994915353359770700806448424602342300511/60133755706864644928338619\ 562162556673*c_0110_6^7 + 4903608701228703745260359105815137384960/\ 60133755706864644928338619562162556673*c_0110_6^6 - 4185023882874515471034036539677790673511/60133755706864644928338619\ 562162556673*c_0110_6^5 + 1583037604700081193799729589482328416737/\ 60133755706864644928338619562162556673*c_0110_6^4 - 479149504320551343438748357344681830233/601337557068646449283386195\ 62162556673*c_0110_6^3 + 144970643447887381983915527603520130524/60\ 133755706864644928338619562162556673*c_0110_6^2 + 70641735077219197259764588902944366106/6013375570686464492833861956\ 2162556673*c_0110_6 + 36693738653537058214071784093138307351/601337\ 55706864644928338619562162556673, c_0101_2 + 17431565631495947371644085877089770594/601337557068646449283\ 38619562162556673*c_0110_6^25 - 39905215138602747630869811819906363\ 1510/60133755706864644928338619562162556673*c_0110_6^24 + 2310807276059103249996460979633836200789/60133755706864644928338619\ 562162556673*c_0110_6^23 + 699918635384978918400227206743296371982/\ 60133755706864644928338619562162556673*c_0110_6^22 - 14908356367855904487742602258059283740500/6013375570686464492833861\ 9562162556673*c_0110_6^21 + 155452334944423165585326964443193862418\ 16/60133755706864644928338619562162556673*c_0110_6^20 + 16549888108307151062548736083588505732632/6013375570686464492833861\ 9562162556673*c_0110_6^19 - 543058259469642770886553414397376783471\ 95/60133755706864644928338619562162556673*c_0110_6^18 + 42929344324503021562909210357314758309037/6013375570686464492833861\ 9562162556673*c_0110_6^17 + 220895144149558334116161395144063442569\ 08/60133755706864644928338619562162556673*c_0110_6^16 - 64955145680201801106393981573771088915248/6013375570686464492833861\ 9562162556673*c_0110_6^15 + 574192304393499265263728449745638740307\ 57/60133755706864644928338619562162556673*c_0110_6^14 - 14107833826786670801691843148185070347913/6013375570686464492833861\ 9562162556673*c_0110_6^13 - 166427862354761959477798971932744710112\ 8/5466705064260422266212601778378414243*c_0110_6^12 + 21361366413754610725366558866110357179244/6013375570686464492833861\ 9562162556673*c_0110_6^11 - 157709091098001786114250497257795210250\ 34/60133755706864644928338619562162556673*c_0110_6^10 + 3173988782318900741644262735013347438657/60133755706864644928338619\ 562162556673*c_0110_6^9 - 84216601188232708796997934438473942753/60\ 133755706864644928338619562162556673*c_0110_6^8 - 2486691467190715333665661003063702404173/60133755706864644928338619\ 562162556673*c_0110_6^7 + 1164581135231084071935824418503971975043/\ 60133755706864644928338619562162556673*c_0110_6^6 - 596700804123550922423918987688527923653/601337557068646449283386195\ 62162556673*c_0110_6^5 + 379435129031718582188818279229334591187/60\ 133755706864644928338619562162556673*c_0110_6^4 + 117263267705146390072073555275406158203/601337557068646449283386195\ 62162556673*c_0110_6^3 + 32714793453699786265194323581518307137/601\ 33755706864644928338619562162556673*c_0110_6^2 + 117696020151661958335923961387810692611/601337557068646449283386195\ 62162556673*c_0110_6 - 18444573360883677632496569615469982668/60133\ 755706864644928338619562162556673, c_0101_4 + 26886830872462922348158956517030382360/601337557068646449283\ 38619562162556673*c_0110_6^25 - 62880594465929023638014598876963119\ 1358/60133755706864644928338619562162556673*c_0110_6^24 + 3880451362474748070378530885799973299343/60133755706864644928338619\ 562162556673*c_0110_6^23 - 949222368630021557736890855280572175953/\ 60133755706864644928338619562162556673*c_0110_6^22 - 22049219975180506297098036993207610089947/6013375570686464492833861\ 9562162556673*c_0110_6^21 + 362927785754936251330101657188012141236\ 46/60133755706864644928338619562162556673*c_0110_6^20 + 3671537175440709290011965156235118295948/60133755706864644928338619\ 562162556673*c_0110_6^19 - 8889090870606226292342066965096565594083\ 2/60133755706864644928338619562162556673*c_0110_6^18 + 122690293163976102727517492190801594391755/601337557068646449283386\ 19562162556673*c_0110_6^17 - 32597239800057515024355009258233218919\ 700/60133755706864644928338619562162556673*c_0110_6^16 - 101318366153564428187783872561937719184501/601337557068646449283386\ 19562162556673*c_0110_6^15 + 16537338543440124180493921585674944013\ 3439/60133755706864644928338619562162556673*c_0110_6^14 - 104097688951925864570386622366276595529787/601337557068646449283386\ 19562162556673*c_0110_6^13 + 54854190304543357374138568795975517633\ /5466705064260422266212601778378414243*c_0110_6^12 + 55698474926093923548989957243622839603270/6013375570686464492833861\ 9562162556673*c_0110_6^11 - 534969570512963084643626225647879066082\ 81/60133755706864644928338619562162556673*c_0110_6^10 + 19797956955260231515985080846858469317242/6013375570686464492833861\ 9562162556673*c_0110_6^9 - 2509003087859408653054089023790945444515\ /60133755706864644928338619562162556673*c_0110_6^8 - 5555761599875582992310003839656061198298/60133755706864644928338619\ 562162556673*c_0110_6^7 + 1871080057968906476000318335564171858251/\ 60133755706864644928338619562162556673*c_0110_6^6 - 1502437401695922800151959069490023293643/60133755706864644928338619\ 562162556673*c_0110_6^5 + 54739938552630808562349388054776843549/60\ 133755706864644928338619562162556673*c_0110_6^4 - 117746533296329849228490060353700191010/601337557068646449283386195\ 62162556673*c_0110_6^3 + 39779340719145840556014881373827734267/601\ 33755706864644928338619562162556673*c_0110_6^2 + 35891117427690528341965809400739155139/6013375570686464492833861956\ 2162556673*c_0110_6 + 47038271754087777405682970642470832207/601337\ 55706864644928338619562162556673, c_0110_6^26 - 24*c_0110_6^25 + 159*c_0110_6^24 - 132*c_0110_6^23 - 743*c_0110_6^22 + 1800*c_0110_6^21 - 941*c_0110_6^20 - 2727*c_0110_6^19 + 6171*c_0110_6^18 - 4962*c_0110_6^17 - 602*c_0110_6^16 + 6385*c_0110_6^15 - 7951*c_0110_6^14 + 5283*c_0110_6^13 - 1357*c_0110_6^12 - 1441*c_0110_6^11 + 2090*c_0110_6^10 - 1662*c_0110_6^9 + 815*c_0110_6^8 - 273*c_0110_6^7 - 5*c_0110_6^6 + 74*c_0110_6^5 - 56*c_0110_6^4 + 33*c_0110_6^3 - 11*c_0110_6^2 + 4*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB