Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 1225315759] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0766 geometric_solution 4.70829585 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 0321 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 0 1 1 0 -1 0 -1 1 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.216401588174 0.587428886905 0 2 3 0 0132 1230 1230 0321 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 0 0 0 0 -1 0 1 -1 0 0 1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.817015005140 0.612479821055 4 4 1 0 0132 2310 3012 0132 0 0 0 0 0 0 0 0 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 -2 0 1 1 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.449494622847 0.499749779292 5 5 0 1 0132 2310 0132 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 -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.100903752475 3.794878149352 2 4 4 2 0132 1230 3012 3201 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 0 0 0 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.042527940207 1.019433351817 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.063312868945 0.161046044306 6 5 5 6 3201 0132 1023 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 2.703195464008 1.220540457507 ==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_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_1001_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_1'], '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' : 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_0011_2'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_2'], '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_1, c_0101_2, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 4050998510925124687518245577181/555501352754742314005765622799642*c\ _1001_1^12 - 5275953599324581317430236276419/5555013527547423140057\ 65622799642*c_1001_1^11 + 1166325090587497593653630424060052/277750\ 676377371157002882811399821*c_1001_1^10 - 12588979568748201136045633873356929/5555013527547423140057656227996\ 42*c_1001_1^9 + 20371295617768224457439545927043053/277750676377371\ 157002882811399821*c_1001_1^8 + 25952265385444379468766698146546000\ 3/555501352754742314005765622799642*c_1001_1^7 - 49335473343452841779869756425427475/2777506763773711570028828113998\ 21*c_1001_1^6 - 1769622523258262273029374509824045976/2777506763773\ 71157002882811399821*c_1001_1^5 - 348257728245552788741486662387994\ 273/277750676377371157002882811399821*c_1001_1^4 + 2399703718453279960714176832559022943/55550135275474231400576562279\ 9642*c_1001_1^3 + 285339332973755940547322129379571688/277750676377\ 371157002882811399821*c_1001_1^2 - 161400245879536988539799482746243238/277750676377371157002882811399\ 821*c_1001_1 - 89307662162144268050924518833681985/5555013527547423\ 14005765622799642, c_0011_0 - 1, c_0011_2 + 190746575940883346489600585909/17919398475959429484056955574\ 182*c_1001_1^12 - 2513160258052903630708172813996/89596992379797147\ 42028477787091*c_1001_1^11 + 4395393064543385936178291341066/298656\ 6412659904914009492595697*c_1001_1^10 - 65598825496545089107498563029039/17919398475959429484056955574182*c\ _1001_1^9 - 425397466219458607768123091005505/179193984759594294840\ 56955574182*c_1001_1^8 + 32225517378573453339787071357535/298656641\ 2659904914009492595697*c_1001_1^7 + 3101716791141363794861507798516452/8959699237979714742028477787091*\ c_1001_1^6 - 306458163782851028017412371010220/29865664126599049140\ 09492595697*c_1001_1^5 - 3020653237012697965184479070530082/8959699\ 237979714742028477787091*c_1001_1^4 + 1398430020714165183171956923775921/17919398475959429484056955574182\ *c_1001_1^3 + 1811372134782091837215434039016929/179193984759594294\ 84056955574182*c_1001_1^2 - 229168240651723691247667069055347/17919\ 398475959429484056955574182*c_1001_1 - 24432062242349755253626739632743/2986566412659904914009492595697, c_0011_3 + 71060075366036968109801994773/358387969519188589681139111483\ 64*c_1001_1^12 - 1903229855795078712945849775165/358387969519188589\ 68113911148364*c_1001_1^11 + 885165013150255863952516859526/2986566\ 412659904914009492595697*c_1001_1^10 - 28375739671953675688584461327387/35838796951918858968113911148364*c\ _1001_1^9 - 37264214099107987084044965635343/8959699237979714742028\ 477787091*c_1001_1^8 + 47326338388517801082120382901395/11946265650\ 639619656037970382788*c_1001_1^7 + 578832826212121788953337076853213/8959699237979714742028477787091*c\ _1001_1^6 - 273901296460046144051734560442955/597313282531980982801\ 8985191394*c_1001_1^5 - 1182646582303075239204005965623599/17919398\ 475959429484056955574182*c_1001_1^4 + 874585284308481233457140233834205/35838796951918858968113911148364*\ c_1001_1^3 + 188777712114939885299268851393111/89596992379797147420\ 28477787091*c_1001_1^2 - 42603151474632638942829574803863/179193984\ 75959429484056955574182*c_1001_1 - 22541158676747259332055664207379/11946265650639619656037970382788, c_0101_1 - 28876210940231578511928576007/119462656506396196560379703827\ 88*c_1001_1^12 + 763027591254909718943739503715/1194626565063961965\ 6037970382788*c_1001_1^11 - 1011540322774893220706589706765/2986566\ 412659904914009492595697*c_1001_1^10 + 10171174719874381039517749971685/11946265650639619656037970382788*c\ _1001_1^9 + 15983096435361697291592299622745/2986566412659904914009\ 492595697*c_1001_1^8 - 34650525969057232519215428644119/11946265650\ 639619656037970382788*c_1001_1^7 - 235339579827158643082515690158119/2986566412659904914009492595697*c\ _1001_1^6 + 173437731564706854100912952672597/597313282531980982801\ 8985191394*c_1001_1^5 + 477238201472230113208388802663635/597313282\ 5319809828018985191394*c_1001_1^4 - 275245097185945965769017154846795/11946265650639619656037970382788*\ c_1001_1^3 - 63345038638762579534988011674709/298656641265990491400\ 9492595697*c_1001_1^2 + 27315737714608300381437582792019/5973132825\ 319809828018985191394*c_1001_1 + 12352528491996076880928849868927/1\ 1946265650639619656037970382788, c_0101_2 - 77955855413426557506443143415/119462656506396196560379703827\ 88*c_1001_1^12 + 2054188836205401717599544228245/119462656506396196\ 56037970382788*c_1001_1^11 - 2694459902834837982384649640010/298656\ 6412659904914009492595697*c_1001_1^10 + 26808232490888580150864376979637/11946265650639619656037970382788*c\ _1001_1^9 + 86928293674848049079555350924323/5973132825319809828018\ 985191394*c_1001_1^8 - 78993864365559174086456393701501/11946265650\ 639619656037970382788*c_1001_1^7 - 633828610284807734302512631444880/2986566412659904914009492595697*c\ _1001_1^6 + 375528899957505112760711055841405/597313282531980982801\ 8985191394*c_1001_1^5 + 1234656027120240294915834209488917/59731328\ 25319809828018985191394*c_1001_1^4 - 569503379661764896099970964511115/11946265650639619656037970382788*\ c_1001_1^3 - 370255403466018539756291641185567/59731328253198098280\ 18985191394*c_1001_1^2 + 24706809203683078246133528796334/298656641\ 2659904914009492595697*c_1001_1 + 59953019734369327452057169875901/\ 11946265650639619656037970382788, c_0101_6 - 41336043260333899998129474643/597313282531980982801898519139\ 4*c_1001_1^12 + 1083052079671228099979911025803/5973132825319809828\ 018985191394*c_1001_1^11 - 2781188937118139808444414454349/29865664\ 12659904914009492595697*c_1001_1^10 + 13626805228151078176306697178549/5973132825319809828018985191394*c_\ 1001_1^9 + 46507101161253082807840868313579/29865664126599049140094\ 92595697*c_1001_1^8 - 25104620073312889514345660854675/597313282531\ 9809828018985191394*c_1001_1^7 - 663327339212673871271510883818832/\ 2986566412659904914009492595697*c_1001_1^6 + 99666735339855809553379631781487/2986566412659904914009492595697*c_\ 1001_1^5 + 520952516545662377798233853010844/2986566412659904914009\ 492595697*c_1001_1^4 - 165886184198734190615362434386643/5973132825\ 319809828018985191394*c_1001_1^3 - 118470808029631680112311547042323/2986566412659904914009492595697*c\ _1001_1^2 + 17551877832835332001910590773303/2986566412659904914009\ 492595697*c_1001_1 + 14329657138431342551813327283913/5973132825319\ 809828018985191394, c_1001_1^13 - 26*c_1001_1^12 + 129*c_1001_1^11 - 295*c_1001_1^10 - 2353*c_1001_1^9 + 237*c_1001_1^8 + 32911*c_1001_1^7 + 1746*c_1001_1^6 - 35552*c_1001_1^5 - 3533*c_1001_1^4 + 12583*c_1001_1^3 + 1870*c_1001_1^2 - 1383*c_1001_1 - 279 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB