6 def drawusecka(expr p,q) = draw vertex(p); draw vertex(q); draw p--q; enddef;
8 A0 := origin; B0 := (4cm,1.5cm);
9 A1 := (0.5cm,1.5cm); B1 := (1cm,0);
10 A2 := (2cm,1.3cm); B2 := (3cm, -0.9cm);
11 A3 := (1cm,-1.3cm); B3 := (3.5cm,0);
12 z0 = whatever[A0,B0]; z0 = whatever[A1,B1];
13 z1 = whatever[A0,B0]; z1 = whatever[A2,B2];
14 z2 = whatever[A2,B2]; z2 = whatever[A3,B3];
16 for i:=0 upto 2: fill fullcircle scaled 7pt shifted z[i]; drawemptyvertex(z[i]); endfor
17 for i:=0 upto 3: drawusecka(A[i], B[i]); endfor
26 path p; p := from(.5[A,B],an+90,3cm)--from(.5[A,B],an-90,3cm);
27 fill p--reverse(p shifted (A-0.8[A,B]))--cycle withcolor 0.8white;
28 %fill p{dir (an+180)}..-0.35[A,B]..{dir an}cycle withcolor 0.8white;
29 draw p withpen boldpen;
31 draw A--B dashed evenly;
32 drawemptyvertex(A); drawemptyvertex(B);
33 label.llft(btex $a$ etex, A);
34 label.urt(btex $b$ etex, B);
37 figtag("voroneho_diagram");
41 A0 := origin; A1 := (-u,-u); A2 := (1.3u,-u); A3 := (1.5u,0.7u); A4 := (0.6u,0.8u); A5 := (0.2u,1.9u); A6 := (-1.3u,1u);
42 def osa(expr a, b, an,l) = from(.5[a,b], angle(b-a)+an, l) enddef;
43 vardef prusecik_os(expr p,q,r) =
45 b = whatever[osa(p,q, 90,1cm), osa(p,q,-90,1cm)];
46 b = whatever[osa(q,r, 90,1cm), osa(q,r,-90,1cm)];
49 B[0] := prusecik_os(A0,A1,A2); B[1] := prusecik_os(A0,A1,A6); B[2] := prusecik_os(A0,A4,A6); B[3] := prusecik_os(A4,A5,A6);
50 B[4] := prusecik_os(A3,A4,A5); B[5] := prusecik_os(A0,A3,A4); B[6] := prusecik_os(A0,A2,A3);
51 draw osa(A1,A2,-90,2cm)--B[0]--B[1]--osa(A1,A6,90,1.3cm) withpen boldpen;
52 draw B[1]--B[2]--B[3]--osa(A6,A5,90,2cm) withpen boldpen;
53 draw B[3]--B[4]--osa(A3,A5,-90,2.7cm) withpen boldpen;
54 draw B[4]--B[5]--B[2] withpen boldpen;
55 draw B[5]--B[6]--osa(A2,A3,-90,1.3cm) withpen boldpen;
56 draw B[6]--B[0] withpen boldpen;
58 draw A0--A1--A2--A0--A6--A1 dashed evenly;
59 draw A6--A5--A4--A0--A3--A2 dashed evenly;
60 draw A3--A5 dashed evenly; draw A6--A4--A3 dashed evenly;
62 for i:=0 upto 6: draw vertex(B[i]); endfor
63 for i:=0 upto 6: drawemptyvertex(A[i]); endfor