Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 1073863845] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0603 geometric_solution 4.61394110 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 0 -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.178177928868 0.440920195101 0 3 2 2 0132 0132 1230 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 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.369512722231 1.196448550440 3 0 1 1 0132 0132 0132 3012 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 -1 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.369512722231 1.196448550440 2 1 4 4 0132 0132 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 -1 0 1 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 -1.116063059608 0.743489859071 5 3 5 3 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.006095158582 1.787232267004 4 4 6 6 0132 3201 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 -1 0 1 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.195164352781 0.128099753057 6 5 6 5 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4.427369660867 2.419023508239 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(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' : negation(d['1']), 's_2_3' : negation(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' : negation(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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], '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_4']), 'c_0011_4' : d['c_0011_4'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), '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' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 59488227395844275384521258900/47480948116172825947243*c_0101_4^15 - 214278037816660334199254346676/47480948116172825947243*c_0101_4^14 + 557841430356357892077041513143/47480948116172825947243*c_0101_4^13 - 317261342462108056814278795741/47480948116172825947243*c_0101_4^12 - 2500620650174351705756380505230/47480948116172825947243*c_0101_4^11 + 5868779555210498961900649696508/47480948116172825947243*c_0101_4^\ 10 - 3104193821869124939031544738633/47480948116172825947243*c_0101\ _4^9 - 5400118894000778641811774038885/47480948116172825947243*c_01\ 01_4^8 + 14093028532869340914591860674717/47480948116172825947243*c\ _0101_4^7 - 17576755168639750043583483853123/4748094811617282594724\ 3*c_0101_4^6 + 14390145335568982457456608333446/4748094811617282594\ 7243*c_0101_4^5 - 8848593633846901782664069518882/47480948116172825\ 947243*c_0101_4^4 + 4334903399051434503755938940352/474809481161728\ 25947243*c_0101_4^3 - 1505213479930500786092497408665/4748094811617\ 2825947243*c_0101_4^2 + 299839765258824538078865855157/474809481161\ 72825947243*c_0101_4 - 25247482778847977200630428780/47480948116172\ 825947243, c_0011_0 - 1, c_0011_4 + 6255801964089582994138183/379847584929382607577944*c_0101_4^\ 15 + 29520251440662458273835559/379847584929382607577944*c_0101_4^1\ 4 - 14524096141495475505382993/189923792464691303788972*c_0101_4^13 - 6742915811510573103032621/189923792464691303788972*c_0101_4^12 + 67389386920146854051191403/94961896232345651894486*c_0101_4^11 - 318226936524807135913910905/379847584929382607577944*c_0101_4^10 - 172436391442404844310671037/379847584929382607577944*c_0101_4^9 + 303385191252806752012998195/189923792464691303788972*c_0101_4^8 - 811633982197714005533442557/379847584929382607577944*c_0101_4^7 + 77720791449635284376672117/47480948116172825947243*c_0101_4^6 - 61944896839396417592661655/94961896232345651894486*c_0101_4^5 + 74803710076619302505101559/379847584929382607577944*c_0101_4^4 + 2977542719879258586826353/94961896232345651894486*c_0101_4^3 - 36722369727805098441132817/379847584929382607577944*c_0101_4^2 + 12844357332404910896582649/379847584929382607577944*c_0101_4 - 1157936142893329290762009/379847584929382607577944, c_0011_6 - 25585440871247278996505175/379847584929382607577944*c_0101_4\ ^15 - 106115169792439505853442551/379847584929382607577944*c_0101_4\ ^14 + 90695182417792907020518805/189923792464691303788972*c_0101_4^\ 13 - 20038355385833079174961751/189923792464691303788972*c_0101_4^1\ 2 - 273022327708549468663006035/94961896232345651894486*c_0101_4^11 + 1926839255742892443280437113/379847584929382607577944*c_0101_4^10 - 311926621308176510409055171/379847584929382607577944*c_0101_4^9 - 1218872549108297542645232227/189923792464691303788972*c_0101_4^8 + 4716769078597810826124645917/379847584929382607577944*c_0101_4^7 - 631346560086396574908548984/47480948116172825947243*c_0101_4^6 + 891609439593713624392632175/94961896232345651894486*c_0101_4^5 - 2008240280614483221906511103/379847584929382607577944*c_0101_4^4 + 219000569166536802448175815/94961896232345651894486*c_0101_4^3 - 229845023027653765916524063/379847584929382607577944*c_0101_4^2 + 30209139836211980582869887/379847584929382607577944*c_0101_4 - 1507023920647290724433319/379847584929382607577944, c_0101_0 - 3207788343038338226410297/379847584929382607577944*c_0101_4^\ 15 - 10586401599133497318173881/379847584929382607577944*c_0101_4^1\ 4 + 17370126874986452718107747/189923792464691303788972*c_0101_4^13 - 10555138911983388177582157/189923792464691303788972*c_0101_4^12 - 34262336528587155775569379/94961896232345651894486*c_0101_4^11 + 357769211982203691641700495/379847584929382607577944*c_0101_4^10 - 212690063212496518325838877/379847584929382607577944*c_0101_4^9 - 159921781228859814544830977/189923792464691303788972*c_0101_4^8 + 848474181794965825449987291/379847584929382607577944*c_0101_4^7 - 133168861730159748542183759/47480948116172825947243*c_0101_4^6 + 216426713906948400479377485/94961896232345651894486*c_0101_4^5 - 515051251420637523837823529/379847584929382607577944*c_0101_4^4 + 62150935138545061528375143/94961896232345651894486*c_0101_4^3 - 82024261942020452764270561/379847584929382607577944*c_0101_4^2 + 12114073910483482591213537/379847584929382607577944*c_0101_4 - 417749201020127527874817/379847584929382607577944, c_0101_1 + 34438170202690122238287909/379847584929382607577944*c_0101_4\ ^15 + 139941737974510832598864541/379847584929382607577944*c_0101_4\ ^14 - 128174177466949550969579215/189923792464691303788972*c_0101_4\ ^13 + 36999509721754005296994749/189923792464691303788972*c_0101_4^\ 12 + 367300094513637665767785293/94961896232345651894486*c_0101_4^1\ 1 - 2717924212386307367176494163/379847584929382607577944*c_0101_4^\ 10 + 628073629694584840196309769/379847584929382607577944*c_0101_4^\ 9 + 1640047284624634285498627381/189923792464691303788972*c_0101_4^\ 8 - 6639780789051618269648944631/379847584929382607577944*c_0101_4^\ 7 + 912368282221563107740605046/47480948116172825947243*c_0101_4^6 - 1325143156050389487449418763/94961896232345651894486*c_0101_4^5 + 3019219018999654080960445221/379847584929382607577944*c_0101_4^4 - 336472228990139830098107705/94961896232345651894486*c_0101_4^3 + 375939140331162143858244229/379847584929382607577944*c_0101_4^2 - 52049554801696928267016341/379847584929382607577944*c_0101_4 + 2570424516935001568375277/379847584929382607577944, c_0101_3 + 37052123168616243651617699/379847584929382607577944*c_0101_4\ ^15 + 149610070708836668627877475/379847584929382607577944*c_0101_4\ ^14 - 139548972775266222462288909/189923792464691303788972*c_0101_4\ ^13 + 44738792713532126977189323/189923792464691303788972*c_0101_4^\ 12 + 394037993836343213707730497/94961896232345651894486*c_0101_4^1\ 1 - 2965537685579599342960817597/379847584929382607577944*c_0101_4^\ 10 + 775666339765940958094437031/379847584929382607577944*c_0101_4^\ 9 + 1741159293044788405328423683/189923792464691303788972*c_0101_4^\ 8 - 7245434477350440337839382369/379847584929382607577944*c_0101_4^\ 7 + 1010915719135240088615975584/47480948116172825947243*c_0101_4^6 - 1495758434852369377889667811/94961896232345651894486*c_0101_4^5 + 3463010314762798077374886395/379847584929382607577944*c_0101_4^4 - 392486953374105892276458421/94961896232345651894486*c_0101_4^3 + 460661385966362831540286819/379847584929382607577944*c_0101_4^2 - 71790869044033412846638235/379847584929382607577944*c_0101_4 + 4160531219221243376383027/379847584929382607577944, c_0101_4^16 + 66/19*c_0101_4^15 - 187/19*c_0101_4^14 + 124/19*c_0101_4^13 + 786/19*c_0101_4^12 - 1977/19*c_0101_4^11 + 1230/19*c_0101_4^10 + 1601/19*c_0101_4^9 - 4723/19*c_0101_4^8 + 6187/19*c_0101_4^7 - 5308/19*c_0101_4^6 + 3407/19*c_0101_4^5 - 1741/19*c_0101_4^4 + 655/19*c_0101_4^3 - 156/19*c_0101_4^2 + 20/19*c_0101_4 - 1/19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB