1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
open Mlpost
open Command
open Picture
open Point
open Path
module H = Helpers
(*parse <<togglescript>> *)
(*parse <<label1 *)
let a = Point.pt (Num.bp 0., Num.bp 0.)
let pen = Pen.scale (Num.bp 4.) Pen.circle
let label1 =
seq
[
draw (Path.pathp [ a ]) ~pen;
label ~pos:`Top (Picture.tex "Au dessus") a;
label ~pos:`Bot (Picture.tex "En dessous") a;
label ~pos:`Right (Picture.tex "\\`A droite") a;
label ~pos:`Left (Picture.tex "\\`A gauche") a;
]
(*parse >> <<label2 *)
let z0 = (0., 0.)
let z1 = (60., 40.)
let z2 = (40., 90.)
let z3 = (10., 70.)
let z4 = (30., 50.)
let l1 = [ z0; z1; z2; z3; z4 ]
let labels1 =
seq
[
H.dotlabels ~pos:`Top [ "0"; "2"; "4" ] (map_bp [ z0; z2; z4 ]);
dotlabel ~pos:`Left (tex "3") (bpp z3);
dotlabel ~pos:`Right (tex "1") (bpp z1);
]
let label2 = seq [ draw (path ~style:jCurve l1); labels1 ]
(*parse >> *)
let _ =
List.iter
(fun (name, fig) -> Metapost.emit name (Picture.scale (Num.bp 3.) fig))
[ ("label1", label1); ("label2", label2) ]
|
