Magma V2.19-8 Tue Aug 20 2013 16:17:48 on localhost [Seed = 3650635067] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2038 geometric_solution 5.57374919 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 1.574057327773 0.536152086168 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.738834625887 0.474780102950 4 1 3 5 0132 0132 1302 0132 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 -1 0 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.563551813113 0.539948071366 2 5 4 1 2031 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 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.563551813113 0.539948071366 2 4 4 3 0132 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409940090035 1.012450596637 3 6 2 6 1023 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 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 0 0 0 0.804028244629 0.541915141477 6 5 6 5 2031 0132 1302 1023 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 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.575156938751 0.154683130977 ==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_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_4'], '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' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_1']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0101_0, c_0101_4, c_0110_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 120929948350084267169706630970/204110841138876292168456167*c_0110_6\ ^23 + 318227427367929712582114152187/204110841138876292168456167*c_\ 0110_6^22 + 479149222091749998552138958330/204110841138876292168456\ 167*c_0110_6^21 + 3322814884025182748620027694795/20411084113887629\ 2168456167*c_0110_6^20 - 9775673519994354600264670081880/2041108411\ 38876292168456167*c_0110_6^19 - 2877646510700676869926689021940/291\ 58691591268041738350881*c_0110_6^18 + 381433040875219550702971384838/29158691591268041738350881*c_0110_6^\ 17 + 33039912366145998177990127062402/68036947046292097389485389*c_\ 0110_6^16 + 10510934712247766121167175279146/6803694704629209738948\ 5389*c_0110_6^15 - 181217524487009593819424632911953/20411084113887\ 6292168456167*c_0110_6^14 - 158135652877417181829434517043568/20411\ 0841138876292168456167*c_0110_6^13 + 255475610974312695017435658121843/204110841138876292168456167*c_011\ 0_6^12 + 84953913791857600454167107185224/6803694704629209738948538\ 9*c_0110_6^11 - 231858964744171423297667952828454/20411084113887629\ 2168456167*c_0110_6^10 - 272815375003694976621177717704426/20411084\ 1138876292168456167*c_0110_6^9 + 56904446040774056782454978798381/6\ 8036947046292097389485389*c_0110_6^8 + 8305820151159226146484220772245/9719563863756013912783627*c_0110_6^\ 7 - 92745245671206008586608379764629/204110841138876292168456167*c_\ 0110_6^6 - 60751828377553794094887048645379/20411084113887629216845\ 6167*c_0110_6^5 + 28521129541998821796100397142343/2041108411388762\ 92168456167*c_0110_6^4 + 11426710235663746416397184768578/204110841\ 138876292168456167*c_0110_6^3 - 4400667902553329247200057778902/204\ 110841138876292168456167*c_0110_6^2 - 1051880758779246781246174469909/204110841138876292168456167*c_0110_\ 6 + 114811953111952026101185198026/68036947046292097389485389, c_0011_0 - 1, c_0011_1 + 99499993227118504799080987/9719563863756013912783627*c_0110_\ 6^23 - 251820771766011056310292389/9719563863756013912783627*c_0110\ _6^22 - 415065567350130897878729200/9719563863756013912783627*c_011\ 0_6^21 - 2783235133447286067136805709/9719563863756013912783627*c_0\ 110_6^20 + 7737053267108815618023544713/9719563863756013912783627*c\ _0110_6^19 + 17205114498854692635432863963/971956386375601391278362\ 7*c_0110_6^18 - 239486974238380462109348276/97195638637560139127836\ 27*c_0110_6^17 - 80577123597783853820654935040/97195638637560139127\ 83627*c_0110_6^16 - 33243140330573704166814301890/97195638637560139\ 12783627*c_0110_6^15 + 142666599778532867024717254145/9719563863756\ 013912783627*c_0110_6^14 + 140214580174402378031877306825/971956386\ 3756013912783627*c_0110_6^13 - 192761635123634219315551191226/97195\ 63863756013912783627*c_0110_6^12 - 219450185182718159973360026056/9719563863756013912783627*c_0110_6^1\ 1 + 167479785125715929186200280519/9719563863756013912783627*c_0110\ _6^10 + 229198696864560199824985551836/9719563863756013912783627*c_\ 0110_6^9 - 119330558332826934119866933336/9719563863756013912783627\ *c_0110_6^8 - 145258118335224798873894995373/9719563863756013912783\ 627*c_0110_6^7 + 64374492908140348126504679808/97195638637560139127\ 83627*c_0110_6^6 + 50787000171813807620329174312/971956386375601391\ 2783627*c_0110_6^5 - 19799562328228220777721449727/9719563863756013\ 912783627*c_0110_6^4 - 9520442028589168344877528843/971956386375601\ 3912783627*c_0110_6^3 + 3037671986272557684866206282/97195638637560\ 13912783627*c_0110_6^2 + 851291868134910505513245144/97195638637560\ 13912783627*c_0110_6 - 241729641607690575246358338/9719563863756013\ 912783627, c_0011_3 - 3755782849762140884266570/9719563863756013912783627*c_0110_6\ ^23 + 25725337892710571055330754/9719563863756013912783627*c_0110_6\ ^22 - 21575204120321593857459942/9719563863756013912783627*c_0110_6\ ^21 + 32012521488558540067809221/9719563863756013912783627*c_0110_6\ ^20 - 771581543846548083338341038/9719563863756013912783627*c_0110_\ 6^19 + 487381803129725465015580251/9719563863756013912783627*c_0110\ _6^18 + 2983294302441242754725908774/9719563863756013912783627*c_01\ 10_6^17 + 3960020809881011063966819577/9719563863756013912783627*c_\ 0110_6^16 - 11149017427593088059094892216/9719563863756013912783627\ *c_0110_6^15 - 13634347282073431599979167328/9719563863756013912783\ 627*c_0110_6^14 + 13593209432732940787135580547/9719563863756013912\ 783627*c_0110_6^13 + 33702160065283134471981425274/9719563863756013\ 912783627*c_0110_6^12 - 13241425936461543192520110293/9719563863756\ 013912783627*c_0110_6^11 - 43347435456258576778336301171/9719563863\ 756013912783627*c_0110_6^10 + 4817767253408987082483499479/97195638\ 63756013912783627*c_0110_6^9 + 40114993744081950812452939125/971956\ 3863756013912783627*c_0110_6^8 - 1583761449173846956282708536/97195\ 63863756013912783627*c_0110_6^7 - 22950304358572401657578450551/971\ 9563863756013912783627*c_0110_6^6 + 740640179222201848447376385/9719563863756013912783627*c_0110_6^5 + 7345413333790062633000050362/9719563863756013912783627*c_0110_6^4 + 50744258855486208856503730/9719563863756013912783627*c_0110_6^3 - 1249776713438138146581463010/9719563863756013912783627*c_0110_6^2 - 55741359498682984012551988/9719563863756013912783627*c_0110_6 + 86311671825471090149291280/9719563863756013912783627, c_0101_0 + 154475341275637840170207212/9719563863756013912783627*c_0110\ _6^23 - 405942416271696872907437929/9719563863756013912783627*c_011\ 0_6^22 - 606910074328974239021079719/9719563863756013912783627*c_01\ 10_6^21 - 4259745732852062981901438426/9719563863756013912783627*c_\ 0110_6^20 + 12439806743433040222153328459/9719563863756013912783627\ *c_0110_6^19 + 25565898232179888086306494714/9719563863756013912783\ 627*c_0110_6^18 - 2934103523972615137218957618/97195638637560139127\ 83627*c_0110_6^17 - 125347096430246350526646585443/9719563863756013\ 912783627*c_0110_6^16 - 39817673922368073028252609431/9719563863756\ 013912783627*c_0110_6^15 + 226981183189059397239695223646/971956386\ 3756013912783627*c_0110_6^14 + 198290078453824315979813915062/97195\ 63863756013912783627*c_0110_6^13 - 320766441695388964972718915595/9719563863756013912783627*c_0110_6^1\ 2 - 315779437540000242380791686592/9719563863756013912783627*c_0110\ _6^11 + 291367017964593696624832935955/9719563863756013912783627*c_\ 0110_6^10 + 336697112980123974734143579522/971956386375601391278362\ 7*c_0110_6^9 - 216631215243917254654433270304/971956386375601391278\ 3627*c_0110_6^8 - 213085229611236122282636384180/971956386375601391\ 2783627*c_0110_6^7 + 118217929402629553939524536429/971956386375601\ 3912783627*c_0110_6^6 + 73167861376641006832525278062/9719563863756\ 013912783627*c_0110_6^5 - 36400154308613747557240644866/97195638637\ 56013912783627*c_0110_6^4 - 13675392154678063365996128598/971956386\ 3756013912783627*c_0110_6^3 + 5672153513538623740530438354/97195638\ 63756013912783627*c_0110_6^2 + 1281881212675776686652021609/9719563\ 863756013912783627*c_0110_6 - 444102461305956770168658700/971956386\ 3756013912783627, c_0101_4 - 33206167525531499586470493/9719563863756013912783627*c_0110_\ 6^23 + 82935895195776319617363936/9719563863756013912783627*c_0110_\ 6^22 + 139696659805930769521620105/9719563863756013912783627*c_0110\ _6^21 + 938222991751747562596996847/9719563863756013912783627*c_011\ 0_6^20 - 2545790703543767285059271012/9719563863756013912783627*c_0\ 110_6^19 - 5785061033630236599309327675/9719563863756013912783627*c\ _0110_6^18 - 259065924159415560652833455/9719563863756013912783627*\ c_0110_6^17 + 26650338236780302005106888372/97195638637560139127836\ 27*c_0110_6^16 + 12099642904663313853423305865/97195638637560139127\ 83627*c_0110_6^15 - 45815987890271947025817214188/97195638637560139\ 12783627*c_0110_6^14 - 48156013342085925619527090571/97195638637560\ 13912783627*c_0110_6^13 + 60139080325643737328598920469/97195638637\ 56013912783627*c_0110_6^12 + 73252953029884278603684284821/97195638\ 63756013912783627*c_0110_6^11 - 49747795899838990821698670124/97195\ 63863756013912783627*c_0110_6^10 - 74934838252853382587263930268/9719563863756013912783627*c_0110_6^9 + 34304219162571390101017526165/9719563863756013912783627*c_0110_6^8 + 46137736162953238367838600427/9719563863756013912783627*c_0110_6^7 - 17947091416831837510395059670/9719563863756013912783627*c_0110_6^6 - 15570875507679478944170003078/9719563863756013912783627*c_0110_6^5 + 5268444518489701668746935714/9719563863756013912783627*c_0110_6^4 + 2783134970482257945836071699/9719563863756013912783627*c_0110_6^3 - 797317452675666138229064178/9719563863756013912783627*c_0110_6^2 - 216229021698707367249384969/9719563863756013912783627*c_0110_6 + 63864795490110577675279050/9719563863756013912783627, c_0110_5 + 22346383996997819625481451/9719563863756013912783627*c_0110_\ 6^23 - 59990215560705860678361160/9719563863756013912783627*c_0110_\ 6^22 - 77888986477623623463860597/9719563863756013912783627*c_0110_\ 6^21 - 625417092505539634988974039/9719563863756013912783627*c_0110\ _6^20 + 1805676399007531116914405619/9719563863756013912783627*c_01\ 10_6^19 + 3391919882062482151122946010/9719563863756013912783627*c_\ 0110_6^18 - 214686519970697788802474906/9719563863756013912783627*c\ _0110_6^17 - 16931575399454576586815473417/971956386375601391278362\ 7*c_0110_6^16 - 4018709932796453731246634607/9719563863756013912783\ 627*c_0110_6^15 + 28753497526384142983219953726/9719563863756013912\ 783627*c_0110_6^14 + 23183456850718445416315096514/9719563863756013\ 912783627*c_0110_6^13 - 42787442608548820697547863494/9719563863756\ 013912783627*c_0110_6^12 - 33296862975064913461866636310/9719563863\ 756013912783627*c_0110_6^11 + 39649714877717910193885912326/9719563\ 863756013912783627*c_0110_6^10 + 35005420851562751533703164619/9719\ 563863756013912783627*c_0110_6^9 - 32282787373919313287504346107/9719563863756013912783627*c_0110_6^8 - 19569040460401756804357009292/9719563863756013912783627*c_0110_6^7 + 17939674228780992872309553583/9719563863756013912783627*c_0110_6^6 + 5538637922861961195721909466/9719563863756013912783627*c_0110_6^5 - 5586321285098117222184603961/9719563863756013912783627*c_0110_6^4 - 956233503401306321513979759/9719563863756013912783627*c_0110_6^3 + 978002930441397432018030450/9719563863756013912783627*c_0110_6^2 + 103560241469534489189170401/9719563863756013912783627*c_0110_6 - 74308514185297712855326242/9719563863756013912783627, c_0110_6^24 - 3*c_0110_6^23 - 3*c_0110_6^22 - 26*c_0110_6^21 + 91*c_0110_6^20 + 137*c_0110_6^19 - 84*c_0110_6^18 - 813*c_0110_6^17 + 41*c_0110_6^16 + 1601*c_0110_6^15 + 760*c_0110_6^14 - 2605*c_0110_6^13 - 1344*c_0110_6^12 + 2705*c_0110_6^11 + 1572*c_0110_6^10 - 2249*c_0110_6^9 - 944*c_0110_6^8 + 1300*c_0110_6^7 + 233*c_0110_6^6 - 421*c_0110_6^5 - 12*c_0110_6^4 + 71*c_0110_6^3 - 4*c_0110_6^2 - 6*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB