prologues:=1; %% zvaz P, zo strany 6 beginfig(1); pair zero,a,b,m,c,d,one; numeric u; u:=20; zero=(1u,0u); a=(0u,1u); b=(2u,1u); m=(1u,2u); c=(0u,3u); d=(2u,3u); one=(1u,4u); labeloffset:=u/3; dotlabel.bot("0",zero); dotlabel.lft("a",a); dotlabel.rt("b",b); dotlabel.lft("c",c); dotlabel.rt("d",d); dotlabel.rt("m",m); dotlabel.top("1",one); draw zero--a--m--b--cycle; draw one--c--m--d--cycle; endfig; beginfig(2); pair zero, a,b,c,one; zero:=(1u,0u); a=(0u,1u); b=(2u,1u); c=(1u,2u); one=(1u,3u); draw zero--a--c--b--cycle; draw c--one; labeloffset:=u/3; dotlabel.bot("0",zero); dotlabel.lft("a",a); dotlabel.rt("b",b); dotlabel.rt("c",c); dotlabel.top("1",one); endfig; %% Fanova projektivna rovina beginfig(20) pair x,y; numeric u; u=40; x=(1u,0u); y=(u/2, u*sqrt(3)/2); pair a,b,c,d,e,f,g; a:=(0u,0u); %% 0 b:=x; %% 1 d:=2x; %% 3 e:=2y; %% 4 f:=y; %% 5 g:=(d+e)/2; c:=(2b+e)/3; draw a--d--e--cycle; draw a--g; draw d--f; draw b--e; dotlabel.bot("0",a); dotlabel.bot("1",b); dotlabel.bot("3",d); dotlabel.top("2",c); dotlabel.top("4",e); dotlabel.top("5",f); dotlabel.top("6",g); draw fullcircle scaled (2/3*sqrt(3)*u) shifted c; endfig; end