%% %% This is file `picltxexample.tex', %% generated with the docstrip utility. %% %% The original source files were: %% %% texpower-doc.dtx (with options: `picltxexample') %% %% -------------------------------------------------------------- %% TeXPower bundle - dynamic online presentations with LaTeX %% Copyright (C) 1999-2004 Stephan Lehmke %% Copyright (C) 2003-2005 Hans Fredrik Nordhaug %% %% This program is free software; you can redistribute it and/or %% modify it under the terms of the GNU General Public License %% as published by the Free Software Foundation; either version 2 %% of the License, or (at your option) any later version. %% %% This program is distributed in the hope that it will be useful, %% but WITHOUT ANY WARRANTY; without even the implied warranty of %% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the %% GNU General Public License for more details. %% -------------------------------------------------------------- %% %% The list of all files belonging to the TeXPower bundle is %% given in the file `00readme.txt'. %% % % Code for the LaTeX picture example for the package texpower.sty. % % This file is input by others. Don't compile it separately. % %----------------------------------------------------------------------------------------------------------------- % % This has nothing to do with \stepwise, just setting up the picture... % \newcommand{\leftm}{\left\{\!\!\left\{} \newcommand{\rightm}{\right\}\!\!\right\}} \newcommand{\cls}[3]{\left[#1,#2,#3\right]} \newcommand{\WT}[2]{\fbox{${#1}#2$}} \newcommand{\GEQ}[1]{\WT{\geq}{#1}} % % In the following picture, picture items are built incrementally. % % \parstepwise generates a sequence of slides, all alike. The only difference ist that on every slide, one more of the % \step commands occurring in the argument of \stepwise are `activated'. This way the stuff inside the argument of % \parstepwise is gone through `step by step'. (\parstepwise is a special case of \stepwise.) % {% \setlength{\unitlength}{1.35\semcm}% \footnotesize% \setlength{\fboxsep}{1.5pt}% \parstepwise {% \begin{center} \begin{picture}(12,13)(-7,-16) \put(-3,-3.5){\makebox(0,0){$\cls{\leftm p_1, p_2\rightm}{1}{\GEQ{0.2}}$}} \put(3,-3.5){\makebox(0,0){$\cls{\leftm \neg p_2,p_1\rightm}{1}{\GEQ{0.1}}$}} % % In the following, we see the very first occurrence of the \step command. Its effect is to `hide' its % argument on the first slide of the sequence generated by \stepwise and display it on all other slides of % this sequence. The second \step command starts displaying on the third slide and so on... % \step{% % We use \afterstep{\pageTransitionDissolve} to make this first step of the diagram appear with a fancy page % transition. We have to use \afterstep because the page transition setting would be undone by the group % closing contained in \end{picture}. \afterstep{\pageTransitionDissolve}% \put(-3,-4){\line(3,-1){3}} \put(3,-4){\line(-3,-1){3}} \put(0,-4.5){\makebox(0,0){(ass.)}} \put(0,-5.5){% \makebox(0,0){% % % Here, one use of \step is nested inside the other. % % Usually `hiding' means ignoring altogehter. For the following application however, the `hidden' objects % are nested inside a brace. This means that instead of ignoring its argument, it's better if % \step displays an appropriate amount of blank space. This behaviour (create blank space) is exhibited by % the custom command \bstep (for `boxed' step). % % The command \rebstep allows both boxes to appear simultaneously. % % \afterstep is used again to reset the page transition to Replace for the building of the formula. % % Setting \activatestep to \highlightboxed makes the additional formulae `stick out' when they are filled % in. % \let\activatestep=\highlightboxed $ \cls {\leftm p_1, \bstep{\afterstep{\pageTransitionReplace}p_1}, p_2,\rebstep{\neg p_2}\rightm} {2.2} {\rebstep{\GEQ{0.1}}}% $% }% } } \step{% \afterstep{\pageTransitionDissolve}% \put(0,-6){\line(0,-1){1}} \put(0.2,-6.5){\makebox(0,0)[l]{(removing)}} \put(0,-7.5){\makebox(0,0){$\cls{\leftm p_1, p_1\rightm}{1.2}{\GEQ{0.1}}$}} } \step{% \put(-8,-7.5){\makebox(0,0){$\left[\neg p_1,\GEQ{0.4}\right]$}} \put(-8,-8){\line(5,-1){5}} \put(0,-8){\line(-3,-1){3}} \put(-3,-8.5){\makebox(0,0){(ass.)}} \put(-3,-9.5){\makebox(0,0){$\cls{\leftm p_1, p_1,\neg p_1\rightm}{1.6}{\GEQ{0.1}}$}} \put(-3,-10){\line(0,-1){1}} \put(-2.8,-10.5){\makebox(0,0)[l]{(removing)}} \put(-3,-11.5){\makebox(0,0){$\cls{\leftm p_1\rightm}{0.6}{\GEQ{0.1}}$}} } \step{% \put(-8,-8){\line(0,-1){4}} \put(-8,-12){\line(5,-1){5}} \put(-3,-12){\line(0,-1){1}} \put(-2.8,-12.5){\makebox(0,0)[l]{(assembling)}} \put(-3,-13.5){\makebox(0,0){$\cls{\leftm p_1,\neg p_1\rightm}{1.0}{\GEQ{0.1}}$}} \put(-3,-14){\line(0,-1){1}} \put(-2.8,-14.5){\makebox(0,0)[l]{(removing)}} \put(-3,-15.5){\makebox(0,0){$\left[\fbox{\phantom{x}},\GEQ{0.1}\right]$}} } \end{picture}% \end{center} }% } % The whole execution of \stepwise is encapsuled in a group to make all changes local. This affects also the setting % of the page transition to dissolve in the last but one step. We set it again explicitly to make the last step appear % with this page transition as well. \pageTransitionDissolve \endinput %% %% End of file `picltxexample.tex'.