Magma V2.19-8 Tue Aug 20 2013 16:18:33 on localhost [Seed = 1781266267] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2746 geometric_solution 5.98711949 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 -2 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.734378500529 0.651483461317 0 5 4 2 0132 0132 1230 1302 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 1 0 -1 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.540372481916 0.673062242285 5 0 1 3 3201 0132 2031 3012 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 0 -1 1 0 0 0 1 -1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.540372481916 0.673062242285 4 4 2 0 1302 2031 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.058009504032 1.178722667702 3 3 0 1 1302 2031 0132 3012 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 2 -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 1.058009504032 1.178722667702 6 1 6 2 0132 0132 1023 2310 0 0 0 0 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 -1 0 1 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.471290099304 2.131345836372 5 6 5 6 0132 1302 1023 2031 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 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.391873884893 0.165094683626 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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_0011_0'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0110_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0110_2'], 'c_1100_3' : d['c_0110_2'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : d['c_0011_4'], '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' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : negation(d['c_0110_2']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], '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_3, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 2019369109419057955858579243819/15494552695843479691399778441200*c_\ 0110_2^16 - 4946856702196366353512476794939/15494552695843479691399\ 778441200*c_0110_2^15 + 15789888754720580607453387689019/7747276347\ 921739845699889220600*c_0110_2^14 - 182088806621035245136002571458321/15494552695843479691399778441200*\ c_0110_2^13 + 302811856149663851474658846529263/1549455269584347969\ 1399778441200*c_0110_2^12 + 326535128949330319949357022172763/77472\ 76347921739845699889220600*c_0110_2^11 - 25874538542617085959906908652217/7747276347921739845699889220600*c_\ 0110_2^10 - 524202459911926208180487634147681/387363817396086992284\ 9944610300*c_0110_2^9 + 223151916672968517422242601751503/774727634\ 7921739845699889220600*c_0110_2^8 + 68526486454492940574268456456233/309891053916869593827995568824*c_0\ 110_2^7 + 560832265101689814375486635774641/15494552695843479691399\ 778441200*c_0110_2^6 - 3751106212620564566372248636486329/154945526\ 95843479691399778441200*c_0110_2^5 - 184711871923026012512061096454021/3873638173960869922849944610300*c\ _0110_2^4 + 1973136693457025870701228946694907/15494552695843479691\ 399778441200*c_0110_2^3 + 473327966141941532625419299886017/1549455\ 2695843479691399778441200*c_0110_2^2 - 828356105066502018956087652585373/15494552695843479691399778441200*\ c_0110_2 - 161633630514439130199454686394991/1549455269584347969139\ 9778441200, c_0011_0 - 1, c_0011_3 - 329225115636752377291769519/168419051041776953167388896100*c\ _0110_2^16 - 170192710390394785675489407/33683810208355390633477779\ 220*c_0110_2^15 + 2746449386405337178688672159/84209525520888476583\ 694448050*c_0110_2^14 - 27952940700701836969685939809/1684190510417\ 76953167388896100*c_0110_2^13 + 38477891297559120107246979267/16841\ 9051041776953167388896100*c_0110_2^12 + 77996848063857115768443202137/84209525520888476583694448050*c_0110_\ 2^11 - 37288242695180285475855177489/84209525520888476583694448050*\ c_0110_2^10 - 110661664139115444715995438249/4210476276044423829184\ 7224025*c_0110_2^9 - 2180607359966061656921738159/84209525520888476\ 583694448050*c_0110_2^8 + 465714037999738755392035363559/8420952552\ 0888476583694448050*c_0110_2^7 + 30349519050186423899321158093/1684\ 19051041776953167388896100*c_0110_2^6 - 1044522161728761709448975787057/168419051041776953167388896100*c_01\ 10_2^5 - 92042490003326480551383711203/4210476276044423829184722402\ 5*c_0110_2^4 + 667642729654148796906462170959/168419051041776953167\ 388896100*c_0110_2^3 + 361103486499753047106973597633/1684190510417\ 76953167388896100*c_0110_2^2 - 225227588717847439530154933421/16841\ 9051041776953167388896100*c_0110_2 - 21688408342224797150803297779/33683810208355390633477779220, c_0011_4 - 329225115636752377291769519/168419051041776953167388896100*c\ _0110_2^16 - 170192710390394785675489407/33683810208355390633477779\ 220*c_0110_2^15 + 2746449386405337178688672159/84209525520888476583\ 694448050*c_0110_2^14 - 27952940700701836969685939809/1684190510417\ 76953167388896100*c_0110_2^13 + 38477891297559120107246979267/16841\ 9051041776953167388896100*c_0110_2^12 + 77996848063857115768443202137/84209525520888476583694448050*c_0110_\ 2^11 - 37288242695180285475855177489/84209525520888476583694448050*\ c_0110_2^10 - 110661664139115444715995438249/4210476276044423829184\ 7224025*c_0110_2^9 - 2180607359966061656921738159/84209525520888476\ 583694448050*c_0110_2^8 + 465714037999738755392035363559/8420952552\ 0888476583694448050*c_0110_2^7 + 30349519050186423899321158093/1684\ 19051041776953167388896100*c_0110_2^6 - 1044522161728761709448975787057/168419051041776953167388896100*c_01\ 10_2^5 - 92042490003326480551383711203/4210476276044423829184722402\ 5*c_0110_2^4 + 667642729654148796906462170959/168419051041776953167\ 388896100*c_0110_2^3 + 361103486499753047106973597633/1684190510417\ 76953167388896100*c_0110_2^2 - 225227588717847439530154933421/16841\ 9051041776953167388896100*c_0110_2 - 21688408342224797150803297779/33683810208355390633477779220, c_0101_0 - 671778577219125648174055302/42104762760444238291847224025*c_\ 0110_2^16 - 289457244734324725149615854/842095255208884765836944480\ 5*c_0110_2^15 + 11032214045228781934932002699/421047627604442382918\ 47224025*c_0110_2^14 - 63884089547403710231825172277/42104762760444\ 238291847224025*c_0110_2^13 + 117709470589697380254763651631/421047\ 62760444238291847224025*c_0110_2^12 + 196533374525155973802668061972/42104762760444238291847224025*c_0110\ _2^11 - 123659181267407849072086965294/4210476276044423829184722402\ 5*c_0110_2^10 - 607006587839307726853008060908/42104762760444238291\ 847224025*c_0110_2^9 + 323950583846373665213849150576/4210476276044\ 4238291847224025*c_0110_2^8 + 1098235183923257647975631520699/42104\ 762760444238291847224025*c_0110_2^7 - 330567574462992989697763407336/42104762760444238291847224025*c_0110\ _2^6 - 940872027193757868471654873291/42104762760444238291847224025\ *c_0110_2^5 + 71628154848859652158081230929/42104762760444238291847\ 224025*c_0110_2^4 + 517203148102830332112705855877/4210476276044423\ 8291847224025*c_0110_2^3 - 4477362811408968576982211256/42104762760\ 444238291847224025*c_0110_2^2 - 124460267233928872049136982598/4210\ 4762760444238291847224025*c_0110_2 - 5965523982323135178382410157/8420952552088847658369444805, c_0101_2 - 10806984318538771989/463168774960300841852600*c_0110_2^16 - 54993018813811161273/92633754992060168370520*c_0110_2^15 - 1069138036099299297791/231584387480150420926300*c_0110_2^14 + 24441394152100425561/463168774960300841852600*c_0110_2^13 + 7460211095114441013417/463168774960300841852600*c_0110_2^12 - 68335852779639742985723/231584387480150420926300*c_0110_2^11 + 235770041055260607266321/231584387480150420926300*c_0110_2^10 + 56244859443019990686961/115792193740075210463150*c_0110_2^9 - 298455766137885605701459/231584387480150420926300*c_0110_2^8 - 446192073560836928360941/231584387480150420926300*c_0110_2^7 + 1856236142179186667078223/463168774960300841852600*c_0110_2^6 + 1300898499228342182085513/463168774960300841852600*c_0110_2^5 - 561793028644236362382243/115792193740075210463150*c_0110_2^4 - 310986895940105313395011/463168774960300841852600*c_0110_2^3 + 1380668211324122278646183/463168774960300841852600*c_0110_2^2 + 154887920083558434801189/463168774960300841852600*c_0110_2 - 132264160085524931077189/92633754992060168370520, c_0101_5 - 2365696981953784153029/463168774960300841852600*c_0110_2^16 - 215763781187873510389/18526750998412033674104*c_0110_2^15 + 19619108731416778641109/231584387480150420926300*c_0110_2^14 - 218621092256618839292799/463168774960300841852600*c_0110_2^13 + 367495288564499163562617/463168774960300841852600*c_0110_2^12 + 426784003736756456246857/231584387480150420926300*c_0110_2^11 - 298333373568199892351859/231584387480150420926300*c_0110_2^10 - 594630137868303836742719/115792193740075210463150*c_0110_2^9 + 645494796085769263019841/231584387480150420926300*c_0110_2^8 + 2471488690078328462351159/231584387480150420926300*c_0110_2^7 - 1850996652803951623330217/463168774960300841852600*c_0110_2^6 - 5092413622991984526372647/463168774960300841852600*c_0110_2^5 + 376077440308118846510327/115792193740075210463150*c_0110_2^4 + 3329505590364901305962949/463168774960300841852600*c_0110_2^3 - 666286984535022840159017/463168774960300841852600*c_0110_2^2 - 1658714614021065762268491/463168774960300841852600*c_0110_2 + 23241188285575978564771/92633754992060168370520, c_0110_2^17 + 2*c_0110_2^16 - 17*c_0110_2^15 + 97*c_0110_2^14 - 186*c_0110_2^13 - 287*c_0110_2^12 + 260*c_0110_2^11 + 978*c_0110_2^10 - 670*c_0110_2^9 - 1808*c_0110_2^8 + 839*c_0110_2^7 + 1864*c_0110_2^6 - 441*c_0110_2^5 - 1285*c_0110_2^4 + 236*c_0110_2^3 + 500*c_0110_2^2 - 12*c_0110_2 - 115 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB