diff options
author | Karl Berry <karl@freefriends.org> | 2006-01-12 23:57:30 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-01-12 23:57:30 +0000 |
commit | bd5ebffc52f3c54f1a05d5c3bb39d7492c2b03fb (patch) | |
tree | 90ac7acf8df4eb117e5abe39f8ca96be76668336 | |
parent | 1d525088e885a66353b76b9057fabe8f1ebb13a1 (diff) |
karnaugh
git-svn-id: svn://tug.org/texlive/trunk@1013 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r-- | Master/texmf-dist/tex/latex/karnaugh/kvmacros.tex | 489 |
1 files changed, 489 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/karnaugh/kvmacros.tex b/Master/texmf-dist/tex/latex/karnaugh/kvmacros.tex new file mode 100644 index 00000000000..eb56212a5c0 --- /dev/null +++ b/Master/texmf-dist/tex/latex/karnaugh/kvmacros.tex @@ -0,0 +1,489 @@ +%% This is file `kvmacros.tex', +%% Version of January 7th, 2002 +%% +%% Copyright (C) 1998-2002 by Andreas W. Wieland, awwieland@gmx.de +%% +%% This program can be redistributed and/or modified under the terms +%% of the LaTeX Project Public License distributed from CTAN +%% archives in directory macros/latex/base/lppl.txt; either +%% version 1 of the License, or (at your option) any later version, +%% with `The Program' referring to the software `kvmacros.tex' and its +%% accompanying documentation and `The Copyright Holder' referring to the +%% person Andreas W. Wieland. +%% +%% +%% +%% IMPORTANT NOTICE: +%% +%% For error reports, comments or suggestions in case of UNCHANGED +%% versions send mail to: +%% awwieland@gmx.de +%% +%% Anyway, if you use my macros, send me an eMail, too. I would like to know +%% if they are useful to somebody out there. +%% +%% Please do not request updates from me directly. Distribution is +%% done through Mail-Servers and TeX organizations. +%% +%% You are allowed to distribute this file under the condition that +%% it is distributed together with `kvdoc.tex', `kvdoc.dvi' and `kvdoc.ps'. +%% +%% If you receive this file alone from someone, complain! +%% +\typeout{} +\typeout{Macros for typesetting Karnaugh maps and Veitch charts} +\typeout{Version of January 7th, 2002} +\typeout{by Andreas W. Wieland, awwieland@gmx.de} +\typeout{} +%% +%% Change History: +%% August 04th, 1998: Original Version +%% +%% August 19th, 1998: Minor changes to make the lines within the maps look +%% better, also moved the variable identifiers from the right to the left and +%% added an identifier for the logic function; since then \kvmap has 5 +%% instead of 4 parameters. I also included the documentation in an additional +%% Postscript-file. +%% +%% September 23rd, 1998: Fixed the problem with double braces by introducing +%% the \compdummy and \ende macros in the \ifx-comparisons (see below): +%% The parameters that are longer than one character do not have to be +%% enclosed in double braces any longer --- single braces are +%% sufficient. However, double braces will still be processed correctly. +%% +%% May 19th, 1999: Changed the documentation (which was months overdue) after +%% F. M. Brown pointed me to the incorrectness of the term +%% "Karnaugh-Veitch-map". Actually, the macros itself haven't +%% changed. Probably I should introduce macros for typesetting Veitch charts +%% as well (which would be a minor task). This version was actually never +%% released. +%% +%% May 25th, 1999: Introduced macros for Veitch charts +%% (\veitchfoo) and renamed the macros that are solely related to +%% Karnaugh maps from \kvfoo to \karnaughfoo. Introduced aliases for those +%% macros that are user-callable to maintain compatibility with older versions: +%% \kvmap -> \karnaughmap. However, \kvindex, \kvnoindex and \kvunitlength +%% haven't changed their names as they are related to both Karnaugh maps and +%% Veitch charts. Changed the (plain stupid) algorithm that processes the +%% variable-length arguments so that it takes much less time to produce large +%% maps. Several macros so became redundant and are no longer included. Also I +%% introduced \kvindexsize and \kvcontentsize to adjust the font size of the +%% indices and the contents of a diagram. They default to \tiny and +%% \normalsize. +%% +%% January 17th, 2001: Changed the eMail-address in the macro file and the +%% accompanying documentation and made minor changes to the documentation. +%% +%% January 7th, 2002: Exchanged the \xdef to \gdef in the definition of +%% \kvargumentstring and \kvgetonechar so that things like {\textbf 1} in the +%% argumentlist of \karnaughmap do not cause error messages any longer. +%% Thanks to Michal Medveck{\'y} for pointing me to this error. +%% +%% +%% +%% We need a fixed dimension for a single field in a Karnaugh map: +%% +\newdimen\kvunitlength +\kvunitlength=8mm +%% +%% We need a default font size for the indices: +%% +\newcommand{\kvindexsize}{\tiny} +%% +%% And we need a default size for the contents and variable identifiers: +%% +\newcommand{\kvcontentsize}{\normalsize} +%% +%% First, we have to introduce some counters: +%% +%% \kvrecursiondepth is used to control the recursion of the +%% \karnaughmakemap- and \veitchmakechart-macro. +%% +\newcount\kvrecursiondepth +%% +%% The \kvindexcounter is needed for the indices in the fields of the +%% diagrams. +%% +\newcount\kvindexcounter +%% +%% \kvxsize and \kvysize store the dimensions of an entire diagram. +%% +\newcount\kvxsize +\newcount\kvysize +%% +%% Some counters are necessary to compute the marks for the variable +%% identifiers: +%% +\newcount\kvvarno +\newcount\kvxvarno +\newcount\kvyvarno +\newcount\kvmarkstart +\newcount\kvmarklength +\newcount\kvmarknum +\newcount\kvmarkmove +%% +%% And we need a savebox to store the variable marks: +%% +\newsavebox\kvsavebox +%% +%% Single fields in a diagram should be indexed, which makes the map easier to +%% use. This is the default. If you don't want indices, simply call +%% \kvnoindex. If you want indices back, call \kvindex: +%% +\def\kvnoindex{% +\def\kvcurrentindex{}} +%% +\def\kvindex{% +\def\kvcurrentindex{% +\the\kvindexcounter\global\advance\kvindexcounter by 1}% +} +%% +\kvindex +%% +%% We need a macro that computes the powers of two: +%% +\def\kvpoweroftwo#1#2{% Computes #1=2^#2, both of which have to be counters +{\ifnum#2>0 +\global\multiply#1 by 2 +\advance#2 by -1 +\kvpoweroftwo{#1}{#2} +\fi}} +%% +%% The macros \kvargumentstring, \kvgetchar and \kvgetonechar are needed to +%% process the variabe-length parameters in \karnaughmap and \veitchchart: +%% +\def\kvargumentstring#1{\gdef\kvdummystring{#1{}\noexpand\end}} +%% +\def\kvgetchar{\expandafter\kvgetonechar\kvdummystring} +%% +\def\kvgetonechar#1#2\end{{#1}\gdef\kvdummystring{#2\noexpand\end}}% +%% +%% The Macro \karnaughmakemap calls itself recursively until the parameter #1 +%% equals 1, whereupon it returns a single token from the list of arguments, +%% enclosed in a \makebox plus the index (if enabled) in a smaller \makebox: +%% +\def\karnaughmakemap#1#2{{% +\kvrecursiondepth=\number#1 +\ifnum\kvrecursiondepth>1 +\divide\kvrecursiondepth by 2 +\unitlength=\kvunitlength +\multiply\unitlength by \kvrecursiondepth +%% +\ifcase#2 +%% +%% The parameter #2 of \karnaughmakemap is needed because the inner Karnaugh +%% maps need to be mirrored. This is achieved by the following case-statement, +%% which orders the inner Karnaugh maps properly: +%% +%% Case 0: top-left Karnaugh map +\begin{picture}(2,2)% +\put(0,1){\karnaughmakemap{\kvrecursiondepth}{0}}% +\put(1,1){\karnaughmakemap{\kvrecursiondepth}{1}}% +\put(0,0){\karnaughmakemap{\kvrecursiondepth}{2}}% +\put(1,0){\karnaughmakemap{\kvrecursiondepth}{3}}% +\end{picture}% +\or +%% Case 1: top-right Karnaugh map +\begin{picture}(2,2)% +\put(1,1){\karnaughmakemap{\kvrecursiondepth}{1}}% +\put(0,1){\karnaughmakemap{\kvrecursiondepth}{0}}% +\put(1,0){\karnaughmakemap{\kvrecursiondepth}{3}}% +\put(0,0){\karnaughmakemap{\kvrecursiondepth}{2}}% +\end{picture}% +\or +%% Case 2: bottom-left Karnaugh map +\begin{picture}(2,2)% +\put(0,0){\karnaughmakemap{\kvrecursiondepth}{2}}% +\put(1,0){\karnaughmakemap{\kvrecursiondepth}{3}}% +\put(0,1){\karnaughmakemap{\kvrecursiondepth}{0}}% +\put(1,1){\karnaughmakemap{\kvrecursiondepth}{1}}% +\end{picture}% +\or +%% Case 3: bottom-right Karnaugh map +\begin{picture}(2,2)% +\put(1,0){\karnaughmakemap{\kvrecursiondepth}{3}}% +\put(0,0){\karnaughmakemap{\kvrecursiondepth}{2}}% +\put(1,1){\karnaughmakemap{\kvrecursiondepth}{1}}% +\put(0,1){\karnaughmakemap{\kvrecursiondepth}{0}}% +\end{picture}% +\fi +\else +\unitlength=\kvunitlength +\begin{picture}(1,1) +\put(0,0){\makebox(1,1){\kvcontentsize\kvgetchar}}% +\put(0.05,0.05){\makebox(0.9,0.9)[bl]{\kvindexsize\kvcurrentindex}}% +\end{picture} +\fi}}% +%% +%% \karnaughmaketopmark typesets the variable marks of a Karnaugh map that are +%% located on top of the diagram: +%% +\def\karnaughmaketopmark{% + \unitlength\kvunitlength + \begin{picture}(\kvxsize,1) + \kvmarkstart=1 + \kvpoweroftwo{\kvmarkstart}{\kvxvarno} % \kvymarkstart is the start + % position for the \multiput + \kvmarklength=\kvmarkstart + \multiply\kvmarklength by 2 % \kvmarklength is the length of a mark + \kvmarkmove=\kvmarkstart + \multiply\kvmarkmove by 4 % This is the move distance for the \multiput. + \kvmarknum=\kvxsize + \divide\kvmarknum by \kvmarkmove % This is the number of repetitions for + % the \multiput. + %The highest-order variable mark needs a special treatment: + \ifnum\kvmarknum=0\kvmarknum=1\divide\kvmarklength by 2\fi + \savebox\kvsavebox(\kvmarklength,1){% + \begin{picture}(\kvmarklength,1) + \put(0,0.3){\makebox(\kvmarklength,0.7){\kvcontentsize\kvgetchar}} + \put(0,0.1){\line(0,1){0.4}} + \put(\kvmarklength,0.1){\line(0,1){0.4}} + \put(0,0.3){\line(1,0){\kvmarklength}} + \end{picture}} + \multiput(\kvmarkstart,0)(\kvmarkmove,0){\kvmarknum}{\usebox\kvsavebox} + \end{picture} +} +%% +%% \karnaughmakeleftmark typesets the variable marks of a Karnaugh map that are +%% located on the left of the diagram: +%% +\def\karnaughmakeleftmark{% + \unitlength\kvunitlength + \begin{picture}(-1,\kvysize)(0,-\kvysize) + \kvmarkstart=1 + \kvpoweroftwo{\kvmarkstart}{\kvyvarno} % \kvmarkstart is the start + % position for the \multiput + \kvmarklength=\kvmarkstart + \multiply\kvmarklength by 2 % \kvmarklength is the length of a mark + \kvmarkmove=\kvmarkstart + \multiply\kvmarkmove by 4 % This now is the move distance for the + % \multiput. + \kvmarknum=\kvysize + \divide\kvmarknum by \kvmarkmove % This now is the number of + % repetitions for the \multiput. + %The highest-order variable mark needs a special treatment: + \ifnum\kvmarknum=0\kvmarknum=1\divide\kvmarklength by 2\fi + \advance\kvmarkstart by \kvmarklength + \savebox\kvsavebox(1,\kvmarklength){% + \begin{picture}(1,\kvmarklength) + \put(-0.3,0){\makebox(-0.7,\kvmarklength){\kvcontentsize\kvgetchar}} + \put(-0.1,0){\line(-1,0){0.4}} + \put(-0.1,\kvmarklength){\line(-1,0){0.4}} + \put(-0.3,0){\line(0,1){\kvmarklength}} + \end{picture}} + \multiput(0,-\kvmarkstart)(0,-\kvmarkmove){\kvmarknum}{\usebox\kvsavebox} + \end{picture} +} +%% \karnaughmakemarks calls \karnaughmaketopmark or \karnaughmakeleftmark +%% depending on whether \kvvarno is odd or even. +%% +\def\karnaughmakemarks{% +\ifnum\kvvarno>0 + \let\next=\karnaughmakemarks + \ifodd\kvvarno % We have to make a mark at the top + \advance\kvxvarno by -1 + \put(0,\kvxvarno){\karnaughmaketopmark} + \else % We have to make a mark at the left + \advance\kvyvarno by -1 + \put(-\kvyvarno,-\kvysize){\karnaughmakeleftmark} + \fi + \advance\kvvarno by -1 +\else + \let\next=\relax +\fi +\next +} +%% +%% \karnaughmap is the macro that a user calls if he wants to draw a +%% Karnaugh map: +%% +\def\karnaughmap#1#2#3#4#5{% +%% +%% #1 is the number of variables in the Karnaugh map +%% #2 is the identifier of the function +%% #3 is the list of identifiers of those variables +%% #4 is the list of tokens that have to be written into the map +%% #5 is something that you want to draw inside the Karnaugh map +%% +\kvvarno=#1 % \kvvarno is the total number of variables +\kvyvarno=#1 % \kvyvarno is the number of variable marks at the left +\divide\kvyvarno by 2 +\kvxvarno=#1 % \kvxvarno is the number of variable marks on top +\advance\kvxvarno by -\kvyvarno +\kvxsize=1 +\kvpoweroftwo{\kvxsize}{\kvxvarno} +\kvysize=1 +\kvpoweroftwo{\kvysize}{\kvyvarno} +\advance\kvxsize by \kvyvarno +\advance\kvxvarno by \kvysize +\unitlength\kvunitlength +\begin{picture}(\kvxsize,\kvxvarno)(-\kvyvarno,-\kvysize) +\advance\kvxsize by -\kvyvarno +\advance\kvxvarno by -\kvysize +\put(0,-\kvysize){% +\begin{picture}(\kvxsize,\kvysize) +\multiput(0,0)(0,1){\kvysize}{\line(1,0){\kvxsize}} +\multiput(0,0)(1,0){\kvxsize}{\line(0,1){\kvysize}} +\put(0,\kvysize){\line(1,0){\kvxsize}} +\put(\kvxsize,0){\line(0,1){\kvysize}} +#5 +\end{picture}} +\put(-\kvyvarno,0){\makebox(\kvyvarno,\kvxvarno){#2}} +\kvindexcounter=0 +\kvargumentstring{#4} +\put(0,-\kvysize){\karnaughmakemap{\kvysize}{0}} +\ifodd\kvvarno +{\divide\kvxsize by 2 +\put(\kvxsize,-\kvysize){\karnaughmakemap{\kvysize}{1}}} +\fi +\kvargumentstring{#3} +\karnaughmakemarks +%% +\end{picture} +}% +%% +%% The definition of \kvmap is necessary to maintain compatibility with older +%% versions of this macro package: +%% +\def\kvmap{\karnaughmap}% +%% +%% +%% The Macro \veitchmakechart calls itself recursively until the parameter #1 +%% equals 1, whereupon it returns a single token from the list of arguments, +%% enclosed in a \makebox plus the index (if enabled) in a smaller \makebox: +%% +\def\veitchmakechart#1{{% +\kvrecursiondepth=\number#1 +\ifnum\kvrecursiondepth>1 +\divide\kvrecursiondepth by 2 +\unitlength=\kvunitlength +\multiply\unitlength by \kvrecursiondepth +%% +\begin{picture}(2,2)% +\put(0,1){\veitchmakechart{\kvrecursiondepth}}% +\put(1,1){\veitchmakechart{\kvrecursiondepth}}% +\put(0,0){\veitchmakechart{\kvrecursiondepth}}% +\put(1,0){\veitchmakechart{\kvrecursiondepth}}% +\end{picture}% +\else +\unitlength=\kvunitlength +\begin{picture}(1,1) +\put(0,0){\makebox(1,1){\kvcontentsize\kvgetchar}}% +\put(0.05,0.05){\makebox(0.9,0.9)[bl]{\kvindexsize\kvcurrentindex}}% +\end{picture} +\fi}}% +%% +\def\veitchmaketopmark{% + \unitlength\kvunitlength + \begin{picture}(\kvxsize,1) + \kvmarkstart=1 + \kvpoweroftwo{\kvmarkstart}{\kvxvarno} % \kvymarkstart is the start + % position for the \multiput + \kvmarklength=\kvmarkstart % \kvmarklength is the length of a mark + \kvmarkmove=\kvmarkstart + \multiply\kvmarkmove by 2 % This is the move distance for the \multiput. + \kvmarknum=\kvxsize + \divide\kvmarknum by \kvmarkmove % This is the number of repetitions for + % the \multiput. + \savebox\kvsavebox(\kvmarklength,1){% + \begin{picture}(\kvmarklength,1) + \put(0,0.3){\makebox(\kvmarklength,0.7){\kvcontentsize\kvgetchar}} + \put(0,0.1){\line(0,1){0.4}} + \put(\kvmarklength,0.1){\line(0,1){0.4}} + \put(0,0.3){\line(1,0){\kvmarklength}} + \end{picture}} + \multiput(\kvmarkstart,0)(\kvmarkmove,0){\kvmarknum}{\usebox\kvsavebox} + \end{picture} +} +%% +\def\veitchmakeleftmark{% + \unitlength\kvunitlength + \begin{picture}(-1,\kvysize)(0,-\kvysize) + \kvmarkstart=1 + \kvpoweroftwo{\kvmarkstart}{\kvyvarno} % \kvmarkstart is the start + % position for the \multiput + \kvmarklength=\kvmarkstart + \kvmarkmove=\kvmarkstart + \multiply\kvmarkmove by 2 % This now is the move distance for the \multiput. + \kvmarknum=\kvysize + \divide\kvmarknum by \kvmarkmove % This now is the number of + % repetitions for the \multiput. + \advance\kvmarkstart by \kvmarklength + \savebox\kvsavebox(1,\kvmarklength){% + \begin{picture}(1,\kvmarklength) + \put(-0.3,0){\makebox(-0.7,\kvmarklength){\kvcontentsize\kvgetchar}} + \put(-0.1,0){\line(-1,0){0.4}} + \put(-0.1,\kvmarklength){\line(-1,0){0.4}} + \put(-0.3,0){\line(0,1){\kvmarklength}} + \end{picture}} + \multiput(0,-\kvmarkstart)(0,-\kvmarkmove){\kvmarknum}{\usebox\kvsavebox} + \end{picture} +} +%% +\def\veitchmakemarks{% +\ifnum\kvvarno>0 + \let\next=\veitchmakemarks + \ifodd\kvvarno % We have to make a mark at the top + \advance\kvxvarno by -1 + \put(0,\kvxvarno){\veitchmaketopmark} + \else % We have to make a mark at the left + \advance\kvyvarno by -1 + \put(-\kvyvarno,-\kvysize){\veitchmakeleftmark} + \fi + \advance\kvvarno by -1 +\else + \let\next=\relax +\fi +\next +} +%% +\def\veitchchart#1#2#3#4#5{% +%% +%% #1 is the number of variables in the Veitch chart +%% #2 is the identifier of the function +%% #3 is the list of identifiers of those variables +%% #4 is the list of tokens that have to be written into the chart +%% #5 is something that you want to draw inside the Veitch chart +%% +\kvvarno=#1 % \kvvarno is the total number of variables +\kvyvarno=#1 % \kvyvarno is the number of variable marks at the left +\divide\kvyvarno by 2 +\kvxvarno=#1 % \kvxvarno is the number of variable marks on top +\advance\kvxvarno by -\kvyvarno +\kvxsize=1 +\kvpoweroftwo{\kvxsize}{\kvxvarno} +\kvysize=1 +\kvpoweroftwo{\kvysize}{\kvyvarno} +\advance\kvxsize by \kvyvarno +\advance\kvxvarno by \kvysize +\unitlength\kvunitlength +\begin{picture}(\kvxsize,\kvxvarno)(-\kvyvarno,-\kvysize) +\advance\kvxsize by -\kvyvarno +\advance\kvxvarno by -\kvysize +\put(0,-\kvysize){% +\begin{picture}(\kvxsize,\kvysize) +\multiput(0,0)(0,1){\kvysize}{\line(1,0){\kvxsize}} +\multiput(0,0)(1,0){\kvxsize}{\line(0,1){\kvysize}} +\put(0,\kvysize){\line(1,0){\kvxsize}} +\put(\kvxsize,0){\line(0,1){\kvysize}} +#5 +\end{picture}} +\put(-\kvyvarno,0){\makebox(\kvyvarno,\kvxvarno){#2}} +\kvindexcounter=0 +\kvargumentstring{#4} +\put(0,-\kvysize){\veitchmakechart{\kvysize}} +\ifodd\kvvarno +{\divide\kvxsize by 2 +\put(\kvxsize,-\kvysize){\veitchmakechart{\kvysize}}} +\fi +\kvargumentstring{#3} +\veitchmakemarks +%% +\end{picture} +}% +%% + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: t +%%% End: |