% jscguide.tex 
% Version 1.00 Released 23 January 1992
% Version 2.01 Released 29 January 1996
% Version 2.02 Released 12 February 1996
% Version 2.03 Released 03 May 1996
% Version 2.04 Released 17 May 1996
\documentstyle{jsc}

\title[JSC \LaTeX\ Style Guide]{JSC \LaTeX\ Style Guide for
Authors}
\author[F. Author and S. Author]{{FIRST AUTHOR$^{\dagger}$ AND
SECOND AUTHOR$^{\ddagger}$} \\
        $^{\dagger}$Department of Computer Science, University
of Surrey, U.K.\nextaddress 
        $^{\ddagger}$Department of Physics, University of Kent,
U.K.}
\date{21 January 1992}
\pagerange{\pageref{firstpage}--\pageref{lastpage}}

\def\LaTeX{L\kern-.25em\raise.425ex\hbox{a}\kern-.075em\TeX}
\def\eg{{\rm e.g.\ }}
\def\etc{{\rm etc}}

\newtheorem{lemma}{Lemma}

\begin{document}

\label{firstpage}
\maketitle

\begin{abstract}
This guide is for authors who are preparing papers for the
{\em Journal of Symbolic Computation\/} using the \LaTeX\
document preparation system and the JSC style file.
\end{abstract}

\section{Introduction}

\noindent The layout design for the {\em Journal of Symbolic
Computation\/} has been
implemented as a \LaTeX\ style file.
The JSC style is based on the \verb"ARTICLE" style as discussed
in the \LaTeX\
manual. 
Commands which differ from the standard \LaTeX\ interface, or
which are
provided in addition to the standard interface, are explained in
this guide.
This guide is not a substitute for the \LaTeX\ manual itself.

The JSC style can be used with both \LaTeX~2.09 and the compatibility
mode of \LaTeX\kern.15em 2${}_{\textstyle\varepsilon}$.
It is not yet implemented as a document class
suitable for \LaTeX\kern.15em 2${}_{\textstyle\varepsilon}$.

\subsection{introduction to \LaTeX}

The \LaTeX\ document preparation system is a special version of
the
\TeX\ typesetting program.
\LaTeX\ adds to \TeX\ a collection of commands which simplify
typesetting for
the author by allowing him/her to concentrate on the logical
structure of the
document rather than its visual layout.


\LaTeX\ provides a consistent and comprehensive document
preparation interface.
There are simple-to-use commands for generating a table of
contents, lists of
figures and/or tables, and indexes.

\LaTeX\ can automatically number list entries, equations,
figures, tables, and
footnotes, as well as parts, sections and subsections.
Using this numbering system, bibliographic citations, page
references and cross
references to any other numbered entity (\eg sections, equations,
figures, list
entries) are quite straightforward.

\subsubsection{the jsc document style}

The use of document styles allows a simple change of style (or
style option) to
transform the appearance of your document.
The JSC style file preserves the standard \LaTeX\ interface such
that any
document which can be  produced using the standard \LaTeX\
\verb"ARTICLE" style,
can also be produced with the JSC style.
However, the measure (or width of text) is different to that used
in
\verb"ARTICLE" therefore line breaks will change and long
equations may need
re-setting.


\section{Using the JSC Style}

First, copy \verb"jsc.sty" into the correct subdirectory on your
system.
The JSC document style is implemented as a complete document
style {\em not\/}
a document style option.
In order to use the JSC style, replace \verb"article" by
\verb"jsc" in the
\verb"\documentstyle" command at the beginning of your document:
\begin{verbatim}
  \documentstyle{article}
\end{verbatim}
is replaced by
\begin{verbatim}
  \documentstyle{jsc}
\end{verbatim}
None of the standard document style options should be used.
Do not insert additional visual commands or explicit space
instructions.
\subsection{document style options}

In general, the standard document style options should {\em
not\/} be used with
the JSC style:
\begin{itemize}
  \item {\tt 10pt}, {\tt 11pt}, {\tt 12pt} -- unavailable.
  \item {\tt draft}, {\tt twoside} (no associated style file) --
{\tt twoside}
        is the default.
  \item {\tt fleqn}, {\tt leqno}, {\tt titlepage}, {\tt
twocolumn} --
        unavailable.
  \item {\tt proc}, {\tt ifthen}, {\tt bezier} -- can be used if
necessary.
\end{itemize}


\section{Additional Facilities}

In addition to all the standard \LaTeX\ design elements, the JSC
style includes
the following features:
\begin{itemize}
  \item A \verb"proof" environment.
  \item Extended commands for specifying a short version of the
title and
        author(s) for the running headlines.
\end{itemize}

