Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 3364443136] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1591 geometric_solution 5.36166352 oriented_manifold CS_known -0.0000000000000002 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.625323470138 0.123595773344 2 0 2 0 0132 2310 1023 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 -1 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.835628474982 0.180598525511 1 3 1 4 0132 0132 1023 0132 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 -1 1 1 0 -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.938521304622 0.520546600134 5 2 6 4 0132 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.972964364212 0.987972886924 3 6 2 5 3012 1023 0132 0132 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 1 -1 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.972964364212 0.987972886924 3 5 4 5 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.038459685441 0.983740878006 4 6 6 3 1023 1230 3012 0132 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 -1 1 0 -1 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 1.038459685441 0.983740878006 ==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' : 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' : 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_4'], 'c_1100_5' : d['c_0011_1'], '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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 71534812695176632336735021311935/826212506949311046088433626173*c_0\ 101_6^18 - 861174544788503155596667349246969/8262125069493110460884\ 33626173*c_0101_6^17 - 2464439129527204418862776057325679/826212506\ 949311046088433626173*c_0101_6^16 - 242718854587516953644171385854186/26652016353203582131884955683*c_0\ 101_6^15 - 3069914531501589384715434216433408/275404168983103682029\ 477875391*c_0101_6^14 - 267406492480737327737587579801829/266520163\ 53203582131884955683*c_0101_6^13 + 1793119632246717770247017475733810/275404168983103682029477875391*c\ _0101_6^12 + 24385413457934852738075558085306962/826212506949311046\ 088433626173*c_0101_6^11 + 28288129188143758434737931900211754/8262\ 12506949311046088433626173*c_0101_6^10 + 28452850809123073629584467677643687/826212506949311046088433626173*\ c_0101_6^9 + 31533333364970318766297244448305196/826212506949311046\ 088433626173*c_0101_6^8 - 17166483542913567894533344656689999/82621\ 2506949311046088433626173*c_0101_6^7 - 67433999418275786344401014455633661/826212506949311046088433626173*\ c_0101_6^6 - 56984948903566839907691965706722162/826212506949311046\ 088433626173*c_0101_6^5 - 7510188470591576827211925008604443/826212\ 506949311046088433626173*c_0101_6^4 + 12830562071708895897574649429650847/275404168983103682029477875391*\ c_0101_6^3 + 5740652339396753025032504771593208/2754041689831036820\ 29477875391*c_0101_6^2 - 441318533889849532465654628766016/27540416\ 8983103682029477875391*c_0101_6 + 441543820640736613087540849879765\ 1/826212506949311046088433626173, c_0011_0 - 1, c_0011_1 + 3543392915677529563132855320/8884005451067860710628318561*c_\ 0101_6^18 + 39163749935946721605124536259/8884005451067860710628318\ 561*c_0101_6^17 + 83223586446342849871003102840/8884005451067860710\ 628318561*c_0101_6^16 + 287883495071608208886430474711/888400545106\ 7860710628318561*c_0101_6^15 + 164966596834140778498223095773/88840\ 05451067860710628318561*c_0101_6^14 + 223308412342223463073924306658/8884005451067860710628318561*c_0101_\ 6^13 - 515264382630046693396854981138/8884005451067860710628318561*\ c_0101_6^12 - 739405781431570302970368094322/8884005451067860710628\ 318561*c_0101_6^11 - 670712204823831703324184848873/888400545106786\ 0710628318561*c_0101_6^10 - 709482849951703964467270412321/88840054\ 51067860710628318561*c_0101_6^9 - 795363515632134368426078759137/88\ 84005451067860710628318561*c_0101_6^8 + 1730514441969230504540720946524/8884005451067860710628318561*c_0101\ _6^7 + 1764702482502050071235319760887/8884005451067860710628318561\ *c_0101_6^6 + 1077413962729126659945883652664/888400545106786071062\ 8318561*c_0101_6^5 - 774654256504293627614507807378/888400545106786\ 0710628318561*c_0101_6^4 - 1263949854438051850892638812813/88840054\ 51067860710628318561*c_0101_6^3 + 354853155155850739021182027721/88\ 84005451067860710628318561*c_0101_6^2 - 247642975746795267536119530234/8884005451067860710628318561*c_0101_\ 6 + 7718955299785277393958773853/8884005451067860710628318561, c_0011_4 + 10387599439643019124095657967/8884005451067860710628318561*c\ _0101_3*c_0101_6^18 + 115343591889196374786671595809/88840054510678\ 60710628318561*c_0101_3*c_0101_6^17 + 250227185929042871672180951116/8884005451067860710628318561*c_0101_\ 3*c_0101_6^16 + 860793071024238799373188865750/88840054510678607106\ 28318561*c_0101_3*c_0101_6^15 + 539787693126184403896051455578/8884\ 005451067860710628318561*c_0101_3*c_0101_6^14 + 721494979482807857951955299114/8884005451067860710628318561*c_0101_\ 3*c_0101_6^13 - 1417927617474811503469137101284/8884005451067860710\ 628318561*c_0101_3*c_0101_6^12 - 2164350930217266875628489124199/88\ 84005451067860710628318561*c_0101_3*c_0101_6^11 - 2050987319887102494866399772249/8884005451067860710628318561*c_0101\ _3*c_0101_6^10 - 2229126001054552779645035649249/888400545106786071\ 0628318561*c_0101_3*c_0101_6^9 - 2557607901397909341696240762665/88\ 84005451067860710628318561*c_0101_3*c_0101_6^8 + 4774052866923011688760038585602/8884005451067860710628318561*c_0101\ _3*c_0101_6^7 + 5171138449229311803776280607099/8884005451067860710\ 628318561*c_0101_3*c_0101_6^6 + 3342249359821218440584337030974/888\ 4005451067860710628318561*c_0101_3*c_0101_6^5 - 2007182843528935948098546460092/8884005451067860710628318561*c_0101\ _3*c_0101_6^4 - 3597938077522831919096206017411/8884005451067860710\ 628318561*c_0101_3*c_0101_6^3 + 962483607855349271623619438919/8884\ 005451067860710628318561*c_0101_3*c_0101_6^2 - 697943871891757520948634585128/8884005451067860710628318561*c_0101_\ 3*c_0101_6 + 2347848199512959218830635109/8884005451067860710628318\ 561*c_0101_3, c_0101_0 - 3830177647229870011559438343/8884005451067860710628318561*c_\ 0101_6^18 - 42590707589761097717499881332/8884005451067860710628318\ 561*c_0101_6^17 - 92858065305573228828015821078/8884005451067860710\ 628318561*c_0101_6^16 - 317896625565888531642025974462/888400545106\ 7860710628318561*c_0101_6^15 - 201212647852761676078377300071/88840\ 05451067860710628318561*c_0101_6^14 - 259966124319676187864172696302/8884005451067860710628318561*c_0101_\ 6^13 + 531235799482199065506835485551/8884005451067860710628318561*\ c_0101_6^12 + 822725809387717845067507501042/8884005451067860710628\ 318561*c_0101_6^11 + 771655377006220462488995618206/888400545106786\ 0710628318561*c_0101_6^10 + 817960245554497406401880660701/88840054\ 51067860710628318561*c_0101_6^9 + 925451671366860451700183694561/88\ 84005451067860710628318561*c_0101_6^8 - 1788867227494011727830224721958/8884005451067860710628318561*c_0101\ _6^7 - 1988174356999006324284128616285/8884005451067860710628318561\ *c_0101_6^6 - 1277176911317171238038472239306/888400545106786071062\ 8318561*c_0101_6^5 + 755218582229622089354062268248/888400545106786\ 0710628318561*c_0101_6^4 + 1399598654557532736840219600825/88840054\ 51067860710628318561*c_0101_6^3 - 307902002596196306472461945519/88\ 84005451067860710628318561*c_0101_6^2 + 240866853754559794748172523379/8884005451067860710628318561*c_0101_\ 6 + 2875269141157453647142004634/8884005451067860710628318561, c_0101_1 - 4704520903267833657313349183/8884005451067860710628318561*c_\ 0101_6^18 - 52071628310048632443644565610/8884005451067860710628318\ 561*c_0101_6^17 - 111363764935063926687075597752/888400545106786071\ 0628318561*c_0101_6^16 - 384555467041433721691466033428/88840054510\ 67860710628318561*c_0101_6^15 - 227015942547458275029891872254/8884\ 005451067860710628318561*c_0101_6^14 - 306008412497181497619034419248/8884005451067860710628318561*c_0101_\ 6^13 + 669720547470924902480949336885/8884005451067860710628318561*\ c_0101_6^12 + 980840718279243072916402576308/8884005451067860710628\ 318561*c_0101_6^11 + 901254444807385732340013383421/888400545106786\ 0710628318561*c_0101_6^10 + 966111813333413640667324687446/88840054\ 51067860710628318561*c_0101_6^9 + 1093937995007915463921836660342/8\ 884005451067860710628318561*c_0101_6^8 - 2252670046727926758064965729459/8884005451067860710628318561*c_0101\ _6^7 - 2334561135147144505562291723617/8884005451067860710628318561\ *c_0101_6^6 - 1452237056071672132590948601587/888400545106786071062\ 8318561*c_0101_6^5 + 982536308915002462875276751794/888400545106786\ 0710628318561*c_0101_6^4 + 1651921554311899673248934710955/88840054\ 51067860710628318561*c_0101_6^3 - 469943977034462377603887486457/88\ 84005451067860710628318561*c_0101_6^2 + 324907369321860375126324500204/8884005451067860710628318561*c_0101_\ 6 - 1643105669356459180394839995/8884005451067860710628318561, c_0101_3^2 - 3300950014220980301020829476/8884005451067860710628318561*\ c_0101_6^18 - 36662035911103869112001361499/88840054510678607106283\ 18561*c_0101_6^17 - 79629774684940162288646069805/88840054510678607\ 10628318561*c_0101_6^16 - 274011665153675551493239305108/8884005451\ 067860710628318561*c_0101_6^15 - 173253448313240704878864556369/888\ 4005451067860710628318561*c_0101_6^14 - 232793342764621339257239061054/8884005451067860710628318561*c_0101_\ 6^13 + 444222755745200807670993117220/8884005451067860710628318561*\ c_0101_6^12 + 682343688489881560299829434686/8884005451067860710628\ 318561*c_0101_6^11 + 649343926060305836453054451827/888400545106786\ 0710628318561*c_0101_6^10 + 715956063637656884231339699916/88840054\ 51067860710628318561*c_0101_6^9 + 828080850410042678511540868914/88\ 84005451067860710628318561*c_0101_6^8 - 1496729935073098191714134948248/8884005451067860710628318561*c_0101\ _6^7 - 1621502482050053913135598892209/8884005451067860710628318561\ *c_0101_6^6 - 1051346190763726779536666921952/888400545106786071062\ 8318561*c_0101_6^5 + 622346288616560858994586944642/888400545106786\ 0710628318561*c_0101_6^4 + 1118509039582884706634538075636/88840054\ 51067860710628318561*c_0101_6^3 - 326672458230465637790560274843/88\ 84005451067860710628318561*c_0101_6^2 + 218854556963221092568153921752/8884005451067860710628318561*c_0101_\ 6 - 4304606117823486513905605020/8884005451067860710628318561, c_0101_6^19 + 12*c_0101_6^18 + 34*c_0101_6^17 + 104*c_0101_6^16 + 125*c_0101_6^15 + 112*c_0101_6^14 - 79*c_0101_6^13 - 337*c_0101_6^12 - 384*c_0101_6^11 - 385*c_0101_6^10 - 428*c_0101_6^9 + 254*c_0101_6^8 + 930*c_0101_6^7 + 766*c_0101_6^6 + 80*c_0101_6^5 - 538*c_0101_6^4 - 222*c_0101_6^3 + 24*c_0101_6^2 - 61*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB