29.11.2012 Views

MetaFun - Pragma ADE

MetaFun - Pragma ADE

MetaFun - Pragma ADE

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Figure 13.6 Bisecting a line segment with compass and straightedge? Just click here to walk<br />

through the construction! (This stack is only visible in a PDF viewer that supports widgets.)<br />

def start_everything (expr n) = beginfig(n) ; ... enddef ;<br />

def stop_everything = ... ; endfig ; enddef ;<br />

The five graphics now become:<br />

start_everything (1) ;<br />

stand_out ; draw_basics ;<br />

stop_everything ;<br />

start_everything (2) ;<br />

draw_basics ; stand_out ; draw_circles ;<br />

stop_everything ;<br />

start_everything (3) ;<br />

draw_basics ; draw_circles ; stand_out ; draw_intersection ;<br />

stop_everything ;<br />

start_everything (4) ;<br />

draw_basics ; draw_circles ; draw_intersection ; stand_out ;<br />

draw_bisector ;<br />

stop_everything ;<br />

start_everything (5) ;<br />

draw_basics ; draw_circles ; draw_intersection ; draw_bisector ;<br />

stand_out ; draw_midpoint ;<br />

stop_everything ;<br />

The definitions of the symbols now refer to an external figure.<br />

\definesymbol[step 1][{\externalfigure[step.1]}]<br />

\definesymbol[step 2][{\externalfigure[step.2]}]<br />

\definesymbol[step 3][{\externalfigure[step.3]}]<br />

\definesymbol[step 4][{\externalfigure[step.4]}]<br />

\definesymbol[step 5][{\externalfigure[step.5]}]<br />

Growing graphics A few applications<br />

303

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!