25 |
|
|
26 |
cornermeas = 5pt; |
cornermeas = 5pt; |
27 |
|
|
28 |
def stlabel(expr x, y, side) = |
def stlabel(expr ind, x, y, side) = |
29 |
(TEX("$\eqalign{(s_0 + " & (decimal x) & "/" & (decimal side) &",\cr " & |
(TEX("$\eqalign{(s_"&(decimal ind)&"0 + " & (decimal x) & "/" & (decimal side) &",\cr " & |
30 |
"t_0 + " & (decimal y) & "/" & (decimal side) &")}$" |
"t_"&(decimal ind)&"0 + " & (decimal y) & "/" & (decimal side) &")}$" |
31 |
) scaled .8) |
) scaled .8) |
32 |
enddef; |
enddef; |
33 |
|
|
43 |
gridc(xoffs+x,yoffs+y, 1, -1) -- cycle; |
gridc(xoffs+x,yoffs+y, 1, -1) -- cycle; |
44 |
|
|
45 |
dotlabel.urt( |
dotlabel.urt( |
46 |
stlabel(x, y, side), |
stlabel(0, x, y, side), |
47 |
gridc(xoffs+x,yoffs+y, -1, -1) |
gridc(xoffs+x,yoffs+y, -1, -1) |
48 |
); |
); |
49 |
dotlabel.ulft( |
dotlabel.ulft( |
50 |
stlabel(x+1, y, side), |
stlabel(1, x+1, y, side), |
51 |
gridc(xoffs+x,yoffs+y, 1, -1) |
gridc(xoffs+x,yoffs+y, 1, -1) |
52 |
); |
); |
53 |
dotlabel.lrt( |
dotlabel.lrt( |
54 |
stlabel(x, y+1, side), |
stlabel(2, x, y+1, side), |
55 |
gridc(xoffs+x,yoffs+y, -1, 1) |
gridc(xoffs+x,yoffs+y, -1, 1) |
56 |
); |
); |
57 |
dotlabel.llft( |
dotlabel.llft( |
58 |
stlabel(x+1, y+1, side), |
stlabel(3, x+1, y+1, side), |
59 |
gridc(xoffs+x,yoffs+y, 1, 1) |
gridc(xoffs+x,yoffs+y, 1, 1) |
60 |
); |
); |
61 |
|
|