Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 3414841335] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0191 geometric_solution 4.00315986 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 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 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 2.050585933623 0.201810948348 0 1 1 0 0132 3201 2310 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.695811828899 0.034157080470 0 3 3 0 3201 0132 1023 0132 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 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 1.652272398613 0.477650666990 4 2 2 4 0132 0132 1023 3201 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 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.084293416827 0.393699788070 3 3 6 5 0132 2310 0132 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 -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.474541538181 0.893925382323 6 6 4 6 1023 3012 0132 1302 0 0 0 0 0 -1 1 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 1 0 -1 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.493809990950 0.884059226590 5 5 5 4 1230 1023 2031 0132 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 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.493809990950 0.884059226590 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 2818822287576261408146991778258/33262031628325437704899345207*c_010\ 1_6^20 - 13967753054331134978313040882876/3326203162832543770489934\ 5207*c_0101_6^19 - 37338080383071743361305475731771/332620316283254\ 37704899345207*c_0101_6^18 + 60812185253313405515317282875234/33262\ 031628325437704899345207*c_0101_6^17 - 166240369220721124841657099248897/33262031628325437704899345207*c_0\ 101_6^16 - 430434745191807049608893579994728/3326203162832543770489\ 9345207*c_0101_6^15 + 232934191697085826647052065747670/33262031628\ 325437704899345207*c_0101_6^14 - 271468296710959961402200989212764/\ 33262031628325437704899345207*c_0101_6^13 + 1876649052122495205155200440455271/33262031628325437704899345207*c_\ 0101_6^12 + 2950947602066679222488477000183049/33262031628325437704\ 899345207*c_0101_6^11 - 2683053194110362742948968289590434/33262031\ 628325437704899345207*c_0101_6^10 - 2029645213932218017155843646779551/33262031628325437704899345207*c_\ 0101_6^9 - 2153727624474583832518904206119123/332620316283254377048\ 99345207*c_0101_6^8 - 3960026203070948981590936354641606/3326203162\ 8325437704899345207*c_0101_6^7 + 5184995380435903047149932758881584\ /33262031628325437704899345207*c_0101_6^6 + 6021998692046453875841872557547183/33262031628325437704899345207*c_\ 0101_6^5 - 2512763428433556600103885879723747/332620316283254377048\ 99345207*c_0101_6^4 - 2581538924810732071887758477849091/3326203162\ 8325437704899345207*c_0101_6^3 + 268820756952690663683830940100200/\ 33262031628325437704899345207*c_0101_6^2 + 253229473755590767559190517088268/33262031628325437704899345207*c_0\ 101_6 - 10847882347762579242746011070857/33262031628325437704899345\ 207, c_0011_0 - 1, c_0011_2 + 15501957223661931270202721549/33262031628325437704899345207*\ c_0101_6^20 - 101284963202296435316216397016/3326203162832543770489\ 9345207*c_0101_6^19 - 70222820645889612220748933326/332620316283254\ 37704899345207*c_0101_6^18 + 566145747714277638073477716778/3326203\ 1628325437704899345207*c_0101_6^17 - 1496304558931164512204683733548/33262031628325437704899345207*c_010\ 1_6^16 - 391612082421120448297526475697/332620316283254377048993452\ 07*c_0101_6^15 + 3649717536753140748286128157137/332620316283254377\ 04899345207*c_0101_6^14 - 3751998683981198427030800468707/332620316\ 28325437704899345207*c_0101_6^13 + 16249864545735226578190271875534/33262031628325437704899345207*c_01\ 01_6^12 - 3449704471632791669286943587892/3326203162832543770489934\ 5207*c_0101_6^11 - 25513413504244838541490932351373/332620316283254\ 37704899345207*c_0101_6^10 + 7973080995230648952858449811293/332620\ 31628325437704899345207*c_0101_6^9 - 19138588844679048410152875998507/33262031628325437704899345207*c_01\ 01_6^8 + 4967781460861206783335904126134/33262031628325437704899345\ 207*c_0101_6^7 + 46184526275093181086901691796133/33262031628325437\ 704899345207*c_0101_6^6 - 6028865431754027905878147028856/332620316\ 28325437704899345207*c_0101_6^5 - 21587875617695922078042913997162/\ 33262031628325437704899345207*c_0101_6^4 + 124629308925900121071874131683/33262031628325437704899345207*c_0101\ _6^3 + 1917332696193041071101414804038/3326203162832543770489934520\ 7*c_0101_6^2 - 13089993358178976510075229105/3326203162832543770489\ 9345207*c_0101_6 - 4690584210157880523119134651/3326203162832543770\ 4899345207, c_0011_5 - 13875706274028813440343559086/33262031628325437704899345207*\ c_0101_6^20 + 89555747828089285076375038924/33262031628325437704899\ 345207*c_0101_6^19 + 69806987375383653234597405480/3326203162832543\ 7704899345207*c_0101_6^18 - 501919049691442136122965354913/33262031\ 628325437704899345207*c_0101_6^17 + 1309796208884992029899689489090/33262031628325437704899345207*c_010\ 1_6^16 + 468549892216786816997940154286/332620316283254377048993452\ 07*c_0101_6^15 - 3247429673875385539590127399988/332620316283254377\ 04899345207*c_0101_6^14 + 3246961885031158910174346940105/332620316\ 28325437704899345207*c_0101_6^13 - 14112298614473573099929938015436/33262031628325437704899345207*c_01\ 01_6^12 + 1951370411985769122701617792922/3326203162832543770489934\ 5207*c_0101_6^11 + 23285244336019513080929116521248/332620316283254\ 37704899345207*c_0101_6^10 - 6596777802345981185449832886020/332620\ 31628325437704899345207*c_0101_6^9 + 15792979828829135385716937549305/33262031628325437704899345207*c_01\ 01_6^8 - 2594427879300576329016414859003/33262031628325437704899345\ 207*c_0101_6^7 - 41778589871489289784535927253993/33262031628325437\ 704899345207*c_0101_6^6 + 4063770398513667032321909100907/332620316\ 28325437704899345207*c_0101_6^5 + 20917216688063161623889635249237/\ 33262031628325437704899345207*c_0101_6^4 - 175751301976728189667525242319/33262031628325437704899345207*c_0101\ _6^3 - 2409008333910033753859335574244/3326203162832543770489934520\ 7*c_0101_6^2 + 101992623016965149485209666627/332620316283254377048\ 99345207*c_0101_6 + 27090785333757734470760014640/33262031628325437\ 704899345207, c_0101_0 + 17472826619325374859192349376/33262031628325437704899345207*\ c_0101_6^20 - 96208876700554707919302040180/33262031628325437704899\ 345207*c_0101_6^19 - 171482214645264642421611534460/332620316283254\ 37704899345207*c_0101_6^18 + 435803842800505887653615918178/3326203\ 1628325437704899345207*c_0101_6^17 - 1349989852481671497604358947195/33262031628325437704899345207*c_010\ 1_6^16 - 1791539874755131078127679291302/33262031628325437704899345\ 207*c_0101_6^15 + 1913686108536595474428945614981/33262031628325437\ 704899345207*c_0101_6^14 - 3612640597401330394524243295919/33262031\ 628325437704899345207*c_0101_6^13 + 13901707516909866005589740400437/33262031628325437704899345207*c_01\ 01_6^12 + 8945670354348380472877518705256/3326203162832543770489934\ 5207*c_0101_6^11 - 16695870960878236415975918608168/332620316283254\ 37704899345207*c_0101_6^10 + 1480381519800418265779497205066/332620\ 31628325437704899345207*c_0101_6^9 - 17619568476236589338508062915563/33262031628325437704899345207*c_01\ 01_6^8 - 13315903319874828335229846707856/3326203162832543770489934\ 5207*c_0101_6^7 + 32586512215992832947922567305596/3326203162832543\ 7704899345207*c_0101_6^6 + 11697607032172364952307909496295/3326203\ 1628325437704899345207*c_0101_6^5 - 14012910611773243562186922986933/33262031628325437704899345207*c_01\ 01_6^4 - 4126227403246514918687308207677/33262031628325437704899345\ 207*c_0101_6^3 + 1442644358021674069045821242489/332620316283254377\ 04899345207*c_0101_6^2 + 314352387229940828449947482335/33262031628\ 325437704899345207*c_0101_6 - 15991141648967250528778802329/3326203\ 1628325437704899345207, c_0101_1 - 10412844473689669137933132008/33262031628325437704899345207*\ c_0101_6^20 + 63126682532144603450700300138/33262031628325437704899\ 345207*c_0101_6^19 + 70855909979084229555404818782/3326203162832543\ 7704899345207*c_0101_6^18 - 318024281481824526615774933835/33262031\ 628325437704899345207*c_0101_6^17 + 935468046680244040483453246199/33262031628325437704899345207*c_0101\ _6^16 + 616809772010788085385127453027/3326203162832543770489934520\ 7*c_0101_6^15 - 1748763529102253275450624095812/3326203162832543770\ 4899345207*c_0101_6^14 + 2613625519883663025813852396241/3326203162\ 8325437704899345207*c_0101_6^13 - 9598791694634494791830101404418/3\ 3262031628325437704899345207*c_0101_6^12 - 805077697388556810926954038220/33262031628325437704899345207*c_0101\ _6^11 + 13004771687613535791121044861300/33262031628325437704899345\ 207*c_0101_6^10 - 4933429679379996038696999646572/33262031628325437\ 704899345207*c_0101_6^9 + 11438377508986656713487237221639/33262031\ 628325437704899345207*c_0101_6^8 + 1854914234602050225285348121231/33262031628325437704899345207*c_010\ 1_6^7 - 24433722109283532351668584641406/33262031628325437704899345\ 207*c_0101_6^6 + 1538103527644994040508058885195/332620316283254377\ 04899345207*c_0101_6^5 + 11546506234292512970942009076151/332620316\ 28325437704899345207*c_0101_6^4 - 757046442743653821915064738848/33\ 262031628325437704899345207*c_0101_6^3 - 1304630941891251283737514606324/33262031628325437704899345207*c_010\ 1_6^2 + 220667055395277329658530007754/3326203162832543770489934520\ 7*c_0101_6 + 12209485813374205884605704898/332620316283254377048993\ 45207, c_0101_3 - 12831283100560958865162445366/33262031628325437704899345207*\ c_0101_6^20 + 65621413958140429144539545993/33262031628325437704899\ 345207*c_0101_6^19 + 150192296554163867566328981469/332620316283254\ 37704899345207*c_0101_6^18 - 256553039390854393905310402803/3326203\ 1628325437704899345207*c_0101_6^17 + 923933212135487419764761862634/33262031628325437704899345207*c_0101\ _6^16 + 1673753433338970836899546644370/332620316283254377048993452\ 07*c_0101_6^15 - 706345953089592923877267743516/3326203162832543770\ 4899345207*c_0101_6^14 + 2810594463304019785236304764882/3326203162\ 8325437704899345207*c_0101_6^13 - 8951888406656685146980041465984/3\ 3262031628325437704899345207*c_0101_6^12 - 9924067654299447008165076206429/33262031628325437704899345207*c_010\ 1_6^11 + 8120566846482807445872992855338/33262031628325437704899345\ 207*c_0101_6^10 - 1484935581913343669368673301444/33262031628325437\ 704899345207*c_0101_6^9 + 12487256610875751132264011315813/33262031\ 628325437704899345207*c_0101_6^8 + 15628685220447383458335969351105/33262031628325437704899345207*c_01\ 01_6^7 - 17285122613904216818059142724692/3326203162832543770489934\ 5207*c_0101_6^6 - 9862727163106896572300116599328/33262031628325437\ 704899345207*c_0101_6^5 + 5901745412021196846276747738993/332620316\ 28325437704899345207*c_0101_6^4 + 1294311941992410353908786186610/3\ 3262031628325437704899345207*c_0101_6^3 - 570402172420632261861700081415/33262031628325437704899345207*c_0101\ _6^2 + 61771197153637164821641852512/33262031628325437704899345207*\ c_0101_6 + 3935228962101173469789403425/332620316283254377048993452\ 07, c_0101_6^21 - 5*c_0101_6^20 - 13*c_0101_6^19 + 22*c_0101_6^18 - 60*c_0101_6^17 - 149*c_0101_6^16 + 87*c_0101_6^15 - 100*c_0101_6^14 + 678*c_0101_6^13 + 1011*c_0101_6^12 - 972*c_0101_6^11 - 688*c_0101_6^10 - 788*c_0101_6^9 - 1350*c_0101_6^8 + 1876*c_0101_6^7 + 2067*c_0101_6^6 - 890*c_0101_6^5 - 902*c_0101_6^4 + 84*c_0101_6^3 + 95*c_0101_6^2 - 2*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB