Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 3633923134] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0749 geometric_solution 4.69398199 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 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 -1 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 0 0 0 1.130501036668 1.011975159260 2 0 0 3 0132 0132 1023 0132 0 0 0 0 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 1 0 -1 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.364386390905 0.247790610262 1 4 3 3 0132 0132 1302 3201 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 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.302706126327 0.792596622161 2 2 1 4 2031 2310 0132 2310 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 -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.302706126327 0.792596622161 3 2 5 5 3201 0132 3201 0132 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 0 0 0 0 0 0 0 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.077893906407 2.914752424681 4 6 4 6 2310 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.687598526631 0.524087449458 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.428914969176 0.036951949528 ==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_4'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), '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_4']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t - c_0101_4^2 - 4*c_0101_4 - 4, c_0011_0 - 1, c_0011_3 - c_0101_4^2, c_0011_5 + c_0101_4^2 + c_0101_4 - 1, c_0101_0 - c_0101_4^2 - 2*c_0101_4 + 1, c_0101_1 + c_0101_4^2 + c_0101_4 - 1, c_0101_4^3 + 2*c_0101_4^2 - c_0101_4 - 1, c_0110_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 57520209502977984679858611050/104033862925796460750909863*c_0110_6^\ 18 + 290387590059410358621030424685/104033862925796460750909863*c_0\ 110_6^17 - 412417250012511779728410083899/1040338629257964607509098\ 63*c_0110_6^16 - 4903694990890314105077830596720/104033862925796460\ 750909863*c_0110_6^15 - 5582018067813329282734780726533/10403386292\ 5796460750909863*c_0110_6^14 + 18699764138875456909123677756985/104\ 033862925796460750909863*c_0110_6^13 + 41158448096342461252027703738421/104033862925796460750909863*c_0110\ _6^12 - 5924040198172988889071145632857/104033862925796460750909863\ *c_0110_6^11 - 60310853669424709612473361733862/1040338629257964607\ 50909863*c_0110_6^10 - 15452956797878619397885969820086/10403386292\ 5796460750909863*c_0110_6^9 + 35404375386202357598098335776518/1040\ 33862925796460750909863*c_0110_6^8 + 12392935453471300240280011558859/104033862925796460750909863*c_0110\ _6^7 - 7329116879959794521902291753202/104033862925796460750909863*\ c_0110_6^6 - 1692163793332478259081862685360/1040338629257964607509\ 09863*c_0110_6^5 + 773832252953743936537908457561/10403386292579646\ 0750909863*c_0110_6^4 + 65734731448107359240968905810/1040338629257\ 96460750909863*c_0110_6^3 - 354324050161520873721458922894/10403386\ 2925796460750909863*c_0110_6^2 - 54251832486281546792622599946/1040\ 33862925796460750909863*c_0110_6 + 32105263376543631103192947014/104033862925796460750909863, c_0011_0 - 1, c_0011_3 + 748952735681801461994409965/104033862925796460750909863*c_01\ 10_6^18 + 3728213843581606849167783616/104033862925796460750909863*\ c_0110_6^17 - 5647358224228099414990368444/104033862925796460750909\ 863*c_0110_6^16 - 63526610686012313317976293721/1040338629257964607\ 50909863*c_0110_6^15 - 68121297351446220328958581528/10403386292579\ 6460750909863*c_0110_6^14 + 249494181388993714212099276726/10403386\ 2925796460750909863*c_0110_6^13 + 520046767441497587071175475622/10\ 4033862925796460750909863*c_0110_6^12 - 117480844948874659194621413639/104033862925796460750909863*c_0110_6\ ^11 - 787773941069240170183061094578/104033862925796460750909863*c_\ 0110_6^10 - 149271074103848665779231928582/104033862925796460750909\ 863*c_0110_6^9 + 482582232398150458840304445760/1040338629257964607\ 50909863*c_0110_6^8 + 136646130996549116649875614570/10403386292579\ 6460750909863*c_0110_6^7 - 107854245540216438528099784646/104033862\ 925796460750909863*c_0110_6^6 - 19901173274491891134305087620/10403\ 3862925796460750909863*c_0110_6^5 + 10283701535975248352922476727/104033862925796460750909863*c_0110_6^\ 4 + 766991941477627293770880363/104033862925796460750909863*c_0110_\ 6^3 - 4399678526441210512340991899/104033862925796460750909863*c_01\ 10_6^2 - 453134888628105863885485313/104033862925796460750909863*c_\ 0110_6 + 438189714229516521077863061/104033862925796460750909863, c_0011_5 - 1177098705931255408214858025/104033862925796460750909863*c_0\ 110_6^18 - 5918655826105589704092691795/104033862925796460750909863\ *c_0110_6^17 + 8539343154596172277958561686/10403386292579646075090\ 9863*c_0110_6^16 + 100078349170080970757019050743/10403386292579646\ 0750909863*c_0110_6^15 + 112371053689437273357414025044/10403386292\ 5796460750909863*c_0110_6^14 - 383252008005076108110443969008/10403\ 3862925796460750909863*c_0110_6^13 - 832915420879310466530572258398/104033862925796460750909863*c_0110_6\ ^12 + 131106567981120919772283839348/104033862925796460750909863*c_\ 0110_6^11 + 1218560965703962315833087886067/10403386292579646075090\ 9863*c_0110_6^10 + 296703793237335016305556704341/10403386292579646\ 0750909863*c_0110_6^9 - 710239862799908727787368767611/104033862925\ 796460750909863*c_0110_6^8 - 238609994117711843690774585430/1040338\ 62925796460750909863*c_0110_6^7 + 142029024372520818290548516108/10\ 4033862925796460750909863*c_0110_6^6 + 30773034379903011969079779237/104033862925796460750909863*c_0110_6^\ 5 - 13613825840968603572423147141/104033862925796460750909863*c_011\ 0_6^4 - 1624730728864227982948272904/104033862925796460750909863*c_\ 0110_6^3 + 7036951956825336027762731664/104033862925796460750909863\ *c_0110_6^2 + 1179974200824087268373038415/104033862925796460750909\ 863*c_0110_6 - 527539315911657699543278726/104033862925796460750909\ 863, c_0101_0 + 937254290744924586879803395/104033862925796460750909863*c_01\ 10_6^18 + 4651783510446950332350635048/104033862925796460750909863*\ c_0110_6^17 - 7116369121372914726525246952/104033862925796460750909\ 863*c_0110_6^16 - 79321375256174298176469651009/1040338629257964607\ 50909863*c_0110_6^15 - 84312018320639115582287231101/10403386292579\ 6460750909863*c_0110_6^14 + 312127409441985326656300739820/10403386\ 2925796460750909863*c_0110_6^13 + 646073401542289283683785450339/10\ 4033862925796460750909863*c_0110_6^12 - 150236390994192260902022048354/104033862925796460750909863*c_0110_6\ ^11 - 978530977078831381656475179906/104033862925796460750909863*c_\ 0110_6^10 - 180941001522747589837968138518/104033862925796460750909\ 863*c_0110_6^9 + 600336453466648840131323022598/1040338629257964607\ 50909863*c_0110_6^8 + 168039439439989752320429251789/10403386292579\ 6460750909863*c_0110_6^7 - 136702772069314538198367675057/104033862\ 925796460750909863*c_0110_6^6 - 24274633990313375410141590903/10403\ 3862925796460750909863*c_0110_6^5 + 15079115671130233114054128402/104033862925796460750909863*c_0110_6^\ 4 + 626515157122354651997308687/104033862925796460750909863*c_0110_\ 6^3 - 5850444489253664385932912161/104033862925796460750909863*c_01\ 10_6^2 - 601825691759617259781135129/104033862925796460750909863*c_\ 0110_6 + 527406255826057258617702288/104033862925796460750909863, c_0101_1 + 963242737660084658081157305/104033862925796460750909863*c_01\ 10_6^18 + 4809370242680072118582928577/104033862925796460750909863*\ c_0110_6^17 - 7165390451517525802479549305/104033862925796460750909\ 863*c_0110_6^16 - 81695798702292440704446846050/1040338629257964607\ 50909863*c_0110_6^15 - 89080998668285827877358676782/10403386292579\ 6460750909863*c_0110_6^14 + 317526566980160563289025835961/10403386\ 2925796460750909863*c_0110_6^13 + 672202240454299630586240263441/10\ 4033862925796460750909863*c_0110_6^12 - 132366744115481325010047400631/104033862925796460750909863*c_0110_6\ ^11 - 1001806497246857036223007670837/104033862925796460750909863*c\ _0110_6^10 - 214843998957240673491616142450/10403386292579646075090\ 9863*c_0110_6^9 + 596685896477627267779026689762/104033862925796460\ 750909863*c_0110_6^8 + 185417744408211760097748538084/1040338629257\ 96460750909863*c_0110_6^7 - 123275632697652997003746042851/10403386\ 2925796460750909863*c_0110_6^6 - 25273183836611802920164101440/1040\ 33862925796460750909863*c_0110_6^5 + 10495077504262246252869837760/104033862925796460750909863*c_0110_6^\ 4 + 716183940592469273143321609/104033862925796460750909863*c_0110_\ 6^3 - 5788862195500596475135853160/104033862925796460750909863*c_01\ 10_6^2 - 747574475650254444522878845/104033862925796460750909863*c_\ 0110_6 + 534942863683986631334105003/104033862925796460750909863, c_0101_4 - 763905070593411273698402065/104033862925796460750909863*c_01\ 10_6^18 - 3836187912400004604503756491/104033862925796460750909863*\ c_0110_6^17 + 5567116844817388540188715635/104033862925796460750909\ 863*c_0110_6^16 + 64918032244327469542412736176/1040338629257964607\ 50909863*c_0110_6^15 + 72514425738998704083758240041/10403386292579\ 6460750909863*c_0110_6^14 - 249247327244028547697862357703/10403386\ 2925796460750909863*c_0110_6^13 - 539155269857403212071414778254/10\ 4033862925796460750909863*c_0110_6^12 + 88439776538271973816150968880/104033862925796460750909863*c_0110_6^\ 11 + 791077708261809054215033828788/104033862925796460750909863*c_0\ 110_6^10 + 189214302957185033748718778398/1040338629257964607509098\ 63*c_0110_6^9 - 461994293281341317669088982002/10403386292579646075\ 0909863*c_0110_6^8 - 154012234388622485768122685852/104033862925796\ 460750909863*c_0110_6^7 + 92657945833669354563190313753/10403386292\ 5796460750909863*c_0110_6^6 + 20328152547162912353617217923/1040338\ 62925796460750909863*c_0110_6^5 - 9181150915954139210537900895/1040\ 33862925796460750909863*c_0110_6^4 - 1048288737446012486914860190/104033862925796460750909863*c_0110_6^3 + 4738213795159170539347255515/104033862925796460750909863*c_0110_6\ ^2 + 756207504095132431830478793/104033862925796460750909863*c_0110\ _6 - 303953131884533199025713332/104033862925796460750909863, c_0110_6^19 + 27/5*c_0110_6^18 - 27/5*c_0110_6^17 - 439/5*c_0110_6^16 - 127*c_0110_6^15 + 1457/5*c_0110_6^14 + 4153/5*c_0110_6^13 + 738/5*c_0110_6^12 - 5444/5*c_0110_6^11 - 640*c_0110_6^10 + 2619/5*c_0110_6^9 + 2179/5*c_0110_6^8 - 51*c_0110_6^7 - 377/5*c_0110_6^6 + 11/5*c_0110_6^5 + 28/5*c_0110_6^4 - 29/5*c_0110_6^3 - 16/5*c_0110_6^2 + 1/5*c_0110_6 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB