Magma V2.19-8 Tue Aug 20 2013 17:55:32 on localhost [Seed = 3221096559] Type ? for help. Type -D to quit. Loading file "11_353__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_353 geometric_solution 8.03987560 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 9 1 2 1 3 0132 0132 2310 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 -6 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.044714573654 1.749878977705 0 0 5 4 0132 3201 0132 0132 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 6 -6 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.560791380951 0.499477637314 3 0 6 5 3201 0132 0132 1230 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 6 0 -6 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.067595226344 0.494365373524 6 7 0 2 2031 0132 0132 2310 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 0 7 -7 0 0 0 0 0 1 0 0 -1 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.690096663195 0.531374590113 5 5 1 8 1230 0213 0132 0132 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 1 0 -1 1 0 6 -7 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.729382874519 0.518622504719 2 4 4 1 3012 3012 0213 0132 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 -1 0 6 0 0 -6 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.662326735417 0.564696124868 8 7 3 2 1230 0321 1302 0132 0 0 0 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 0 0 0 0 0 0 0 0 7 0 -7 0 -7 7 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670296151557 0.647066140465 8 3 8 6 3012 0132 3201 0321 0 0 0 0 0 1 -1 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 -7 7 0 0 0 0 0 0 7 0 -7 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.153027353491 1.114709854103 7 6 4 7 2310 3012 0132 1230 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -7 0 7 0 0 -7 0 7 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.790808905951 1.515540802635 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_7' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_8']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_8' : negation(d['c_0011_6']), 's_2_8' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_8' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : d['c_0101_1'], 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : d['c_1001_2'], 'c_1010_8' : d['c_0011_3'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : 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_1_8' : d['1'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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_0101_7' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0011_5'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_8']), 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_5'], 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_8']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 151841308481846023309/12567939641341830000*c_1001_2^9 - 6957265712031846439157/62839698206709150000*c_1001_2^8 - 1101361359010323022361/4189313213780610000*c_1001_2^7 - 7984692650106774887431/12567939641341830000*c_1001_2^6 - 18773935430270203153969/10473283034451525000*c_1001_2^5 - 57854328925987942981889/31419849103354575000*c_1001_2^4 + 524631002506464542659/683040197899012500*c_1001_2^3 + 3858467778956038828769/7854962275838643750*c_1001_2^2 - 187791734251565156690113/62839698206709150000*c_1001_2 - 28068728061735080603249/12567939641341830000, c_0011_0 - 1, c_0011_3 + 8566362164877/41023435309250*c_1001_2^9 + 365478709722571/205117176546250*c_1001_2^8 + 144876353888399/41023435309250*c_1001_2^7 + 197378980984609/20511717654625*c_1001_2^6 + 2680722093333946/102558588273125*c_1001_2^5 + 4008830085279859/205117176546250*c_1001_2^4 - 1511311743885267/102558588273125*c_1001_2^3 + 647639486689069/205117176546250*c_1001_2^2 + 4121959162270307/102558588273125*c_1001_2 + 924875970122697/41023435309250, c_0011_4 + 61144147125193/369210917783250*c_1001_2^9 + 1321722908948707/923027294458125*c_1001_2^8 + 181073390409136/61535152963875*c_1001_2^7 + 1440122616404456/184605458891625*c_1001_2^6 + 13153740823848401/615351529638750*c_1001_2^5 + 31600656793660831/1846054588916250*c_1001_2^4 - 10972706809517203/923027294458125*c_1001_2^3 + 1025126312527721/1846054588916250*c_1001_2^2 + 61872126878337751/1846054588916250*c_1001_2 + 7318515006880073/369210917783250, c_0011_5 - 18961837813694/184605458891625*c_1001_2^9 - 1607630052280649/1846054588916250*c_1001_2^8 - 103703100222901/61535152963875*c_1001_2^7 - 1707493133392417/369210917783250*c_1001_2^6 - 7797532979236391/615351529638750*c_1001_2^5 - 16276525715688271/1846054588916250*c_1001_2^4 + 7048823006896798/923027294458125*c_1001_2^3 - 2488757370375943/923027294458125*c_1001_2^2 - 35196189784909741/1846054588916250*c_1001_2 - 3443470892681093/369210917783250, c_0011_6 - 14732765459/168589460175*c_1001_2^9 - 610674408607/842947300875*c_1001_2^8 - 148405946647/112392973450*c_1001_2^7 - 1294810239937/337178920350*c_1001_2^6 - 5703683012101/561964867250*c_1001_2^5 - 10745973072781/1685894601750*c_1001_2^4 + 10738554419981/1685894601750*c_1001_2^3 - 2298467532148/842947300875*c_1001_2^2 - 24889496563201/1685894601750*c_1001_2 - 1191872296549/168589460175, c_0011_8 + 161399563166/2528841902625*c_1001_2^9 + 13587828348911/25288419026250*c_1001_2^8 + 1732023098453/1685894601750*c_1001_2^7 + 14614750753813/5057683805250*c_1001_2^6 + 65102653962899/8429473008750*c_1001_2^5 + 137743909775719/25288419026250*c_1001_2^4 - 55858006921072/12644209513125*c_1001_2^3 + 34639411735829/25288419026250*c_1001_2^2 + 144038062918337/12644209513125*c_1001_2 + 14793157087726/2528841902625, c_0101_0 + 8581822119653/123070305927750*c_1001_2^9 + 178519460437247/307675764819375*c_1001_2^8 + 43596234690487/41023435309250*c_1001_2^7 + 373263068879927/123070305927750*c_1001_2^6 + 832993369639373/102558588273125*c_1001_2^5 + 1549493989956013/307675764819375*c_1001_2^4 - 3396552834133351/615351529638750*c_1001_2^3 + 1294204650447841/615351529638750*c_1001_2^2 + 3921261498570673/307675764819375*c_1001_2 + 698736906817633/123070305927750, c_0101_1 + 54968721853373/369210917783250*c_1001_2^9 + 1166640664762652/923027294458125*c_1001_2^8 + 302128079125867/123070305927750*c_1001_2^7 + 1238170966164766/184605458891625*c_1001_2^6 + 11302454038113661/615351529638750*c_1001_2^5 + 23861954554356641/1846054588916250*c_1001_2^4 - 10341928218395483/923027294458125*c_1001_2^3 + 3177580926703403/923027294458125*c_1001_2^2 + 26249658612852943/923027294458125*c_1001_2 + 2729246568141464/184605458891625, c_1001_2^10 + 48/5*c_1001_2^9 + 26*c_1001_2^8 + 64*c_1001_2^7 + 871/5*c_1001_2^6 + 1132/5*c_1001_2^5 + 138/5*c_1001_2^4 - 308/5*c_1001_2^3 + 1037/5*c_1001_2^2 + 312*c_1001_2 + 115 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB