Magma V2.19-8 Tue Aug 20 2013 16:18:15 on localhost [Seed = 930523660] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2464 geometric_solution 5.80346291 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0.469369291861 0.243390036721 2 0 3 0 0132 2310 0132 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 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.851590817257 0.627271056335 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.971284236902 1.043545376606 5 2 4 1 1023 1230 0132 0132 0 0 0 0 0 0 -1 1 -1 0 1 0 1 -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 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.971284236902 1.043545376606 6 2 6 3 0132 0132 1023 0132 0 0 0 0 0 0 -1 1 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 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.756214432630 1.037626082663 5 3 2 5 3201 1023 0132 2310 0 0 0 0 0 1 0 -1 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 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.635233675119 0.757969954646 4 6 4 6 0132 1302 1023 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.491059450507 0.174015966131 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_0011_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 30207518762986408061091365311582509218093304819/1539364074082519098\ 23579989259249086179853840*c_0101_4^35 - 677327111804895175404616191976707109491095274671/769682037041259549\ 11789994629624543089926920*c_0101_4^33 + 5943814989376626330052350856958932501057929920443/38484101852062977\ 455894997314812271544963460*c_0101_4^31 - 54122554090808993584645709770712074685495937981747/3848410185206297\ 7455894997314812271544963460*c_0101_4^29 + 1142866544023866040837618958296292141211319663330413/15393640740825\ 1909823579989259249086179853840*c_0101_4^27 - 1887425317271029705114245388239993175529443997718303/76968203704125\ 954911789994629624543089926920*c_0101_4^25 + 4247817480816490668789464583903141911156261516282001/76968203704125\ 954911789994629624543089926920*c_0101_4^23 - 12906815478726739926026136059958192981425401230087751/1539364074082\ 51909823579989259249086179853840*c_0101_4^21 + 670816007296563192675816717703051213483032302227449/769682037041259\ 5491178999462962454308992692*c_0101_4^19 - 1083789601742672250842007025138925142657446540543121/19242050926031\ 488727947498657406135772481730*c_0101_4^17 + 937127249469141687651384231534349861458385921071281/384841018520629\ 77455894997314812271544963460*c_0101_4^15 - 517275165521612654898723477116801078145975676745473/384841018520629\ 77455894997314812271544963460*c_0101_4^13 + 1164836342802397745058028079950381213670006859497181/15393640740825\ 1909823579989259249086179853840*c_0101_4^11 - 322686545504405902012212404201317248582645996860207/153936407408251\ 909823579989259249086179853840*c_0101_4^9 + 62760452065637724474857886564862371457142184345197/1539364074082519\ 09823579989259249086179853840*c_0101_4^7 - 23903203868982029471623328494313731450189346069343/1539364074082519\ 09823579989259249086179853840*c_0101_4^5 + 559270035957984787648155857439915961582578753383/153936407408251909\ 82357998925924908617985384*c_0101_4^3 - 455176964109197255122062056901279280563876674217/153936407408251909\ 823579989259249086179853840*c_0101_4, c_0011_0 - 1, c_0011_1 - 11840828626110030139871336535129573837710007/384841018520629\ 77455894997314812271544963460*c_0101_4^34 + 264466341978320519893798780179295940011817843/192420509260314887279\ 47498657406135772481730*c_0101_4^32 - 2306803962189403610078422247164544516731582184/96210254630157443639\ 73749328703067886240865*c_0101_4^30 + 20813493433913386832967524244271204453743710271/9621025463015744363\ 973749328703067886240865*c_0101_4^28 - 433534278150084771503228935711767302331916179929/384841018520629774\ 55894997314812271544963460*c_0101_4^26 + 702387682416364486123985939666291141467553716029/192420509260314887\ 27947498657406135772481730*c_0101_4^24 - 1544482350605735230591746305467182963139890066813/19242050926031488\ 727947498657406135772481730*c_0101_4^22 + 4532780432343045967686616817280563390573303010363/38484101852062977\ 455894997314812271544963460*c_0101_4^20 - 224728490241863466102873224136497398751317773109/192420509260314887\ 2794749865740613577248173*c_0101_4^18 + 662616775019321338429945025409392953085545938206/962102546301574436\ 3973749328703067886240865*c_0101_4^16 - 259662971097761336284521594237771747335611516048/962102546301574436\ 3973749328703067886240865*c_0101_4^14 + 160925685669723393543536600047819466144894974569/962102546301574436\ 3973749328703067886240865*c_0101_4^12 - 348205047932272451850784072583512058840291187593/384841018520629774\ 55894997314812271544963460*c_0101_4^10 + 70807366550175491771643339163607276791120414951/3848410185206297745\ 5894997314812271544963460*c_0101_4^8 - 14669138202610366127982747016309739679183794821/3848410185206297745\ 5894997314812271544963460*c_0101_4^6 + 6795489327117888723847619047009643316232807659/38484101852062977455\ 894997314812271544963460*c_0101_4^4 - 113225738817159967248483942136217501907338349/384841018520629774558\ 9499731481227154496346*c_0101_4^2 + 58680258209444972493293380556583181447712401/3848410185206297745589\ 4997314812271544963460, c_0011_3 + 4411816064414223225570937047978440327423497/1924205092603148\ 8727947498657406135772481730*c_0101_4^35 - 99434144158355830417470418832276377580768438/9621025463015744363973\ 749328703067886240865*c_0101_4^33 + 1758853763405059271243077004640735344147344853/96210254630157443639\ 73749328703067886240865*c_0101_4^31 - 16200934303846951450407669510494065126248696897/9621025463015744363\ 973749328703067886240865*c_0101_4^29 + 173885469089377786144326482099027209129471108159/192420509260314887\ 27947498657406135772481730*c_0101_4^27 - 293423059826329635819367912013495137996997280504/962102546301574436\ 3973749328703067886240865*c_0101_4^25 + 676239452906329157761716224128173308471360652183/962102546301574436\ 3973749328703067886240865*c_0101_4^23 - 2121693721645276627257866793302849463150410255713/19242050926031488\ 727947498657406135772481730*c_0101_4^21 + 228721017775508106236487506089429553743292937675/192420509260314887\ 2794749865740613577248173*c_0101_4^19 - 782988970206280278083680060672116993641955187762/962102546301574436\ 3973749328703067886240865*c_0101_4^17 + 347382134429270156656783908427857466141258037291/962102546301574436\ 3973749328703067886240865*c_0101_4^15 - 175331961845924700780452236066866778098868379213/962102546301574436\ 3973749328703067886240865*c_0101_4^13 + 211424030778333760682643255576215830205376792383/192420509260314887\ 27947498657406135772481730*c_0101_4^11 - 65972929548774403224945400708731446939605401391/1924205092603148872\ 7947498657406135772481730*c_0101_4^9 + 10012401677870359476775196117178183563346344281/1924205092603148872\ 7947498657406135772481730*c_0101_4^7 - 4199235286094325700785863343702587935522410689/19242050926031488727\ 947498657406135772481730*c_0101_4^5 + 124248058417461013722053646512430214296372573/192420509260314887279\ 4749865740613577248173*c_0101_4^3 - 84444251719067090164061661681889637379723771/1924205092603148872794\ 7498657406135772481730*c_0101_4, c_0101_0 + 30550180003491399274834489978823035746311699/384841018520629\ 77455894997314812271544963460*c_0101_4^35 - 341135141212945437461142797590833837142899493/962102546301574436397\ 3749328703067886240865*c_0101_4^33 + 11900089451264980301866891643363648735777797151/1924205092603148872\ 7947498657406135772481730*c_0101_4^31 - 107338290106658126937039055922962659104478347629/192420509260314887\ 27947498657406135772481730*c_0101_4^29 + 1117318679525532198016630867331879497803181316783/38484101852062977\ 455894997314812271544963460*c_0101_4^27 - 1808595008406030472869638799760121885391616807303/19242050926031488\ 727947498657406135772481730*c_0101_4^25 + 3971319326008108911850446329611502634305590526591/19242050926031488\ 727947498657406135772481730*c_0101_4^23 - 11625788223837934565283658181627828866515561814291/3848410185206297\ 7455894997314812271544963460*c_0101_4^21 + 1147458963638965757935142652189718694355230350825/38484101852062977\ 45589499731481227154496346*c_0101_4^19 - 3346197430772329505116518493711568887765549352099/19242050926031488\ 727947498657406135772481730*c_0101_4^17 + 1283038971715007649673501441266542498517378548857/19242050926031488\ 727947498657406135772481730*c_0101_4^15 - 805250343605394250156684277802405393661381928411/192420509260314887\ 27947498657406135772481730*c_0101_4^13 + 879508463233317376298939881229212831889801848951/384841018520629774\ 55894997314812271544963460*c_0101_4^11 - 165822004017401289456595406516082186441322520507/384841018520629774\ 55894997314812271544963460*c_0101_4^9 + 30889256089093369441401008590203532745708010847/3848410185206297745\ 5894997314812271544963460*c_0101_4^7 - 17455479030210865517562920537318861740072802843/3848410185206297745\ 5894997314812271544963460*c_0101_4^5 + 121632926043756157143314567564741271845395040/192420509260314887279\ 4749865740613577248173*c_0101_4^3 + 47426182284556099758939505950072298285018593/3848410185206297745589\ 4997314812271544963460*c_0101_4, c_0101_1 - 1236999473947433580940324854093823104497531/3848410185206297\ 7455894997314812271544963460*c_0101_4^34 + 27223291956470482380851155318600491935162639/1924205092603148872794\ 7498657406135772481730*c_0101_4^32 - 231999589550700797366795533685634354175261117/962102546301574436397\ 3749328703067886240865*c_0101_4^30 + 2019193587936270442395891904773684566353798738/96210254630157443639\ 73749328703067886240865*c_0101_4^28 - 39781533721224095790219955319229820646621010037/3848410185206297745\ 5894997314812271544963460*c_0101_4^26 + 59387846320503454342671495138778028458563215517/1924205092603148872\ 7947498657406135772481730*c_0101_4^24 - 117640492279729707674696480776369199993332668299/192420509260314887\ 27947498657406135772481730*c_0101_4^22 + 290024771902695290034803256449619614674696403739/384841018520629774\ 55894997314812271544963460*c_0101_4^20 - 10991431967206580739405367752809918030631561948/1924205092603148872\ 794749865740613577248173*c_0101_4^18 + 14097853966678455326876289801818208109926683573/9621025463015744363\ 973749328703067886240865*c_0101_4^16 - 2957100940871614762824955972825524719511925914/96210254630157443639\ 73749328703067886240865*c_0101_4^14 + 11072089296678171098421220422827816184593127447/9621025463015744363\ 973749328703067886240865*c_0101_4^12 - 11256421577246859884245622569368862756699331649/3848410185206297745\ 5894997314812271544963460*c_0101_4^10 - 4659097140558596202458776899721784775950335357/38484101852062977455\ 894997314812271544963460*c_0101_4^8 - 2198707808669266514150149432935264075865497313/38484101852062977455\ 894997314812271544963460*c_0101_4^6 + 704624300309807340458738545641176064140965307/384841018520629774558\ 94997314812271544963460*c_0101_4^4 + 13599713158302991742345451616962491787608081/3848410185206297745589\ 499731481227154496346*c_0101_4^2 + 1487704376941250512819227800001590158002873/38484101852062977455894\ 997314812271544963460, c_0101_3 - 2596008128419397673609944581748071458556862/9621025463015744\ 363973749328703067886240865*c_0101_4^34 + 116083117563551134677178842404263562922385676/962102546301574436397\ 3749328703067886240865*c_0101_4^32 - 2028299863384101242090723982052369905871970611/96210254630157443639\ 73749328703067886240865*c_0101_4^30 + 18345283061399419340657432829089272450336734589/9621025463015744363\ 973749328703067886240865*c_0101_4^28 - 95882653736173770855698289908954982567058141109/9621025463015744363\ 973749328703067886240865*c_0101_4^26 + 312316433891349222478904806735624182094447343243/962102546301574436\ 3973749328703067886240865*c_0101_4^24 - 691192021523303728403644857283819796019826931431/962102546301574436\ 3973749328703067886240865*c_0101_4^22 + 1024198526953276557646990083566061017192712404718/96210254630157443\ 63973749328703067886240865*c_0101_4^20 - 205862950676737155448186540482818129124136117991/192420509260314887\ 2794749865740613577248173*c_0101_4^18 + 623292311056360105997802549573469672279247944024/962102546301574436\ 3973749328703067886240865*c_0101_4^16 - 250884393428593708517177187609406568135390072362/962102546301574436\ 3973749328703067886240865*c_0101_4^14 + 149005958381929636318388368049951884855640458341/962102546301574436\ 3973749328703067886240865*c_0101_4^12 - 82082573705597091407594222427213809448851834193/9621025463015744363\ 973749328703067886240865*c_0101_4^10 + 18768143778074855537715955100659419958075932871/9621025463015744363\ 973749328703067886240865*c_0101_4^8 - 3560589468592498719162749054080573568136563476/96210254630157443639\ 73749328703067886240865*c_0101_4^6 + 1590757220526274406751055086510674503221822269/96210254630157443639\ 73749328703067886240865*c_0101_4^4 - 65377300778984344492974808693242576380935089/1924205092603148872794\ 749865740613577248173*c_0101_4^2 + 16042501153441611792374344536665474050789091/9621025463015744363973\ 749328703067886240865, c_0101_4^36 - 45*c_0101_4^34 + 794*c_0101_4^32 - 7288*c_0101_4^30 + 38931*c_0101_4^28 - 130703*c_0101_4^26 + 299956*c_0101_4^24 - 468735*c_0101_4^22 + 505683*c_0101_4^20 - 349012*c_0101_4^18 + 161820*c_0101_4^16 - 83800*c_0101_4^14 + 47675*c_0101_4^12 - 15706*c_0101_4^10 + 3214*c_0101_4^8 - 1018*c_0101_4^6 + 289*c_0101_4^4 - 33*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB