Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 2715827354] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2426 geometric_solution 5.77480726 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.504111978836 0.281597698949 2 0 3 0 0132 2310 0132 0132 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 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.983973083082 0.562960227552 1 4 3 5 0132 0132 3012 0132 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 -1 1 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.978011517923 0.870894318258 5 2 4 1 3201 1230 1023 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 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.978011517923 0.870894318258 4 2 3 4 3012 0132 1023 1230 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 0 -1 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.426149650144 0.730606332747 6 6 2 3 0132 3201 0132 2310 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.324842274762 1.089848468766 5 6 5 6 0132 2310 2310 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.751832513866 0.560426115524 ==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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(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' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : 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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), '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_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), '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_1'], '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_3']), 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(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_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 1089995608030323505069433612520471/43515194983299267036231330375544\ *c_0101_0*c_0101_3^15 - 1247756761327755668929659045191661/21757597\ 491649633518115665187772*c_0101_0*c_0101_3^14 - 499581551956839515757199143631674/5439399372912408379528916296943*c\ _0101_0*c_0101_3^13 + 50064742867258435432099424228198215/435151949\ 83299267036231330375544*c_0101_0*c_0101_3^12 - 40252001624989492524795478408365583/1087879874582481675905783259388\ 6*c_0101_0*c_0101_3^11 + 928053145781773261000850786846501107/43515\ 194983299267036231330375544*c_0101_0*c_0101_3^10 - 383881910991180417882949772339790885/435151949832992670362313303755\ 44*c_0101_0*c_0101_3^9 - 973590296233524573567789871428498495/21757\ 597491649633518115665187772*c_0101_0*c_0101_3^8 - 1060198183772420111157346977988562109/43515194983299267036231330375\ 544*c_0101_0*c_0101_3^7 + 623696309936438845407740432074712103/4351\ 5194983299267036231330375544*c_0101_0*c_0101_3^6 + 1771641166263737387683431222757748497/43515194983299267036231330375\ 544*c_0101_0*c_0101_3^5 - 43889291569425407718582886388574453/43515\ 194983299267036231330375544*c_0101_0*c_0101_3^4 - 479603977858497538600912715052290131/435151949832992670362313303755\ 44*c_0101_0*c_0101_3^3 - 23864304477340504531739673164631061/108787\ 98745824816759057832593886*c_0101_0*c_0101_3^2 - 73573483398545241156812214820092155/4351519498329926703623133037554\ 4*c_0101_0*c_0101_3 + 30018010966930019860798800792071763/108787987\ 45824816759057832593886*c_0101_0, c_0011_0 - 1, c_0011_1 + 69062067220464631230321567/25871102843816448891933014492*c_0\ 101_3^15 + 132979573266055937010900359/2587110284381644889193301449\ 2*c_0101_3^14 + 222757305860007660494785823/25871102843816448891933\ 014492*c_0101_3^13 - 1595944566403709090288329627/12935551421908224\ 445966507246*c_0101_3^12 + 2872159679320860724111848672/64677757109\ 54112222983253623*c_0101_3^11 - 63682528346216543615228869693/25871\ 102843816448891933014492*c_0101_3^10 + 12330311037426629269768558250/6467775710954112222983253623*c_0101_3\ ^9 + 46319287022079207901108598053/12935551421908224445966507246*c_\ 0101_3^8 + 23708652169328957467888010079/25871102843816448891933014\ 492*c_0101_3^7 - 8958287750230711653130039151/129355514219082244459\ 66507246*c_0101_3^6 - 62911768943495018767953633605/258711028438164\ 48891933014492*c_0101_3^5 + 15325389884179708671538253140/646777571\ 0954112222983253623*c_0101_3^4 + 2367679735753490985544421971/25871\ 102843816448891933014492*c_0101_3^3 + 14114468817812670265157962653/25871102843816448891933014492*c_0101_\ 3^2 - 325741336603323202704560602/6467775710954112222983253623*c_01\ 01_3 - 4019891544983262753478971985/6467775710954112222983253623, c_0011_3 - 1891956073220284750719221713/103484411375265795567732057968*\ c_0101_0*c_0101_3^15 - 2417257709807450484517677503/517422056876328\ 97783866028984*c_0101_0*c_0101_3^14 - 8119891645423774420796047691/103484411375265795567732057968*c_0101_\ 0*c_0101_3^13 + 84853517837570289832347874299/103484411375265795567\ 732057968*c_0101_0*c_0101_3^12 - 256888486840991713475120229245/103\ 484411375265795567732057968*c_0101_0*c_0101_3^11 + 768664076899856728422998030945/51742205687632897783866028984*c_0101\ _0*c_0101_3^10 - 118521947706902216884736892295/5174220568763289778\ 3866028984*c_0101_0*c_0101_3^9 - 221536498226723072266191757848/646\ 7775710954112222983253623*c_0101_0*c_0101_3^8 - 2656082480580086934786035844421/103484411375265795567732057968*c_01\ 01_0*c_0101_3^7 + 589388719420765050708826757377/103484411375265795\ 567732057968*c_0101_0*c_0101_3^6 + 189030843515467613825394344077/6467775710954112222983253623*c_0101_\ 0*c_0101_3^5 + 118347378188528803004599320815/258711028438164488919\ 33014492*c_0101_0*c_0101_3^4 - 773849915808854163479952955713/10348\ 4411375265795567732057968*c_0101_0*c_0101_3^3 - 8243933141390773541535328678/6467775710954112222983253623*c_0101_0*\ c_0101_3^2 - 10515736028228211727708193969/129355514219082244459665\ 07246*c_0101_0*c_0101_3 + 6851817212361752252706501401/646777571095\ 4112222983253623*c_0101_0, c_0011_5 + 186797756458735085994653545/103484411375265795567732057968*c\ _0101_0*c_0101_3^15 + 431211115318777919451644003/51742205687632897\ 783866028984*c_0101_0*c_0101_3^14 + 2058973706308009318562607411/103484411375265795567732057968*c_0101_\ 0*c_0101_3^13 - 5720791931456830139604523563/1034844113752657955677\ 32057968*c_0101_0*c_0101_3^12 + 10094736317524568828696053453/10348\ 4411375265795567732057968*c_0101_0*c_0101_3^11 - 55111841050046905303914397381/51742205687632897783866028984*c_0101_\ 0*c_0101_3^10 - 132836854623144332473241275433/51742205687632897783\ 866028984*c_0101_0*c_0101_3^9 + 13507722293851166557127753972/64677\ 75710954112222983253623*c_0101_0*c_0101_3^8 + 772100756337199451414930950045/103484411375265795567732057968*c_010\ 1_0*c_0101_3^7 + 1005008173718258867190218079007/103484411375265795\ 567732057968*c_0101_0*c_0101_3^6 + 58982270195044223608209242883/12935551421908224445966507246*c_0101_\ 0*c_0101_3^5 - 56601941489534049643547311211/2587110284381644889193\ 3014492*c_0101_0*c_0101_3^4 - 376538320431747743141774643175/103484\ 411375265795567732057968*c_0101_0*c_0101_3^3 - 27185638744175848239808489147/12935551421908224445966507246*c_0101_\ 0*c_0101_3^2 + 5356495921178023976394754063/12935551421908224445966\ 507246*c_0101_0*c_0101_3 + 2894803203665747347224253493/64677757109\ 54112222983253623*c_0101_0, c_0101_0^2 - 69062067220464631230321567/25871102843816448891933014492*c\ _0101_3^15 - 132979573266055937010900359/25871102843816448891933014\ 492*c_0101_3^14 - 222757305860007660494785823/258711028438164488919\ 33014492*c_0101_3^13 + 1595944566403709090288329627/129355514219082\ 24445966507246*c_0101_3^12 - 2872159679320860724111848672/646777571\ 0954112222983253623*c_0101_3^11 + 63682528346216543615228869693/258\ 71102843816448891933014492*c_0101_3^10 - 12330311037426629269768558250/6467775710954112222983253623*c_0101_3\ ^9 - 46319287022079207901108598053/12935551421908224445966507246*c_\ 0101_3^8 - 23708652169328957467888010079/25871102843816448891933014\ 492*c_0101_3^7 + 8958287750230711653130039151/129355514219082244459\ 66507246*c_0101_3^6 + 62911768943495018767953633605/258711028438164\ 48891933014492*c_0101_3^5 - 15325389884179708671538253140/646777571\ 0954112222983253623*c_0101_3^4 - 2367679735753490985544421971/25871\ 102843816448891933014492*c_0101_3^3 - 14114468817812670265157962653/25871102843816448891933014492*c_0101_\ 3^2 + 325741336603323202704560602/6467775710954112222983253623*c_01\ 01_3 - 2447884165970849469504281638/6467775710954112222983253623, c_0101_1 + 16485457157367303735072922/6467775710954112222983253623*c_01\ 01_3^15 + 92841013868246348063783781/25871102843816448891933014492*\ c_0101_3^14 + 67374310953336297793578505/12935551421908224445966507\ 246*c_0101_3^13 - 3186984762886637369979527977/25871102843816448891\ 933014492*c_0101_3^12 + 12516434886461798072103792405/2587110284381\ 6448891933014492*c_0101_3^11 - 65900018566402924297802527627/258711\ 02843816448891933014492*c_0101_3^10 + 38439416666499160914624215445/12935551421908224445966507246*c_0101_\ 3^9 + 36758103529869989997856661037/12935551421908224445966507246*c\ _0101_3^8 - 5804870792046137609429127652/64677757109541122229832536\ 23*c_0101_3^7 - 69126744781498522302855087787/258711028438164488919\ 33014492*c_0101_3^6 - 42594830954702288063376115401/258711028438164\ 48891933014492*c_0101_3^5 + 22071221554645278219752013095/646777571\ 0954112222983253623*c_0101_3^4 + 6102081288657470393451542352/64677\ 75710954112222983253623*c_0101_3^3 + 10803545030067730425330510929/25871102843816448891933014492*c_0101_\ 3^2 + 400206147896500470956053014/6467775710954112222983253623*c_01\ 01_3 - 19612277128150368219109155/6467775710954112222983253623, c_0101_3^16 + 2*c_0101_3^15 + 3*c_0101_3^14 - 47*c_0101_3^13 + 161*c_0101_3^12 - 894*c_0101_3^11 + 598*c_0101_3^10 + 1688*c_0101_3^9 + 453*c_0101_3^8 - 861*c_0101_3^7 - 1460*c_0101_3^6 + 516*c_0101_3^5 + 433*c_0101_3^4 - 44*c_0101_3^3 + 40*c_0101_3^2 - 128*c_0101_3 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB