summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/texpower/picltxexample.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/texpower/picltxexample.tex')
-rw-r--r--Master/texmf-dist/doc/latex/texpower/picltxexample.tex145
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'.