diff options
author | Karl Berry <karl@freefriends.org> | 2006-01-09 00:44:40 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-01-09 00:44:40 +0000 |
commit | b4fc5f639874db951177ec539299d20908adb654 (patch) | |
tree | 52f08823ca58fffe3db6a9b075635038c567626c /Master/texmf-dist/doc/latex/texpower/picltxexample.tex | |
parent | dec3d98ebe442d7ea93efbaa8dd2e2be8149a467 (diff) |
doc 4
git-svn-id: svn://tug.org/texlive/trunk@80 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/texpower/picltxexample.tex')
-rw-r--r-- | Master/texmf-dist/doc/latex/texpower/picltxexample.tex | 145 |
1 files changed, 145 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/texpower/picltxexample.tex b/Master/texmf-dist/doc/latex/texpower/picltxexample.tex new file mode 100644 index 00000000000..2fb84de4cde --- /dev/null +++ b/Master/texmf-dist/doc/latex/texpower/picltxexample.tex @@ -0,0 +1,145 @@ +%% +%% 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 +%% +%% 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. +% +%----------------------------------------------------------------------------------------------------------------- +% Autor: Stephan Lehmke <Stephan.Lehmke@cs.uni-dortmund.de> +% +% v0.0.1 Mar 21, 2000: First version for the pre-alpha release of TeXPower. +% +% v0.0.2 Apr 19, 2000: Using \bstep instead of \boxedsteps. +% +% v0.0.3 Apr 28, 2000: Some small changes in preparation of the update to TeXpower v0.0.7. +% + + % + % 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. + % + % \stepwise 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 + % \stepwise is gone through `step by step'. + % + {% + \setlength{\unitlength}{1.35\semcm}% + \footnotesize% + \setlength{\fboxsep}{1.5pt}% + \stepwise + {% + \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'. |