2 outputtemplate:="%j.mps";
\r
4 drawoptions (withcolor (1.000000,0.831373,0.000000));
\r
7 fill (9.964840,3.820310)--(6.769530,5.523440)--(3.554690,3.859380)
\r
8 --(4.187500,7.421880)--(1.609370,9.964840)--(5.195310,10.464800)
\r
9 --(6.816410,13.699200)--(8.402340,10.445300)--(11.980500,9.906250)
\r
10 --(9.371090,7.394530)--cycle;
\r
11 drawoptions (withcolor (0.000000,0.000000,0.000000));
\r
12 pickup pencircle scaled 0.400000bp;
\r
14 linejoin := rounded;
\r
15 draw (9.964840,3.820310)--(6.769530,5.523440)--(3.554690,3.859380)
\r
16 --(4.187500,7.421880)--(1.609370,9.964840)--(5.195310,10.464800)
\r
17 --(6.816410,13.699200)--(8.402340,10.445300)--(11.980500,9.906250)
\r
18 --(9.371090,7.394530)--cycle;
\r
19 r:=17pt/(xpart(urcorner(currentpicture))-xpart(ulcorner(currentpicture)));
\r
21 pic:=currentpicture;
\r
22 currentpicture:=nullpicture;
\r
24 draw pic scaled(1.3);
\r
25 z0=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);
\r
26 z1=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);
\r
29 clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,-1pt))--(z1-(8.5pt,1pt))--cycle);
\r