Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 3431813161] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0780 geometric_solution 4.72180513 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 0213 0132 0132 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 1 -1 1 0 -1 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.367219392139 1.388798422140 0 3 0 2 0132 1302 0213 1302 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 -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.822050101811 0.672994245713 4 4 1 0 0132 3201 2031 0132 0 0 0 0 0 1 0 -1 -1 0 1 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 0 -1 -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.086626532298 0.286128175239 5 5 0 1 0132 2310 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.175123234184 1.116486474746 2 4 2 4 0132 1302 2310 2031 0 0 0 0 0 1 -1 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 1 -1 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 -1.823483352832 3.375785451050 3 6 6 3 0132 0132 1023 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 -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.063739786675 0.390021051805 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.256648289876 0.993621927740 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(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_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : negation(d['c_1010_1']), 'c_1100_3' : negation(d['c_1010_1']), 'c_1100_2' : negation(d['c_1010_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_1010_1'], 'c_1010_0' : d['c_0101_2']})} 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_3, c_0101_0, c_0101_2, c_0101_6, c_1010_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 28506402076058976375354321963762569356785477132/9652968042301021872\ 27063265417391994755526653255*c_1010_1^16 + 88154731626489818668221624044489529782180267309/9652968042301021872\ 27063265417391994755526653255*c_1010_1^15 - 305563413774186729585186252116817898493351667951/965296804230102187\ 227063265417391994755526653255*c_1010_1^14 + 921946192696677879538549085622260217405014740902/965296804230102187\ 227063265417391994755526653255*c_1010_1^13 - 2098506811719550204778417811067586489073300889878/96529680423010218\ 7227063265417391994755526653255*c_1010_1^12 + 5679080841056749741490931962365367496303578564278/96529680423010218\ 7227063265417391994755526653255*c_1010_1^11 - 8882803882161634482274539907846973809679615584736/96529680423010218\ 7227063265417391994755526653255*c_1010_1^10 + 26583407397406510489017889185422604809805804230699/9652968042301021\ 87227063265417391994755526653255*c_1010_1^9 - 31001129777925171392287958063981426377780390698367/9652968042301021\ 87227063265417391994755526653255*c_1010_1^8 + 9924108394570956824608528799566864834890105247256/19305936084602043\ 7445412653083478398951105330651*c_1010_1^7 - 5963538713663045636133259376186334130691743587082/96529680423010218\ 7227063265417391994755526653255*c_1010_1^6 + 2766546871355018144357909791940439275928409315684/33286096697589730\ 594036664324737654991569884595*c_1010_1^5 - 78984804378242892950608310843003993250808276231804/9652968042301021\ 87227063265417391994755526653255*c_1010_1^4 + 13759111257663790808365118052434022165560072885974/9652968042301021\ 87227063265417391994755526653255*c_1010_1^3 + 30168014709268326611288994615635904013092809570369/1930593608460204\ 37445412653083478398951105330651*c_1010_1^2 - 72395268226703219086512722934587976695542469034326/9652968042301021\ 87227063265417391994755526653255*c_1010_1 - 25075841245110109210939660407506806334964127059364/9652968042301021\ 87227063265417391994755526653255, c_0011_0 - 1, c_0011_2 - 110809433369127185231118209899946208389968/16237120340287673\ 4605056899145061731666194559*c_1010_1^16 + 382573224466157246697405167616405235093456/162371203402876734605056\ 899145061731666194559*c_1010_1^15 - 1281555128453119408139907748391864824526151/16237120340287673460505\ 6899145061731666194559*c_1010_1^14 + 3931038629113441309875157582788796156164938/16237120340287673460505\ 6899145061731666194559*c_1010_1^13 - 9199298901055091013598225381276293985253193/16237120340287673460505\ 6899145061731666194559*c_1010_1^12 + 24211710675055318500352221922776795220007923/1623712034028767346050\ 56899145061731666194559*c_1010_1^11 - 40946886931928439457945346725507163635482433/1623712034028767346050\ 56899145061731666194559*c_1010_1^10 + 111381214258002139934150128202842890350041493/162371203402876734605\ 056899145061731666194559*c_1010_1^9 - 152043530769899393855121190261824991246321315/162371203402876734605\ 056899145061731666194559*c_1010_1^8 + 217468207269936391873075805709542713589353928/162371203402876734605\ 056899145061731666194559*c_1010_1^7 - 74896878664274617273867525648930756225401306/1623712034028767346050\ 56899145061731666194559*c_1010_1^6 + 313330412475705450163425768475684757077801670/162371203402876734605\ 056899145061731666194559*c_1010_1^5 - 435878554160538795552655906114846204365450689/162371203402876734605\ 056899145061731666194559*c_1010_1^4 + 152155498080730895459313430622790827047798343/162371203402876734605\ 056899145061731666194559*c_1010_1^3 + 629274254737740664975734313151494635477984315/162371203402876734605\ 056899145061731666194559*c_1010_1^2 - 289751743572743170676975949573830991693067366/162371203402876734605\ 056899145061731666194559*c_1010_1 - 150915544041084602333348733451074119700287343/162371203402876734605\ 056899145061731666194559, c_0011_3 + 121066761805231518367149312532809509522304/16237120340287673\ 4605056899145061731666194559*c_1010_1^16 - 388546019649277814731836969591229931992640/162371203402876734605056\ 899145061731666194559*c_1010_1^15 + 1311128857056121268707151484929111859101420/16237120340287673460505\ 6899145061731666194559*c_1010_1^14 - 3945846466121333691938843776802079286202623/16237120340287673460505\ 6899145061731666194559*c_1010_1^13 + 8960534307943766252700307309987659437020874/16237120340287673460505\ 6899145061731666194559*c_1010_1^12 - 23925576510565565771428243679466111556512845/1623712034028767346050\ 56899145061731666194559*c_1010_1^11 + 37509658328256405544902223138794300781528403/1623712034028767346050\ 56899145061731666194559*c_1010_1^10 - 109576877053646276102824856560754345537907190/162371203402876734605\ 056899145061731666194559*c_1010_1^9 + 131000133278471362144988525812651609731566517/162371203402876734605\ 056899145061731666194559*c_1010_1^8 - 191243623751374395389241102729268997336165384/162371203402876734605\ 056899145061731666194559*c_1010_1^7 - 3122360761480723936775022966928939253482211/16237120340287673460505\ 6899145061731666194559*c_1010_1^6 - 269018776666468865307242167945188116713845268/162371203402876734605\ 056899145061731666194559*c_1010_1^5 + 346735930242237347290946566908935131478406572/162371203402876734605\ 056899145061731666194559*c_1010_1^4 - 26507802167072892988764293464077453505511797/1623712034028767346050\ 56899145061731666194559*c_1010_1^3 - 767329190704182212740563612644707935386715605/162371203402876734605\ 056899145061731666194559*c_1010_1^2 + 454769714239619905213494902338006758987763993/162371203402876734605\ 056899145061731666194559*c_1010_1 + 279173898979004370528018311944312885157634553/162371203402876734605\ 056899145061731666194559, c_0101_0 + 79380523097233875094490297149959456199816/162371203402876734\ 605056899145061731666194559*c_1010_1^16 - 178391162250497040001858622677818433409702/162371203402876734605056\ 899145061731666194559*c_1010_1^15 + 654399201522491564295262546130775869780700/162371203402876734605056\ 899145061731666194559*c_1010_1^14 - 1862385654527213856398890165803846740052151/16237120340287673460505\ 6899145061731666194559*c_1010_1^13 + 3690418979334703830968070323489022970452767/16237120340287673460505\ 6899145061731666194559*c_1010_1^12 - 10913044346379784598052173334625398525105036/1623712034028767346050\ 56899145061731666194559*c_1010_1^11 + 11158050084828983907446134293799722880697643/1623712034028767346050\ 56899145061731666194559*c_1010_1^10 - 52701169290492437202203687767763000617649399/1623712034028767346050\ 56899145061731666194559*c_1010_1^9 + 20837357454848732284785512376469269075829529/1623712034028767346050\ 56899145061731666194559*c_1010_1^8 - 62981476277380146492917050486021024209922443/1623712034028767346050\ 56899145061731666194559*c_1010_1^7 - 115984193021065533855024939539041511454295543/162371203402876734605\ 056899145061731666194559*c_1010_1^6 - 175130521621480759815899415580849901759487562/162371203402876734605\ 056899145061731666194559*c_1010_1^5 - 18214175494747742294020357655816723345752624/1623712034028767346050\ 56899145061731666194559*c_1010_1^4 + 169029448484476030676331029208337751538401216/162371203402876734605\ 056899145061731666194559*c_1010_1^3 - 425039242358379583588940101064552798786846445/162371203402876734605\ 056899145061731666194559*c_1010_1^2 + 11190062834308343311933071381887392466483699/1623712034028767346050\ 56899145061731666194559*c_1010_1 + 188846339911230714454201712008993901261017278/162371203402876734605\ 056899145061731666194559, c_0101_2 + 116608567915718181439656457327465354524012/16237120340287673\ 4605056899145061731666194559*c_1010_1^16 - 344585654819618834067082655568170887492669/162371203402876734605056\ 899145061731666194559*c_1010_1^15 + 1176553436599005727795816804289704536065253/16237120340287673460505\ 6899145061731666194559*c_1010_1^14 - 3556844951132799462641677538884686125894990/16237120340287673460505\ 6899145061731666194559*c_1010_1^13 + 7887311354212124271424566123364666596562875/16237120340287673460505\ 6899145061731666194559*c_1010_1^12 - 21541687340833176439776794498464534792811137/1623712034028767346050\ 56899145061731666194559*c_1010_1^11 + 32168165041045209326822024157707933789995858/1623712034028767346050\ 56899145061731666194559*c_1010_1^10 - 100578375702812577481178792868032188425449496/162371203402876734605\ 056899145061731666194559*c_1010_1^9 + 108758617415388594130449728284229727861365823/162371203402876734605\ 056899145061731666194559*c_1010_1^8 - 168684039072206403464711068931833717964738529/162371203402876734605\ 056899145061731666194559*c_1010_1^7 - 8562384295151370110772715671789603530870762/16237120340287673460505\ 6899145061731666194559*c_1010_1^6 - 296185469111853588259089874315144638015681023/162371203402876734605\ 056899145061731666194559*c_1010_1^5 + 296061356960189009379004544387586976365632360/162371203402876734605\ 056899145061731666194559*c_1010_1^4 + 89978071367380536258409046147761352809207815/1623712034028767346050\ 56899145061731666194559*c_1010_1^3 - 621509483356693431173837545798885211159027287/162371203402876734605\ 056899145061731666194559*c_1010_1^2 + 280971176304976349722597285800943751368678458/162371203402876734605\ 056899145061731666194559*c_1010_1 + 218618729617248215220148906690400040658542082/162371203402876734605\ 056899145061731666194559, c_0101_6 + 21854712187127639029690604431320318647064/162371203402876734\ 605056899145061731666194559*c_1010_1^16 - 50382495434351733806382847378945336684234/1623712034028767346050568\ 99145061731666194559*c_1010_1^15 + 173207801970285676600411418261255355620822/162371203402876734605056\ 899145061731666194559*c_1010_1^14 - 516169833020561082853107249312905167230483/162371203402876734605056\ 899145061731666194559*c_1010_1^13 + 989625994718338146379611984179008659204534/162371203402876734605056\ 899145061731666194559*c_1010_1^12 - 2898519935953209617543455268915199561349008/16237120340287673460505\ 6899145061731666194559*c_1010_1^11 + 3064814115058369020229272798132581944293046/16237120340287673460505\ 6899145061731666194559*c_1010_1^10 - 13832408467934579226231070833694104516464633/1623712034028767346050\ 56899145061731666194559*c_1010_1^9 + 6619316596065703333242860181950480539833838/16237120340287673460505\ 6899145061731666194559*c_1010_1^8 - 12503429147951348851275045467363391838090498/1623712034028767346050\ 56899145061731666194559*c_1010_1^7 - 25152840438095810838128007056598126250734250/1623712034028767346050\ 56899145061731666194559*c_1010_1^6 - 41417902441532592202702504378799861784320094/1623712034028767346050\ 56899145061731666194559*c_1010_1^5 + 12210814011712510579153770273222902841030915/1623712034028767346050\ 56899145061731666194559*c_1010_1^4 + 68462162454734384704129782953549678318389538/1623712034028767346050\ 56899145061731666194559*c_1010_1^3 - 28735970331844799385053373395834386725849991/1623712034028767346050\ 56899145061731666194559*c_1010_1^2 - 17978665003182116076280654602238241419010537/1623712034028767346050\ 56899145061731666194559*c_1010_1 - 90665142116817033350050149246018658515556907/1623712034028767346050\ 56899145061731666194559, c_1010_1^17 - 11/4*c_1010_1^16 + 19/2*c_1010_1^15 - 113/4*c_1010_1^14 + 61*c_1010_1^13 - 339/2*c_1010_1^12 + 467/2*c_1010_1^11 - 798*c_1010_1^10 + 730*c_1010_1^9 - 4933/4*c_1010_1^8 - 2011/4*c_1010_1^7 - 10005/4*c_1010_1^6 + 1873*c_1010_1^5 + 3921/4*c_1010_1^4 - 22589/4*c_1010_1^3 + 1571/2*c_1010_1^2 + 10449/4*c_1010_1 + 1189/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB