Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 644332058] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0186 geometric_solution 3.99827580 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 1.313088495107 0.073553721912 0 2 2 0 3201 0132 1023 0132 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 -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 1.099235016417 0.055795652514 3 1 1 3 0132 0132 1023 1023 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 1 0 -1 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.141125851283 0.126005029204 2 4 4 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 -1 1 -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 -1 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 1.091877527330 0.390641840579 5 3 3 6 0132 0132 1023 0132 0 0 0 0 0 0 1 -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 0 1 -1 1 0 -1 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.507826641310 0.299957788737 4 6 6 6 0132 1302 3201 0321 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 -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 0 0 0.508622324265 0.847670413375 5 5 4 5 2310 0321 0132 2031 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 1 -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.508622324265 0.847670413375 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(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_1']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_6']), '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' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_6, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 5560350798614024087696003467646434141/10195098081880775937096511629\ 7894261*c_0101_5^20 - 71487228655838877300008556515806856726/101950\ 980818807759370965116297894261*c_0101_5^19 + 434703274444783687922546779640629874875/101950980818807759370965116\ 297894261*c_0101_5^18 - 1268164720680922406324949661375917119877/10\ 1950980818807759370965116297894261*c_0101_5^17 + 1334333802771544685143851618789487827874/10195098081880775937096511\ 6297894261*c_0101_5^16 + 2795475975016013021800126614251145430804/1\ 01950980818807759370965116297894261*c_0101_5^15 - 7576359302438156902756953597585681215596/10195098081880775937096511\ 6297894261*c_0101_5^14 - 2524770054504674117672343762174102446144/1\ 01950980818807759370965116297894261*c_0101_5^13 + 6459273122289634150136984200380396115063/10195098081880775937096511\ 6297894261*c_0101_5^12 + 37272462516106760475846252501447105897296/\ 101950980818807759370965116297894261*c_0101_5^11 - 46202125600547412585898837800370235309737/1019509808188077593709651\ 16297894261*c_0101_5^10 - 45708121929941020414687405996799786571437\ /101950980818807759370965116297894261*c_0101_5^9 + 81020094139541680241521347036244807062257/1019509808188077593709651\ 16297894261*c_0101_5^8 - 3582021585781920065886530092220676834762/1\ 01950980818807759370965116297894261*c_0101_5^7 - 33841121596242455677050433021902034065503/1019509808188077593709651\ 16297894261*c_0101_5^6 + 9864979931936138718298367039231790378210/1\ 01950980818807759370965116297894261*c_0101_5^5 + 2733998287233233835865473427100276341168/10195098081880775937096511\ 6297894261*c_0101_5^4 - 1547400090067059447182827208137549650036/10\ 1950980818807759370965116297894261*c_0101_5^3 + 406418392617745786673505267439546387652/101950980818807759370965116\ 297894261*c_0101_5^2 + 39576475257430277787541085411236569158/10195\ 0980818807759370965116297894261*c_0101_5 - 37390616006328656104078619141924048271/1019509808188077593709651162\ 97894261, c_0011_0 - 1, c_0011_1 + 30661358481469258303448833719401410/101950980818807759370965\ 116297894261*c_0101_5^20 - 378419822422156227336077894784718030/101\ 950980818807759370965116297894261*c_0101_5^19 + 2206706343940403120009980569099458530/10195098081880775937096511629\ 7894261*c_0101_5^18 - 5908321347300687982764265741042326278/1019509\ 80818807759370965116297894261*c_0101_5^17 + 4595613053683106952828868534260463854/10195098081880775937096511629\ 7894261*c_0101_5^16 + 17143887527988947170402206374648402027/101950\ 980818807759370965116297894261*c_0101_5^15 - 32806922396069259531431236934368294037/1019509808188077593709651162\ 97894261*c_0101_5^14 - 28099881501139312826986287023753967355/10195\ 0980818807759370965116297894261*c_0101_5^13 + 18264041240614072902646489879052445997/1019509808188077593709651162\ 97894261*c_0101_5^12 + 208520815573159696150644995254825303311/1019\ 50980818807759370965116297894261*c_0101_5^11 - 148686000676985052416211051174024623475/101950980818807759370965116\ 297894261*c_0101_5^10 - 299399706318079939482347522849200041365/101\ 950980818807759370965116297894261*c_0101_5^9 + 292034737804446133621785255380615590621/101950980818807759370965116\ 297894261*c_0101_5^8 + 83211765037021975079858594916013132377/10195\ 0980818807759370965116297894261*c_0101_5^7 - 131277975306395998784871843341994070196/101950980818807759370965116\ 297894261*c_0101_5^6 + 11864059039013252065550504925487410730/10195\ 0980818807759370965116297894261*c_0101_5^5 + 12279877116110717463877109898473477111/1019509808188077593709651162\ 97894261*c_0101_5^4 - 5161202073673442007748372585544210145/1019509\ 80818807759370965116297894261*c_0101_5^3 + 1347680877580895208478007915577332001/10195098081880775937096511629\ 7894261*c_0101_5^2 + 266773410825880314014962869368741652/101950980\ 818807759370965116297894261*c_0101_5 - 78908866828075337872781892250566960/1019509808188077593709651162978\ 94261, c_0011_6 - 11304209933872468785169275102004377/101950980818807759370965\ 116297894261*c_0101_5^20 + 142014002267316621858119435928767665/101\ 950980818807759370965116297894261*c_0101_5^19 - 842794673542966520524210105162500706/101950980818807759370965116297\ 894261*c_0101_5^18 + 2339621526321909822716919288308726277/10195098\ 0818807759370965116297894261*c_0101_5^17 - 2075294900651186819254608737465695723/10195098081880775937096511629\ 7894261*c_0101_5^16 - 6176487219075143197519529286769932454/1019509\ 80818807759370965116297894261*c_0101_5^15 + 13573314576581992383681514319979404513/1019509808188077593709651162\ 97894261*c_0101_5^14 + 8558024233193406131910908917475793029/101950\ 980818807759370965116297894261*c_0101_5^13 - 9921994930304703214648083896211872064/10195098081880775937096511629\ 7894261*c_0101_5^12 - 77370523651016191916231086949706853258/101950\ 980818807759370965116297894261*c_0101_5^11 + 70625233846707264222237522041127953977/1019509808188077593709651162\ 97894261*c_0101_5^10 + 107729557983211435625735580229196421098/1019\ 50980818807759370965116297894261*c_0101_5^9 - 131880871399697219998846907211598678441/101950980818807759370965116\ 297894261*c_0101_5^8 - 19097510507377974106599668929388403934/10195\ 0980818807759370965116297894261*c_0101_5^7 + 58346422701349813298945403509894978033/1019509808188077593709651162\ 97894261*c_0101_5^6 - 11606533947914923315700195155898130993/101950\ 980818807759370965116297894261*c_0101_5^5 - 4535089779866710051949555077501361600/10195098081880775937096511629\ 7894261*c_0101_5^4 + 2848668567638020948012715426238660466/10195098\ 0818807759370965116297894261*c_0101_5^3 - 631967655711009087419428245867978690/101950980818807759370965116297\ 894261*c_0101_5^2 + 16375446213611710086239626483740336/10195098081\ 8807759370965116297894261*c_0101_5 + 23770257750609204690359594970156814/1019509808188077593709651162978\ 94261, c_0101_0 - 16733167760976946845512833328078569/101950980818807759370965\ 116297894261*c_0101_5^20 + 182508613968847285453580278169438520/101\ 950980818807759370965116297894261*c_0101_5^19 - 918341336048607630560691101760338347/101950980818807759370965116297\ 894261*c_0101_5^18 + 1615543553012239718735675752480238911/10195098\ 0818807759370965116297894261*c_0101_5^17 + 1473994328575739853798083902247176382/10195098081880775937096511629\ 7894261*c_0101_5^16 - 11506519126624616587749077221771178182/101950\ 980818807759370965116297894261*c_0101_5^15 + 4147833804594310288588527662516486813/10195098081880775937096511629\ 7894261*c_0101_5^14 + 34974836396373494782969346709400837107/101950\ 980818807759370965116297894261*c_0101_5^13 + 17978012120332183406105064437896076860/1019509808188077593709651162\ 97894261*c_0101_5^12 - 113825234481846502250257078469240840779/1019\ 50980818807759370965116297894261*c_0101_5^11 - 76003925501774437388336932135809079783/1019509808188077593709651162\ 97894261*c_0101_5^10 + 215809946459976166785349015867857716707/1019\ 50980818807759370965116297894261*c_0101_5^9 + 71342913002272943608828860184888221833/1019509808188077593709651162\ 97894261*c_0101_5^8 - 179234546310592778973416366811613974837/10195\ 0980818807759370965116297894261*c_0101_5^7 - 14855379554735368598364645044690344232/1019509808188077593709651162\ 97894261*c_0101_5^6 + 54599398823757321966086942546981173205/101950\ 980818807759370965116297894261*c_0101_5^5 - 3083935102490131962164451575016262184/10195098081880775937096511629\ 7894261*c_0101_5^4 - 3066729032411010988325250774678799118/10195098\ 0818807759370965116297894261*c_0101_5^3 + 1110159696453946193845426332248325379/10195098081880775937096511629\ 7894261*c_0101_5^2 - 370769411891584123159172604475331235/101950980\ 818807759370965116297894261*c_0101_5 - 83337284766103603275164827710092560/1019509808188077593709651162978\ 94261, c_0101_2 + 50630912628750539515656946182394244/101950980818807759370965\ 116297894261*c_0101_5^20 - 615035544388508770569176004884630108/101\ 950980818807759370965116297894261*c_0101_5^19 + 3540585533694161277674756458250074314/10195098081880775937096511629\ 7894261*c_0101_5^18 - 9256818564683386422267329621906787497/1019509\ 80818807759370965116297894261*c_0101_5^17 + 6825676837167279010608402607100794990/10195098081880775937096511629\ 7894261*c_0101_5^16 + 27214845571514273028797254057993049812/101950\ 980818807759370965116297894261*c_0101_5^15 - 47975429465009578625820913254022261460/1019509808188077593709651162\ 97894261*c_0101_5^14 - 46519007362773891327961380662497555507/10195\ 0980818807759370965116297894261*c_0101_5^13 + 10655883353413807267565187943271370492/1019509808188077593709651162\ 97894261*c_0101_5^12 + 325851560358769464749943887351689701544/1019\ 50980818807759370965116297894261*c_0101_5^11 - 189807951505089073247209459168836378870/101950980818807759370965116\ 297894261*c_0101_5^10 - 430429843399303143996435303285019813135/101\ 950980818807759370965116297894261*c_0101_5^9 + 391265849239763977954118504941390374120/101950980818807759370965116\ 297894261*c_0101_5^8 + 70870139103665238497484803675722179031/10195\ 0980818807759370965116297894261*c_0101_5^7 - 154517148430020855323147847485284526881/101950980818807759370965116\ 297894261*c_0101_5^6 + 40553211040674611216687297967577996206/10195\ 0980818807759370965116297894261*c_0101_5^5 + 8678907610726351985894027337534842202/10195098081880775937096511629\ 7894261*c_0101_5^4 - 8063049161513184496246824490816103689/10195098\ 0818807759370965116297894261*c_0101_5^3 + 1459629252194079016548457740596712115/10195098081880775937096511629\ 7894261*c_0101_5^2 - 4329793769167149816168724153029720/10195098081\ 8807759370965116297894261*c_0101_5 - 88841865210596498059806661175645044/1019509808188077593709651162978\ 94261, c_0101_3 - 9850427930882111233712564665644788/1019509808188077593709651\ 16297894261*c_0101_5^20 + 102346658710672497234722116972026322/1019\ 50980818807759370965116297894261*c_0101_5^19 - 483532080915626991835061002143973321/101950980818807759370965116297\ 894261*c_0101_5^18 + 647822148164675799202234507163819033/101950980\ 818807759370965116297894261*c_0101_5^17 + 1525394517699024316355779319701521981/10195098081880775937096511629\ 7894261*c_0101_5^16 - 6924478485276819220292084479522479910/1019509\ 80818807759370965116297894261*c_0101_5^15 - 127877300881165872360003509031880362/101950980818807759370965116297\ 894261*c_0101_5^14 + 22468687782090377787890508708701940194/1019509\ 80818807759370965116297894261*c_0101_5^13 + 16881354650653867281311143169842438581/1019509808188077593709651162\ 97894261*c_0101_5^12 - 60027710261061931686335239990474195247/10195\ 0980818807759370965116297894261*c_0101_5^11 - 72262240427777802695869681061503191965/1019509808188077593709651162\ 97894261*c_0101_5^10 + 117111881219974007126150592279769075491/1019\ 50980818807759370965116297894261*c_0101_5^9 + 70406139528963517340257998691699292109/1019509808188077593709651162\ 97894261*c_0101_5^8 - 98599385071395343492472708007312251633/101950\ 980818807759370965116297894261*c_0101_5^7 - 7246784850330487712481188823856658742/10195098081880775937096511629\ 7894261*c_0101_5^6 + 21656200374076542711993955132415822086/1019509\ 80818807759370965116297894261*c_0101_5^5 - 6071305886136901863657091977696923427/10195098081880775937096511629\ 7894261*c_0101_5^4 + 842763715968705489988243343722490127/101950980\ 818807759370965116297894261*c_0101_5^3 + 609407023535059383147228331432514636/101950980818807759370965116297\ 894261*c_0101_5^2 - 209284511125182720823017594280665356/1019509808\ 18807759370965116297894261*c_0101_5 + 67606959235251788967148253045520319/1019509808188077593709651162978\ 94261, c_0101_5^21 - 13*c_0101_5^20 + 80*c_0101_5^19 - 239*c_0101_5^18 + 271*c_0101_5^17 + 473*c_0101_5^16 - 1439*c_0101_5^15 - 270*c_0101_5^14 + 1252*c_0101_5^13 + 6552*c_0101_5^12 - 9282*c_0101_5^11 - 7179*c_0101_5^10 + 15879*c_0101_5^9 - 2555*c_0101_5^8 - 6214*c_0101_5^7 + 2648*c_0101_5^6 + 297*c_0101_5^5 - 369*c_0101_5^4 + 119*c_0101_5^3 - 3*c_0101_5^2 - 9*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB