Magma V2.19-8 Tue Aug 20 2013 16:16:06 on localhost [Seed = 2134827954] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0349 geometric_solution 4.37443464 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 3201 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 0 0 0 0 0 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.405727006507 0.408807427858 0 0 3 3 0132 2310 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.191154006302 0.373007576330 4 0 0 5 0132 0132 1023 0132 0 0 0 0 0 1 0 -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 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.119081010822 0.537630253952 3 1 1 3 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.334012158497 0.045265027183 2 6 5 6 0132 0132 1302 1023 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 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.483056760686 1.015010819432 4 6 2 6 2031 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 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.483056760686 1.015010819432 5 4 5 4 3201 0132 2310 1023 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 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.455352027259 0.304683275115 ==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' : negation(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' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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_5'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], '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_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' : d['c_0101_2'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 32070586515/536870912*c_0110_6^29 + 25950420829/536870912*c_0110_6^28 - 80357699133/67108864*c_0110_6^27 - 1352862296589/536870912*c_0110_6^26 + 4151061551809/536870912*c_0110_6^25 + 16405304676407/536870912*c_0110_6^24 - 284602982545/268435456*c_0110_6^23 - 80636747939835/536870912*c_0110_6^22 - 53100920458645/268435456*c_0110_6^21 + 142009198790343/536870912*c_0110_6^20 + 122153297572887/134217728*c_0110_6^19 + 205025216338639/536870912*c_0110_6^18 - 866929134891001/536870912*c_0110_6^17 - 1318101624455069/536870912*c_0110_6^16 + 87976955973759/268435456*c_0110_6^15 + 2179362387078237/536870912*c_0110_6^14 + 216748762122149/67108864*c_0110_6^13 - 278258104350347/134217728*c_0110_6^12 - 85254739734167/16777216*c_0110_6^11 - 65744614054327/33554432*c_0110_6^10 + 11467246988495/4194304*c_0110_6^9 + 27139435424569/8388608*c_0110_6^8 + 359815405177/1048576*c_0110_6^7 - 3171203835001/2097152*c_0110_6^6 - 251231214013/262144*c_0110_6^5 + 50949657839/524288*c_0110_6^4 + 21308283807/65536*c_0110_6^3 + 12733064867/131072*c_0110_6^2 - 375813477/16384*c_0110_6 - 441536425/32768, c_0011_0 - 1, c_0011_3 + 239415/131072*c_0110_6^29 + 19007/65536*c_0110_6^28 - 5020217/131072*c_0110_6^27 - 7073963/131072*c_0110_6^26 + 9859871/32768*c_0110_6^25 + 53368533/65536*c_0110_6^24 - 95260907/131072*c_0110_6^23 - 650695943/131072*c_0110_6^22 - 411002289/131072*c_0110_6^21 + 1816719857/131072*c_0110_6^20 + 3332110107/131072*c_0110_6^19 - 1195909685/131072*c_0110_6^18 - 4520742477/65536*c_0110_6^17 - 823022227/16384*c_0110_6^16 + 10223251849/131072*c_0110_6^15 + 20033261957/131072*c_0110_6^14 + 2683849521/131072*c_0110_6^13 - 2948258973/16384*c_0110_6^12 - 10872942711/65536*c_0110_6^11 + 1936239147/32768*c_0110_6^10 + 394629645/2048*c_0110_6^9 + 338904713/4096*c_0110_6^8 - 340690419/4096*c_0110_6^7 - 206258989/2048*c_0110_6^6 - 6275931/512*c_0110_6^5 + 9985687/256*c_0110_6^4 + 185983/8*c_0110_6^3 - 50685/32*c_0110_6^2 - 189193/32*c_0110_6 - 27723/16, c_0011_5 + 55/268435456*c_0110_6^29 - 47/268435456*c_0110_6^28 - 65/16777216*c_0110_6^27 - 665/268435456*c_0110_6^26 + 8581/268435456*c_0110_6^25 + 15651/268435456*c_0110_6^24 - 14009/134217728*c_0110_6^23 - 108191/268435456*c_0110_6^22 - 10269/134217728*c_0110_6^21 + 337147/268435456*c_0110_6^20 + 109929/67108864*c_0110_6^19 - 382349/268435456*c_0110_6^18 - 1358797/268435456*c_0110_6^17 - 608049/268435456*c_0110_6^16 + 904215/134217728*c_0110_6^15 + 2499417/268435456*c_0110_6^14 - 13101/16777216*c_0110_6^13 - 857955/67108864*c_0110_6^12 - 62687/8388608*c_0110_6^11 + 60485/16777216*c_0110_6^10 + 981/65536*c_0110_6^9 - 19551/4194304*c_0110_6^8 + 5417/524288*c_0110_6^7 - 37893/1048576*c_0110_6^6 + 4091/65536*c_0110_6^5 - 32249/262144*c_0110_6^4 + 8223/32768*c_0110_6^3 - 32777/65536*c_0110_6^2 - 1/4096*c_0110_6 - 1/16384, c_0101_0 + 55/4096*c_0110_6^29 + 197/16384*c_0110_6^28 - 4599/16384*c_0110_6^27 - 4923/8192*c_0110_6^26 + 31749/16384*c_0110_6^25 + 124001/16384*c_0110_6^24 - 19677/16384*c_0110_6^23 - 20631/512*c_0110_6^22 - 783453/16384*c_0110_6^21 + 355301/4096*c_0110_6^20 + 4159969/16384*c_0110_6^19 + 437161/8192*c_0110_6^18 - 8991063/16384*c_0110_6^17 - 11179077/16384*c_0110_6^16 + 5694971/16384*c_0110_6^15 + 2984097/2048*c_0110_6^14 + 13040595/16384*c_0110_6^13 - 10096713/8192*c_0110_6^12 - 7906861/4096*c_0110_6^11 - 413401/2048*c_0110_6^10 + 1678687/1024*c_0110_6^9 + 662083/512*c_0110_6^8 - 89081/256*c_0110_6^7 - 131917/128*c_0110_6^6 - 25095/64*c_0110_6^5 + 8997/32*c_0110_6^4 + 4665/16*c_0110_6^3 + 277/8*c_0110_6^2 - 247/4*c_0110_6 - 53/2, c_0101_1 + 1361040615/268435456*c_0110_6^29 - 1535490591/268435456*c_0110_6^28 - 1871787157/16777216*c_0110_6^27 - 5136414185/268435456*c_0110_6^26 + 297634137045/268435456*c_0110_6^25 + 380734284627/268435456*c_0110_6^24 - 714513287657/134217728*c_0110_6^23 - 3666468998991/268435456*c_0110_6^22 + 996830822963/134217728*c_0110_6^21 + 16029120585835/268435456*c_0110_6^20 + 2871536602185/67108864*c_0110_6^19 - 32675032096285/268435456*c_0110_6^18 - 62856548264989/268435456*c_0110_6^17 + 6927065638207/268435456*c_0110_6^16 + 63840433287783/134217728*c_0110_6^15 + 109246347009577/268435456*c_0110_6^14 - 5851101172609/16777216*c_0110_6^13 - 57156350427283/67108864*c_0110_6^12 - 2486275623551/8388608*c_0110_6^11 + 11145184478661/16777216*c_0110_6^10 + 51336249807/65536*c_0110_6^9 + 81084787297/4194304*c_0110_6^8 - 289503725255/524288*c_0110_6^7 - 387192882741/1048576*c_0110_6^6 + 4801394599/65536*c_0110_6^5 + 54968678103/262144*c_0110_6^4 + 2694643999/32768*c_0110_6^3 - 1548814121/65536*c_0110_6^2 - 118314377/4096*c_0110_6 - 118723105/16384, c_0101_2 - 33331705/67108864*c_0110_6^29 - 2092371/524288*c_0110_6^28 + 433428303/67108864*c_0110_6^27 + 6211788541/67108864*c_0110_6^26 + 206370799/2097152*c_0110_6^25 - 23362885297/33554432*c_0110_6^24 - 127167914105/67108864*c_0110_6^23 + 69831434313/67108864*c_0110_6^22 + 712960556079/67108864*c_0110_6^21 + 733286150683/67108864*c_0110_6^20 - 1435777976409/67108864*c_0110_6^19 - 3974935493243/67108864*c_0110_6^18 - 597858488007/33554432*c_0110_6^17 + 461612403055/4194304*c_0110_6^16 + 10424008588719/67108864*c_0110_6^15 - 1671074403663/67108864*c_0110_6^14 - 17309768575343/67108864*c_0110_6^13 - 7083637385241/33554432*c_0110_6^12 + 941573839127/8388608*c_0110_6^11 + 659335055753/2097152*c_0110_6^10 + 641494614583/4194304*c_0110_6^9 - 280490087635/2097152*c_0110_6^8 - 13369407639/65536*c_0110_6^7 - 15500023143/262144*c_0110_6^6 + 17672488143/262144*c_0110_6^5 + 8703710049/131072*c_0110_6^4 + 424285395/32768*c_0110_6^3 - 50456111/4096*c_0110_6^2 - 140341911/16384*c_0110_6 - 14589269/8192, c_0110_6^30 + 63/55*c_0110_6^29 - 1134/55*c_0110_6^28 - 549/11*c_0110_6^27 + 7251/55*c_0110_6^26 + 2983/5*c_0110_6^25 + 3284/55*c_0110_6^24 - 164227/55*c_0110_6^23 - 47384/11*c_0110_6^22 + 296071/55*c_0110_6^21 + 222802/11*c_0110_6^20 + 497083/55*c_0110_6^19 - 38609*c_0110_6^18 - 3325643/55*c_0110_6^17 + 592332/55*c_0110_6^16 + 6116277/55*c_0110_6^15 + 4789218/55*c_0110_6^14 - 3851052/55*c_0110_6^13 - 8869624/55*c_0110_6^12 - 3044208/55*c_0110_6^11 + 5953696/55*c_0110_6^10 + 6785088/55*c_0110_6^9 + 270976/55*c_0110_6^8 - 75520*c_0110_6^7 - 528896/11*c_0110_6^6 + 490496/55*c_0110_6^5 + 1316864/55*c_0110_6^4 + 94208/11*c_0110_6^3 - 139264/55*c_0110_6^2 - 147456/55*c_0110_6 - 32768/55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB