Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 2665415294] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1978 geometric_solution 5.54941210 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 1 -1 -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 0 0 0 -1 0 0 1 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.573470018720 1.125500620584 0 3 2 4 0132 0132 0132 0132 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 0 0 0 1 0 -1 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.038238862636 0.942229131575 3 0 4 1 3201 0132 3201 0132 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 0 0 0 0 0 0 0 -1 0 0 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.038238862636 0.942229131575 5 1 5 2 0132 0132 2310 2310 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 -1 0 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.819934154190 1.004971018554 2 6 1 6 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.184386755829 1.579330081072 3 3 5 5 0132 3201 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 -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.497062981645 0.181588841898 4 4 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.423093291984 0.137195727425 ==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' : negation(d['1']), 's_2_0' : negation(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_2'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 203331808010563935545102933807294560880191069/305003021020589636480\ 408824397556331930820*c_0110_6^24 - 85793466120154644310287088894421015092358753/1525015105102948182402\ 04412198778165965410*c_0110_6^23 - 717193818458379897225275085878021184753300097/762507552551474091201\ 02206099389082982705*c_0110_6^22 + 7432932007621901614025524476563334638173595437/61000604204117927296\ 0817648795112663861640*c_0110_6^21 + 2523105743753467268056593879920028356094738663/61000604204117927296\ 081764879511266386164*c_0110_6^20 - 91623496256106860861526937948615213898835030859/1220012084082358545\ 921635297590225327723280*c_0110_6^19 - 238439090766969896491359667853508791493563031271/488004833632943418\ 3686541190360901310893120*c_0110_6^18 + 391004892065976157864985732079137655643015805563/244002416816471709\ 1843270595180450655446560*c_0110_6^17 - 63636130259327852644318517292285960063583636953/2440024168164717091\ 843270595180450655446560*c_0110_6^16 - 741193998455140721262468961207405150054988312897/488004833632943418\ 3686541190360901310893120*c_0110_6^15 + 60701455911730933875682353908436702498167788021/4880048336329434183\ 68654119036090131089312*c_0110_6^14 + 237966454316368650805997683220349573042280614391/488004833632943418\ 3686541190360901310893120*c_0110_6^13 - 62656644370384201625237418992854683352081557491/4880048336329434183\ 68654119036090131089312*c_0110_6^12 - 19587928808845199158848711233840093065845625285/4880048336329434183\ 68654119036090131089312*c_0110_6^11 + 85197625715415634976555277371605250434401712863/9760096672658868367\ 37308238072180262178624*c_0110_6^10 + 4779192739607306637696559094085777388154885367/61000604204117927296\ 0817648795112663861640*c_0110_6^9 - 118773947572400421550963289587333848996142359763/244002416816471709\ 1843270595180450655446560*c_0110_6^8 + 173365940146617276579751089402430599015173404343/488004833632943418\ 3686541190360901310893120*c_0110_6^7 + 22980890288819540742416776296807142745643904715/9760096672658868367\ 37308238072180262178624*c_0110_6^6 - 24324853262970660384185309752165078078043442901/2440024168164717091\ 843270595180450655446560*c_0110_6^5 - 5402920850006122870158921763501166314237330073/97600966726588683673\ 7308238072180262178624*c_0110_6^4 - 11448260733335756243016798748629750295143126537/4880048336329434183\ 686541190360901310893120*c_0110_6^3 - 2102051814523999315407304529757766295890550739/12200120840823585459\ 21635297590225327723280*c_0110_6^2 - 1628423205247956873733734514960377010074903771/24400241681647170918\ 43270595180450655446560*c_0110_6 + 1246618518821749342197299617185973127878686187/48800483363294341836\ 86541190360901310893120, c_0011_0 - 1, c_0011_4 + 424759501996758238381893505433319905504512/76250755255147409\ 120102206099389082982705*c_0110_6^24 - 303931362239121238550843160186328179787808/762507552551474091201022\ 06099389082982705*c_0110_6^23 - 60094409737760803050540881553800784\ 87977504/76250755255147409120102206099389082982705*c_0110_6^22 + 6984572421316096220015925322877625786583728/76250755255147409120102\ 206099389082982705*c_0110_6^21 + 5385068312766008916965917480604444\ 006978000/15250151051029481824020441219877816596541*c_0110_6^20 - 44132198924604194615556567595097537000763008/7625075525514740912010\ 2206099389082982705*c_0110_6^19 - 352179543193760406271542209009250\ 61370648848/76250755255147409120102206099389082982705*c_0110_6^18 + 95626429950478607038066873278477398593167198/7625075525514740912010\ 2206099389082982705*c_0110_6^17 - 706653028094866549440665186161209\ 1963092678/76250755255147409120102206099389082982705*c_0110_6^16 - 92612929909948909726255109359230950252410341/7625075525514740912010\ 2206099389082982705*c_0110_6^15 + 136671191037180043846020075343571\ 49662386780/15250151051029481824020441219877816596541*c_0110_6^14 + 33686822884381807381734586323412763493363373/7625075525514740912010\ 2206099389082982705*c_0110_6^13 - 148553111500751891032044461309629\ 80720692948/15250151051029481824020441219877816596541*c_0110_6^12 - 6300170835458904843489528189546260333115670/15250151051029481824020\ 441219877816596541*c_0110_6^11 + 9359829260786255823573640751196453\ 356680891/15250151051029481824020441219877816596541*c_0110_6^10 + 8578666430285340376990080776098506552688758/76250755255147409120102\ 206099389082982705*c_0110_6^9 - 27262316890491300699578308566773681\ 454539558/76250755255147409120102206099389082982705*c_0110_6^8 + 19741238727060031555563161319672900563530539/7625075525514740912010\ 2206099389082982705*c_0110_6^7 + 3055921024432201802565141344293357\ 007813325/15250151051029481824020441219877816596541*c_0110_6^6 - 3580083200548105507999796563476584483195786/76250755255147409120102\ 206099389082982705*c_0110_6^5 - 52657824241164721819746272313056807\ 5863658/15250151051029481824020441219877816596541*c_0110_6^4 - 2171441655808144998568524320904703539327841/76250755255147409120102\ 206099389082982705*c_0110_6^3 - 13450033434242827295780266498435363\ 78073763/76250755255147409120102206099389082982705*c_0110_6^2 - 536438090134735795513926908356383470338166/762507552551474091201022\ 06099389082982705*c_0110_6 + 82510279439285491641537249398723078667\ 681/76250755255147409120102206099389082982705, c_0101_0 - 77976876206745882151895070059273298661392/762507552551474091\ 20102206099389082982705*c_0110_6^24 + 8127341518028738474575315019599261146128/76250755255147409120102206\ 099389082982705*c_0110_6^23 + 1107220473732821410729915537925783061\ 550064/76250755255147409120102206099389082982705*c_0110_6^22 - 615822936800565203496120604685318424922888/762507552551474091201022\ 06099389082982705*c_0110_6^21 - 10600673718813515689625395102806805\ 11935240/15250151051029481824020441219877816596541*c_0110_6^20 + 4996896111519907377236359960175479258255108/76250755255147409120102\ 206099389082982705*c_0110_6^19 + 9317830436407020812839326647178914\ 219229263/76250755255147409120102206099389082982705*c_0110_6^18 - 12394395271405449600129931163720560092040583/7625075525514740912010\ 2206099389082982705*c_0110_6^17 - 534723424203657352351829799407054\ 0377484167/76250755255147409120102206099389082982705*c_0110_6^16 + 14263352640403142239031710576032110770651271/7625075525514740912010\ 2206099389082982705*c_0110_6^15 - 105445304352698891758032349166299\ 7696041314/15250151051029481824020441219877816596541*c_0110_6^14 - 9303714143880239814546941237203510838322613/76250755255147409120102\ 206099389082982705*c_0110_6^13 + 1775393422137069292968977531966095\ 670662791/15250151051029481824020441219877816596541*c_0110_6^12 + 2095409153033073526088041745198259078726145/15250151051029481824020\ 441219877816596541*c_0110_6^11 - 5087501892056000569183089354960965\ 76735874/15250151051029481824020441219877816596541*c_0110_6^10 - 2409975611973256621048264380996482593229363/76250755255147409120102\ 206099389082982705*c_0110_6^9 + 49178303615006602362126274332835493\ 13573168/76250755255147409120102206099389082982705*c_0110_6^8 - 1187312430057053842780729182429051002413674/76250755255147409120102\ 206099389082982705*c_0110_6^7 - 71049300290631445736784025906467004\ 6989159/15250151051029481824020441219877816596541*c_0110_6^6 - 1156486290147914227994547363704399236370519/76250755255147409120102\ 206099389082982705*c_0110_6^5 - 69025651500917654863322991383510873\ 268006/15250151051029481824020441219877816596541*c_0110_6^4 - 224296728872993541036289455081822481302849/762507552551474091201022\ 06099389082982705*c_0110_6^3 - 283150100117170951029983963348167087\ 65242/76250755255147409120102206099389082982705*c_0110_6^2 + 215619368356785799880574742813562962854001/762507552551474091201022\ 06099389082982705*c_0110_6 - 87103387167944164738895667780776103235\ 81/76250755255147409120102206099389082982705, c_0101_1 + 3161537706314957538513076609869073929856/1525015105102948182\ 4020441219877816596541*c_0110_6^24 + 4837014441266877634392223567738080721472/15250151051029481824020441\ 219877816596541*c_0110_6^23 - 4351985790411836416297874804721880285\ 5616/15250151051029481824020441219877816596541*c_0110_6^22 - 49655794717197526096387660442377139205920/1525015105102948182402044\ 1219877816596541*c_0110_6^21 + 229358475488617609610829000422627637\ 557456/15250151051029481824020441219877816596541*c_0110_6^20 + 179671863459566459392362169296980623223600/152501510510294818240204\ 41219877816596541*c_0110_6^19 - 59752149157217884493676288992389333\ 1315656/15250151051029481824020441219877816596541*c_0110_6^18 - 317412402628758548965740052416855381418532/152501510510294818240204\ 41219877816596541*c_0110_6^17 + 93739825243172571220208861953696286\ 5687204/15250151051029481824020441219877816596541*c_0110_6^16 + 218985675650902191655115203348694952724470/152501510510294818240204\ 41219877816596541*c_0110_6^15 - 93379973142492214039218009088084900\ 6240809/15250151051029481824020441219877816596541*c_0110_6^14 + 350942987013112755080800189023006237076511/152501510510294818240204\ 41219877816596541*c_0110_6^13 + 78102135919301535363620878458296078\ 5473033/15250151051029481824020441219877816596541*c_0110_6^12 - 999995221482210029744270624979738967081049/152501510510294818240204\ 41219877816596541*c_0110_6^11 - 10028911732382035258065098562777043\ 89996354/15250151051029481824020441219877816596541*c_0110_6^10 + 309930561667361297734554761116746018796184/152501510510294818240204\ 41219877816596541*c_0110_6^9 + 113804718430900711307030851612997817\ 596761/15250151051029481824020441219877816596541*c_0110_6^8 - 414016030790990953086954722165016426266618/152501510510294818240204\ 41219877816596541*c_0110_6^7 - 504772212249615484743049446829668186\ 4233/15250151051029481824020441219877816596541*c_0110_6^6 + 436565463737977714041892215131505254110470/152501510510294818240204\ 41219877816596541*c_0110_6^5 + 134124613725673201455189197970248204\ 533555/15250151051029481824020441219877816596541*c_0110_6^4 - 12903283459298298884825161477483524304281/1525015105102948182402044\ 1219877816596541*c_0110_6^3 + 4938932745356248968788829430695630584\ 3480/15250151051029481824020441219877816596541*c_0110_6^2 + 16544979109842502276986348998790409146824/1525015105102948182402044\ 1219877816596541*c_0110_6 + 570823242324587134996593812057150711069\ 8/15250151051029481824020441219877816596541, c_0101_2 + 377730882932157280947327544615700864868864/76250755255147409\ 120102206099389082982705*c_0110_6^24 - 265831259865832593819836377668041336603536/762507552551474091201022\ 06099389082982705*c_0110_6^23 - 53685540343650901001957091246446637\ 24265968/76250755255147409120102206099389082982705*c_0110_6^22 + 6161479350520510187903570554841911452654656/76250755255147409120102\ 206099389082982705*c_0110_6^21 + 4861922648535023862708764110275278\ 316184552/15250151051029481824020441219877816596541*c_0110_6^20 - 39279639208343725778461683338130585468683096/7625075525514740912010\ 2206099389082982705*c_0110_6^19 - 330234266255189886279254964249251\ 57203198036/76250755255147409120102206099389082982705*c_0110_6^18 + 86616678528942452322348024840597307029712831/7625075525514740912010\ 2206099389082982705*c_0110_6^17 - 389230653877497138041860724252290\ 9264198011/76250755255147409120102206099389082982705*c_0110_6^16 - 86229617503807169526262811488733421303189082/7625075525514740912010\ 2206099389082982705*c_0110_6^15 + 120659867725524059019882888260721\ 79472720796/15250151051029481824020441219877816596541*c_0110_6^14 + 33884733670517100280681222301968801017900441/7625075525514740912010\ 2206099389082982705*c_0110_6^13 - 136944843381800274338886243265810\ 99876462020/15250151051029481824020441219877816596541*c_0110_6^12 - 5968190820699024825157957418838940579458522/15250151051029481824020\ 441219877816596541*c_0110_6^11 + 8750403872898711319216181186609610\ 319662738/15250151051029481824020441219877816596541*c_0110_6^10 + 9986654312026997325004263906868687224188076/76250755255147409120102\ 206099389082982705*c_0110_6^9 - 25546908043053710359646361278633499\ 144552241/76250755255147409120102206099389082982705*c_0110_6^8 + 17452987380935281208789731909109213978359453/7625075525514740912010\ 2206099389082982705*c_0110_6^7 + 2972977837835175716347862995944472\ 107692435/15250151051029481824020441219877816596541*c_0110_6^6 - 3717956733270572416142540909599393047667847/76250755255147409120102\ 206099389082982705*c_0110_6^5 - 59251097022629788370705013350912649\ 2339962/15250151051029481824020441219877816596541*c_0110_6^4 - 2175374931114291611634279848016758728446947/76250755255147409120102\ 206099389082982705*c_0110_6^3 - 13044242259307343304042926858627100\ 79995231/76250755255147409120102206099389082982705*c_0110_6^2 - 525766778855379191589140119326373990909037/762507552551474091201022\ 06099389082982705*c_0110_6 + 77068022728915704311188289350174962903\ 347/76250755255147409120102206099389082982705, c_0101_3 + 1402324456774880682104264839263282149732128/7625075525514740\ 9120102206099389082982705*c_0110_6^24 - 1071418739552342917790587365940874106041872/76250755255147409120102\ 206099389082982705*c_0110_6^23 - 1986449326912263930450183819087351\ 9045007296/76250755255147409120102206099389082982705*c_0110_6^22 + 24070239588387827806545116792211264272876672/7625075525514740912010\ 2206099389082982705*c_0110_6^21 + 177645658742455984503730523995333\ 58835659096/15250151051029481824020441219877816596541*c_0110_6^20 - 151186110014364094203918246584132766513858072/762507552551474091201\ 02206099389082982705*c_0110_6^19 - 114035956175670522664540791479377264071319522/762507552551474091201\ 02206099389082982705*c_0110_6^18 + 329081516103500871436434062217379158030704827/762507552551474091201\ 02206099389082982705*c_0110_6^17 - 31734317016386033728449340899916683326770012/7625075525514740912010\ 2206099389082982705*c_0110_6^16 - 322745794461717585210653949045412\ 717131448969/76250755255147409120102206099389082982705*c_0110_6^15 + 48214369884023698641946323934392867529603441/1525015105102948182402\ 0441219877816596541*c_0110_6^14 + 120090670592268937443576989047754\ 564680433912/76250755255147409120102206099389082982705*c_0110_6^13 - 52849580297870442284989574732324991583265337/1525015105102948182402\ 0441219877816596541*c_0110_6^12 - 202782596963864300894227437936153\ 61607605462/15250151051029481824020441219877816596541*c_0110_6^11 + 35261494184437725933364663247294904613657982/1525015105102948182402\ 0441219877816596541*c_0110_6^10 + 264861930554266769230213710963680\ 68563937207/76250755255147409120102206099389082982705*c_0110_6^9 - 102324923773042560684786420702664787164826537/762507552551474091201\ 02206099389082982705*c_0110_6^8 + 688193761466436836327288108326309\ 42375975096/76250755255147409120102206099389082982705*c_0110_6^7 + 10900015946630221604616700354252345279553555/1525015105102948182402\ 0441219877816596541*c_0110_6^6 - 1797947973326577999925224373559557\ 3990121749/76250755255147409120102206099389082982705*c_0110_6^5 - 2401509778623313736797392328480479042088905/15250151051029481824020\ 441219877816596541*c_0110_6^4 - 50596723070217464189855943116886949\ 00048729/76250755255147409120102206099389082982705*c_0110_6^3 - 3857226101239003755959192182788998387375897/76250755255147409120102\ 206099389082982705*c_0110_6^2 - 17149371580714406147059753721760466\ 44702119/76250755255147409120102206099389082982705*c_0110_6 + 464238943367906119716988441748101090766284/762507552551474091201022\ 06099389082982705, c_0110_6^25 - c_0110_6^24 - 14*c_0110_6^23 + 41/2*c_0110_6^22 + 119/2*c_0110_6^21 - 491/4*c_0110_6^20 - 911/16*c_0110_6^19 + 4067/16*c_0110_6^18 - 303/4*c_0110_6^17 - 3615/16*c_0110_6^16 + 3581/16*c_0110_6^15 + 749/16*c_0110_6^14 - 3323/16*c_0110_6^13 - 30*c_0110_6^12 + 2285/16*c_0110_6^11 - 121/16*c_0110_6^10 - 611/8*c_0110_6^9 + 1045/16*c_0110_6^8 + 223/8*c_0110_6^7 - 343/16*c_0110_6^6 - 99/16*c_0110_6^5 - 19/8*c_0110_6^4 - 33/16*c_0110_6^3 - 5/8*c_0110_6^2 + 9/16*c_0110_6 - 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB