Magma V2.19-8 Tue Aug 20 2013 16:19:08 on localhost [Seed = 4054871180] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3265 geometric_solution 6.39214249 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 1 0 -1 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 -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.640548611575 1.155819472174 0 3 5 4 0132 0132 0132 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 -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.314298647179 0.824904143083 3 0 4 5 3201 0132 3201 0132 0 0 0 0 0 1 -1 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 1 -1 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.314298647179 0.824904143083 3 1 3 2 2310 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165107082317 0.971524850396 2 6 1 6 2310 0132 0132 1023 0 0 0 0 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 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 1.059167809274 1.006104969303 5 5 2 1 1302 2031 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 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.476674071897 1.003238321901 6 4 6 4 2031 0132 1302 1023 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 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.498841566258 0.215761517355 ==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' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : 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' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], '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_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, 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: 32 Groebner basis: [ t - 133608238385518481923/939050371214579739*c_0101_2*c_0110_6^15 - 334835254614923846836/939050371214579739*c_0101_2*c_0110_6^14 - 33572456845208965231/313016790404859913*c_0101_2*c_0110_6^13 + 11141425570512217526252/939050371214579739*c_0101_2*c_0110_6^12 + 1577456066795236998403/939050371214579739*c_0101_2*c_0110_6^11 + 729004980452420483800/939050371214579739*c_0101_2*c_0110_6^10 + 30540478156804423214962/939050371214579739*c_0101_2*c_0110_6^9 + 146635197074635775122/313016790404859913*c_0101_2*c_0110_6^8 - 24223990495422893362438/939050371214579739*c_0101_2*c_0110_6^7 - 591251194323704820571/313016790404859913*c_0101_2*c_0110_6^6 - 4019847780608922866530/313016790404859913*c_0101_2*c_0110_6^5 + 1313583038616421176565/313016790404859913*c_0101_2*c_0110_6^4 + 1386526584302862539489/313016790404859913*c_0101_2*c_0110_6^3 - 418767370203865105577/939050371214579739*c_0101_2*c_0110_6^2 + 565435145345738956339/939050371214579739*c_0101_2*c_0110_6 + 261502762365965006768/939050371214579739*c_0101_2, c_0011_0 - 1, c_0011_4 + 3198056746200278183/313016790404859913*c_0101_2*c_0110_6^15 + 8205937167039432240/313016790404859913*c_0101_2*c_0110_6^14 + 2829629533542702010/313016790404859913*c_0101_2*c_0110_6^13 - 266687589590719557690/313016790404859913*c_0101_2*c_0110_6^12 - 53766266561551188035/313016790404859913*c_0101_2*c_0110_6^11 - 14703512751625708375/313016790404859913*c_0101_2*c_0110_6^10 - 731546842219536184761/313016790404859913*c_0101_2*c_0110_6^9 - 52680113699754338254/313016790404859913*c_0101_2*c_0110_6^8 + 593823473513591844427/313016790404859913*c_0101_2*c_0110_6^7 + 77482630637133067525/313016790404859913*c_0101_2*c_0110_6^6 + 284324523002062805314/313016790404859913*c_0101_2*c_0110_6^5 - 75331849531804534200/313016790404859913*c_0101_2*c_0110_6^4 - 112013390346453623727/313016790404859913*c_0101_2*c_0110_6^3 + 6060051382856028833/313016790404859913*c_0101_2*c_0110_6^2 - 12461364350777876285/313016790404859913*c_0101_2*c_0110_6 - 7719973480537329742/313016790404859913*c_0101_2, c_0011_5 - 3735632354838953526/313016790404859913*c_0101_2*c_0110_6^15 - 9544532402748578729/313016790404859913*c_0101_2*c_0110_6^14 - 3253601316571050654/313016790404859913*c_0101_2*c_0110_6^13 + 311424012818285233304/313016790404859913*c_0101_2*c_0110_6^12 + 59357706081909898179/313016790404859913*c_0101_2*c_0110_6^11 + 20862694528515408798/313016790404859913*c_0101_2*c_0110_6^10 + 854562521926713717493/313016790404859913*c_0101_2*c_0110_6^9 + 53835696759611720662/313016790404859913*c_0101_2*c_0110_6^8 - 681735397404052654944/313016790404859913*c_0101_2*c_0110_6^7 - 83169857101756229706/313016790404859913*c_0101_2*c_0110_6^6 - 336456038727502729472/313016790404859913*c_0101_2*c_0110_6^5 + 93106777410152514214/313016790404859913*c_0101_2*c_0110_6^4 + 123509085061791154610/313016790404859913*c_0101_2*c_0110_6^3 - 6193599774259016768/313016790404859913*c_0101_2*c_0110_6^2 + 14675179243356505226/313016790404859913*c_0101_2*c_0110_6 + 8461610643300790759/313016790404859913*c_0101_2, c_0101_0 + 3373222274349745239/313016790404859913*c_0110_6^15 + 8681335870820882347/313016790404859913*c_0110_6^14 + 3051250406669403415/313016790404859913*c_0110_6^13 - 281258511157031669708/313016790404859913*c_0110_6^12 - 58833911576449503778/313016790404859913*c_0110_6^11 - 15914448802296609153/313016790404859913*c_0110_6^10 - 772793747800071600921/313016790404859913*c_0110_6^9 - 62255174766744544145/313016790404859913*c_0110_6^8 + 625070876409882746396/313016790404859913*c_0110_6^7 + 82933167436740254508/313016790404859913*c_0110_6^6 + 298326694290188104935/313016790404859913*c_0110_6^5 - 77052737778019163148/313016790404859913*c_0110_6^4 - 118624764018295142535/313016790404859913*c_0110_6^3 + 7043384997259445580/313016790404859913*c_0110_6^2 - 12405485881804388640/313016790404859913*c_0110_6 - 7826722064756998814/313016790404859913, c_0101_1 - 2498042331350728256/313016790404859913*c_0110_6^15 - 6353203679443673115/313016790404859913*c_0110_6^14 - 2093623639665492639/313016790404859913*c_0110_6^13 + 208291742791341109118/313016790404859913*c_0110_6^12 + 37245830577852684948/313016790404859913*c_0110_6^11 + 12867804207200679398/313016790404859913*c_0110_6^10 + 571460549051073924796/313016790404859913*c_0110_6^9 + 29517683612050360320/313016790404859913*c_0110_6^8 - 457559962421354313991/313016790404859913*c_0110_6^7 - 49455788587865365358/313016790404859913*c_0110_6^6 - 222296127126467352401/313016790404859913*c_0110_6^5 + 65429956246213814591/313016790404859913*c_0110_6^4 + 82099867546573254449/313016790404859913*c_0110_6^3 - 6087799173455686185/313016790404859913*c_0110_6^2 + 9581973206321336827/313016790404859913*c_0110_6 + 5355399219296628001/313016790404859913, c_0101_2^2 - 446038594094925998/313016790404859913*c_0110_6^15 - 1156032756197401514/313016790404859913*c_0110_6^14 - 435029406560354749/313016790404859913*c_0110_6^13 + 37154910004825914160/313016790404859913*c_0110_6^12 + 8440243504280667032/313016790404859913*c_0110_6^11 + 3127783207142063601/313016790404859913*c_0110_6^10 + 102472627920954034535/313016790404859913*c_0110_6^9 + 10438380978370100435/313016790404859913*c_0110_6^8 - 79934454072425146681/313016790404859913*c_0110_6^7 - 11981645400834464930/313016790404859913*c_0110_6^6 - 40746918095618064134/313016790404859913*c_0110_6^5 + 9423213627837894994/313016790404859913*c_0110_6^4 + 14522104375354248745/313016790404859913*c_0110_6^3 - 534742436252119642/313016790404859913*c_0110_6^2 + 1800868454202722909/313016790404859913*c_0110_6 + 838531707322378819/313016790404859913, c_0110_6^16 + 3*c_0110_6^15 + 2*c_0110_6^14 - 83*c_0110_6^13 - 53*c_0110_6^12 - 12*c_0110_6^11 - 231*c_0110_6^10 - 116*c_0110_6^9 + 178*c_0110_6^8 + 104*c_0110_6^7 + 99*c_0110_6^6 + 15*c_0110_6^5 - 45*c_0110_6^4 - 13*c_0110_6^3 - 3*c_0110_6^2 - 4*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB