%
\newtoks\course\course={Mathematics 312}  %%% Change as needed.
% 
% MathLily (a Mathematica program pretty printer)
% by Stephen Fulling
% based on
% c-NO_WEB (a c program pretty printer)
% by Jim Fox
%
%------------------------------------------------------------------
%
% The TeX input file is a .m source program.  It is assumed to have
% this structure:
%
%   (* comments ignored by MathLily
%      \input mathlily
%      \heading{A one line subtitle for the program (optional) }
%      \synopsis{Synopsis of the program (optional) }
%      \name{Student's name }
%      \section{Name of the first section}
%      rest of comments *)
%
% If the \name field is not supplied, the course name also is not
% printed.
%
% The rest of the file is normal Mathematica code.
% Within the heading a \\ may be used to separate lines.
%
% Each major section begins with
%   (* \section{name of the section}    .... *)
% The section names are printed boldface, marked for reference in
% the page headline, and written to the table of contents.
%
% Each minor section begins with
%   (* \subsection{name of the subsection}    .... *)
% The subsection names are printed italic and written to the 
% table of contents.
%
% A \subsubsection command is also provided.
%
% A new page can be forced by
%      (* \newpage *)
%
% Code and other text containing special characters may be
% typed in text mode if it is bracketed by *< ... >*
% e.g. (* *<inactive code>* *)
% but this may not be used in a macro argument (e.g., \synopsys).
%
% You can print in bold by enclosing text in double quotes: \"text".
% You can print in typewriter by enclosing text in vertical bars: \|text|.
% You can print in italics by enclosing text in single quotes: \'text'.
%
% The file must end with \endlily in a comment. e.g.,
%      ... last code statement ...
%      (* \endlily *)
%
%-----------------------------------------------------------------
%
\catcode`\@=11
%
\message{[MathLily version 0.3]}
%
% page parameters -- this is the setup for 12 point type
% on an 8.5 x 11 inch page.
%
\vsize=55truepc
\hsize=37truepc
\topskip=2truepc
\parindent=0pt
\parskip=6pt
\overfullrule=0pt
\newdimen\blockindent \blockindent=18pt 
\newdimen\longblockindent \longblockindent=30pt 
\newskip\sectionskip \sectionskip2pc
%
% fonts
%
\font\titles=cmr10 scaled\magstep3     
%
% normal commentary size is 12 point
%
\font\twelverm=cmr12 % roman text
\font\twelvei=cmmi12 % math italic
\font\twelvesy=cmsy10 scaled\magstep1 % math symbols
\font\twelvebf=cmbx12 % boldface extended
\font\twelvett=cmtt12 % typewriter
\font\twelvesl=cmsl12 % slanted roman
\font\twelveit=cmti12 % text italic
\font\twelveex=cmex10 scaled\magstep1 % math symbols
%
\font\ninerm=cmr9 % roman text
\font\ninei=cmmi9 % math italic
\font\ninesy=cmsy9 % math symbols
%
\def\normaltype{%
 \def\rm{\fam0\twelverm}%
 \textfont0=\twelverm \scriptfont0=\ninerm \scriptscriptfont0=\sevenrm
 \textfont1=\twelvei  \scriptfont1=\ninei  \scriptscriptfont1=\seveni
 \textfont2=\twelvesy \scriptfont2=\ninesy \scriptscriptfont2=\sevensy
 \textfont3=\twelveex \scriptfont3=\twelveex \scriptscriptfont3=\twelveex
 \textfont\itfam=\twelveit \def\it{\fam\itfam\twelveit}%
 \textfont\slfam=\twelvesl \def\sl{\fam\slfam\twelvesl}%
 \textfont\bffam=\twelvebf \def\bf{\fam\bffam\twelvebf}%
 \textfont\ttfam=\twelvett \def\tt{\fam\ttfam\twelvett}%
 \normalbaselineskip 14\p@
 \setbox\strutbox=\hbox{\vrule height10\p@ depth4\p@
      width0\p@}%
 \normalbaselines\rm}
\normaltype
%
% normal code size is 11 point
%
\font\elevenrm=cmr10  scaled\magstephalf % roman text
\font\eleveni=cmmi10  scaled\magstephalf % math italic
\font\elevensy=cmsy10  scaled\magstephalf % math symbols
\font\elevenbf=cmbx10  scaled\magstephalf % boldface extended
\font\eleventt=cmtt10  scaled\magstephalf % typewriter
\font\elevensl=cmsl10  scaled\magstephalf % slanted roman
\font\elevenit=cmti10  scaled\magstephalf % text italic
%
\def\codetype{%
 \def\rm{\fam0\elevenrm}%
 \textfont0=\elevenrm \scriptfont0=\sevenrm \scriptscriptfont0=\fiverm
 \textfont1=\eleveni  \scriptfont1=\seveni  \scriptscriptfont1=\fivei
 \textfont2=\elevensy \scriptfont2=\sevensy \scriptscriptfont2=\fivesy
 \textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex
 \textfont\itfam=\elevenit \def\it{\fam\itfam\elevenit}%
 \textfont\slfam=\elevensl \def\sl{\fam\slfam\elevensl}%
 \textfont\bffam=\elevenbf \def\bf{\fam\bffam\elevenbf}%
 \textfont\ttfam=\eleventt \def\tt{\fam\ttfam\eleventt}%
 \normalbaselineskip 13\p@
 \setbox\strutbox=\hbox{\vrule height9.5\p@ depth3.5\p@ width0\p@}%
 \normalbaselines\rm}
%
% restricted code size is 10 point
%
\def\rcodetype{%
 \def\rm{\fam0\tenrm}%
 \textfont0=\tenrm \scriptfont0=\sevenrm \scriptscriptfont0=\fiverm
 \textfont1=\teni  \scriptfont1=\seveni  \scriptscriptfont1=\fivei
 \textfont2=\tensy \scriptfont2=\sevensy \scriptscriptfont2=\fivesy
 \textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex
 \textfont\itfam=\tenit \def\it{\fam\itfam\tenit}%
 \textfont\slfam=\tensl \def\sl{\fam\slfam\tensl}%
 \textfont\bffam=\tenbf \def\bf{\fam\bffam\tenbf}%
 \textfont\ttfam=\tentt \def\tt{\fam\ttfam\tentt}%
 \normalbaselineskip 13\p@
 \setbox\strutbox=\hbox{\vrule height9.5\p@ depth3.5\p@ width0\p@}%
 \normalbaselines\rm}
%
% For large documents we reduce the text, and if necessary, the 
% code as well:
%  
%\let\normaltype\codetype
%\let\codetype\rcodetype
%
% For small programs we enlarge the code:
\let\codetype\normaltype
%
\normaltype
%
% headline contains (title, page number, section)
%
% allow underscore as char in non-math text
\def\oldun{_}
\def\specialunderscore{\ifmmode_\else{\tt\char"5F}\fi}
\catcode`\_=\active
\let_\specialunderscore
%
\def\\{{\tt\char"5C}}   % for \ in comments 
\def\section#1{\mark{#1}%
  {\let\folio=\relax\let_=\oldun \edef\\{\write\cfile{\endgraf
     \tocnormaltype#1\cdots\cpageno\endgraf}}\\}%
  {\bf#1\ }}
\def\subsection#1{%
  {\let\folio=\relax\let_=\oldun \edef\\{\write\cfile{\endgraf
     \toccodetype\hskip12pt#1\cdots\cpageno\endgraf}}\\}%
  {\it#1\ }}
\def\subsubsection#1{%
  {\let\folio=\relax\let_=\oldun \edef\\{\write\cfile{\endgraf
     \tocrcodetype\hskip18pt#1\cdots\cpageno\endgraf}}\\}%
  {#1\ }}
%
%
\def\makeheadline{\vbox to0pt{\vskip-30pt
  \ifnum\pageno=-1\else\line{\strut\normaltype
      \ifodd\pageno\firstmark\hfill\bf\the\job\rlap{\ -- \folio}%
      \else\bf\llap{\folio\ -- }\the\job\rm\hfill\firstmark\fi}\fi
  \vss}\nointerlineskip}
\def\makefootline{\baselineskip30pt
   \line{\tenrm\ifodd\pageno\today\ @\rightnow\ by \cnoweb\hfill
      \else\hfill\today\ @\rightnow\ by \cnoweb\fi}}
%
\let\oldpagebody\pagebody
\def\toprules{\vrule height4pt width.4pt\kern-.4pt\hskip\blockindent}
\def\pagebody{\ifnum\pageno>0\vbox to0pt{\hrule height.3pt width\hsize
      \leftline{\leaders\hbox{\toprules}}%
      \vss}\nointerlineskip
   \hbox{\llap{\vrule height\vsize width.3pt\hskip3pt}%
     \oldpagebody}%
   \else\oldpagebody\fi}
%
% table of contents
%
\newwrite\cfile
\immediate\openout\cfile=\jobname.toc
\def\cdots{\nobreak\leaders\hbox to1pc{\hss.\hss}
  \hskip24pt plus1fill}
\def\cpageno{\rlap{\hbox to18pt{\hfill\folio}}}
%
% these set the type size in toc entries
%
\let\tocnormaltype\relax   % de-activate
\let\toccodetype\relax
\let\tocrcodetype\relax
%
%
%-------------------------------------------------------------------
%
%
% All comment fields are formatted normally (plain TeX style).
% All code is scanned and formatted verbatim.
%
% '(*' triggers TeX mode, '*)' triggers verbatim mode
%
\let\star=*   % a catcode 11 star
\let\lparen=(  % a catcode 11 left parenthesis
\let\rparen=)  % a catcode 11 right parenthesis
\let\rarrow=> % a catcode 11 right arrow
%
% ---------------------------------------------------------------
%
% In TeX mode the * is active  and looks for *) or *<
% \setex sets TeX mode
%
\newif\ifrestricted\restrictedfalse
\def\setex{% begins TeX mode
  \ifrestricted\rcodetype
      \else\ifvmode\normaltype\filbreak\else\codetype\fi\fi
  \catcode`\*=\active
  {\tt(* }\ignorespaces}
%
{\catcode`\*=\active
 \gdef*{\futurelet\next\checkslash}
 }
\def\checkslash{%
    \ifx\next)\ifrestricted\let\next\resetrcc\else\let\next\setcc\fi
   \else\ifx\next<\let\next\setrcc
     \else\let\next\star\fi\fi\next}
%
%
% In code mode ( is active and looks for (*
% \setcc sets the active code mode
%
\def\setcc){% set code mode
  \begingroup\ccverbatim\catcode`\(=\active
  *)
  \parskip=0pt}
%
{\catcode`\(=\active
 \gdef({\futurelet\next\checkstar}
 }
\def\checkstar{\ifx\next*\let\next\endcc
     \else\Ident\let\next\lparen\fi\next}
\def\endcc*{\endgroup\ifvmode\filbreak\fi\setex}
%
%
% In restricted code mode > is active and looks for >*
% \setrcc sets the restricted code mode
%
\def\setrcc<{% set little code mode
  \begingroup\restrictedtrue
  \begingroup\ccverbatim\rccverbatim\tt\catcode`\>=\active
  \catcode`\(=\active
  \parskip=0pt}
%
\def\resetrcc){% reset little code mode
  \begingroup\ccverbatim\rccverbatim\tt\catcode`\>=\active
  \catcode`\(=\active
  *)
  \parskip=0pt}
%
{\catcode`\>=\active
 \gdef>{\futurelet\next\checkrstar}
 }
\def\checkrstar{\ifx\next*\let\next\endrcc
     \else\let\next\rarrow\fi\next}
\def\endrcc*{\endgroup\endgroup}
%
%
% ---------------------------------------------------------------
%
% \leftskip is controlled by the presence of `[', `]', `{', `}', 
% `(', and `)' in the code text.
%
% \Ident increases \leftskip and takes effect after the current line.
% \Odent decreases \leftskip and takes effect on the current line.
% \IIdent and \OOdent do the same but use the long indentation.
%
\newdimen\leftadjust % leftskip adjustment at next par
\def\Ident{\global\advance\leftadjust\blockindent}
\def\Odent{\global\advance\leftadjust-\blockindent\doOdent}
\def\IIdent{\global\advance\leftadjust\longblockindent}
\def\OOdent{\global\advance\leftadjust-\longblockindent\doOdent}
\def\doOdent{%
  \ifvmode\ifdim\leftadjust<\z@\global\advance\leftskip\leftadjust
     \global\leftadjust0pt\fi\fi}
%
\def\codepar{% this is \par in code mode
   \ifvmode\bigskip % this way blank lines are ignored at page tops
   \else\endgraf
     \ifdim\leftadjust=\z@\else\global\advance\leftskip\leftadjust
       \global\leftadjust0pt\fi\fi}
%
% ---------------------------------------------------------------
%
% Here are the catcodes and definitions for code verbatim
%
\chardef\other=12
\def\ccverbatim{%  set all chars to type 'other'
  \catcode`\\=\other
  \catcode`\{=\active
  \catcode`\}=\active
  \catcode`\[=\active
  \catcode`\]=\active
  \catcode`\(=\active  
  \catcode`\)=\active  
  \catcode`\$=\other
  \catcode`\*=\other
  \catcode`\&=\other
  \catcode`\#=\active
  \catcode`\%=\other
  \catcode`\~=\other
  \catcode`\_=\other
  \catcode`\^=\other
  \catcode`\|=\other
  \catcode`\`=\active
  \catcode`\'=\active
  \catcode`\"=\active
  \let\par\codepar
  \obeyspaces \obeylines \frenchspacing \codetype \tt}
\def\rccverbatim{% additional \other chars for restricted mode
%  \catcode`\{=\other % Uncover these if you use restricted mode
%  \catcode`\}=\other % within text lines (not displayed).
%  \catcode`\[=\other
%  \catcode`\]=\other
%  \catcode`\(=\other
%  \catcode`\)=\other
  \catcode`\#=\other
  \catcode`\'=\other
  \catcode`\"=\other
  \rcodetype \tt}
%
% And here are the definitions for the code active characters
%
{ \catcode`\<=1\catcode`\>=2 
  \catcode`\{=\active \gdef{<<\Ident\char`\{>>
  \catcode`\}=\active \gdef}<<\Odent\char`\}>>
% \catcode`\(=\active \gdef(<<\Ident\char`\(>> %% handled elsewhere 
  \catcode`\)=\active \gdef)<<\Odent\char`\)>>
  \catcode`\[=\active \gdef[<<\IIdent\char`\[>>  
  \catcode`\]=\active \gdef]<<\OOdent\char`\]>>   
  \catcode`\|=0
  \catcode`\\=\active
  |catcode`|"=|active |gdef"<|char`|"|bgroup
          |catcode`|{=|other |catcode`|}=|other
          |catcode`|(=|other |catcode`|)=|other
          |catcode`|'=|other
          |catcode`|\=|active |let\|verbslash
          |def"<<|char`|"|egroup>>>
  |catcode`|'=|active |gdef'<|char`|'|bgroup
          |catcode`|{=|other |catcode`|}=|other
          |catcode`|(=|other |catcode`|)=|other
          |catcode`|"=|other
          |catcode`|\=|active |let\|verbslash
          |def'<<|char`|'|egroup>>>
 >
% the character following the \ is really verbatim
\def\verbslash{\begingroup\catcode`\'=\other\catcode`\"=\other\doverbslash}
\def\doverbslash#1{\\#1\endgroup}
{\catcode`\`=\active\gdef`{\relax\lq}}
{\catcode`\#=\active\gdef#{\ifvmode\ifdim\leftskip>\z@
   \noindent\llap{\hbox to\leftskip{\#\hss}}\ignorespaces
   \else\#\fi\else\#\fi}}
%
%
% ---------------------------------------------------------------
%
% \endlily signals end of the program
%
\def\endlily{{\it end~\tt*)}\vfill\eject\dotitle\docontents\end}
%
% ---------------------------------------------------------------
%
% (* \newpage *) should give nice new page
\def\newpage{\vadjust{\vfill\eject}}
%
% some ebcdic systems get 05 for tabs
\catcode`\^^E=10  % make them spaces
%
% \"bold text" and \|typewriter text| and \'italic text'
%
\def\"#1"{{\bf#1}}
\def\|#1|{{\tt#1}}
\def\'#1'{{\it#1}}
%
% fix \item, etc. to work without \parindent
%
\newdimen\itemindent\itemindent2\blockindent
\def\hang{\hangindent\itemindent}
\def\textindent#1{\indent\hbox to\itemindent{\hss#1\enspace}\ignorespaces}
\def\item{\par\hang\textindent}
\def\textiindent#1{\indent\hbox to2\itemindent{\hss#1\enspace}\ignorespaces}
\def\itemitem{\par\indent\hangindent2\itemindent\textiindent}
\def\narrower{\advance\leftskip\itemindent
  \advance\rightskip\itemindent}
%
% our name
%
%\def\cnoweb{\hbox{c-\setbox0=\hbox{web}%   
%  \vrule depth-.25\ht0 height.33\ht0 width\wd0\kern-\wd0\box0}}
\def\cnoweb{MathLily}
%
% print the titles and table of contents
%
\newtoks\job\job={\jobname}
\newtoks\heading\heading={}
\newtoks\student\student={}
\newif\ifstudent\studentfalse
\def\name#1{\studenttrue\student{#1}}
\newtoks\synopsis\synopsis={}
\def\dotitle{
%  \ifodd\pageno\else %% Uncover for double-sided printing.
%     \message{page alignment}Intentionally blank \vfill\eject\fi
  \pageno=-1
  \vglue2pc
  \ifstudent
    \centerline{\rcodetype\the\course}
    \vskip20pt\fi
  \centerline{\titles\the\job}
  \vskip14pt
  \centerline{\bf\the\heading}
  \ifstudent
    \vskip18pt
    \centerline{\the\student}\fi
  \vskip24pt
  {\openup3pt\narrower\noindent\the\synopsis\par}
  \vfill}
\def\docontents{% print table of contents
  \mark{Contents}
  \immediate\closeout\cfile
  \begingroup
  \catcode`\@=11
  \leftskip=18pt\rightskip=\leftskip
  \everypar={\hang}
  \rightline{Page}
  \medskip
  \let\tocnormaltype\normaltype   % activate these type size macros
  \let\toccodetype\codetype
  \let\tocrcodetype\rcodetype
  \input \jobname.toc
  \catcode`\@=12
  \endgroup
  \vfill
  \eject}
\def\today{\ifcase\month\or
  January\or February\or March\or April\or May\or June\or
  July\or August\or September\or October\or November\or December\fi
  \space\number\day, \number\year}
\def\today{\ifcase\month\or
  Jan\or Feb\or Mar\or Apr\or May\or Jun\or
  Jul\or Aug\or Sep\or Oct\or Nov\or Dec\fi
  \space\number\day, \number\year}
\def\rightnow{\count0=\time\count1=\count0  \divide\count0by60
  \ifnum\count0<10 0\fi\number\count0:% hours
  \multiply\count0by60 \advance\count1by-\count0
  \ifnum\count1<10 0\fi\number\count1% minutes
  }
%
\catcode`\@=11
%
{\hsize\maxdimen
 \output={\setbox0=\box255}\eject} %Delete all before `\input mathlily'
%The next line must be the LAST line of this file--no carriage return!
\setex  % begin with TeX mode