Magma V2.19-8 Tue Aug 20 2013 16:18:07 on localhost [Seed = 2699115621] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2336 geometric_solution 5.72098484 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 1 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 1 -1 0 0 1 -1 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.585493453006 0.163135540747 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 -1 1 0 -1 0 0 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 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 0 0 0 0 0 0.852886032068 0.516603751154 4 1 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 0 -1 0 0 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 -1 1 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.772573175834 0.914933497740 2 5 1 4 3012 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 0.772573175834 0.914933497740 2 4 3 4 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.022297352765 1.073988713549 3 6 6 2 1023 0132 3201 0132 0 0 0 0 0 0 -1 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 1 -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.724701636920 0.580121024218 5 5 6 6 2310 0132 2031 1302 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.704260599655 0.918215579019 ==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_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_5'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t - 247615202615436372489310196802003876471074833628534091279/142900409\ 035821763882348422385198025899078643380219*c_0101_6^39 + 5507692731557367463909555193803577879539553181090399901323/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^37 - 38164561684658457906806050090880952742250913975110988121606/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^35 + 79838806913398595238076570940786958324286395035469197181355/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^33 + 63874596834185360573916494033639446680183770985108038458183/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^31 - 187577610621351259079736530263235063896075291880677491285597/142900\ 409035821763882348422385198025899078643380219*c_0101_6^29 - 547366800435224708622069725956152562436575186801522220612321/142900\ 409035821763882348422385198025899078643380219*c_0101_6^27 + 1316622313841315658749144102228869975331375792445428211957496/14290\ 0409035821763882348422385198025899078643380219*c_0101_6^25 - 1042759748043380280694581325037369352246939554403917675425682/14290\ 0409035821763882348422385198025899078643380219*c_0101_6^23 + 712123836473231444084302431012937083359120259687026157129784/142900\ 409035821763882348422385198025899078643380219*c_0101_6^21 - 644854556748266032880788835396322100977465827891433389090576/142900\ 409035821763882348422385198025899078643380219*c_0101_6^19 + 419940900530846514287590264730013742573229113023097686565519/142900\ 409035821763882348422385198025899078643380219*c_0101_6^17 - 184460281640294291622188583610962026918319071162351547401156/142900\ 409035821763882348422385198025899078643380219*c_0101_6^15 + 75852446499212616791312049572293854889894043286861287468645/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^13 - 27272252259628281764921683145906621927322518446414113524970/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^11 + 4008964470286935895132263471828277010198855447580160887173/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^9 + 1101308686135803461890746764895739090541213085553917369762/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^7 - 371553319258626583545201665086092879867730106333531197246/142900409\ 035821763882348422385198025899078643380219*c_0101_6^5 - 12201820165235823462141180717732962023274848659074284850/1429004090\ 35821763882348422385198025899078643380219*c_0101_6^3 + 5718532550833089252096295576110926370352003505943296596/14290040903\ 5821763882348422385198025899078643380219*c_0101_6, c_0011_0 - 1, c_0011_3 + 210674236482447902083958559570035987862182770872081/12088383\ 59874309626541483782538282810681385663*c_0101_6^39 - 4685917525250528630254509481363366237458793771187817/12088383598743\ 09626541483782538282810681385663*c_0101_6^37 + 32468758052213772624882642456205021962231035488171980/1208838359874\ 309626541483782538282810681385663*c_0101_6^35 - 67913860964703946227606479043468050340520754019995455/1208838359874\ 309626541483782538282810681385663*c_0101_6^33 - 54369089846839992576846235725392457216526193154595266/1208838359874\ 309626541483782538282810681385663*c_0101_6^31 + 159553377076268939137322583325904117929062913659707797/120883835987\ 4309626541483782538282810681385663*c_0101_6^29 + 465760391540447602919059918868322687649588055032521067/120883835987\ 4309626541483782538282810681385663*c_0101_6^27 - 1119947470979582281170613078807980783049241049874625831/12088383598\ 74309626541483782538282810681385663*c_0101_6^25 + 886807969337403361546837667005553341598632494069473621/120883835987\ 4309626541483782538282810681385663*c_0101_6^23 - 605702674697286647678967413980291269033578202169576396/120883835987\ 4309626541483782538282810681385663*c_0101_6^21 + 548495978403828689030378221900563088572778239144186733/120883835987\ 4309626541483782538282810681385663*c_0101_6^19 - 357138963522214316327501883479038548074575515339401563/120883835987\ 4309626541483782538282810681385663*c_0101_6^17 + 156873883858108327226383691712438550550107915860073498/120883835987\ 4309626541483782538282810681385663*c_0101_6^15 - 64513245226276105566131377390529067466287949231362918/1208838359874\ 309626541483782538282810681385663*c_0101_6^13 + 23193326168215801785104125036388622679674654081643337/1208838359874\ 309626541483782538282810681385663*c_0101_6^11 - 3408869777006249453436036938177914930880508830014849/12088383598743\ 09626541483782538282810681385663*c_0101_6^9 - 936139259285704023060458602335293523942321613171048/120883835987430\ 9626541483782538282810681385663*c_0101_6^7 + 315748731547305970632581135693350325759526505104123/120883835987430\ 9626541483782538282810681385663*c_0101_6^5 + 10368272252385327079403960144209652601375563726303/1208838359874309\ 626541483782538282810681385663*c_0101_6^3 - 4856406562703000250668145788053135207567623717094/12088383598743096\ 26541483782538282810681385663*c_0101_6, c_0101_0 + 3987222872341696024156866477088622439575667012164351943/1429\ 00409035821763882348422385198025899078643380219*c_0101_6^38 - 88674836521936981459557832459562137041970047134855643069/1429004090\ 35821763882348422385198025899078643380219*c_0101_6^36 + 614267015132663591985610832774585721089611291717388714205/142900409\ 035821763882348422385198025899078643380219*c_0101_6^34 - 1283772384474815810230137489029415810649997491819342059845/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^32 - 1031759403866756501800409874099934599914545414244692891192/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^30 + 3015587901320684278388277933468202700590944522451759934418/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^28 + 8821289065954815530539979953518131968625108517421587396457/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^26 - 21169091693282988894910442220647000449399768755719549006079/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^24 + 16738628963796417954453188545625949795196415051340055727962/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^22 - 11439016775802163028810764184136184821512490003990320297907/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^20 + 10361227228114115824969609028858425128816184600331407339800/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^18 - 6740290725317421998928891799933031616393145289050644063292/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^16 + 2959563643481212116286047865296886552301293223303604282053/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^14 - 1217393815905088009834077847635975535384938641928798393283/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^12 + 437375783064804051648611554105716244194228443041074015479/142900409\ 035821763882348422385198025899078643380219*c_0101_6^10 - 64092685566290232486267390892925115218453136784012272770/1429004090\ 35821763882348422385198025899078643380219*c_0101_6^8 - 17683220768289900592704760027578942745739238431561206329/1429004090\ 35821763882348422385198025899078643380219*c_0101_6^6 + 5939829042452443481694046701491198154824876376673978922/14290040903\ 5821763882348422385198025899078643380219*c_0101_6^4 + 196181361680564565201748338642704059179740494199420819/142900409035\ 821763882348422385198025899078643380219*c_0101_6^2 - 91258450491383758818043531597800854685500387300542029/1429004090358\ 21763882348422385198025899078643380219, c_0101_1 + 2739856635306261946559317598699674086489644117677218438/1429\ 00409035821763882348422385198025899078643380219*c_0101_6^38 - 60904744581151457573669350894571964972660004180265928639/1429004090\ 35821763882348422385198025899078643380219*c_0101_6^36 + 421470000839498326876928111252759263944951110449127007623/142900409\ 035821763882348422385198025899078643380219*c_0101_6^34 - 878023931794758637196172508061586332001590322512638024580/142900409\ 035821763882348422385198025899078643380219*c_0101_6^32 - 716126385514775957545442410421478672823927964233722469657/142900409\ 035821763882348422385198025899078643380219*c_0101_6^30 + 2060887689472605488481607912300821810566793895144717690655/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^28 + 6077626188279418209263040882708093774012829395935058397055/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^26 - 14473892409453699502754340853721847249520493935417989607010/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^24 + 11386506820036881018697052036951433172922548068701107142691/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^22 - 7800331078455610162553615560441374062904187450600986514046/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^20 + 7069215430472282808076669324199025249061120069349951421250/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^18 - 4583487085282283772893230007571150917545213268071033249187/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^16 + 2010495328377082801684741965928882124568333570139274501407/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^14 - 827629547379873255466811179143415029825650135651608502404/142900409\ 035821763882348422385198025899078643380219*c_0101_6^12 + 296576415222811707380919090992691927172081140665216168954/142900409\ 035821763882348422385198025899078643380219*c_0101_6^10 - 43026499947955753809874274203980556294453560150403096834/1429004090\ 35821763882348422385198025899078643380219*c_0101_6^8 - 12048602345654799245014517270523096317317444365367586271/1429004090\ 35821763882348422385198025899078643380219*c_0101_6^6 + 3996674412212830720824109177858826774459553313846077378/14290040903\ 5821763882348422385198025899078643380219*c_0101_6^4 + 133828320250381676851869025438569019328912746063549903/142900409035\ 821763882348422385198025899078643380219*c_0101_6^2 - 61503773718396170338560440678878419268502388669716997/1429004090358\ 21763882348422385198025899078643380219, c_0101_2 - 153996907203416507899368290069150262837797537505744/12088383\ 59874309626541483782538282810681385663*c_0101_6^39 + 3425458552613243705688411005229590318361376224217872/12088383598743\ 09626541483782538282810681385663*c_0101_6^37 - 23737746556203358731031632725491749259101288144252768/1208838359874\ 309626541483782538282810681385663*c_0101_6^35 + 49669062263678567455126841175319978504718652611364377/1208838359874\ 309626541483782538282810681385663*c_0101_6^33 + 39699708511802047683660722942971971244334751122196271/1208838359874\ 309626541483782538282810681385663*c_0101_6^31 - 116706532010434368428556286916711949199692028962450604/120883835987\ 4309626541483782538282810681385663*c_0101_6^29 - 340364372670717420902819240014299928157807330646093978/120883835987\ 4309626541483782538282810681385663*c_0101_6^27 + 819125730765085603401048534112763303289385300419284862/120883835987\ 4309626541483782538282810681385663*c_0101_6^25 - 648914542361621830835391132649720984292524764469780902/120883835987\ 4309626541483782538282810681385663*c_0101_6^23 + 443053207721587285902929593688590780393930708281757100/120883835987\ 4309626541483782538282810681385663*c_0101_6^21 - 401216636261601934163909815680886559982979940685598697/120883835987\ 4309626541483782538282810681385663*c_0101_6^19 + 261326613620873053549975555035285002265989444030772112/120883835987\ 4309626541483782538282810681385663*c_0101_6^17 - 114783400328737993981606074267840176019896845978215460/120883835987\ 4309626541483782538282810681385663*c_0101_6^15 + 47197486994253053766295604760430773846231395473479897/1208838359874\ 309626541483782538282810681385663*c_0101_6^13 - 16971831066875370668435880060151562113307259621918455/1208838359874\ 309626541483782538282810681385663*c_0101_6^11 + 2495043125212342111198719475856634798611731133012481/12088383598743\ 09626541483782538282810681385663*c_0101_6^9 + 685792017462517784696606761318558093173564231237628/120883835987430\ 9626541483782538282810681385663*c_0101_6^7 - 231345505908020467737870961576935936867901605959047/120883835987430\ 9626541483782538282810681385663*c_0101_6^5 - 7614342277291113125352049471659015334985338405946/12088383598743096\ 26541483782538282810681385663*c_0101_6^3 + 3558600741792503720722295894052536609485162677327/12088383598743096\ 26541483782538282810681385663*c_0101_6, c_0101_5 + 10278676926240638355994743030444202168015984045979031261/142\ 900409035821763882348422385198025899078643380219*c_0101_6^38 - 228635846475695831458259341505559006533216967485768670657/142900409\ 035821763882348422385198025899078643380219*c_0101_6^36 + 1584406296034773971985265736734376543006898850866318383636/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^34 - 3315290812351508117022537771339847021728852906382461469009/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^32 - 2649412055297583695401287027501416612728623694655509968588/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^30 + 7789185320887078877254796500682012674285834332140958163353/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^28 + 22716965693995645242978825885978437060696120258733515822730/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^26 - 54672564233556866088594380628376080858022337630293783959127/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^24 + 43319039691939965197752175919198503382179187010647933631996/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^22 - 29581944858560378412271887835711443011584910325830814646147/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^20 + 26785242335855220522824165571545176425552201557845854598916/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^18 - 17447280160299881654553327898389653807730241513642925800340/1429004\ 09035821763882348422385198025899078643380219*c_0101_6^16 + 7665646661628151214367751982579765003404863147425677835817/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^14 - 3152407649009465283417035618161853076722565485441709091225/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^12 + 1133701731770887094400335443447594077470839160061952521352/14290040\ 9035821763882348422385198025899078643380219*c_0101_6^10 - 166936889851954834266143302599078115084479071589476846315/142900409\ 035821763882348422385198025899078643380219*c_0101_6^8 - 45661246060068072228999114130683224211187106150781776291/1429004090\ 35821763882348422385198025899078643380219*c_0101_6^6 + 15437945983091241972621231426388111795274769826561113888/1429004090\ 35821763882348422385198025899078643380219*c_0101_6^4 + 504226280229684799823101375296375187081356530916880375/142900409035\ 821763882348422385198025899078643380219*c_0101_6^2 - 237541326992685354529493934134250377418649032996200799/142900409035\ 821763882348422385198025899078643380219, c_0101_6^40 - 205/9*c_0101_6^38 + 13448/81*c_0101_6^36 - 32794/81*c_0101_6^34 - 6926/81*c_0101_6^32 + 24178/27*c_0101_6^30 + 146237/81*c_0101_6^28 - 526454/81*c_0101_6^26 + 571463/81*c_0101_6^24 - 415409/81*c_0101_6^22 + 335557/81*c_0101_6^20 - 250207/81*c_0101_6^18 + 133825/81*c_0101_6^16 - 57095/81*c_0101_6^14 + 7399/27*c_0101_6^12 - 6085/81*c_0101_6^10 + 38/9*c_0101_6^8 + 314/81*c_0101_6^6 - 61/81*c_0101_6^4 - 4/81*c_0101_6^2 + 1/81 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB