Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 2261195342] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1561 geometric_solution 5.34607456 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 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 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.483193035530 0.349515567311 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -1 0 0 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 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.641329437656 0.982788404359 3 0 4 1 3201 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.641329437656 0.982788404359 3 1 3 2 2310 0132 3201 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 1 0 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.289070449031 1.064915634595 5 5 1 2 0132 2310 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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.274203112747 1.502848229172 4 6 6 4 0132 0132 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.146841977443 0.345809598730 5 5 6 6 2310 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.860843772218 2.569462822917 ==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' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0110_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0110_2']), '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_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0110_2']), '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_6, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 63641623995479184533428562/23885831551948847896156913*c_0110_2^25 + 3185216984591293975416996284/23885831551948847896156913*c_0110_2^24 - 7174913081284212246775964350/23885831551948847896156913*c_0110_2^\ 23 - 41547440777474258051608261042/23885831551948847896156913*c_011\ 0_2^22 + 58511204950540465564471609926/23885831551948847896156913*c\ _0110_2^21 + 33333464253943975247180203904/238858315519488478961569\ 13*c_0110_2^20 + 5001749652291923189661892353/238858315519488478961\ 56913*c_0110_2^19 + 558251890253361526816215532159/2388583155194884\ 7896156913*c_0110_2^18 - 309001144982786967416113593926/23885831551\ 948847896156913*c_0110_2^17 - 1263845088938467250774838488574/23885\ 831551948847896156913*c_0110_2^16 + 254987681827705277502657040183/23885831551948847896156913*c_0110_2^\ 15 - 159085727191531265123510177714/23885831551948847896156913*c_01\ 10_2^14 - 31412491959459319754446785295/1257149029049939362955627*c\ _0110_2^13 + 3122643664609920179877036269268/2388583155194884789615\ 6913*c_0110_2^12 + 1551244110180560409560978405045/2388583155194884\ 7896156913*c_0110_2^11 - 4674865561412333702856034696579/2388583155\ 1948847896156913*c_0110_2^10 - 1386681275357449549810232472319/2388\ 5831551948847896156913*c_0110_2^9 + 4107027598513310510249026139214/23885831551948847896156913*c_0110_2\ ^8 + 827629140735164761826939901900/23885831551948847896156913*c_01\ 10_2^7 - 2138752139604852907926190102237/23885831551948847896156913\ *c_0110_2^6 - 303359535578492900277533274028/2388583155194884789615\ 6913*c_0110_2^5 + 746142680297872157542561315364/238858315519488478\ 96156913*c_0110_2^4 + 2973617545149059092033156494/1257149029049939\ 362955627*c_0110_2^3 - 154704320856382298061639396105/2388583155194\ 8847896156913*c_0110_2^2 - 4335258736969383407587653053/23885831551\ 948847896156913*c_0110_2 + 12726613753251725021158845107/2388583155\ 1948847896156913, c_0011_0 - 1, c_0011_4 + 70942856354070198025550320/23885831551948847896156913*c_0110\ _2^25 - 108434287926136668814243470/23885831551948847896156913*c_01\ 10_2^24 - 970634776556902578678946476/23885831551948847896156913*c_\ 0110_2^23 + 910560703871360686574099641/23885831551948847896156913*\ c_0110_2^22 + 1163586098124663170907189034/238858315519488478961569\ 13*c_0110_2^21 - 130007369548513440617725624/2388583155194884789615\ 6913*c_0110_2^20 + 12637029318012770833856482756/238858315519488478\ 96156913*c_0110_2^19 - 1744227903207078458398373618/238858315519488\ 47896156913*c_0110_2^18 - 29462651930112975531623055475/23885831551\ 948847896156913*c_0110_2^17 - 1242548289483279785409685169/23885831\ 551948847896156913*c_0110_2^16 - 5290872857361794341807931150/23885\ 831551948847896156913*c_0110_2^15 - 18870748617554643964161159098/23885831551948847896156913*c_0110_2^1\ 4 + 3376722208213512034017232371/1257149029049939362955627*c_0110_2\ ^13 + 55204471418856942660864118486/23885831551948847896156913*c_01\ 10_2^12 - 86467248000906833318378651266/23885831551948847896156913*\ c_0110_2^11 - 51905642455012293758542808527/23885831551948847896156\ 913*c_0110_2^10 + 73210693130281958918062220847/2388583155194884789\ 6156913*c_0110_2^9 + 32707817580420098872337447504/2388583155194884\ 7896156913*c_0110_2^8 - 32297657561432991709210975907/2388583155194\ 8847896156913*c_0110_2^7 - 12637925268246539632703410031/2388583155\ 1948847896156913*c_0110_2^6 + 10167112913359095577663930097/2388583\ 1551948847896156913*c_0110_2^5 + 2962671115734635345162647834/23885\ 831551948847896156913*c_0110_2^4 - 69017693648831839487043181/1257149029049939362955627*c_0110_2^3 - 436782320625857626787586122/23885831551948847896156913*c_0110_2^2 - 31701259490289295687817000/23885831551948847896156913*c_0110_2 + 31353216051624110540022618/23885831551948847896156913, c_0101_0 + 18234847182721713739872822/23885831551948847896156913*c_0110\ _2^25 - 66592632473949455992252423/23885831551948847896156913*c_011\ 0_2^24 - 159149583291685208456269958/23885831551948847896156913*c_0\ 110_2^23 + 678824591213501184750648333/23885831551948847896156913*c\ _0110_2^22 - 517108036552262411196538216/23885831551948847896156913\ *c_0110_2^21 + 99509602747510003344947525/2388583155194884789615691\ 3*c_0110_2^20 + 2858560762360611706330778413/2388583155194884789615\ 6913*c_0110_2^19 - 6711142299793077911408748977/2388583155194884789\ 6156913*c_0110_2^18 - 1921564001278026114372388468/2388583155194884\ 7896156913*c_0110_2^17 + 9446815724101211152400927734/2388583155194\ 8847896156913*c_0110_2^16 - 5287531516698338941088770043/2388583155\ 1948847896156913*c_0110_2^15 + 1803466793125215179358590202/2388583\ 1551948847896156913*c_0110_2^14 + 1012032232701301429635145418/1257\ 149029049939362955627*c_0110_2^13 - 19041961334822338425680721592/23885831551948847896156913*c_0110_2^1\ 2 - 27491891594027227370314080004/23885831551948847896156913*c_0110\ _2^11 + 28697914363183951692726661502/23885831551948847896156913*c_\ 0110_2^10 + 19686846972186715759836082155/2388583155194884789615691\ 3*c_0110_2^9 - 23117682727723355564071685235/2388583155194884789615\ 6913*c_0110_2^8 - 9370980399638670797357784958/23885831551948847896\ 156913*c_0110_2^7 + 11046889429664741999494632355/23885831551948847\ 896156913*c_0110_2^6 + 2718004668602412534943690148/238858315519488\ 47896156913*c_0110_2^5 - 3662479687052803853440403645/2388583155194\ 8847896156913*c_0110_2^4 - 20697606450272370857643474/1257149029049\ 939362955627*c_0110_2^3 + 600588002939097324980529644/2388583155194\ 8847896156913*c_0110_2^2 + 20790009521750900797160523/2388583155194\ 8847896156913*c_0110_2 - 43786256288451155680408845/238858315519488\ 47896156913, c_0101_1 + 2555162339029187057287701/23885831551948847896156913*c_0110_\ 2^25 - 18773642858003501282477468/23885831551948847896156913*c_0110\ _2^24 - 5313180731452476806126329/23885831551948847896156913*c_0110\ _2^23 + 218814288975681498248464166/23885831551948847896156913*c_01\ 10_2^22 - 224500301958983945621573521/23885831551948847896156913*c_\ 0110_2^21 - 91650153647678992339328993/23885831551948847896156913*c\ _0110_2^20 + 423556594760435306158513150/23885831551948847896156913\ *c_0110_2^19 - 2603650096572545418473881235/23885831551948847896156\ 913*c_0110_2^18 + 383160137059923898256222876/238858315519488478961\ 56913*c_0110_2^17 + 4934970855082813425592906179/238858315519488478\ 96156913*c_0110_2^16 - 1349115354556045074270223694/238858315519488\ 47896156913*c_0110_2^15 + 1115542838242347984673609372/238858315519\ 48847896156913*c_0110_2^14 + 256689490231397264905401647/1257149029\ 049939362955627*c_0110_2^13 - 11399489661465830926776660872/2388583\ 1551948847896156913*c_0110_2^12 - 8938401215148706343478379902/2388\ 5831551948847896156913*c_0110_2^11 + 16342996761918190015260365817/23885831551948847896156913*c_0110_2^1\ 0 + 6742292324828903570051580818/23885831551948847896156913*c_0110_\ 2^9 - 13753381765454625825774196897/23885831551948847896156913*c_01\ 10_2^8 - 3465964960913217248293856015/23885831551948847896156913*c_\ 0110_2^7 + 6482054204668136170429941302/23885831551948847896156913*\ c_0110_2^6 + 1045713169433853465493794843/2388583155194884789615691\ 3*c_0110_2^5 - 2218600657563992488735831758/23885831551948847896156\ 913*c_0110_2^4 - 7544840477412402083679556/125714902904993936295562\ 7*c_0110_2^3 + 336695457540419522108083235/238858315519488478961569\ 13*c_0110_2^2 + 6168132847990777022999529/2388583155194884789615691\ 3*c_0110_2 - 32320009835721162329446118/23885831551948847896156913, c_0101_2 + 11466246452729993350962727/23885831551948847896156913*c_0110\ _2^25 - 38612177749152513384510575/23885831551948847896156913*c_011\ 0_2^24 - 101242214269543958852740496/23885831551948847896156913*c_0\ 110_2^23 + 371695085162102605318435442/23885831551948847896156913*c\ _0110_2^22 - 322415344805059766290631443/23885831551948847896156913\ *c_0110_2^21 + 212344009424168512118225606/238858315519488478961569\ 13*c_0110_2^20 + 1735169647663449887277461618/238858315519488478961\ 56913*c_0110_2^19 - 3570162566420445741917575236/238858315519488478\ 96156913*c_0110_2^18 - 708331306926064714469477598/2388583155194884\ 7896156913*c_0110_2^17 + 3795336177192849148253765854/2388583155194\ 8847896156913*c_0110_2^16 - 3972931285740088039312773386/2388583155\ 1948847896156913*c_0110_2^15 + 1473173174805345296361560044/2388583\ 1551948847896156913*c_0110_2^14 + 543744151904771390294221043/12571\ 49029049939362955627*c_0110_2^13 - 8927977534786892274859761778/23885831551948847896156913*c_0110_2^12 - 11632288613682611324064283367/23885831551948847896156913*c_0110_2\ ^11 + 13301949503528184072094771136/23885831551948847896156913*c_01\ 10_2^10 + 6323597870231397491251986598/23885831551948847896156913*c\ _0110_2^9 - 9768404379951604031567825958/23885831551948847896156913\ *c_0110_2^8 - 1884086807859393738996946849/238858315519488478961569\ 13*c_0110_2^7 + 4632262082472424287107066246/2388583155194884789615\ 6913*c_0110_2^6 - 1269136810068475381525707/23885831551948847896156\ 913*c_0110_2^5 - 1397101584303039229026789857/238858315519488478961\ 56913*c_0110_2^4 + 12024047657864845763290675/125714902904993936295\ 5627*c_0110_2^3 + 226970060578879420003388988/238858315519488478961\ 56913*c_0110_2^2 - 80432602154997909257042777/238858315519488478961\ 56913*c_0110_2 - 14621876673760123774160994/23885831551948847896156\ 913, c_0101_6 - 18459294629619687637135637/23885831551948847896156913*c_0110\ _2^25 - 344451805562534442047373549/23885831551948847896156913*c_01\ 10_2^24 + 1003769525012475824603892269/23885831551948847896156913*c\ _0110_2^23 + 4476940695438520170108227428/2388583155194884789615691\ 3*c_0110_2^22 - 7200273339494351946178279521/2388583155194884789615\ 6913*c_0110_2^21 - 2879654527822476310386870916/2388583155194884789\ 6156913*c_0110_2^20 - 3003900706624836343911568500/2388583155194884\ 7896156913*c_0110_2^19 - 62570371262223399108417322776/238858315519\ 48847896156913*c_0110_2^18 + 45265749067748651446545164556/23885831\ 551948847896156913*c_0110_2^17 + 136453627556454891566974492566/238\ 85831551948847896156913*c_0110_2^16 - 34544918106966467988676881387/23885831551948847896156913*c_0110_2^1\ 5 + 26710113897081976460920285363/23885831551948847896156913*c_0110\ _2^14 + 2612754507474418044308226176/1257149029049939362955627*c_01\ 10_2^13 - 362205819718435715101188776093/23885831551948847896156913\ *c_0110_2^12 - 132000185238894106576645707528/238858315519488478961\ 56913*c_0110_2^11 + 533120408193497004832654680243/2388583155194884\ 7896156913*c_0110_2^10 + 109404220181113901019360032192/23885831551\ 948847896156913*c_0110_2^9 - 460733010465523769200712169278/2388583\ 1551948847896156913*c_0110_2^8 - 64843527102382520790997557263/2388\ 5831551948847896156913*c_0110_2^7 + 238712578014829051340308665540/23885831551948847896156913*c_0110_2^\ 6 + 22893659834088268360225881089/23885831551948847896156913*c_0110\ _2^5 - 82864210145611537177124575581/23885831551948847896156913*c_0\ 110_2^4 - 198432143682566604110091700/1257149029049939362955627*c_0\ 110_2^3 + 17102813541933476749255467166/23885831551948847896156913*\ c_0110_2^2 + 220287531579341818876304930/23885831551948847896156913\ *c_0110_2 - 1443232922355378124750941971/23885831551948847896156913\ , c_0110_2^26 - 2*c_0110_2^25 - 13*c_0110_2^24 + 19*c_0110_2^23 + 12*c_0110_2^22 - 7*c_0110_2^21 + 168*c_0110_2^20 - 99*c_0110_2^19 - 420*c_0110_2^18 + 130*c_0110_2^17 + 47*c_0110_2^16 - 215*c_0110_2^15 + 961*c_0110_2^14 + 473*c_0110_2^13 - 1681*c_0110_2^12 - 458*c_0110_2^11 + 1629*c_0110_2^10 + 277*c_0110_2^9 - 981*c_0110_2^8 - 111*c_0110_2^7 + 398*c_0110_2^6 + 24*c_0110_2^5 - 106*c_0110_2^4 - 2*c_0110_2^3 + 16*c_0110_2^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB