Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 1031578100] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1575 geometric_solution 5.35666317 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 0 -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 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 1.200231378448 1.163592545814 0 3 2 4 0132 0132 0132 0132 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 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.063395240743 0.902261599296 3 0 4 1 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.063395240743 0.902261599296 5 1 5 2 0132 0132 2310 2310 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 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.679562987380 0.967664863502 2 6 1 6 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392690528265 1.593553790790 3 3 5 5 0132 3201 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 1 0 -1 0 0 1 -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.497355156027 0.161679420007 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427372962461 0.152586253088 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(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' : negation(d['1']), 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_1']), '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_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0101_1']), '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_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 36625355204062616708325447800717134999/1376319340923839165828904141\ 4849090717*c_0110_6^22 + 507614565387668839188343578801406056949/55\ 052773636953566633156165659396362868*c_0110_6^21 + 6989002243570978340308582250495163967323/22021109454781426653262466\ 2637585451472*c_0110_6^20 - 117766830753350045983149806921974528070\ 87/110105547273907133266312331318792725736*c_0110_6^19 - 40548201011954400983303305607651736864625/2202110945478142665326246\ 62637585451472*c_0110_6^18 + 53607643672544882625908798572175808661\ 661/110105547273907133266312331318792725736*c_0110_6^17 + 145111545219960988445761336677663603923223/220211094547814266532624\ 662637585451472*c_0110_6^16 - 2386144627561755560489424040057437353\ 89293/220211094547814266532624662637585451472*c_0110_6^15 - 306186277090786033655763265162660723232907/220211094547814266532624\ 662637585451472*c_0110_6^14 + 6734292790757236593441957007083770703\ 9865/55052773636953566633156165659396362868*c_0110_6^13 + 382220541063728379933501002118544917195175/220211094547814266532624\ 662637585451472*c_0110_6^12 - 3002820283441551628762359948594139171\ 9343/55052773636953566633156165659396362868*c_0110_6^11 - 340142222909856694077468486025741658952037/220211094547814266532624\ 662637585451472*c_0110_6^10 - 2624141662775722189012294577013488526\ 9467/220211094547814266532624662637585451472*c_0110_6^9 + 144726100726328829415902630558577456430901/110105547273907133266312\ 331318792725736*c_0110_6^8 + 89324537631174371969566223337689162036\ 01/110105547273907133266312331318792725736*c_0110_6^7 - 178049439789923813972763407798239994975433/220211094547814266532624\ 662637585451472*c_0110_6^6 + 21560114768248260356201295248113999792\ 981/220211094547814266532624662637585451472*c_0110_6^5 + 31389216478588018168438785216696279876983/2202110945478142665326246\ 62637585451472*c_0110_6^4 - 385690957754216454035762815329501989825\ 5/220211094547814266532624662637585451472*c_0110_6^3 + 10217602255753129598056371492358259900617/2202110945478142665326246\ 62637585451472*c_0110_6^2 - 422587109039546987408685272602461615763\ /27526386818476783316578082829698181434*c_0110_6 - 879940628272265570586937273049197740827/110105547273907133266312331\ 318792725736, c_0011_0 - 1, c_0011_4 - 582015484018147453096519307607471880/72437860048623113990994\ 9548149952143*c_0110_6^22 + 333908847129953873033922787368977118/72\ 4378600486231139909949548149952143*c_0110_6^21 + 17525014589852524287228187667992939785/1448757200972462279819899096\ 299904286*c_0110_6^20 - 349974423920376440151793770389325429/144875\ 7200972462279819899096299904286*c_0110_6^19 - 102520481110565970637289993264416031489/144875720097246227981989909\ 6299904286*c_0110_6^18 - 41033636746307939231577411349009949447/144\ 8757200972462279819899096299904286*c_0110_6^17 + 283091627939319208036143609088147930017/144875720097246227981989909\ 6299904286*c_0110_6^16 + 94045081711757730309184405404676377661/724\ 378600486231139909949548149952143*c_0110_6^15 - 198651961670758390319193914265457464040/724378600486231139909949548\ 149952143*c_0110_6^14 - 348272918181200382735315872867900100721/144\ 8757200972462279819899096299904286*c_0110_6^13 + 277525056004312733333322635309805063059/144875720097246227981989909\ 6299904286*c_0110_6^12 + 357916163369564094181403149825802867979/14\ 48757200972462279819899096299904286*c_0110_6^11 - 92234791845595146931955406392043866957/1448757200972462279819899096\ 299904286*c_0110_6^10 - 149887368361167812086202786286201843433/724\ 378600486231139909949548149952143*c_0110_6^9 + 41428527112648570264147821185676548423/1448757200972462279819899096\ 299904286*c_0110_6^8 + 111763621984838709820720367356493214628/7243\ 78600486231139909949548149952143*c_0110_6^7 - 45944837762385405758508321740445428377/1448757200972462279819899096\ 299904286*c_0110_6^6 - 36223866693300196723695126832997479522/72437\ 8600486231139909949548149952143*c_0110_6^5 + 12206164358406526050220517952778453866/7243786004862311399099495481\ 49952143*c_0110_6^4 - 4592825115434552728518422623256866370/7243786\ 00486231139909949548149952143*c_0110_6^3 - 1120559651546969762904749346224393231/72437860048623113990994954814\ 9952143*c_0110_6^2 + 1514152027829249834681848880863638171/14487572\ 00972462279819899096299904286*c_0110_6 - 781611590691029222840433228015913044/724378600486231139909949548149\ 952143, c_0101_0 - 117711697521431694611374525331530080/72437860048623113990994\ 9548149952143*c_0110_6^22 + 328377791439037772559176952630275064/72\ 4378600486231139909949548149952143*c_0110_6^21 + 1580594823097080785160233459937924746/72437860048623113990994954814\ 9952143*c_0110_6^20 - 3641694410763268042550656275986486575/7243786\ 00486231139909949548149952143*c_0110_6^19 - 10012838587367887229553921111947601298/7243786004862311399099495481\ 49952143*c_0110_6^18 + 14903300345939411148602918484021453765/72437\ 8600486231139909949548149952143*c_0110_6^17 + 36328132700315699050111607269328164099/7243786004862311399099495481\ 49952143*c_0110_6^16 - 25575907361063623979715886000177794706/72437\ 8600486231139909949548149952143*c_0110_6^15 - 72855480770226952548907004669030168350/7243786004862311399099495481\ 49952143*c_0110_6^14 + 11272347373684324677042316177375755041/72437\ 8600486231139909949548149952143*c_0110_6^13 + 78408140781535965796947439456431130917/7243786004862311399099495481\ 49952143*c_0110_6^12 + 20994346387496631522049584866680601355/72437\ 8600486231139909949548149952143*c_0110_6^11 - 49935472436292268114172248652580888814/7243786004862311399099495481\ 49952143*c_0110_6^10 - 32986748028533100850104510340342787640/72437\ 8600486231139909949548149952143*c_0110_6^9 + 32481009630472662308740773339044927501/7243786004862311399099495481\ 49952143*c_0110_6^8 + 20583156327262582785236067264351260217/724378\ 600486231139909949548149952143*c_0110_6^7 - 19987765552221200984522624506895671902/7243786004862311399099495481\ 49952143*c_0110_6^6 - 4468745701311855747597373628291435965/7243786\ 00486231139909949548149952143*c_0110_6^5 + 419398978843487234911556579397643093/724378600486231139909949548149\ 952143*c_0110_6^4 - 2839979091590362982888753501885938113/724378600\ 486231139909949548149952143*c_0110_6^3 + 2844624293068808273057067421744500002/72437860048623113990994954814\ 9952143*c_0110_6^2 + 1250547246846957065032433143693177362/72437860\ 0486231139909949548149952143*c_0110_6 + 221686853465083619448599141992590232/724378600486231139909949548149\ 952143, c_0101_1 + 352696190021149734755427826708059488/72437860048623113990994\ 9548149952143*c_0110_6^22 - 442163787113558716647795544130830504/72\ 4378600486231139909949548149952143*c_0110_6^21 - 5127068613242704002403780664879010630/72437860048623113990994954814\ 9952143*c_0110_6^20 + 3291800739812943447959071102812454430/7243786\ 00486231139909949548149952143*c_0110_6^19 + 30838336176406497229540248804154527652/7243786004862311399099495481\ 49952143*c_0110_6^18 - 3383811754247479369572860113740211542/724378\ 600486231139909949548149952143*c_0110_6^17 - 93926928113176749701652460867854476658/7243786004862311399099495481\ 49952143*c_0110_6^16 - 25329169261435928038709922344239864996/72437\ 8600486231139909949548149952143*c_0110_6^15 + 152403824129596877417197042175338980640/724378600486231139909949548\ 149952143*c_0110_6^14 + 88872574561844858245134581165043891699/7243\ 78600486231139909949548149952143*c_0110_6^13 - 126509180649683200804109352547618781855/724378600486231139909949548\ 149952143*c_0110_6^12 - 131873871905904270854880211195262143303/724\ 378600486231139909949548149952143*c_0110_6^11 + 48759165589655423528155780564610519691/7243786004862311399099495481\ 49952143*c_0110_6^10 + 119325384423895757285797404082392827918/7243\ 78600486231139909949548149952143*c_0110_6^9 - 15747323532017489797364408663397651973/7243786004862311399099495481\ 49952143*c_0110_6^8 - 77352468675633427141001560680466891063/724378\ 600486231139909949548149952143*c_0110_6^7 + 9045056191197018639301162961943082627/72437860048623113990994954814\ 9952143*c_0110_6^6 + 29679572913905130000382951934434671334/7243786\ 00486231139909949548149952143*c_0110_6^5 + 4586725043203024719496976602554189233/72437860048623113990994954814\ 9952143*c_0110_6^4 - 1334920848552624265292490767530091638/72437860\ 0486231139909949548149952143*c_0110_6^3 - 3501800946664027053861570496983050324/72437860048623113990994954814\ 9952143*c_0110_6^2 - 1300818157058842727830204367267446952/72437860\ 0486231139909949548149952143*c_0110_6 - 795570108029791513305969804617984911/724378600486231139909949548149\ 952143, c_0101_2 - 596777661991949359756059661373274328/72437860048623113990994\ 9548149952143*c_0110_6^22 + 578098986163215208400116028761762490/72\ 4378600486231139909949548149952143*c_0110_6^21 + 17337597556338045819605170668375072635/1448757200972462279819899096\ 299904286*c_0110_6^20 - 6411048784543114261661988478630759393/14487\ 57200972462279819899096299904286*c_0110_6^19 - 100808208554353298785702367045253832971/144875720097246227981989909\ 6299904286*c_0110_6^18 - 11552011834748005530655714350620825533/144\ 8757200972462279819899096299904286*c_0110_6^17 + 285015834572367997867975828162495739033/144875720097246227981989909\ 6299904286*c_0110_6^16 + 61394645937061065047544678547613809366/724\ 378600486231139909949548149952143*c_0110_6^15 - 208595332649187143192878473848727307328/724378600486231139909949548\ 149952143*c_0110_6^14 - 284290491420677411360288848824440688699/144\ 8757200972462279819899096299904286*c_0110_6^13 + 308711018276855130343847829271349773465/144875720097246227981989909\ 6299904286*c_0110_6^12 + 338731651997653922604497659108735502217/14\ 48757200972462279819899096299904286*c_0110_6^11 - 119652704614610167572661513271307910225/144875720097246227981989909\ 6299904286*c_0110_6^10 - 146426547925474011703518522714230461099/72\ 4378600486231139909949548149952143*c_0110_6^9 + 65361165631024611997236873932860495441/1448757200972462279819899096\ 299904286*c_0110_6^8 + 100945657779930687312627778601500586523/7243\ 78600486231139909949548149952143*c_0110_6^7 - 46082679339532388648986986861713517655/1448757200972462279819899096\ 299904286*c_0110_6^6 - 32599790148570744053607627056002668384/72437\ 8600486231139909949548149952143*c_0110_6^5 + 5343953433224804873753457169739489382/72437860048623113990994954814\ 9952143*c_0110_6^4 - 2934999603373793739592087502198326779/72437860\ 0486231139909949548149952143*c_0110_6^3 - 1014665091249526323008191225057811141/72437860048623113990994954814\ 9952143*c_0110_6^2 + 1721724015410947480886104458329438759/14487572\ 00972462279819899096299904286*c_0110_6 - 601637255889500002997140578768079900/724378600486231139909949548149\ 952143, c_0101_3 + 46682452201354148209661235082455684/724378600486231139909949\ 548149952143*c_0110_6^22 + 43537196446479473209431188908624181/7243\ 78600486231139909949548149952143*c_0110_6^21 - 2095370127089398262689697199966600981/28975144019449245596397981925\ 99808572*c_0110_6^20 - 1300821029253364803972787268800271542/724378\ 600486231139909949548149952143*c_0110_6^19 + 4005641181457219771947415973760510761/28975144019449245596397981925\ 99808572*c_0110_6^18 + 9621940878654648830496398419204358959/724378\ 600486231139909949548149952143*c_0110_6^17 + 36906611237254319547882665922145215169/2897514401944924559639798192\ 599808572*c_0110_6^16 - 103287328782184066332026812442495862939/289\ 7514401944924559639798192599808572*c_0110_6^15 - 187929133501197945452560123610551978859/289751440194492455963979819\ 2599808572*c_0110_6^14 + 23863243483949538235844601455012435787/724\ 378600486231139909949548149952143*c_0110_6^13 + 346031081326899415195422902431335424177/289751440194492455963979819\ 2599808572*c_0110_6^12 + 21312355626324167143846911897363178309/144\ 8757200972462279819899096299904286*c_0110_6^11 - 301016557668240576638903402410460021131/289751440194492455963979819\ 2599808572*c_0110_6^10 - 155369397552380522542423513737976934501/28\ 97514401944924559639798192599808572*c_0110_6^9 + 77628956181593811183081897930878751035/1448757200972462279819899096\ 299904286*c_0110_6^8 + 39489187196693222382360913236872476997/72437\ 8600486231139909949548149952143*c_0110_6^7 - 101749465424429109502319128827476757261/289751440194492455963979819\ 2599808572*c_0110_6^6 - 105337570608729343393840751865796285293/289\ 7514401944924559639798192599808572*c_0110_6^5 + 46533710311906492549407235120650953103/2897514401944924559639798192\ 599808572*c_0110_6^4 + 27690867922800911119353394616593912541/28975\ 14401944924559639798192599808572*c_0110_6^3 + 9319540535128634801495481348770552845/28975144019449245596397981925\ 99808572*c_0110_6^2 + 1635055283898356303488695849152613992/7243786\ 00486231139909949548149952143*c_0110_6 - 578983792537500093057884130220557381/724378600486231139909949548149\ 952143, c_0110_6^23 - 3/4*c_0110_6^22 - 237/16*c_0110_6^21 + 19/8*c_0110_6^20 + 1385/16*c_0110_6^19 + 211/8*c_0110_6^18 - 3867/16*c_0110_6^17 - 2385/16*c_0110_6^16 + 5455/16*c_0110_6^15 + 2455/8*c_0110_6^14 - 3579/16*c_0110_6^13 - 677/2*c_0110_6^12 + 665/16*c_0110_6^11 + 4301/16*c_0110_6^10 + 13/4*c_0110_6^9 - 711/4*c_0110_6^8 + 107/16*c_0110_6^7 + 873/16*c_0110_6^6 + 45/16*c_0110_6^5 + 191/16*c_0110_6^4 - 41/16*c_0110_6^3 - 35/8*c_0110_6^2 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB