⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 eurmch.mf

📁 Concrete_Mathematics_2nd_Ed_TeX_Source_Code
💻 MF
📖 第 1 页 / 共 5 页
字号:
adj_fill.B()                         % fixed x points%     (9)                         % fixed y points%     ((1,2), (5,1))                    % tied points     ()                         % fixed y points % DEK     ((1,2), (5,1), (9,3))               % tied points % DEK     ((3,7))                         % verticals     ((4,6), (2,8))                    % horizontals     ((1500,1619){-339,173}...          % 0      (1149,1732){-428,-2}...          % 1      (580,1570){-336,-294}...          % 2      (230,710){-7,-433}...               % 3      (442,98){337,-321}...               % 4      (757,-25){1,0}...{604,463}          % 5      (1420,250)--                    % 6      (1420,424){-300,-350}...          % 7      (990,205){-1,0}...               % 8      (695,325){-286,308}...               % 9      (609,502){-125,464}...               % *10      (570,789){-16,369}...               % 11      (794,1470){195,173}...               % 12      (1112,1609){1,0}...{1,-1}          % 13      (1359,1493)--cycle);               % 14endchar(leftq#);"rmlr";charbegin( "r", 1300h# + leftr# + rightr#, lcbody*v#, baseline );n := 8;t1 := 1;t2 := 3;t3 := 5;t4 := 6;t5 := 7;t6 := 9;t7 := 11;t8 := 12;adj_fill.A(5)                         % fixed x points     (1, 4)                         % fixed y points     ((7,1), (8,2))                    % tied points     ((2,8))                         % verticals     ((3,6))                         % horizontals     ((448,-9){-7,-8}...               % 0      (441,-17){-1.464,-.1594}...{-38,28}     % 1      (403,11){21,339}...               % 2      (425,899){5,550}...               % 3      (367,1478){-200,297}...          % 4      (266,1539){-1,0}...{-335,-195}          % 5      (-21,1408)--                    % 6      (-68,1472){410,325}...               % 7      (231,1678){502,277}...               % *8      (434,1749){1,0}...               % 9      (614,1688){164,-164}...{28,-404}     % 10      (702,1440){-9,-217}...{-9,-217}     % 11      (693,1223){-16,-720}...{22,-438}     % 12      (696,65)--cycle);               % 13n := 5;t1 := 2;t2 := 4;t3 := 5;t4 := 6;t5 := 9;adj_fill.B()                         % fixed x points     (5)                         % fixed y points     ((2,1), (3,2))                    % tied points     ()                         % verticals     ((1,4))                         % horizontals     ((1435,1437){-86,387}...          % 0      (1343,1663){-272,267}...          % 1      (1143,1728){-1,0}...               % 2      (968,1656){-441,-288}...{-350,-323}     % *3      (702,1440)--                    % 4      (693,1223){126,328}...               % 5      (997,1487){1,0}...               % 6      (1123,1439){247,-248}...{91,-460}     % 7      (1192,1273){44,-19}...{44,-19}          % 8      (1236,1254)--cycle);               % 9endchar(leftr#);"rmls";charbegin( "s", 1448h# + lefts# + rights#, lcbody*v#, baseline );n := 14;t1 := 0;t2 := 1;t3 := 3;t4 := 5;t5 := 9;t6 := 11;t7 := 14;t8 := 15;t9 := 16;t10 := 18;t11 := 20;t12 := 24;t13 := 26;t14 := 29;adj_fill.A(2, 7, 9, 14)                    % fixed x points     (1, 7, 8, 14)                    % fixed y points     ((1,2), (7,1), (8,1), (14,2))          % tied points     ((5,11), (4,12))               % verticals     ((6,10), (3,13))               % horizontals     ((1046,1279){206,137}...{206,137}     % 0      (1252,1416){-7,205}...               % 1      (1147,1631){-241,220}...          % 2      (833,1725){-1,0}...               % 3      (344,1543){-272,-245}...          % 4      (194,1194){0,-1}...               % 5      (329,891){262,-243}...               % 6      (656,718){389,-158}...               % 7      (926,566){383,-384}...               % 8      (1020,359){0,-1}...               % 9      (939,182){-173,-176}...          % 10      (713,92){-1,0}...               % 11      (414,202){-174,163}...{-25,520}     % 12      (286,503){-54,4}...{-54,4}          % 13      (232,507)--                    % 14      (232,507){-178,-263}...{-178,-263}     % 15      (54,244){213,-403}...               % 16      (199,60){273,-240}...               % 17      (598,-64){1,0}...               % 18      (1159,161){307,326}...               % 19      (1292,509){0,1}...               % 20      (1175,756){-232,219}...          % 21      (866,919){-434,198}...               % 22      (556,1085){-220,225}...          % 23      (460,1296){0,1}...               % 24      (543,1508){256,251}...               % 25      (763,1593){1,0}...               % 26      (956,1501){164,-272}...{24,-452}     % 27      (1002,1305){44,-26}...{44,-26}          % 28      (1046,1279)--cycle);               % 29endchar(lefts#);"rmlt";charbegin( "t", 1243h# + leftt# + rightt#,theight*v#, baseline );n := 11;t1 := 2;t2 := 3;t3 := 5;t4 := 9;t5 := 10;t6 := 11;t7 := 13;t8 := 16;t9 := 17;t10 := 18;t11 := 19;adj_fill.A(2, 6, 9)                    % fixed x points     (5)                         % fixed y points     ()                         % tied points     ((3,8), (1,11))                    % verticals     ((4,7), (1,3), (9,10))               % horizontals     ((721,2262){26,-20}...{26,-20}          % 0      (747,2242){-42,-483}...{-10,-605}     % 1      (708,1587){517,0}...{517,0}          % 2      (1225,1587){-42,-130}...{-42,-130}     % 3      (1183,1457){-475,0}...{-475,0}          % 4      (708,1457){-3,-542}...               % 5      (708,823){8,-546}...               % 6      (736,469){97,-546}...               % *7      (805,277){244,-289}...               % 8      (971,203){1,0}...{487,314}          % 9      (1334,373)--                    % 10      (1375,293){-476,-448}...          % 11      (1050,50){-605,-328}...          % *12      (770,-35){-1,0}...               % 13      (544,54){-365,351}...               % 14      (426,737){-6,643}...{4,241}          % 15      (419,1457){-461,0}...{-461,0}          % 16      (-42,1457){40,130}...{40,130}          % 17      (-2,1587){421,0}...{421,0}          % 18      (419,1587){0,480}...{-6,60}          % 19      (409,2153)--cycle);               % 20endchar(leftt#);"rmlu";charbegin( "u", 2079h# + leftu# + rightu#, lcbody*v#, baseline );n := 8;t1 := 1;t2 := 2;t3 := 4;t4 := 6;t5 := 7;t6 := 9;t7 := 11;t8 := 13;adj_fill.A(4)                         % fixed x points     (5, 8)                         % fixed y points     ((1,2), (2,1))                    % tied points     ((2,7))                         % verticals     ((3,6))                         % horizontals     ((1412,1609){21,-354}...{-9,-645}     % 0      (1410,411){11,-174}...{11,-174}     % 1      (1421,237){60,-591}...               % 2      (1493,37){1,-1}...               % 3      (1677,-29){1,0}...               % 4      (1924,61){596,347}...{391,336}          % *5      (2273,318)--                    % 6      (2220,410){-314,-228}...          % 7      (2020,285){-339,-168}...          % *8      (1881,242){-1,0}...               % 9      (1760,292){-1,1}...               % 10      (1699,668){0,1}...{37,472}          % 11      (1743,1698){-46,41}...{-46,41}          % 12      (1697,1739)--cycle);               % 13n := 10;t1 := 0;t2 := 3;t3 := 5;t4 := 7;t5 := 8;t6 := 9;t7 := 11;t8 := 14;t9 := 16;t10 := 18;adj_fill.B(6)                         % fixed x points     (5)                         % fixed y points     ((1,1), (10,2))                    % tied points     ((3,8))                         % verticals     ((4,7), (2,9))                    % horizontals     ((1421,237){-27,3}...{-27,3}          % 0      (1394,240){-309,-177}...          % 1      (968,22){-690,-290}...               % *2      (704,-50){-1,0}...               % 3      (424,53){-1,1}...               % 4      (326,912){20,589}...               % 5      (258,1478){-1,1}...               % 6      (169,1513){-1,0}...{-385,-209}          % 7      (-95,1392)--                    % 8      (-154,1463){467,350}...          % 9      (151,1665){503,270}...               % *10      (349,1733){1,0}...               % 11      (519,1677){1,-1}...               % 12      (586,1477){74,-773}...               % *13      (593,904){0,-500}...               % 14      (693,275){1,-1}...               % 15      (927,187){1,0}...               % 16      (1146,245){483,224}...{229,178}     % *17      (1410,411)--cycle);               % 18endchar(leftu#);"rmlv";charbegin( "v", 1635h# + leftv# + rightv#, lcbody*v#, baseline );n := 10;t1 := 0;t2 := 1;t3 := 2;t4 := 5;t5 := 9;t6 := 11;t7 := 13;t8 := 17;t9 := 20;t10 := 22;adj_fill.A(1, 2, 6)                    % fixed x points     (10)                         % fixed y points     ()                         % tied points     ((3,9))                         % verticals     ((5,7), (4,8))                    % horizontals     ((1228,1565){0,-41}...{0,-41}          % 0      (1228,1524){208,-381}...          % 1      (1366,1156){0,-1}...               % 2      (1263,808){-398,-771}...          % *3      (968,385){-204,-237}...          % 4      (880,303){-1.448,.01602}...          % 5      (803,378){-51,200}...               % 6      (634,1018){-108,446}...          % 7      (423,1664){-310,367}...          % 8      (284,1736){-1,0}...               % 9      (93,1681){-461,-215}...{-363,-251}     % *10      (-177,1521)--                    % 11      (-133,1444){315,183}...          % 12      (88,1525){1,0}...               % 13      (191,1460){318,-422}...          % 14      (376,914){167,-646}...               % 15      (633,13){100,-324}...               % 16      (706,-40){1,0}...               % 17      (832,62){385,393}...               % 18      (1420,783){794,1276}...          % *19      (1626,1338){0,1}...{-271,363}          % 20      (1487,1691){-65,12}...{-65,12}          % 21      (1422,1703)--cycle);               % 22endchar(leftv#);"rmlw";charbegin( "w", 2807h# + leftw# + rightw#, lcbody*v#, baseline );n := 11;t1 := 1;t2 := 3;t3 := 6;t4 := 11;t5 := 15;t6 := 17;t7 := 18;t8 := 19;t9 := 30;t10 := 33;t11 := 34;adj_fill.A(1, 4, 6)                    % fixed x points     (7, 11)                         % fixed y points     ()                         % tied points     ((2,10))                    % verticals     ((5,8), (3,9))                    % horizontals     ((2402,1586){-3,-48}...{-3,-48}          % 0      (2399,1538){219,-391}...          % 1      (2502,1319){138,-384}...          % *2      (2537,1154){0,-1}...               % 3      (2426,809){-432,-818}...          % *4      (2105,336){-100,-125}...          % 5      (2060,300){-1,0}...               % 6      (1996,341){-155,414}...{-168,797}     % 7      (1635,1715){-44,13}...{-44,13}          % 8      (1591,1728){-194,-95}...{-194,-95}     % 9      (1397,1633){-245,-497}...{-387,-702}     % 10      (745,429){5,-14}...               % 11      (750,415){-47,382}...               % 12      (636,1368){-232,1250}...          % *13      (518,1665){-286,309}...          % 14      (349,1737){-1,0}...               % 15      (150,1672){-497,-253}...{-477,-345}     % *16      (-148,1484)--                    % 17      (-113,1409){418,221}...          % 18      (193,1525){1,0}...               % 19      (269,1488){294,-365}...          % 20      (403,1114){252,-1495}...          % *21      (441,822){118.3,-1121}...{47,-451}     % *22      (521,-7){25,-24}...{25,-24}          % 23      (546,-31){156,51}...{156,51}          % 24      (702,20){300,644}...               % 25      (1365,1313){229,365}...{42,18}          % 26      (1407,1331){33,-37}...               % 27      (1440,1294){206,-788}...          % 28      (1795,40){168,-404}...               % 29      (1873,-29){1,0}...               % 30      (2000,47){570,612}...               % 31      (2587,799){792,1320}...          % *32      (2792,1367){0,1}...{-407,496}          % 33      (2643,1737)--cycle);               % 34endchar(leftw#);"rmlx";charbegin( "x", 1648h# + leftx# + rightx#, lcbody*v#, baseline );n := 9;t1 := 0;t2 := 2;t3 := 4;t4 := 5;t5 := 7;t6 := 11;t7 := 13;t8 := 14;t9 := 17;adj_fill.A()                         % fixed x points     (1)                         % fixed y points     ((3,1), (4,2), (7,3), (8,4))          % tied points     ()                         % verticals     ((5,6), (2,9))                    % horizontals     ((1708,392){-375,-321}...          % 0      (1545,275){-287,-158}...          % *1      (1421,234){-1,0}...               % 2      (1285,301){-327,286}...{-329,619}     % 3      (889,932){-61,127}...{-61,127}          % 4      (828,1059){-141,269}...          % 5      (470,1661){-245,237}...          % 6      (294,1716){-1,0}...               % 7      (124,1657){-435,-235}...{-423,-318}     % *8      (-141,1481)--                    % 9      (-74,1424){334,213}...               % 10      (146,1514){1,0}...               % 11      (271,1456){405,-414}...{221,-444}     % 12      (647,824){63,-114}...{63,-114}          % 13      (710,710){326,-623}...               % 14      (971,224){401,-678}...               % *15      (1111,32){320,-302}...               % 16      (1272,-46){1,0}...               % 17      (1466,44){474,350}...{323,347}          % *18

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -