Magma V2.19-8 Tue Aug 20 2013 16:16:13 on localhost [Seed = 2345277258] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0482 geometric_solution 4.50556467 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 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 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 1.994027740497 0.168952485958 0 2 2 0 3201 0132 1023 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 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 1.852955745198 0.462332657380 3 1 1 3 0132 0132 1023 3201 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 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 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.155749330833 0.280389745279 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -1 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.022427367673 1.331617624358 6 5 3 5 0132 2031 0132 1302 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 -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.562537368921 0.396550169490 4 6 4 3 1302 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 0 -1 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 0 0 0.562537368921 0.396550169490 4 5 6 6 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.812461517866 0.837132984194 ==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' : 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' : 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_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_4, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 1052567936655297260138336136505717/836173273554927588503009409211*c\ _0101_6^31 + 42052414568227701771293209841958439/836173273554927588\ 503009409211*c_0101_6^29 - 134824256632779616357999598230385515/836\ 173273554927588503009409211*c_0101_6^27 + 288281115801030005210734094885535758/836173273554927588503009409211\ *c_0101_6^25 - 1851389439772956425280167104194461271/83617327355492\ 7588503009409211*c_0101_6^23 + 546069242004397786005651320060118004\ 0/836173273554927588503009409211*c_0101_6^21 - 7136709383303289329363242826443016713/83617327355492758850300940921\ 1*c_0101_6^19 + 7791723822090550526332852092646208789/8361732735549\ 27588503009409211*c_0101_6^17 - 10187751476775069995866222083734684\ 563/836173273554927588503009409211*c_0101_6^15 + 8029200584182362680793346822482691129/83617327355492758850300940921\ 1*c_0101_6^13 - 4413925049235521720138388166268091567/8361732735549\ 27588503009409211*c_0101_6^11 + 38853486684914597502551503547627935\ 39/836173273554927588503009409211*c_0101_6^9 - 1778783422075738273256603503346120062/83617327355492758850300940921\ 1*c_0101_6^7 + 389033257211003359819410111240279003/836173273554927\ 588503009409211*c_0101_6^5 - 403630126181797933079656070843683580/8\ 36173273554927588503009409211*c_0101_6^3 + 22840588222421978017272525756771952/836173273554927588503009409211*\ c_0101_6, c_0011_0 - 1, c_0011_1 + 5243373547838114262688793193/836173273554927588503009409211*\ c_0101_6^30 - 213288293208279595476295487783/8361732735549275885030\ 09409211*c_0101_6^28 + 805454864754617988096622945562/8361732735549\ 27588503009409211*c_0101_6^26 - 1212146879728505792262809835333/836\ 173273554927588503009409211*c_0101_6^24 + 8482261232262949616415466049163/836173273554927588503009409211*c_01\ 01_6^22 - 30201906430792315899758431804707/836173273554927588503009\ 409211*c_0101_6^20 + 26179314248017509669035924526492/8361732735549\ 27588503009409211*c_0101_6^18 + 7167003302035629003694581239061/836\ 173273554927588503009409211*c_0101_6^16 + 8253126605239748111312516278837/836173273554927588503009409211*c_01\ 01_6^14 + 3734976378587978027539983756228/8361732735549275885030094\ 09211*c_0101_6^12 - 49478454614796061560395973757351/83617327355492\ 7588503009409211*c_0101_6^10 + 13454087907250916814330468256003/836\ 173273554927588503009409211*c_0101_6^8 - 4278271799790527725696807041240/836173273554927588503009409211*c_01\ 01_6^6 + 13769128393834874123764198630336/8361732735549275885030094\ 09211*c_0101_6^4 + 1763326691607835001051454145696/8361732735549275\ 88503009409211*c_0101_6^2 + 283448040020374660079407807573/83617327\ 3554927588503009409211, c_0011_4 + 53487572370841500404894981684/836173273554927588503009409211\ *c_0101_6^30 - 2117753311768693858381285155940/83617327355492758850\ 3009409211*c_0101_6^28 + 6093574470547172521328141510502/8361732735\ 54927588503009409211*c_0101_6^26 - 12546021286647107348280706069893/836173273554927588503009409211*c_0\ 101_6^24 + 89627732255549266614167573061398/83617327355492758850300\ 9409211*c_0101_6^22 - 245568193897830389701914762555716/83617327355\ 4927588503009409211*c_0101_6^20 + 277846833897019573385957020537747\ /836173273554927588503009409211*c_0101_6^18 - 299155467212821006336653949135758/836173273554927588503009409211*c_\ 0101_6^16 + 410631490611017892384224405707189/836173273554927588503\ 009409211*c_0101_6^14 - 278210684809812862393151104951846/836173273\ 554927588503009409211*c_0101_6^12 + 144001320773191968040899847434469/836173273554927588503009409211*c_\ 0101_6^10 - 153930959673785128844558054760249/836173273554927588503\ 009409211*c_0101_6^8 + 59935917928559125689161068351793/83617327355\ 4927588503009409211*c_0101_6^6 - 12661092915643818386893859709887/8\ 36173273554927588503009409211*c_0101_6^4 + 17634196014936649844545437443033/836173273554927588503009409211*c_0\ 101_6^2 - 897673203371738885145605045243/83617327355492758850300940\ 9211, c_0101_1 - 593027183105679487107849885565/83617327355492758850300940921\ 1*c_0101_6^31 + 23713541307789856732772316957486/836173273554927588\ 503009409211*c_0101_6^29 - 76759729339719584996111073331258/8361732\ 73554927588503009409211*c_0101_6^27 + 163823530138173067652184079099175/836173273554927588503009409211*c_\ 0101_6^25 - 1045961331393997919004178822158463/83617327355492758850\ 3009409211*c_0101_6^23 + 3107448631594852144655862817656803/8361732\ 73554927588503009409211*c_0101_6^21 - 4078336730905064029517205966600563/836173273554927588503009409211*c\ _0101_6^19 + 4416842381215050746248024112252238/8361732735549275885\ 03009409211*c_0101_6^17 - 5801368914681304891332027124954465/836173\ 273554927588503009409211*c_0101_6^15 + 4603930503457570591337614661373609/836173273554927588503009409211*c\ _0101_6^13 - 2486500115892911331632484635706150/8361732735549275885\ 03009409211*c_0101_6^11 + 2226298992122568887453626864353910/836173\ 273554927588503009409211*c_0101_6^9 - 1033834895071032017630582018561035/836173273554927588503009409211*c\ _0101_6^7 + 210204019809665464273618809428932/836173273554927588503\ 009409211*c_0101_6^5 - 240889149684716797380860208391456/8361732735\ 54927588503009409211*c_0101_6^3 + 12810602645240890285752298204875/\ 836173273554927588503009409211*c_0101_6, c_0101_2 - 52653901816996732496744314105/836173273554927588503009409211\ *c_0101_6^30 + 2075966526758731784938496272733/83617327355492758850\ 3009409211*c_0101_6^28 - 5661480443791894830092621366843/8361732735\ 54927588503009409211*c_0101_6^26 + 11752278494492825614232258532835/836173273554927588503009409211*c_0\ 101_6^24 - 86870792103458328959715030575042/83617327355492758850300\ 9409211*c_0101_6^22 + 228274814357526084357369107327877/83617327355\ 4927588503009409211*c_0101_6^20 - 248293253452880147725732844642973\ /836173273554927588503009409211*c_0101_6^18 + 276858540458907463667373347979538/836173273554927588503009409211*c_\ 0101_6^16 - 360748457016842478321319886777939/836173273554927588503\ 009409211*c_0101_6^14 + 219808941553586774803660343311256/836173273\ 554927588503009409211*c_0101_6^12 - 122934828162453066888264632535430/836173273554927588503009409211*c_\ 0101_6^10 + 112098289102496388237214561901536/836173273554927588503\ 009409211*c_0101_6^8 - 31870272007819003688421848338468/83617327355\ 4927588503009409211*c_0101_6^6 + 11979483902913564245000537260113/8\ 36173273554927588503009409211*c_0101_6^4 - 7482413590721935782870780479225/836173273554927588503009409211*c_01\ 01_6^2 + 575658987858955231547832703567/836173273554927588503009409\ 211, c_0101_3 + 204940835323026588988493145740/83617327355492758850300940921\ 1*c_0101_6^31 - 8196031963111068399880200592103/8361732735549275885\ 03009409211*c_0101_6^29 + 26567801983991677771034268577012/83617327\ 3554927588503009409211*c_0101_6^27 - 56770572193458507931417775334080/836173273554927588503009409211*c_0\ 101_6^25 + 361865796923505453765128432445518/8361732735549275885030\ 09409211*c_0101_6^23 - 1075883596884974767726196178269010/836173273\ 554927588503009409211*c_0101_6^21 + 1415848691914951404881305049424120/836173273554927588503009409211*c\ _0101_6^19 - 1537981572159677251562308704099211/8361732735549275885\ 03009409211*c_0101_6^17 + 2018734703640961838940591294926817/836173\ 273554927588503009409211*c_0101_6^15 - 1604432425268881330964559371399824/836173273554927588503009409211*c\ _0101_6^13 + 872899770619845787892977377760360/83617327355492758850\ 3009409211*c_0101_6^11 - 778849494589431913155172126260971/83617327\ 3554927588503009409211*c_0101_6^9 + 359175339460941061471715043043333/836173273554927588503009409211*c_\ 0101_6^7 - 74671158109110883869963782163104/83617327355492758850300\ 9409211*c_0101_6^5 + 85116213178197452531567626778885/8361732735549\ 27588503009409211*c_0101_6^3 - 3986899313550393627665153623672/8361\ 73273554927588503009409211*c_0101_6, c_0101_6^32 - 40*c_0101_6^30 + 130*c_0101_6^28 - 280*c_0101_6^26 + 1772*c_0101_6^24 - 5272*c_0101_6^22 + 7028*c_0101_6^20 - 7726*c_0101_6^18 + 10032*c_0101_6^16 - 8090*c_0101_6^14 + 4557*c_0101_6^12 - 3891*c_0101_6^10 + 1866*c_0101_6^8 - 450*c_0101_6^6 + 401*c_0101_6^4 - 40*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB