blob: 30d2fe97ad2fe505125837439e32a3f25c2e127a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
prologues:=1;
outputtemplate:="%j.mps";
beginfig(1);
pickup pencircle scaled(3bp);
draw fullcircle scaled(38);
draw (0,-19)--(0,19);
draw (0,0)--((0,-19) rotated(45));
draw (0,0)--((0,-19) rotated(-45));
r:=17pt/(xpart(urcorner(currentpicture))-xpart(ulcorner(currentpicture)));
picture pic;
pic:=currentpicture;
currentpicture:=nullpicture;
drawoptions();
draw pic scaled(r);
z0=.5*urcorner(currentpicture)+.5*ulcorner(currentpicture);
z1=.5*lrcorner(currentpicture)+.5*llcorner(currentpicture);
draw (z0+(10.5,2));
draw (z1-(10.5,2));
clip currentpicture to ((z0-(8.5pt,0))--(z0+(8.5pt,0))--(z1+(8.5pt,0))--(z1-(8.5pt,0))--cycle);
endfig;
end;
|
