Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 4256981283] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1496 geometric_solution 5.30531071 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.754258770250 0.075024700041 0 2 0 2 0132 0132 1023 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.606382068293 0.212280473734 3 1 4 1 0132 0132 0132 1023 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 0 0 0 1 0 -1 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.617165503146 1.846535517048 2 5 4 6 0132 0132 0213 0132 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 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.339510468109 0.698216477607 6 3 5 2 3201 0213 3201 0132 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 -1 0 0 1 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.339510468109 0.698216477607 4 3 5 5 2310 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.436752930366 1.158339497371 6 6 3 4 1302 2031 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 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.469997877235 0.559241431032 ==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' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0011_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t + 2887765839376899805979586868027341/15716812777286927187684367803006\ 4*c_0101_5^20 + 3528306072227108984564155281272909/7858406388643463\ 5938421839015032*c_0101_5^19 + 3985907055199882165827834967946231/3\ 9292031943217317969210919507516*c_0101_5^18 + 2533359683388118817860902963819727/39292031943217317969210919507516\ *c_0101_5^17 - 850582088438483427502729628839441/462259199331968446\ 6965990530296*c_0101_5^16 + 33067202593739290017624150372817081/157\ 168127772869271876843678030064*c_0101_5^15 - 132712083906328271480679113902218533/157168127772869271876843678030\ 064*c_0101_5^14 + 4775189800414665100906939451637989/39292031943217\ 317969210919507516*c_0101_5^13 + 1286896272217070915980533824568847\ 83/157168127772869271876843678030064*c_0101_5^12 - 3188629401646964499769770073817549/39292031943217317969210919507516\ *c_0101_5^11 - 52085120243473714615328085592994885/9823007985804329\ 492302729876879*c_0101_5^10 + 982046921836444412597298661061117243/\ 157168127772869271876843678030064*c_0101_5^9 + 108856721920998904364425182532081617/196460159716086589846054597537\ 58*c_0101_5^8 - 1491079108795376533748738733896436081/1571681277728\ 69271876843678030064*c_0101_5^7 - 381884632634007024635325370484894\ 453/78584063886434635938421839015032*c_0101_5^6 + 2450361874584801886977068076697505731/15716812777286927187684367803\ 0064*c_0101_5^5 - 30495539385239413925413973547469535/9245183986639\ 368933931981060592*c_0101_5^4 - 15309817490967976348481812790304103\ 85/157168127772869271876843678030064*c_0101_5^3 + 75665877068944913915227484518394433/1964601597160865898460545975375\ 8*c_0101_5^2 + 75544827238886851139420874167885503/3929203194321731\ 7969210919507516*c_0101_5 - 7079351917000593418220565663989892/9823\ 007985804329492302729876879, c_0011_0 - 1, c_0011_4 + 1205799627480122890631534069661/5778239991649605583707488162\ 87*c_0101_1*c_0101_5^20 + 12415982649887792340000863540321/23112959\ 96659842233482995265148*c_0101_1*c_0101_5^19 + 7023761662180047278902662747765/577823999164960558370748816287*c_01\ 01_1*c_0101_5^18 + 4931314958883782589778821627976/5778239991649605\ 58370748816287*c_0101_1*c_0101_5^17 - 12055958685672095835388536999277/577823999164960558370748816287*c_0\ 101_1*c_0101_5^16 + 22039167717669244996456690241269/11556479983299\ 21116741497632574*c_0101_1*c_0101_5^15 - 220285516376053770250531340546875/2311295996659842233482995265148*c\ _0101_1*c_0101_5^14 + 52002067233181573393455925833/231129599665984\ 2233482995265148*c_0101_1*c_0101_5^13 + 107296413112365189071018307346753/1155647998329921116741497632574*c\ _0101_1*c_0101_5^12 + 21854429190544353377383207112051/231129599665\ 9842233482995265148*c_0101_1*c_0101_5^11 - 693255000895295407804095142550701/1155647998329921116741497632574*c\ _0101_1*c_0101_5^10 + 362976460112337171177129444010869/57782399916\ 4960558370748816287*c_0101_1*c_0101_5^9 + 1682827007871582903143363328619663/2311295996659842233482995265148*\ c_0101_1*c_0101_5^8 - 1095795925983516668509827209180461/1155647998\ 329921116741497632574*c_0101_1*c_0101_5^7 - 1654094108288161456744757532456749/2311295996659842233482995265148*\ c_0101_1*c_0101_5^6 + 950572172479098884176184268480524/57782399916\ 4960558370748816287*c_0101_1*c_0101_5^5 - 254459030476717315298874456155633/2311295996659842233482995265148*c\ _0101_1*c_0101_5^4 - 2548303108435461291059001443666205/23112959966\ 59842233482995265148*c_0101_1*c_0101_5^3 + 495858323060014325999521150588277/2311295996659842233482995265148*c\ _0101_1*c_0101_5^2 + 285057071909823136507494614553073/115564799832\ 9921116741497632574*c_0101_1*c_0101_5 - 11462538887065452060527727993367/577823999164960558370748816287*c_0\ 101_1, c_0011_6 - 11847637883455897255145380066779/462259199331968446696599053\ 0296*c_0101_1*c_0101_5^20 - 16328863656621819274775594826495/231129\ 5996659842233482995265148*c_0101_1*c_0101_5^19 - 19221515030649835096809387306211/1155647998329921116741497632574*c_\ 0101_1*c_0101_5^18 - 17407916176587332530778825788909/1155647998329\ 921116741497632574*c_0101_1*c_0101_5^17 + 43177973918412778265094457982879/2311295996659842233482995265148*c_\ 0101_1*c_0101_5^16 - 122615026532885614090685811810047/462259199331\ 9684466965990530296*c_0101_1*c_0101_5^15 + 503711491762969990851439003842523/4622591993319684466965990530296*c\ _0101_1*c_0101_5^14 + 14335358912573000270981876272143/115564799832\ 9921116741497632574*c_0101_1*c_0101_5^13 - 468642762752790149075922582197249/4622591993319684466965990530296*c\ _0101_1*c_0101_5^12 - 20748427929451435228872904671247/115564799832\ 9921116741497632574*c_0101_1*c_0101_5^11 + 420965624991678064838145978925488/577823999164960558370748816287*c_\ 0101_1*c_0101_5^10 - 2989925631548108898915180559167861/46225919933\ 19684466965990530296*c_0101_1*c_0101_5^9 - 520876817607384318277033345281665/577823999164960558370748816287*c_\ 0101_1*c_0101_5^8 + 4634988534899382034251230863106391/462259199331\ 9684466965990530296*c_0101_1*c_0101_5^7 + 2117535169269004700672178166838047/2311295996659842233482995265148*\ c_0101_1*c_0101_5^6 - 8462194170096629867325269084620925/4622591993\ 319684466965990530296*c_0101_1*c_0101_5^5 - 114238603702359292271646142502663/4622591993319684466965990530296*c\ _0101_1*c_0101_5^4 + 5632223842402394615267695609216639/46225919933\ 19684466965990530296*c_0101_1*c_0101_5^3 - 100678196647369980796096097943124/577823999164960558370748816287*c_\ 0101_1*c_0101_5^2 - 301300270465979343737438439249147/1155647998329\ 921116741497632574*c_0101_1*c_0101_5 + 10959133474646346718560465017503/577823999164960558370748816287*c_0\ 101_1, c_0101_0 + 1559649212566994046743314787385/2311295996659842233482995265\ 148*c_0101_1*c_0101_5^20 + 1190360737528904122068628002987/57782399\ 9164960558370748816287*c_0101_1*c_0101_5^19 + 5764837725348135487516811789657/1155647998329921116741497632574*c_0\ 101_1*c_0101_5^18 + 3198677016023369873204351402230/577823999164960\ 558370748816287*c_0101_1*c_0101_5^17 - 3471701875576298299801421731167/1155647998329921116741497632574*c_0\ 101_1*c_0101_5^16 + 15736161098223822634226167346833/23112959966598\ 42233482995265148*c_0101_1*c_0101_5^15 - 59657732151258193805573393412179/2311295996659842233482995265148*c_\ 0101_1*c_0101_5^14 - 6415491394151647747412399425205/57782399916496\ 0558370748816287*c_0101_1*c_0101_5^13 + 57241347284241278311543465886577/2311295996659842233482995265148*c_\ 0101_1*c_0101_5^12 + 9396790437965035099577351709191/11556479983299\ 21116741497632574*c_0101_1*c_0101_5^11 - 219938873915103984286105240228969/1155647998329921116741497632574*c\ _0101_1*c_0101_5^10 + 266649957173675135399695766417735/23112959966\ 59842233482995265148*c_0101_1*c_0101_5^9 + 314656785356849176135043538326877/1155647998329921116741497632574*c\ _0101_1*c_0101_5^8 - 484678862827843517250209387975251/231129599665\ 9842233482995265148*c_0101_1*c_0101_5^7 - 164921342603039807158435280098505/577823999164960558370748816287*c_\ 0101_1*c_0101_5^6 + 976879894580177044479719840029145/2311295996659\ 842233482995265148*c_0101_1*c_0101_5^5 + 253868303654062366742695477011863/2311295996659842233482995265148*c\ _0101_1*c_0101_5^4 - 727526939281384927684713642201601/231129599665\ 9842233482995265148*c_0101_1*c_0101_5^3 + 2060637173232289834289505482268/577823999164960558370748816287*c_01\ 01_1*c_0101_5^2 + 79782929969026209588569670943997/1155647998329921\ 116741497632574*c_0101_1*c_0101_5 - 2054930273153985811516303530142/577823999164960558370748816287*c_01\ 01_1, c_0101_1^2 + 16901687383549706388250719411063/9245183986639368933931981\ 060592*c_0101_5^20 + 2872819228211484218642083569302/57782399916496\ 0558370748816287*c_0101_5^19 + 13214583608721311711360515552669/115\ 5647998329921116741497632574*c_0101_5^18 + 21905598802268581588115709143987/2311295996659842233482995265148*c_\ 0101_5^17 - 73834257123670684504747836274031/4622591993319684466965\ 990530296*c_0101_5^16 + 148766810282362003553907567197687/924518398\ 6639368933931981060592*c_0101_5^15 - 739177321397713379150763576650533/9245183986639368933931981060592*c\ _0101_5^14 - 51157175145394873232012272871283/462259199331968446696\ 5990530296*c_0101_5^13 + 731599024954314725755391289678197/92451839\ 86639368933931981060592*c_0101_5^12 + 59415758694973379300562490456621/4622591993319684466965990530296*c_\ 0101_5^11 - 605652427596989836504279112689989/115564799832992111674\ 1497632574*c_0101_5^10 + 4408388109321008273415075774729649/9245183\ 986639368933931981060592*c_0101_5^9 + 3190131262548609343591657692118771/4622591993319684466965990530296*\ c_0101_5^8 - 7025934131176213099044496695396323/9245183986639368933\ 931981060592*c_0101_5^7 - 798657454028394181681721379481407/1155647\ 998329921116741497632574*c_0101_5^6 + 12624936675724354275094577810339845/9245183986639368933931981060592\ *c_0101_5^5 + 443625142626871973202450361928593/9245183986639368933\ 931981060592*c_0101_5^4 - 8928504779835527863183117385255977/924518\ 3986639368933931981060592*c_0101_5^3 + 600356222814947160506925988602615/4622591993319684466965990530296*c\ _0101_5^2 + 507687813598915102366356921985265/231129599665984223348\ 2995265148*c_0101_5 - 20382652685820036199072837172717/115564799832\ 9921116741497632574, c_0101_4 - 22852110464334528518683265052/577823999164960558370748816287\ *c_0101_5^20 - 100812265749754766336192472751/577823999164960558370\ 748816287*c_0101_5^19 - 286004759163453579169211112131/577823999164\ 960558370748816287*c_0101_5^18 - 498080051937354391059950632570/577\ 823999164960558370748816287*c_0101_5^17 - 364467655763548625699434982941/577823999164960558370748816287*c_010\ 1_5^16 - 395662010591944820109891427363/577823999164960558370748816\ 287*c_0101_5^15 + 492320683020640174213508708973/577823999164960558\ 370748816287*c_0101_5^14 + 1316797467806871978123615242374/57782399\ 9164960558370748816287*c_0101_5^13 + 396594389967035081740665123091/577823999164960558370748816287*c_010\ 1_5^12 - 603701970968255559337645961470/577823999164960558370748816\ 287*c_0101_5^11 + 5719828032230835448290987961804/57782399916496055\ 8370748816287*c_0101_5^10 + 4331070248740197738497464897942/5778239\ 99164960558370748816287*c_0101_5^9 - 8570951199117065141644262195166/577823999164960558370748816287*c_01\ 01_5^8 - 5749165860773535847370261051676/57782399916496055837074881\ 6287*c_0101_5^7 + 9910887760839509069289651128239/57782399916496055\ 8370748816287*c_0101_5^6 + 47993594180595550518753151275/5778239991\ 64960558370748816287*c_0101_5^5 - 12751527383123992032207956938532/\ 577823999164960558370748816287*c_0101_5^4 - 2146998777319069539679103633760/577823999164960558370748816287*c_01\ 01_5^3 + 5582954894894506266603312695687/57782399916496055837074881\ 6287*c_0101_5^2 + 2955875941081093404744956968944/57782399916496055\ 8370748816287*c_0101_5 + 321761552648687441834199020399/57782399916\ 4960558370748816287, c_0101_5^21 + 10/3*c_0101_5^20 + 8*c_0101_5^19 + 28/3*c_0101_5^18 - 14/3*c_0101_5^17 + 5*c_0101_5^16 - 37*c_0101_5^15 - 92/3*c_0101_5^14 + 39*c_0101_5^13 + 32*c_0101_5^12 - 844/3*c_0101_5^11 + 87*c_0101_5^10 + 1556/3*c_0101_5^9 - 571/3*c_0101_5^8 - 1834/3*c_0101_5^7 + 515*c_0101_5^6 + 1363/3*c_0101_5^5 - 1495/3*c_0101_5^4 - 688/3*c_0101_5^3 + 472/3*c_0101_5^2 + 176/3*c_0101_5 - 16/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB