5 settings.gsOptions="-r144x144";
7 currentprojection=obliqueZ();
20 triple[] face_centers = {
21 (corners[0]+corners[2]+corners[1])/3,
22 (corners[3]+corners[4]+corners[5]+corners[6])/4,
23 (corners[0]+corners[3]+corners[6])/3,
24 (corners[1]+corners[2]+corners[5]+corners[4])/4,
25 (corners[0]+corners[1]+corners[4]+corners[3])/4,
26 (corners[0]+corners[6]+corners[5]+corners[2])/4,
65 picture pic = new picture;
66 for(int i=0; i<edges.length; ++i)
68 draw(pic, corners[edges[i][0]]--corners[edges[i][1]], edge_styles[i]);
73 picture pic1 = wedge();
74 picture pic3 = wedge();
75 picture pic2 = wedge();
77 for(int i=0; i<corners.length; ++i)
79 label(pic1, format("$%d$", i), corners[i], corner_pos[i]);
81 for(int i=0; i<face_centers.length; ++i)
83 label(pic2, format("$%d$", i), face_centers[i]);
85 for(int i=0; i<edges.length; ++i)
87 triple c = (corners[edges[i][0]]+corners[edges[i][1]])/2;
88 label(pic3, format("$%d$", i), c, edge_pos[i]);
92 add(shift(1.5X)*pic2);