1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
import graph;
size(300,0);
real f(real x) {return (x != 0.0) ? x * sin(1.0 / x) : 0.0;}
pair F(real x) {return (x,f(x));}
xaxis("$x$",red);
yaxis(red);
draw(graph(f,-1.2/pi,1.2/pi,1000));
label("$x\sin\frac{1}{x}$",F(1.1/pi),NW);
picture pic;
size(pic,50,IgnoreAspect);
xaxis(pic,red);
yaxis(pic,red);
draw(pic,graph(pic,f,-0.1/pi,0.1/pi,1000));
add(new void(frame f, transform t) {
frame G=shift(point(f,N+0.85W))*align(bbox(pic,blue),10SE);
add(f,G);
draw(f,t*box(min(pic,user=true),max(pic,user=true)),blue);
draw(f,point(G,E)--t*point(pic,W),blue);
});
|