\subsection{proofs}

The \verb"proof" environment has been added to the standard
\LaTeX\ constructs
to provide a consistent format for proofs.
For example,
\begin{verbatim}
\newtheorem{lemma}{Lemma}
...
\begin{lemma}
  Most lemmas are dull but some lemmas are duller than others.
  This lemma is particularly dull and may even be the dullest
  known lemma.
\end{lemma}
\begin{proof}
  Most proofs are dull but some proofs are duller than others.
  This proof is particularly dull and may even be the dullest
  known proof.
\end{proof}
\end{verbatim}
produces the following text:
\begin{lemma}
  Most lemmas are dull but some lemmas are duller than others.
  This lemma is particularly dull and may even be the dullest
known lemma.
\end{lemma}
\begin{proof}
  Most proofs are dull but some proofs are duller than others.
  This proof is particularly dull and may even be the dullest
known proof.
\end{proof}
Proofs need not include the final $\Box$ if specified using the
\verb"proof*"
environment; for example:
\begin{proof*}
  Most proofs are dull but some proofs are duller than others.
  This proof is particularly dull and may even be the dullest
known proof.
\end{proof*}
Once you have used the \verb"proof" and \verb"proof*"
environments in your
document, do not process it with a standard \LaTeX\ style file.

\subsection{titles and author's names}

In the JSC style, the title of the article and the author's name
(or authors'
names) are used both at the beginning of the article for the main
title and
throughout the article as running headlines at the top of every
page.
The title is used on odd-numbered pages (rectos) and the author's
name appears
on even-numbered pages (versos).
Although the main heading can run to several lines of text, the
running head
line must be a single line.
Moreover, the main heading can also incorporate new line commands
(e.g.\ \verb"\\") but these are not acceptable in a running
headline.
To enable you to specify an alternative short title and author's
name, the
standard \verb"\title" and \verb"\author" commands have been
extended to take
an optional argument to be used as the running headline:
\begin{verbatim}
    \title[A short title]{The full title which can be as long
                          as necessary}
\end{verbatim}
and,
\begin{verbatim}
    \author[Author's name(s)]{FIRST AUTHOR'S FULL NAME 
                              AND ADDITIONAL AUTHORS' NAMES\\ 
                              first author's affiliation
                              \nextaddress
                              additional authors' affiliations}
\end{verbatim}
Once you have used these extended versions, do not use them with
a standard
\LaTeX\ style file. The title must be typed in upper and 
lower case, and the author's full name must be typed in capital
letters.



\section{Some Guidelines for using Standard Facilities}

The following notes may help you achieve the best effects with
the JSC style
file.

\subsection{sections}

\LaTeX\ provides five levels of section headings and although
they are all defined
in the JSC style file, only the first four should be used.
\begin{itemize}
  \item Heading A -- \verb"\section"
  \item Heading B -- \verb"\subsection"
  \item Heading C -- \verb"\subsubsection".
  \item Heading D -- \verb"\paragraph".
  \item Heading E -- \verb"\subparagraph" should not be used.
\end{itemize}

\subsubsection{the c (subsubsection) heading}

Section numbers are given for sections, subsection and
subsubsection headings but only section headings appear in the
table of contents. For headings B and C please type all
characters in lower case.

\paragraph{The D (Paragraph) Heading}

The first paragraph of the paper should not be indented; this is
achieved using the \verb"\noindent" command. In this guide, the
source code reads:
\begin{verbatim}
\noindent The layout design for the ... 
\end{verbatim}

\subsection{running headlines}

As described above, the title of the article and the author's
name (or authors'
names) are used as running headlines at the top of every page.
The title is used on odd-numbered pages (rectos) and the author's
name appears on even-numbered pages (versos).

The \verb"\pagestyle" and \verb"\thispagestyle" commands should
{\em not\/} be used.
Similarly, the commands \verb"\markright" and \verb"\markboth"
should not be necessary.
Authors should not worry about the correct journal page numbers,
as these will be added by the printer at a later stage.


\subsection{illustrations (or figures)}

The JSC style will cope with most positioning of your
illustrations and tables
and you should not normally use the optional positional
qualifiers on the
\verb"figure" environment which would override these decisions.
Figure captions should be below the figure itself therefore the
\verb"\caption"
command should appear after the figure or space left for an
illustration.
For example, Figure~\ref{sample-figure} is produced using the
following
commands:
\begin{figure}
  \vspace{1cm}
  \fbox{Hello! this is the text of my figure.}
  \vspace{1cm}
  \caption{An example figure.}
  \label{sample-figure}
\end{figure}
 \begin{verbatim}
  \begin{figure}
    \vspace{1cm}
    \fbox{Hello! this is the text of my figure.}
    \vspace{1cm}
    \caption{An example figure.}
    \label{sample-figure}
  \end{figure}
\end{verbatim}

\subsection{tables}

The JSC style will cope with most positioning of your
illustrations and tables
and you should not normally use the optional positional
qualifiers on the
\verb"table" environment which would override these decisions.
Table captions should be at the top therefore the \verb"\caption"
command should
appear before the body of the table.
For example, Table~\ref{sample-table} is produced using the
following
commands:
\begin{table}
  \caption{An example table}
    \begin{tabular}{c|rrr}
     \hline
     \hline
     Figure & $hA$ & $hB$ & $hC$\\
     \hline
     2 & $\exp\left(\pi i\frac58\right)$
       & $\exp\left(\pi i\frac18\right)$ & $0$\\
     3 & $-1$    & $\exp\left(\pi i\frac34\right)$ & $1$\\
     4 & $-4+3i$ & $-4+3i$ & $\frac74$\\
     5 & $-2$    & $-2$    & $\frac54 i$ \\
     \hline
     \hline
    \end{tabular}
  \label{sample-table}
\end{table}
\begin{verbatim}
  \begin{table}
    \caption{An example table}
    \begin{tabular}{c|rrr}
     \hline \hline
     Figure & $hA$ & $hB$ & $hC$\\
     \hline
     2 & $\exp\left(\pi i\frac58\right)$
       & $\exp\left(\pi i\frac18\right)$ & $0$\\
     3 & $-1$    & $\exp\left(\pi i\frac34\right)$ & $1$\\
     4 & $-4+3i$ & $-4+3i$ & $\frac74$\\
     5 & $-2$    & $-2$    & $\frac54 i$ \\
     \hline \hline
    \end{tabular}
    \label{sample-table}
  \end{table}
\end{verbatim}
The \verb"tabular" environment should be used to produce ruled
tables;
it has been modified for the JSC style in the following ways:
\begin{enumerate}
  \item Additional vertical space is inserted on either side of
a rule
        (produced by \verb"\hline");
  \item Vertical lines are not produced;
  \item Double \verb"\hline"s produce a thicker line suitable for
use at the
        top and bottom of a table (see Table~\ref{sample-table}).
\end{enumerate}
Commands to redefine quantities such as \verb"\arraystretch"
should be omitted.

\subsection{theorems}

Any theorem-like environments which are required, should be
defined as usual in
the document preamble using the \verb"\newtheorem" command.
Theorem numbering is by section (\eg 3.1) and is reset at the
beginning of each
new section.
As described above, there is an additional \verb"proof"
environment which can be
used in conjunction with theorems.

\subsection{lists}

The JSC style provides the three standard list environments plus
an additional
unnumbered list:
\begin{itemize}
  \item Numbered lists, created using the \verb"enumerate"
environment.
  \item Unnumbered lists, created using the \verb"itemize"
environment.
  \item Labelled lists, created using the \verb"description"
environment.
\end{itemize}
Bulleted lists are not to be used.
The enumerated list numbers each list item with an arabic
numeral;
alternative styles can be achieved by inserting a redefinition
of the number
labeling command after the \verb"\begin{enumerate}".
For example, a list numbered with roman numerals inside
parentheses can be
produced by the following commands:
\begin{verbatim}
    \begin{enumerate}
     \renewcommand{\theenumi}{(\roman{enumi})}
     \item first item
     \item second item
     \item etc\dots
    \end{enumerate}
\end{verbatim}
This produces the following list:
\begin{enumerate}
  \renewcommand{\theenumi}{(\roman{enumi})}
  \item first item
  \item second item
  \item etc\dots
\end{enumerate}


\subsection{bibliography}
% Revised by RISC-Linz, Jan 1996.  (Johannes Sixt, Hoon Hong)

\edef\ltex{\lowercase{\TeX}} % need \TeX in lowercase for smallcaps font
\subsubsection{if bib\ltex\ is available}
\label{sec:bibtex-yes}

We assume that you know how to use the Bib\TeX\ program.
If not, consult the \LaTeX\ manual.
%
Do the following:
\begin{enumerate}
 \item Get the file \verb"jsc.bst" from where you got the file \verb"jsc.sty".
 \item Place it in the relevant directory on your system.
      If you do not know where, just put it where your paper is located.
 \item Suppose that your Bib\TeX\ database file is named \verb"foo.bib".
      Add the following two lines at the end of your paper:
% Never ever use the following constructs in your paper!!!!
% This was only necessary to make this guide come out nicely.
      \begin{quote}\tt
  \char`\\bibliographystyle\char`\{jsc\char`\}\\
  \char`\\bibliography\char`\{foo\char`\}
      \end{quote}
\end{enumerate}

There are four cite commands that you can use in the text.
%
\begin{center}
\begin{tabular}{lll}
\hline
\verb"\cite{BC1}"       & produces & \cite{BC1} \\
\verb"\ccite{BC1}"      & produces & \ccite{BC1}  \\
\verb"\citeauthor{BC1}" & produces & \citeauthor{BC1} \\
\verb"\citeyear{BC1}"   & produces & \citeyear{BC1}  \\
\hline
\end{tabular}
\end{center}
%
You can also put several citation keys in the first two cite commands.
%
\begin{center}
\begin{tabular}{lll}
\hline
\verb"\cite{BC1,FMOT}"       & produces & \cite{BC1,FMOT} \\
\verb"\ccite{BC1,FMOT}"      & produces & \ccite{BC1,FMOT}  \\
\hline
\end{tabular}
\end{center}
%
%
Putting them together, the following text
%
\begin{quote}
\begin{verbatim}
The algebraic independence~\cite{BC1} was generalized 
by~\ccite{BC2,FI} and~\ccite{FMOT}.  
Before, we only knew it for the univariate case, but now due 
the work of~\citeauthor{BC1} (\citeyear{BC1}, \citeyear{BC2}),
we know it for the general case.
\end{verbatim}
\end{quote}
%
produces
%
\begin{quote}
The algebraic independence~\cite{BC1} was generalized 
by~\ccite{BC2,FI} and~\ccite{FMOT}.  
Before, we only knew it for the univariate case, but now due 
the work of~\citeauthor{BC1} (\citeyear{BC1}, \citeyear{BC2}),
we know it for the general case.
\end{quote}
%
See the last page of this guide for the reference produced.


\subsubsection{if bib\ltex\ is not available}
We strongly recommend that you ask your system personnel
to install Bib\TeX.  If you do not succeed in this, read on.

You need to provide manually the \verb"thebibiliography" environment.
For example, the bibliography of this guide has been produced 
manually by adding the following text at the end.
%
\begin{verbatim}
\begin{thebibliography}{}
  \bibitem[\protect\citeauthoryear{Bellman and Cooke}{1959}]{BC1}
        Bellman, R., Cooke, K.L. (1959).
    Asymptotic behaviour of solutions of
    differential-difference equations.
    {\em Mem.\ Amer.\ Math.\ Soc.\/} {\bf 35}.
  \bibitem[\protect\citeauthoryear{Bellman and Cooke}{1963}]{BC2}
        Bellman, R., Cooke, K.L. (1963).
    {\em Differential-Difference Equations\/}. New York:
    Academic Press.
  \bibitem[\protect\citeauthoryear{Feldstein and Iserles}{1990}]{FI}
        Feldstein, A., Iserles, A. (1990).
    Numerical methods for neutral equations with
    monotone delays. To appear.
  \bibitem[\protect\citeauthoryear{Fox {\em et al.}}{1971}]{FMOT}
        Fox, L., Mayers, D. F., Ockendon, J.R.,
    Tayler, A.B.  (1971). On a functional
    differential equation. {\em J. Inst.\ Maths
    Applics\/} {\bf 8}, 271--307.
\end{thebibliography}
\end{verbatim}
%
This is what you will get automatically if you use Bib\TeX.
But since you cannot get it, you need to type this in manually.
%
Now you can use the four cite commands described in 
the previous subsection~\ref{sec:bibtex-yes}.

\begin{thebibliography}{}
  \bibitem[\protect\citeauthoryear{Bellman and Cooke}{1959}]{BC1}
        Bellman, R., Cooke, K.L. (1959).
    Asymptotic behaviour of solutions of
    differential-difference equations.
    {\em Mem.\ Amer.\ Math.\ Soc.\/} {\bf 35}.
  \bibitem[\protect\citeauthoryear{Bellman and Cooke}{1963}]{BC2}
        Bellman, R., Cooke, K.L. (1963).
    {\em Differential-Difference Equations\/}. New York:
    Academic Press.
  \bibitem[\protect\citeauthoryear{Feldstein and Iserles}{1990}]{FI}
        Feldstein, A., Iserles, A. (1990).
    Numerical methods for neutral equations with
    monotone delays. To appear.
  \bibitem[\protect\citeauthoryear{Fox {\em et al.}}{1971}]{FMOT}
        Fox, L., Mayers, D. F., Ockendon, J.R.,
    Tayler, A.B.  (1971). On a functional
    differential equation. {\em J. Inst.\ Maths
    Applics\/} {\bf 8}, 271--307.
\end{thebibliography}


\label{lastpage}

\end{document}
