11-planar/pl-minor3.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);
  10 }
  11
  12 void xert(pair v)
  13 {
  14         filldraw(box(v-(xsize,xsize), v+(xsize,xsize)), white);
  15 }
  16
  17 pair v = (0, 0);
  18 pair u = (0, 0.5);
  19 pair ww = (0, -2);
  20 pair w = (0, -2.5);
  21 pair x = (-1, -1);
  22 pair y = (1, -1);
  23
  24 draw(v -- u);
  25 draw(ww -- w);
  26 filldraw(circle((0,-1), 1), gray(0.75));
  27
  28 draw(x {dir(180)} .. {dir(0)} u);
  29 draw(y {dir(0)} .. {dir(180)} u);
  30 draw(w {dir(-20)} .. {dir(210)} v);
  31 draw(w {dir(200)} .. {dir(-20)} u);
  32
  33 vert(v); label("$v$", v, 2S);
  34 vert(u); label("$u$", u, 2N);
  35 vert(ww); label("$w'$", ww, 2N);
  36 xert(w); label("$w$", w, 2S);
  37 xert(x); label("$x$", x, 1.5SW);
  38 xert(y); label("$y$", y, 1.5SE);
  39
  40 label("$P$", (-1.3, -1.9));