]> mj.ucw.cz Git - ga.git/blob - 11-planar/pl-minor5.asy
Merge branch 'master' of git+ssh://git.ucw.cz/home/mj/GIT/ga
[ga.git] / 11-planar / pl-minor5.asy
1 unitsize(1cm);
2 currentpen = black + roundcap + 0.2mm;
3
4 real vsize = 0.1;
5 real xsize = 0.08;
6
7 void vert(pair v)
8 {
9         filldraw(circle(v, vsize), white, black);
10 }
11
12 void xert(pair v)
13 {
14         filldraw(box(v-(xsize,xsize), v+(xsize,xsize)), white, black);
15 }
16
17 pair v = (0, 0);
18 pair u = (0, 0.5);
19 pair w = (0, -2);
20 pair x = (-1, -1);
21 pair y = (1, -1);
22 pair z = (0,-1);
23
24 draw(v -- u);
25 filldraw(circle((0,-1), 1), gray(0.75));
26 draw(x -- z);
27 draw(z -- y);
28 draw(v -- z);
29
30 draw(x {dir(180)} .. {dir(0)} u);
31 draw(y {dir(0)} .. {dir(180)} u);
32 draw(w {dir(-40)} .. {dir(210)} v);
33
34 vert(v); label("$v$", v, 2*dir(-120));
35 vert(u); label("$u$", u, 2N);
36 vert(w); label("$w$", w, 2SW);
37 xert(x); label("$x$", x, 1.5SW);
38 xert(y); label("$y$", y, 1.5SE);
39 vert(z); label("$z$", z, 2S);
40
41 label("$N_B$", (-1.3, -1.9));