Magma V2.19-8 Tue Aug 20 2013 16:16:27 on localhost [Seed = 1831661964] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0733 geometric_solution 4.68163096 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 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 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.689018669619 0.209053075317 0 3 0 3 0132 0132 1023 1023 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 -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.743871851423 0.118620070765 4 0 5 0 0132 0132 0132 1023 0 0 0 0 0 1 -1 0 1 0 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 -1 0 0 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.779707912849 0.933870105909 4 1 4 1 3012 0132 0321 1023 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 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.689018669619 0.209053075317 2 5 3 3 0132 2103 0321 1230 0 0 0 0 0 0 0 0 -1 0 0 1 -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 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.239280949953 1.014368373209 6 4 6 2 0132 2103 1023 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.504944742458 2.710778837281 5 6 5 6 0132 2310 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.417195109858 0.231280156999 ==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' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0110_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_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_0'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0110_3'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0110_3'], 'c_1010_0' : negation(d['c_0101_3'])})} 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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 3168745039/3280*c_0110_3^18 - 28577416007/2624*c_0110_3^17 - 710794244103/13120*c_0110_3^16 - 1168053754943/6560*c_0110_3^15 - 727694242301/1640*c_0110_3^14 - 10523881833917/13120*c_0110_3^13 - 13427296163281/13120*c_0110_3^12 - 147845842428/205*c_0110_3^11 + 3450916964047/13120*c_0110_3^10 + 15975503683723/13120*c_0110_3^9 + 7563156757503/6560*c_0110_3^8 - 686104046453/1640*c_0110_3^7 - 356055206867/328*c_0110_3^6 - 1999541150011/3280*c_0110_3^5 + 3085654714311/1640*c_0110_3^4 - 16162646425171/13120*c_0110_3^3 + 2479898979741/6560*c_0110_3^2 - 376995548617/6560*c_0110_3 + 45973827689/13120, c_0011_0 - 1, c_0011_5 - 14348907/256*c_0110_3^18 - 81310473/128*c_0110_3^17 - 814699053/256*c_0110_3^16 - 1348265817/128*c_0110_3^15 - 6767546841/256*c_0110_3^14 - 6185914191/128*c_0110_3^13 - 16076582325/256*c_0110_3^12 - 11930660181/256*c_0110_3^11 + 1419422049/128*c_0110_3^10 + 17949736161/256*c_0110_3^9 + 9082733715/128*c_0110_3^8 - 301332231/16*c_0110_3^7 - 4003351965/64*c_0110_3^6 - 1248356061/32*c_0110_3^5 + 27076384437/256*c_0110_3^4 - 16917362377/256*c_0110_3^3 + 1248354845/64*c_0110_3^2 - 731794257/256*c_0110_3 + 43046721/256, c_0101_0 + 3637845/64*c_0110_3^18 + 41147001/64*c_0110_3^17 + 102802215/32*c_0110_3^16 + 169702825/16*c_0110_3^15 + 1699436907/64*c_0110_3^14 + 3094856487/64*c_0110_3^13 + 249834689/4*c_0110_3^12 + 2918391127/64*c_0110_3^11 - 807090437/64*c_0110_3^10 - 2274657023/32*c_0110_3^9 - 281269485/4*c_0110_3^8 + 168458267/8*c_0110_3^7 + 1013930133/16*c_0110_3^6 + 609326969/16*c_0110_3^5 - 6941170143/64*c_0110_3^4 + 2214788291/32*c_0110_3^3 - 666718503/32*c_0110_3^2 + 199423701/64*c_0110_3 - 2996303/16, c_0101_1 + c_0110_3, c_0101_3 - 8347367/128*c_0110_3^18 - 5895511/8*c_0110_3^17 - 470758807/128*c_0110_3^16 - 776146979/64*c_0110_3^15 - 3881326101/128*c_0110_3^14 - 55110585*c_0110_3^13 - 9081183059/128*c_0110_3^12 - 6568190993/128*c_0110_3^11 + 245936767/16*c_0110_3^10 + 10460252611/128*c_0110_3^9 + 5112223637/64*c_0110_3^8 - 25287600*c_0110_3^7 - 2331274613/32*c_0110_3^6 - 171925667/4*c_0110_3^5 + 16018186209/128*c_0110_3^4 - 10298516571/128*c_0110_3^3 + 389753563/16*c_0110_3^2 - 468669697/128*c_0110_3 + 28295327/128, c_0101_5 - 15096733/128*c_0110_3^18 - 85443199/64*c_0110_3^17 - 854727491/128*c_0110_3^16 - 1412271407/64*c_0110_3^15 - 7077691279/128*c_0110_3^14 - 6453532113/64*c_0110_3^13 - 16706405627/128*c_0110_3^12 - 12266150483/128*c_0110_3^11 + 1615548719/64*c_0110_3^10 + 18902035327/128*c_0110_3^9 + 9425487501/64*c_0110_3^8 - 337809489/8*c_0110_3^7 - 4214820971/32*c_0110_3^6 - 1284132443/16*c_0110_3^5 + 28693471203/128*c_0110_3^4 - 18144757487/128*c_0110_3^3 + 1353202381/32*c_0110_3^2 - 801568415/128*c_0110_3 + 47650111/128, c_0110_3^19 + 11*c_0110_3^18 + 53*c_0110_3^17 + 169*c_0110_3^16 + 409*c_0110_3^15 + 705*c_0110_3^14 + 833*c_0110_3^13 + 458*c_0110_3^12 - 475*c_0110_3^11 - 1185*c_0110_3^10 - 849*c_0110_3^9 + 758*c_0110_3^8 + 1004*c_0110_3^7 + 324*c_0110_3^6 - 2119*c_0110_3^5 + 1808*c_0110_3^4 - 741*c_0110_3^3 + 167*c_0110_3^2 - 20*c_0110_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB