From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 2 Sep 2019 13:46:59 +0900 Subject: Initial commit --- support/mctex/tutor.tex | 266 ++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 266 insertions(+) create mode 100644 support/mctex/tutor.tex (limited to 'support/mctex/tutor.tex') diff --git a/support/mctex/tutor.tex b/support/mctex/tutor.tex new file mode 100644 index 0000000000..58763b3f28 --- /dev/null +++ b/support/mctex/tutor.tex @@ -0,0 +1,266 @@ +\documentstyle{article} +\textwidth=6.25in +\oddsidemargin=0.25in +\title{{Mc\TeX} User's Guide} +\author{Chokchai Leangsuksun} + +\author{Revised by Paul Wang, November, 1989} + +% macros for verbatim scanning +\chardef\other=12 +\def\ttverbatim{\begingroup +\parindent=0pt +\def\par{\leavevmode\endgraf}%leave blank lines alone in verbatim + \catcode`\\=\other \catcode`\{=\other \catcode`\}=\other \catcode`\$=\other + \catcode`\&=\other \catcode`\#=\other \catcode`\%=\other \catcode`\~=\other + \catcode`\_=\other \catcode`\^=\other \catcode`\^^A=\other \catcode`\^^K=\other + \catcode`\^^M=\other\obeyspaces\obeylines\fixspace\tt} +\outer\def\begintt{$$ +%\let\par=\endgraf +\ttverbatim \parskip=\z@ + \catcode`\|=0 \ttfinish} +{\catcode`\|=0 |catcode`|\=\other % | is temporary escape character + |obeylines % end of line is active + |gdef|ttfinish#1^^M#2\endtt{#1|vbox{#2}|endgroup$$}} +\catcode`\|=\active +{\obeylines\gdef|{\ttverbatim\let|=\endgroup}} +{\catcode`\ =\active +\gdef\fixspace{\catcode`\ =\active\def {~}}} + +\begin{document} +\maketitle +\section{Introduction} +\paragraph{} +{Mc\TeX} is a software package written in FRANZ LISP for VAXIMA, +a version of MACSYMA written in FRANZ LISP. +{Mc\Tex} converts VAXIMA output into +correct \TeX~ or \LaTeX~ codes that are ready either to be processed by +\TeX or to be included in documents without retouching. +The package defines two sets of VAXIMA commands one for \TeX~ output and another +for \LaTex~ output. This document introduces {Mc\TeX} and +explains the usage of its facilities from the VAXIMA top-level.\\ + +\section{The primary commands} +\paragraph{} +There are two primary commands +\begin{itemize} +\item {\bf tex}({\it expression},["{\it filename}.tex"]); +\item {\bf latex}({\it expression},["{\it filename}.tex"]); +\end{itemize} +\newline\newline +where {\it exparession} is any valid VAXIMA variable, label or +expression. This expression will be converted into \TeX or +La\TeX code respectively. +The produced codes will be displayed on your terminal unless the +optional second argument is given, in which case the ouput will +be sent to the file specified. If the file does not already exist, +it is created. If the file is already there, the output is appended +to the end of the file. Therefore, repeated use of the +commands will of course put multiple \TeX or La\TeX codes in a file. +\paragraph{} +It is possible to use the {\bf tex} or {\bf latex} command +on any single VAXIMA expression except a VAXIMA programm construct +such as {\tt block, for, do} etc.\\ + +The above two commands can also be used for converting multiple exprerssions. +To do that you simply supply a VAXIMA list of expressions +as the first argument. For example, + +{\bf latex}([exp1, exp2, ...],["{\it filename}.tex"]); + +{Mc\Tex} also provides commands to convert all Macsyma command and display +lines (the (Ci) and (Di) lines) so far into a file ready to be processed by \TeX or La\Tex. This file +will include all necessary header and trailer codes so that it does +not have to be part of another \TeX or La\Tex file for printing. +\newline +\begin{itemize} +\item {\bf texall}("filename.tex");\\ +\item {\bf latexall}("filename.tex");\\ +\end{itemize} +\section{Merging {Mc\TeX} output files} +After we get the expressions in {\tt ``filename.tex''}, we +can insert {\tt ``filename.tex''} into the document directly or use +{\tt $\backslash${input}\{filename\}} command to merge an external file into +the a document. The second method is recommended, +because it does not unnecessarily complicates the document and +the expressions in the {\tt ``filename.tex''} can be treated separately.\\ + +\section{Autolabeling Mode} + +When autolabeling mode is set, program generated equation numbers +will be automatically supplied for each output experssion. +To set autolabeling mode for {\TeX} , the starting +number of a label must be an integer and in display style. +For Example, to set autolabeling mode with starting label 4 we use +\newline +\noindent{\bftexautolabeli}(4); +\newline +It is possible to have all labels either on the right or on the left of +the equations. This is controlled by the commands + +{\bf label}(left); +{\bf label}(right); + +For example, +|(c1) label(left);| + +|(c2) x^3+345*x^2-12;| + +|(c3) latex(d2);| +\newline +{\em result in the output}\newline\newline + +$$x^{3}+345\>x^{2}-12\leqno{\tt (d2)}$$ +\newline +And for right labeling, the commands\newline\newline +|(c4) label(right);| + + +|(c6) taylor(sqrt(omega+1),omega,0,5);| + +|(c7) latex(d6);| +\newline +{\em produce}\newline\newline +$$1+{{\omega}\over {2}}-{{\omega^{2}}\over {8}}+{{\omega^{3}}\over { + 16}}-{{5\>\omega^{4}}\over {128}}+{{7\>\omega^{5}}\over {256}} + +\cdots \eqno{\tt (d6)}$$ + +\section{User-specified display type} +\paragraph{} +There are two output style modes for {Mc\TeX}: {\it display} and {\it text}. +In display mode output generated puts the equation or expression +on lines separated from preceeding and succeeding text by blank +lines (as a display). +In text mode, on the other hand, the output can be combined in-line with other text. +The following commands sets the modes + +{\bf style}(display); +{\bf style}(text); + +The default output mode is display. CHOKCHAI: Do you see what I am +doing now. Please revise the remaining part of the document and +revise the programs accordingly. + +\section{Evaluation mode} +\paragraph{} + At c-line in VAXIMA, whether an expression can be evaluated or not is depended on {\TeX}etting evaluation mode. This mode works with {Mc\TeX} or {Mc\LaTeX}. +\newline +\newline +{\em Example for evaluate mode}\newline\newline +|(c2) texeval();| + +|(c3) latex(integrate(3*triangle^3-4,triangle));| +\newline\newline +{\em We get}\newline +$${{3\>\triangle^{4}}\over {4}}-4\>\triangle$$ +{\em Example for non-evaluate mode}\newline +\newline +|(c2) texnoeval();| + +|(c3) latex(integrate(3*triangle^3-4,triangle));| +\newline\newline +{\em We get}\newline +$${\int_{}{3\>\triangle^{3}-4}\,d\>\triangle}$$ +\section{Worksheet mode} +\paragraph{} + The worksheet mode does like {\tt playback();} command ,but instead of +playing back on the screen, it translates the worksheet to {\TeX} or {\LaTeX} +form into a file. +\begin{itemize} +\item {\tt latexezwks("filename");}, an easy worksheet for {Mc\LaTeX}. +\item {\tt texezwks("filename");}, an easy worksheet for {Mc\TeX}. +\item {\tt worksheet("filename"[,'[list of labels]]);}, a user customized +worksheet, is a command for both {\TeX} and {\LaTeX}. Before we issue it, we +have to specify a mode for {\TeX} or {\LaTeX} by issuing {\tt texworksheet();} +or {\tt latexworksheet();} respectively. The worksheet mode for {\TeX} need to +have a macro file named {\tt verbatim.tex}, we have to initialize a file +which will obtains {\TeX}etting outputs as the follwing in {\TeX}etting's file preparation section. +\end{itemize} +\subsection{{\TeX}etting's file preparation} +\paragraph{} +To use {\tt worksheet("filename"[,'[list of labels]])} , we have to prepare a file to obtain a header and a macro ,named {\tt verbatim.tex}. +\newline\newline +{\bf For {Mc\TeX}}\newline\newline +{\tt (c10) texinit("file.tex");} +\paragraph{} + The {\tt texinit("file.tex")} copies a macro file, +named {\tt verbatim.tex}, to a {\TeX} file, named {\tt "file.tex"}. +This macro takes care a code which {\TeX}etting generates from c-line input in +worksheet mode. So it is important to issue these commands to initialize a output file.\newline\newline +{\bf For {Mc\LaTeX}}\newline\newline +{\tt (c10) latexinit("file.tex");} +\paragraph{} + The {\tt latexinit("file.tex");} prepares a header of {\LaTeX} document such + as putting some commands like {\tt $\backslash$documentstyle\{article\}} and {\tt $\backslash$begin\{document\}} at the top of a file. Therefore if you would like to merge a worksheet into {\LaTeX} + document, you may need to customize your own document style. So {\tt latexinit} command may not be needed. But if we need it, we can select a {\LaTeX} document style and point size from it too +. If we say \newline\newline +{\tt (c11) latexinit("file.tex",article);}\newline\newline +{Mc\LaTeX} will initialize a file, named {\tt "file.tex"}, by assigning a documentstyle to be +article with the default point size. We also can say {\tt latexinit("file.tex",book,12)}. This is for book style and 12 point size. +\subsection{For {Mc\TeX}} +\paragraph{} +After we satisfy with the VAXIMA output and want to produce it in book-quality form. There are two ways as the following:\\ +\begin{enumerate} +\item A user customized worksheet.\\ +{\em For example}\\ + +|(c12) texworksheet();| + +$$done$$ + +|(c13) texinit("wks1.tex");| + +$$wks1.tex$$ + +|(c14) matrix([gamma,lambda],[Gamma,Lambda]);| + +$$\pmatrix{\gamma&\lambda\cr \Gamma&\Lambda\cr }\leqno{\tt (d14)}$$ + +|(c15) texworksheet();| + +$$done$$ + +|(c16) worksheet("wks1.tex",'[c14,d14]);| + +$$wks1.tex$$ +\newline +\item An easy worksheet. All we have to do just say:\\ +\newline +|(c6) texezwks("hw6.tex");| + +\end{enumerate} +\subsection{For {Mc\LaTeX}} +\begin{enumerate} +\item A user customized worksheet. {\em We just say}\newline +\newline +|(c5) latexworksheet();| + +$$done$$ + +|(c6) worksheet("wks2.tex");| + +\item An easy worksheet. We just simply say\\ +\newline +|(c6) latexezwks("hw6.tex");| +\end{enumerate} + +\section{More examples} +\paragraph{} +There are some examples in the directory {\tt /user/vaxima/ksu/new/chokchai/} available on VAX 11/780. +To test it just say {\tt load("filename.test");} at VAXIMA c-line. +\newline +\newline +{\bf Where:} {\tt filename.test} are {\tt tex1.test} , {\tt tex2.test} , $\cdots$, etc. + +\section{Comments} +\begin{itemize} + \item {\TeX}etting package has pros +and cons. Pros is a high quality of a final product which is produced by \TeX~ +or \LaTeX~ package. Cons, in the other hand, is that there is no ability to +break up a large expression automatically. So the user has to do it manually +if the {\TeX}etting output expression is larger than one line. For this +problem we can consult a {\em The {\TeX}book} on page 190-195 +and {\em A Document Preparation System \LaTeX~} on page 49-50. \\ +\end{itemize} + +\end{document} -- cgit v1.2.3